Seguir
Gerardo Schneider
Título
Citado por
Citado por
Ano
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
2272009
Differential privacy: Now it's getting personal
H Ebadi, D Sands, G Schneider
Acm Sigplan Notices 50 (1), 69-81, 2015
1352015
A formal language for electronic contracts
C Prisacariu, G Schneider
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
1342007
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
1282009
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
932019
Automatic conflict detection on contracts
S Fenech, GJ Pace, G Schneider
International colloquium on theoretical aspects of computing, 200-214, 2009
722009
A dynamic deontic logic for complex contracts
C Prisacariu, G Schneider
The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012
682012
On the decidability of the reachability problem for planar differential inclusions
E Asarin, G Schneider, S Yovine
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
662001
Certified memory usage analysis
D Cachera, T Jensen, D Pichardie, G Schneider
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
622005
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
E Asarin, G Schneider, S Yovine
Theoretical Computer Science 379 (1-2), 231-265, 2007
502007
Widening the Boundary between Decidable and Undecidable Hybrid Systems*
E Asarin, G Schneider
International Conference on Concurrency Theory, 193-208, 2002
502002
Clan: A tool for contract analysis and conflict discovery
S Fenech, GJ Pace, G Schneider
International Symposium on Automated Technology for Verification and …, 2009
482009
Run-time monitoring of electronic contracts
M Kyas, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2008
482008
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
462018
A privacy-aware conceptual model for handling personal data
T Antignac, R Scandariato, G Schneider
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
462016
: An Action-Based Logic for Reasoning about Contracts
C Prisacariu, G Schneider
International Workshop on Logic, Language, Information, and Computation, 335-349, 2009
462009
Low dimensional hybrid systems–decidable, undecidable, donʼt know
E Asarin, VP Mysore, A Pnueli, G Schneider
Information and Computation 211, 138-159, 2012
452012
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
442017
Model Checking Contracts–a case study
G Pace, C Prisacariu, G Schneider
Automated Technology for Verification and Analysis, 82-97, 2007
422007
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
412019
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20