| 2008 |
|---|
| 12 | EE | Jörg Bauer,
Iovka Boneva,
Marcos E. Kurbán,
Arend Rensink:
A Modal-Logic Based Graph Abstraction.
ICGT 2008: 321-335 |
| 11 | EE | Jörg Bauer,
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard:
Relational Analysis of Correlation.
SAS 2008: 32-46 |
| 2007 |
|---|
| 10 | | Thomas W. Reps,
Mooly Sagiv,
Jörg Bauer:
Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Springer 2007 |
| 9 | EE | Jörg Bauer,
Werner Damm,
Tobe Toben,
Bernd Westphal:
Verification and Synthesis of OCL Constraints Via Topology Analysis.
AGTIVE 2007: 361-376 |
| 8 | EE | Jörg Bauer,
Tobe Toben,
Bernd Westphal:
Mind the Shapes: Abstraction Refinement Via Topology Invariants.
ATVA 2007: 35-50 |
| 7 | EE | Jörg Bauer,
Reinhard Wilhelm:
Static Analysis of Dynamic Communication Systems by Partner Abstraction.
SAS 2007: 249-264 |
| 6 | EE | Flemming Nielson,
Hanne Riis Nielson,
Jörg Bauer,
Christoffer Rosenkilde Nielsen,
Henrik Pilegaard:
Relational Analysis for Delivery of Services.
TGC 2007: 73-89 |
| 2006 |
|---|
| 5 | EE | Jörg Bauer,
Ina Schaefer,
Tobe Toben,
Bernd Westphal:
Specification and Verification of Dynamic Communication Systems.
ACSD 2006: 189-200 |
| 4 | EE | Thomas W. Reps,
Mooly Sagiv,
Jörg Bauer:
An Appreciation of the Work of Reinhard Wilhelm.
Program Analysis and Compilation 2006: 1-11 |
| 3 | EE | Jörg Bauer,
Reinhard Wilhelm:
Abstract Interpretation of Graph Transformation.
Simulation and Verification of Dynamic Systems 2006 |
| 2 | EE | Jörg Bauer,
Reinhard Wilhelm:
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.
Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 |
| 2005 |
|---|
| 1 | EE | Noam Rinetzky,
Jörg Bauer,
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
A semantics for procedure local heaps and its abstractions.
POPL 2005: 296-309 |
