Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo: A Unified Approach for Static and Runtime Verification: Framework and Applications. Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Proceedings, Part I, pp. 312-326. ISBN/ISSN: 978-3-642-34025-3

Asarin, E.; Mysore, V. P.; Pnueli, A.; Schneider, Gerardo: Low dimensional hybrid systems - decidable, undecidable, don't know. Information and Computation, 211 pp. 138-159.

Brogi, Antonio; Schneider, Gerardo: Guest Editors' Foreword. Journal of Logic and Algebraic Programming, 81 (2) pp. 71.

Hansen, Hallstein Asheim; Schneider, Gerardo; Steffen, Martin: Reachability analysis of non-linear planar autonomous systems. Lecture Notes in Computer Science (LNCS), 7141 pp. 206-220.

Prisacariu, C.; Schneider, Gerardo: A dynamic deontic logic for complex contracts. Journal of Logic and Algebraic Programming, 81 (4) pp. 458-490.

Software Engineering and Formal Methods. Gilles Barthe, Alberto Pardo, Gerardo Schneider [editor(s)]. Lecture Notes in Computer Science : Springer. ISBN/ISSN: 978-3-642-24689-0

Martínez, Enrique; Cambronero, Emilia; Díaz, Gregorio; Schneider, Gerardo: Timed Automata Semantics for Visual e-Contracts. EPTCS, 68 pp. 7-21.

Montazeri, Seyed; Roy, Nivir; Schneider, Gerardo: From Contracts in Structured English to CL Specifications. EPTCS, 68 pp. 55-69.

Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09). Gordon Pace, Gerardo Schneider [editor(s)]. The Journal of Logic and Algebraic Programming : Elsevier.

Formal Languages and Analysis of Contract-Oriented Software (FLACOS’08). Gordon Pace, Gerardo Schneider [editor(s)]. Journal of Logic and Algebraic Programming : Elsevier.

Hansen, Hallstein A.; Schneider, Gerardo: Reachability Analysis of GSPDIs: Theory, Optimization, and Implementation. 25th Annual ACM Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'10), ISBN/ISSN: 978-1-60558-639-7

Martínez, Enrique; Cambronero, Emilia; Díaz, Gregorio; Schneider, Gerardo: A Model for Visual Specification of e-Contracts. IEEE Computer Society (IEEE SCC'10), pp. 1-8. ISBN/ISSN: 978-0-7695-4126-6

Martínez, Enrique; Schneider, Gerardo: Automated Analysis of Conflicts in Software Product Lines. Proceedings of 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE'10),

Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo: Dynamic event-based runtime monitoring of real-time and contextual properties. Lecture Notes in Computer Science, 5596 pp. 135-149. ISBN/ISSN: 978-3-642-03239-4

Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo: LARVA -A Tool for Runtime Monitoring of Java Programs. IEEE Computer Society, pp. 33-37. ISBN/ISSN: 978-0-7695-3870-9

Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo: Resource-bounded runtime verification of Java programs with real-time properties. Malta : University of Malta.

Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo: Safe runtime verification of real-time properties. Lecture Notes in Computer Science, 5813 pp. 103-117. ISBN/ISSN: 978-3-642-04367-3

Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo: Automatic Conflict Detection on Contracts. Lecture Notes in Computer Science, 5684 pp. 200-214. ISBN/ISSN: 978-3-642-03465-7

Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo: Clan: A tool for contract analysis and conflict discovery. Lecture Notes in Computer Science, 5799 pp. 90-96. ISBN/ISSN: 978-3-642-04760-2

Fenech, Stephen; Okika, Joseph; Pace, Gordon J.; Schneider, Gerardo: On the specification of full contracts. Electronic Notes in Theoretical Computer Science, 253 pp. 39-55.

Hallstein, Hansen; Schneider, Gerardo: GSPeeDI -A Tool for Analyzing Generalized Polygonal Hybrid Systems. Lecture Notes in Computer Science, 5684 pp. 336-342. ISBN/ISSN: 978-3-642-03465-7

Hansen, Hallstein A.; Schneider, Gerardo: On the reachability analysis of planar, non-linear autonomous systems using hybrid systems. Lyngby, Denmark :

Special Issue: The 19th Nordic Workshop on Programming Theory (NWPT 2007). Einar Johnsen, Olaf Owe, Gerardo Schneider [editor(s)].

Special Issue: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07). Olaf Owe, Gerardo Schneider [editor(s)].

Owe, Olaf; Schneider, Gerardo: Wrap your objects safely. Electronic Notes in Theoretical Computer Science, 253

Pace, Gordon J.; Schneider, Gerardo: Challenges in the specification of full contracts. Lecture Notes in Computer Science, 5423 pp. 292-306. ISBN/ISSN: 978-3-642-00254-0

Pace, Gordon J.; Schneider, Gerardo: FLACOS'09 Workshop Proceedings. PO Box 1080 Blindern, N-0316 Oslo, Norway : Department of Informatics, University of Oslo. ISBN/ISSN: 82-7368-345-1

Prisacariu, Cristian; Schneider, Gerardo: Abstract specification of legal contracts. ACM, pp. 218-219. ISBN/ISSN: 978-1-60558-597-0

Prisacariu, Cristian; Schneider, Gerardo: CL: An Action-based Logic for Reasoning about Contracts. Lecture Notes in Computer Science, 5514 pp. 335-349. ISBN/ISSN: 978-3-642-02260-9

Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio: Algorithmic Analysis of Polygonal Hybrid Systems. Part II: Phase Portrait and Tools. Theoretical Computer Science, 390 (1) pp. 1-26.

Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo: Conflict Analysis of Deontic Contracts. Conference Technical Report,

Giambiagi, Pablo; Owe, Olaf; Ravn, Anders P.; Schneider, Gerardo: Contract-Oriented Software Development for Internet Services. ERCIM News - Special: The Future WEB, (72) pp. 47-48.

Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio: Algorithmic Analysis of Polygonal Hybrid Systems. Part I: Reachability. Theoretical Computer Science, 379 (1-2) pp. 231-265.

Giambiagi, Pablo; Owe, Olaf; Ravn, Anders P.; Schneider, Gerardo: Contract-based Internet Service Software Development: A Proposal. PO Box 1080 Blindern, N-0316 Oslo, Norway : Department of Informatics, University of Oslo. ISBN/ISSN: 82-7368-288-9

Giambiagi, Pablo; Owe, Olaf; Ravn, Anders P.; Schneider, Gerardo: Language-based Support for Service Oriented Architectures: Future Directions. INSTICC Press - International Conference on Software and Data Technologies (ICSOFT'06), pp. 339-344. ISBN/ISSN: 972-8865-69-4

Barthe, Gilles; Pavlova, Mariela; Schneider, Gerardo: Precise analysis of memory consumption using program logics. 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp. 86-95. ISBN/ISSN: 0-7695-2435-4

Cachera, David; Jensen, Thomas; Pichardie, David; Schneider, Gerardo: Certified memory usage analysis. Lecture Notes in Computer Science - Formal Methods (FM'05), 3582 pp. 91-106. ISBN/ISSN: 978-3-540-27882-5

Giambiagi, Pablo; Schneider, Gerardo: Memory consumption analysis of Java smart cards. Proceedings of CLEI'05, ISBN/ISSN: 958-670-426-2

Baldamus, Michael; Mayr, Richard; Schneider, Gerardo: A backward/forward strategy for verifying safety properties of infinite-state systems. Uppsala, Sweden : Department of Information Technology, Uppsala University.

Schneider, Gerardo: Computing Invariance Kernels of Polygonal Hybrid Systems. Nordic Journal of Computing, 11 (2) pp. 194-210.

Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio: SPeeDI: a verification tool for polygonal hybrid systems. Computer Aided Verification (CAV'02), 2404 pp. 354-358. ISBN/ISSN: 978-3-642-03465-7

Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio: Towards Computing Phase Portraits of Polygonal Differential Inclusions. Lecture Notes in Computer Science - 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02), (2289) pp. 49-61. ISBN/ISSN: 3-540-43321-X

Asarin, Eugene; Schneider, Gerardo: Widening the boundary between decidable and undecidable hybrid systems. 13th International Conference on Concurrency Theory (CONCUR'02), 2421 pp. 193-208. ISBN/ISSN: 3-540-44043-7

Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio: On the decidability of the reachability problem for planar differential inclusions. Lecture Notes in Computer Science - 4th International Workshop on Hybrid Systems: Computation and Control (HSCC'01), (2034) pp. 89-104. ISBN/ISSN: 3-540-41866-0