Concepedia

Michel Reniers

MR

Statistics

Publications

56

Citations

1.6K

H-Index

20

Active since

1994

Affiliations

Eindhoven University of Technology(Current)

ASML (Netherlands)

Reykjavík University

Chalmers University of Technology

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

ORCID

Publications per year

1994–2021

56

Publications

56

Hybrid process algebra

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

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

, , +10

The Formal Specification Language mCRL2

Jan Friso Groote, Michel Reniers, YS Yaroslav Usenko et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2007 · 129 citations · Full text

, , +17

Message sequence chart : syntax and semantics

Michel Reniers · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1999 · 98 citations · Full text

, , +8

SOS formats and meta-theory: 20 years after

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

, , +4

1–5 of 56