Concepedia

Michel Reniers

MR

Statistics

Publications

55

Citations

1.6K

H-Index

20

Active since

1994

Affiliations

Eindhoven University of Technology(Current)

Reykjavík University

ASML (Netherlands)

Chalmers University of Technology

Michel Reniers is an author at Eindhoven University of Technology specializing in engineering, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringFormal VerificationProcess ControlAutomated ReasoningComputer EngineeringAutomationVerification

Publications per year

1994–2021

55

Publications

55

Hybrid process algebra

Pjl Pieter Cuijpers, Michel Reniers · The Journal of Logic and Algebraic Programming · 2004 · 172 citations · Full text

Process Analysis, Formal Methods, Process Control +3

Syntax and consistent equation semantics of hybrid Chi

D.A. van Beek, Ka Lok Man, Michel Reniers et al. · The Journal of Logic and Algebraic Programming · 2005 · 147 citations · Full text

Formal Semantics, Syntax, Engineering +8

The Formal Specification Language mCRL2

Jan Friso Groote, Ahj Aad Mathijssen, Michel Reniers et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2007 · 128 citations · Full text

Petri Net, Engineering, Verification +17

Message sequence chart : syntax and semantics

Michel Reniers · Data Archiving and Networked Services (DANS) · 1999 · 97 citations · Full text

Syntax, Message Sequence Chart, Grammatical Formalism +6

SOS formats and meta-theory: 20 years after

Mohammad Reza Mousavi, Michel Reniers, Jan Friso Groote · Theoretical Computer Science · 2006 · 88 citations · Full text

Sos Formats, Metatheory, Metaverse +6

1–5 of 55