LARVA---safer monitoring of real-time java programs (Tool Paper) C Colombo, GJ Pace, G Schneider 2009 seventh ieee international conference on software engineering and …, 2009 | 230 | 2009 |
Differential privacy: Now it's getting personal H Ebadi, D Sands, G Schneider Acm Sigplan Notices 50 (1), 69-81, 2015 | 145 | 2015 |
A formal language for electronic contracts C Prisacariu, G Schneider International Conference on Formal Methods for Open Object-Based Distributed …, 2007 | 139 | 2007 |
Dynamic event-based runtime monitoring of real-time and contextual properties C Colombo, GJ Pace, G Schneider Formal Methods for Industrial Critical Systems: 13th International Workshop …, 2009 | 132 | 2009 |
A survey of challenges for runtime verification from advanced application domains (beyond software) C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ... Formal Methods in System Design 54, 279-335, 2019 | 107 | 2019 |
Automatic conflict detection on contracts S Fenech, GJ Pace, G Schneider International colloquium on theoretical aspects of computing, 200-214, 2009 | 74 | 2009 |
A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012 | 69 | 2012 |
On the decidability of the reachability problem for planar differential inclusions E Asarin, G Schneider, S Yovine International Workshop on Hybrid Systems: Computation and Control, 89-104, 2001 | 66 | 2001 |
Certified memory usage analysis D Cachera, T Jensen, D Pichardie, G Schneider FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 60 | 2005 |
Monitoring hyperproperties by combining static analysis and runtime verification B Bonakdarpour, C Sánchez, G Schneider Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 50 | 2018 |
Clan: A tool for contract analysis and conflict discovery S Fenech, GJ Pace, G Schneider International Symposium on Automated Technology for Verification and …, 2009 | 50 | 2009 |
Algorithmic analysis of polygonal hybrid systems, part I: Reachability E Asarin, G Schneider, S Yovine Theoretical Computer Science 379 (1-2), 231-265, 2007 | 50 | 2007 |
Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008 | 49 | 2008 |
Widening the Boundary between Decidable and Undecidable Hybrid Systems* E Asarin, G Schneider International Conference on Concurrency Theory, 193-208, 2002 | 49 | 2002 |
Verifying data-and control-oriented properties combining static and runtime verification: theory and tools W Ahrendt, JM Chimento, GJ Pace, G Schneider Formal Methods in System Design 51, 200-265, 2017 | 46 | 2017 |
A privacy-aware conceptual model for handling personal data T Antignac, R Scandariato, G Schneider Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 46 | 2016 |
: An Action-Based Logic for Reasoning about Contracts C Prisacariu, G Schneider International Workshop on Logic, Language, Information, and Computation, 335-349, 2009 | 46 | 2009 |
Low dimensional hybrid systems–decidable, undecidable, donʼt know E Asarin, VP Mysore, A Pnueli, G Schneider Information and Computation 211, 138-159, 2012 | 45 | 2012 |
Model Checking Contracts–a case study G Pace, C Prisacariu, G Schneider Automated Technology for Verification and Analysis, 82-97, 2007 | 44 | 2007 |
Verification of smart contract business logic: exploiting a Java source code verifier W Ahrendt, R Bubel, J Ellul, GJ Pace, R Pardo, V Rebiscoul, G Schneider Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019 | 41 | 2019 |