Gerardo Schneider

Robert Nagy, Gerardo Schneider, Aram Timofeitchik: Automatic Testing of Real-Time Graphics Systems. TACAS 2013: 463-477

Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider: Low dimensional hybrid systems - decidable, undecidable, don't know. Inf. Comput. 211: 138-159 (2012)

Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 81(2): 71 (2012)

Cristian Prisacariu, Gerardo Schneider: A dynamic deontic logic for complex contracts. J. Log. Algebr. Program. 81(4): 458-490 (2012)

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider: A Unified Approach for Static and Runtime Verification: Framework and Applications. ISoLA (1) 2012: 312-326

Gordon J. Pace, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 80(1): 1-2 (2011)

Gordon J. Pace, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 80(3-5): 137-138 (2011)

Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen: Reachability Analysis of Non-linear Planar Autonomous Systems. FSEN 2011: 206-220

Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider: Timed Automata Semantics for Visual e-Contracts. FLACOS 2011: 7-21

Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider: From Contracts in Structured English to CL Specifications. FLACOS 2011: 55-69

Gilles Barthe, Alberto Pardo, Gerardo Schneider (Eds.): Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Lecture Notes in Computer Science 7041, Springer 2011, isbn 978-3-642-24689-0

Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider: A Model for Visual Specification of E-contracts. IEEE SCC 2010: 1-8

Hallstein Asheim Hansen, Gerardo Schneider: Reachability analysis of GSPDIs: theory, optimization, and implementation. SAC 2010: 2511-2516

Enrique Martínez, Gerardo Schneider: Automated Analysis of Conflicts in Software Product Lines. SPLC Workshops 2010: 75-82

Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider: On the Specification of Full Contracts. Electr. Notes Theor. Comput. Sci. 253(1): 39-55 (2009)

Olaf Owe, Gerardo Schneider: Wrap Your Objects Safely. Electr. Notes Theor. Comput. Sci. 253(1): 127-143 (2009)

Olaf Owe, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 78(5): 289-290 (2009)

Olaf Owe, Gerardo Schneider: Formal languages and analysis of contract-oriented software. J. Log. Algebr. Program. 78(5): 291-292 (2009)

Einar Broch Johnsen, Olaf Owe, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 78(7) (2009)

Stephen Fenech, Gordon J. Pace, Gerardo Schneider: CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA 2009: 90-96

Christian Colombo, Gordon J. Pace, Gerardo Schneider: Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117

Cristian Prisacariu, Gerardo Schneider: Abstract specification of legal contracts. ICAIL 2009: 218-219

Stephen Fenech, Gordon J. Pace, Gerardo Schneider: Automatic Conflict Detection on Contracts. ICTAC 2009: 200-214

Hallstein Asheim Hansen, Gerardo Schneider: GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. ICTAC 2009: 343-348

Gordon J. Pace, Gerardo Schneider: Challenges in the Specification of Full Contracts. IFM 2009: 292-306

Christian Colombo, Gordon J. Pace, Gerardo Schneider: LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM 2009: 33-37

Cristian Prisacariu, Gerardo Schneider: : An Action-Based Logic for Reasoning about Contracts. WoLLIC 2009: 335-349

Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider: Contract-Oriented Software Development for Internet Services. ERCIM News 2008(72) (2008)

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theor. Comput. Sci. 390(1): 1-26 (2008)

Marcel Kyas, Cristian Prisacariu, Gerardo Schneider: Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407

Christian Colombo, Gordon J. Pace, Gerardo Schneider: Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS 2008: 135-149

Gordon J. Pace, Gerardo Schneider: Relaxing Goodness Is Still Good. ICTAC 2008: 274-289

Gerardo Schneider: Reachability analysis of generalized polygonal hybrid systems. SAC 2008: 327-332

Gordon J. Pace, Gerardo Schneider: Computation and Visualisation of Phase Portraits for Model Checking SPDIs. TACAS 2008: 341-345

Eugene Asarin, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379(1-2): 231-265 (2007)

Johs Hansen Hammer, Gerardo Schneider: On the Definition and Policies of Confidentiality. IAS 2007: 337-342

Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider: Model Checking Contracts - A Case Study. ATVA 2007: 82-97

Cristian Prisacariu, Gerardo Schneider: A Formal Language for Electronic Contracts. FMOODS 2007: 174-189

Olaf Owe, Gerardo Schneider, Martin Steffen: Components, objects, and contracts. SAVCBS 2007: 95-98

Gordon J. Pace, Gerardo Schneider: Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. FORMATS 2006: 306-321

Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn: Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344

Gordon J. Pace, Gerardo Schneider: A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. ICTAC 2006: 168-182

David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106

Gilles Barthe, Mariela Pavlova, Gerardo Schneider: Precise Analysis of Memory Consumption using Program Logics. SEFM 2005: 86-95

Gerardo Schneider: Computing Invariance Kernels of Polygonal Hybrid Systems. Nord. J. Comput. 11(2): 194-209 (2004)

Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240

Gordon J. Pace, Gerardo Schneider: Model Checking Polygonal Differential Inclusions Using Invariance Kernels. VMCAI 2004: 110-121

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358

Eugene Asarin, Gerardo Schneider: Widening the Boundary between Decidable and Undecidable Hybrid Systems. CONCUR 2002: 193-208

Eugene Asarin, Gerardo Schneider, Sergio Yovine: Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61

Eugene Asarin, Gerardo Schneider, Sergio Yovine: On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104

Gerardo Schneider, Qiwen Xu: Towards a Formal Semantics of Verilog Using Duration Calculus. FTRTFT 1998: 282-293