Selected Publications

• Position Papers and Overviews
• System Architecture Modeling
• Correctness by Construction
• Component-based Construction - The BIP Framework
• Real Time Systems - Modeling and Implementation
• Symbolic Model Checking of Timed and Hybrid Systems
• The Algebra of Timed Process - ATP
• Abstraction Techniques
• Process Algebra and Modal Logics
• Model Checking and Verification of Transition Systems
• Petri Nets