Jörg Bauer

13 papers A* 1B 4Unranked 6
YearRankTypeTitle / Venue / Authors
2008 B conf
A Modal-Logic Based Graph Abstraction.
ICGT
Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink
2008 B conf
Relational Analysis of Correlation.
SAS
Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
2007 B conf
Mind the Shapes: Abstraction Refinement Via Topology Invariants.
ATVA
Jörg Bauer, Tobe Toben, Bernd Westphal
2007 — ed.
Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Program Analysis and Compilation
Thomas W. Reps, Mooly Sagiv, Jörg Bauer
2007 — conf
Relational Analysis for Delivery of Services.
TGC
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
2007 B conf
Static Analysis of Dynamic Communication Systems by Partner Abstraction.
SAS
Jörg Bauer, Reinhard Wilhelm
2007 — conf
Verification and Synthesis of OCL Constraints Via Topology Analysis.
AGTIVE
Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal
2006 — conf
Abstract Interpretation of Graph Transformation.
Simulation and Verification of Dynamic Systems
Jörg Bauer, Reinhard Wilhelm
2006 — conf
An Appreciation of the Work of Reinhard Wilhelm.
Program Analysis and Compilation
Thomas W. Reps, Mooly Sagiv, Jörg Bauer
2006 — conf
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.
Software Verification: Infinite-State Model Checking and Static Program Analysis
Jörg Bauer, Reinhard Wilhelm
2006 — —
Analysis of communication topologies by partner abstraction.
Jörg Bauer
2006 — conf
Specification and Verification of Dynamic Communication Systems.
ACSD
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
2005 A* conf
A semantics for procedure local heaps and its abstractions.
POPL
Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm