Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kreiker, Jörg - Institut für Informatik, Technische Universität München
Verification and Synthesis of OCL Constraints via Topology Analysis
A Semantics for Procedure Local Heaps and its Abstractions
A Modal-Logic Based Graph Abstraction Jorg Bauer2
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction (Draft)
Static Analysis of Dynamic Communication Systems by Partner Abstraction
An Appreciation of the Work of Reinhard Wilhelm Thomas Reps1
Specification and Verification of Dynamic Communication Systems Jorg Bauer (joba@cs.uni-sb.de)
Analysis of Communication Topologies by Partner
Shape Analysis of Low-level C with Overlapping Structures
Relational Analysis of Correlation Jorg Bauer1
A Control-Flow-Analysis for Multi-Threaded Java with
Mind the Shapes: Abstraction Refinement Via Topology Invariants
Relational Analysis for Delivery of Services Flemming Nielson, Hanne Riis Nielson, Jorg Bauer, Christoffer Rosenkilde
A Semantics for Procedure Local Heaps and its Abstractions
