A semantics for procedure local heaps and its abstractions. - Noam Rinetzky; Jörg Bauer 001; Thomas W. Reps; Shmuel Sagiv; Reinhard Wilhelm (POPL, 2005)

Specification and Verification of Dynamic Communication Systems. - Jörg Bauer 001; Ina Schaefer; Tobe Toben; Bernd Westphal (ACSD, 2006)

An Appreciation of the Work of Reinhard Wilhelm. - Thomas W. Reps; Mooly Sagiv; Jörg Bauer 001 (Program Analysis and Compilation, 2006)

Abstract Interpretation of Graph Transformation. - Jörg Bauer 001; Reinhard Wilhelm (Simulation and Verification of Dynamic Systems, 2006)

Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. - Jörg Bauer 001; Reinhard Wilhelm (Software Verification: Infinite-State Model Checking and Static Program Analysis, 2006)

Analysis of communication topologies by partner abstraction. - Jörg Bauer 001 (Pirrot, 2006)

Verification and Synthesis of OCL Constraints Via Topology Analysis. - Jörg Bauer 001; Werner Damm; Tobe Toben; Bernd Westphal (AGTIVE, 2007)

Mind the Shapes: Abstraction Refinement Via Topology Invariants. - Jörg Bauer 001; Tobe Toben; Bernd Westphal (ATVA, 2007)

Static Analysis of Dynamic Communication Systems by Partner Abstraction. - Jörg Bauer 001; Reinhard Wilhelm (SAS, 2007)

Relational Analysis for Delivery of Services. - Flemming Nielson; Hanne Riis Nielson; Jörg Bauer 001; Christoffer Rosenkilde Nielsen; Henrik Pilegaard (TGC, 2007)

A Modal-Logic Based Graph Abstraction. - Jörg Bauer 001; Iovka Boneva; Marcos E. Kurbán; Arend Rensink (ICGT, 2008)

Relational Analysis of Correlation. - Jörg Bauer 001; Flemming Nielson; Hanne Riis Nielson; Henrik Pilegaard (SAS, 2008)

Graph Abstraction for a Modal Logic. - Iovka Boneva; Jörg Kreiker; Marcos E. Kurbán; Arend Rensink (Bull. EATCS, 2009)

10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network Protocols. - Bengt Jonsson 001; Jörg Kreiker; Marta Z. Kwiatkowska (Quantitative and Qualitative Analysis of Network Protocols, 2010)

10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols. - Bengt Jonsson 001; Jörg Kreiker; Marta Z. Kwiatkowska (Quantitative and Qualitative Analysis of Network Protocols, 2010)

Shape Analysis of Low-Level C with Overlapping Structures. - Jörg Kreiker; Helmut Seidl; Vesal Vojdani (VMCAI, 2010)

From Explicit to Symbolic Types for Communication Protocols in CCS. - Hanne Riis Nielson; Flemming Nielson; Jörg Kreiker; Henrik Pilegaard (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). - Jörg Kreiker; Andrzej Tarlecki; Moshe Y. Vardi; Reinhard Wilhelm (Dagstuhl Manifestos, 2011)

Three Case Studies on Verification of Infinite-State Systems. - Javier Esparza; Jörg Kreiker (Modern Applications of Automata Theory, 2012)

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. - Jörg Kreiker; Thomas W. Reps; Noam Rinetzky; Mooly Sagiv; Reinhard Wilhelm; Eran Yahav (Programming Logics, 2013)

Local Higher-Order Fixpoint Iteration. - Florian Bruse; Jörg Kreiker; Martin Lange; Marco Sälzer (GandALF, 2020)