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