Jörg Bauer

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink
A Modal-Logic Based Graph Abstraction. ICGT (2008)
Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
Relational Analysis of Correlation. SAS (2008)
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
Relational Analysis for Delivery of Services. TGC (2007)
Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal
Verification and Synthesis of OCL Constraints Via Topology Analysis. AGTIVE (2007)
Jörg Bauer, Tobe Toben, Bernd Westphal
Mind the Shapes: Abstraction Refinement Via Topology Invariants. ATVA (2007)
Jörg Bauer, Reinhard Wilhelm
Static Analysis of Dynamic Communication Systems by Partner Abstraction. SAS (2007)
Jörg Bauer, Reinhard Wilhelm
Abstract Interpretation of Graph Transformation. Simulation and Verification of Dynamic Systems (2006)
Thomas W. Reps, Mooly Sagiv, Jörg Bauer
An Appreciation of the Work of Reinhard Wilhelm. Program Analysis and Compilation (2006)
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
Specification and Verification of Dynamic Communication Systems. ACSD (2006)
Jörg Bauer, Reinhard Wilhelm
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
A semantics for procedure local heaps and its abstractions. POPL (2005)