Michel Reniers
Publications by Year
Research Areas
Formal Methods in Verification, Petri Nets in System Modeling, Logic, programming, and type systems, Real-Time Systems Scheduling, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Process Algebra: Equational Theories of Communicating Processes(2009)195 cited
- → Hybrid process algebra(2004)172 cited
- → Syntax and consistent equation semantics of hybrid Chi(2005)147 cited
- → The Formal Specification Language mCRL2(2007)128 cited
- → Algebraic Process Verification(2001)109 cited
- → High-level Message Sequence Charts(1997)108 cited
- → Message sequence chart : syntax and semantics(1999)98 cited
- → CIF 3: Model-Based Engineering of Supervisory Controllers(2014)91 cited
- → SOS formats and meta-theory: 20 years after(2006)88 cited
- → Operational Semantics for MSC'96(1999)54 cited