Jörg Kreiker

Jörg Bauer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Iovka Boneva [12]
2Werner Damm [9]
3Marcos E. Kurbán [12]
4Christoffer Rosenkilde Nielsen [6]
5Flemming Nielson [6] [11]
6Hanne Riis Nielson [6] [11]
7Henrik Pilegaard [6] [11]
8Arend Rensink [12]
9Thomas W. Reps [1] [4] [10]
10Noam Rinetzky [1]
11Shmuel Sagiv (Mooly Sagiv) [1] [4] [10]
12Ina Schaefer [5]
13Tobe Toben [5] [8] [9]
14Bernd Westphal [5] [8] [9]
15Reinhard Wilhelm [1] [2] [3] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)