Willem-Paul de Roever

• Formal techniques in real-time and fault-tolerant systems
• Data refinement
• Formal methods for components and objects
• Formal methods for components and objects
• Formal methods for components and objects
• Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
• Compositionality : the Significant Difference
• Concurrency verification