Gerardo Schneider
Identifiers
No identifiers captured yet.
Papers (9)
- COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1 cs.SE · 2019 · author #11
- A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) cs.SE · 2018 · author #2
- Monitoring Data Minimisation cs.LO · 2018 · author #4
- Timed Epistemic Knowledge Bases for Social Networks (Extended Version) cs.LO · 2017 · author #3
- A Web-Based Tool for Analysing Normative Documents in English cs.CL · 2017 · author #3
- Extracting Formal Models from Normative Texts cs.CL · 2017 · author #3
- Data Minimisation: a Language-Based Approach (Long Version) cs.CR · 2016 · author #3
- Extracting Formal Models from Normative Texts cs.CL · 2016 · author #3
- A CNL for Contract-Oriented Diagrams cs.CL · 2014 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- John J. Camilleri 4 shared papers
- C\'esar S\'anchez 3 shared papers
- Christian Colombo 2 shared papers
- David Sands 2 shared papers
- Thibaud Antignac 2 shared papers
- Wolfgang Ahrendt 2 shared papers
- Adrian Francalanza 1 shared papers
- Alexander Weiss 1 shared papers
- Cyrille Artho 1 shared papers
- Dejan Nickovic 1 shared papers
- Dmitriy Traytel 1 shared papers
- Domenico Bianculli 1 shared papers
- Ezio Bartocci 1 shared papers
- Florian Lorber 1 shared papers
- Gabriele Paganelli 1 shared papers
- Gordon J. Pace 1 shared papers
- Joao Louren\c{c}o 1 shared papers
- Jo\H{a}o M. Louren\c{c}o 1 shared papers
- Jose Rufino 1 shared papers
- Julien Signoles 1 shared papers