|
|
 |
|
 |
|
Publications by Joerg Bauer
|
|
 |
|
 |
2008 | |
J. Bauer, Iovka Boneva, Arend Rensink, and Marcos E. Kurban. A modal-logic based graph abstraction. In Reiko Heckel and Gabriele Taentzer, editors, International Conference of Graph Transformation. Springer, 2008. |
|
|
J. Bauer, Flemming Nielson, Hanne Riis Nielson, and Henrik Pilegaard. Relational analysis of correlation. In 15th International Static Analysis Symposium, volume tba of Lecture Notes in Computer Science. Springer, 2008. |
|
2007 | |
J. Bauer, Werner Damm, Tobe Toben, and Bernd Westphal. Verification and Synthesis of Ocl Constraints via Topology Analysis: A Case Study. In Applications of Graph Transformations with Industrial Relevance Third International Symposium. Springer, 2007. |
|
|
J. Bauer, Tobe Toben, and Bernd Westphal. Mind the shapes: Abstraction refinement via topology invariants. In Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, and Yoshio Okamura, editors, Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, volume 4762, pages 35–50. Springer, 2007. |
|
|
Flemming Nielson, Hanne Riis Nielson, J. Bauer, Christoffer Rosenkilde Nielsen, and Henrik Pilegaard. Relational analysis for delivery of services. In Trustworthy Global Computing, volume 4912, pages 73–89. Springer, 2007. |
|
|
J. Bauer and Reinhard Wilhelm. Static Analysis of Dynamic Communication Systems. In 14th International Static Analysis Symposium, volume 4634. Springer, 2007. |
|
|
Thomas Reps, Mooly Sagiv, and J. Bauer, editors. Program analysis and compilation, theory and practice, essays dedicated to reinhard wilhelm on the occasion of his 60th birthday, volume 4444 of Lecture Notes in Computer Science. Springer, 2007. |
|
|
Thomas Reps, Mooly Sagiv, and J. Bauer. An appreciation of the work of reinhard wilhelm. In Festschrift, pages 1–11. |
|
2006 | |
J. Bauer and R. Wilhelm. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Seminar proceedings 06081, Dagstuhl, Feb 2006. |
|
|
J. Bauer, Ina Schaefer, Tobe Toben, and Bernd Westphal. Specification and Verification of Dynamic Communication Systems. In Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on. IEEE Computer Society Press, 2006. |
|
|
J. Bauer. Analysis of Communication Topologies by Partner Abstraction. PhD thesis, Universität des Saarlandes, 2006. |
|
2005 | |
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. A Semantics for Procedure Local Heaps and its Abstractions. In 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), 2005. |
|
2004 | |
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. A Semantics for Procedure Local Heaps and its Abstractions. Tech. Rep. 1, AVACS, Sep 2004. |
|
2001 | |
J. Bauer. A Control-Flow-Analysis for Multi-Threaded Java with Security Applications. Master's thesis, Saarland University, 2001. |
|
|
|
Contact
