Gerardo Schneider
Title
Cited by
Cited by
Year
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
1882009
A formal language for electronic contracts
C Prisacariu, G Schneider
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
1182007
Dynamic event-based runtime monitoring of real-time and contextual properties
C Colombo, GJ Pace, G Schneider
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
1102008
Differential privacy: Now it's getting personal
H Ebadi, D Sands, G Schneider
ACM Sigplan Notices 50 (1), 69-81, 2015
932015
Automatic conflict detection on contracts
S Fenech, GJ Pace, G Schneider
International Colloquium on Theoretical Aspects of Computing, 200-214, 2009
672009
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
662001
Certified memory usage analysis
D Cachera, T Jensen, D Pichardie, G Schneider
International Symposium on Formal Methods, 91-106, 2005
652005
A dynamic deontic logic for complex contracts
C Prisacariu, G Schneider
The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012
532012
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
E Asarin, G Schneider, S Yovine
Theoretical Computer Science 379 (1-2), 231-265, 2007
512007
Clan: A tool for contract analysis and conflict discovery
S Fenech, GJ Pace, G Schneider
International Symposium on Automated Technology for Verification and …, 2009
472009
Widening the Boundary between Decidable and Undecidable Hybrid Systems*
E Asarin, G Schneider
International Conference on Concurrency Theory, 193-208, 2002
472002
Run-time monitoring of electronic contracts
M Kyas, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2008
462008
: An Action-Based Logic for Reasoning about Contracts
C Prisacariu, G Schneider
International Workshop on Logic, Language, Information, and Computation, 335-349, 2009
412009
On the expressiveness of infinite behavior and name scoping in process calculi
P Giambiagi, G Schneider, FD Valencia
International Conference on Foundations of Software Science and Computation …, 2004
392004
A formal privacy policy framework for social networks
R Pardo, G Schneider
International Conference on Software Engineering and Formal Methods, 378-392, 2014
362014
Model Checking Contracts–a case study
G Pace, C Prisacariu, G Schneider
Automated Technology for Verification and Analysis, 82-97, 2007
352007
Precise analysis of memory consumption using program logics
G Barthe, M Pavlova, G Schneider
Third IEEE International Conference on Software Engineering and Formal …, 2005
352005
StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java
JM Chimento, W Ahrendt, GJ Pace, G Schneider
Runtime Verification, 297-305, 2015
342015
Challenges in the specification of full contracts
GJ Pace, G Schneider
International Conference on Integrated Formal Methods, 292-306, 2009
342009
Towards computing phase portraits of polygonal differential inclusions
E Asarin, G Schneider, S Yovine
International Workshop on Hybrid Systems: Computation and Control, 49-61, 2002
332002
The system can't perform the operation now. Try again later.
Articles 1–20