×

Reniers, Michel Adriaan

Compute Distance To:
Author ID: reniers.michel-adriaan Recent zbMATH articles by "Reniers, Michel Adriaan"
Published as: Reniers, Michel A.; Reniers, M. A.; Reniers, Michel; Reniers, Michel Adriaan
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

50 Publications have been cited 281 times in 156 Documents Cited by Year
Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra. Zbl 1234.68001
Baeten, J. C. M.; Basten, T.; Reniers, M. A.
37
2010
SOS formats and meta-theory: 20 years after. Zbl 1111.68069
Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso
30
2007
Hybrid process algebra. Zbl 1090.68071
Cuijpers, P. J. L.; Reniers, M. A.
22
2005
Syntax and consistent equation semantics of hybrid Chi. Zbl 1088.68111
van Beek, D. A.; Man, K. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.
17
2006
Algebraic process verification. Zbl 1035.68069
Groote, J. F.; Reniers, M. A.
16
2001
Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075
Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso
15
2005
Analysis of distributed systems with mCRL2. Zbl 1171.68400
Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck
9
2009
A rule format for associativity. Zbl 1160.68461
Cranen, Sjoerd; Mousavi, MohammadReza; Reniers, Michel A.
9
2008
SOS for higher order processes. Zbl 1134.68450
Mousavi, Mohammad Reza; Gabbay, Murdoch J.; Reniers, Michel A.
8
2005
Congruence for structural congruences. Zbl 1118.68534
Mousavi, Mohammad Reza; Reniers, Michel A.
7
2005
Semantics and expressiveness of ordered SOS. Zbl 1165.68045
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
6
2009
A hierarchy of SOS rule formats. Zbl 1273.68206
Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A.
6
2006
A syntactic commutativity format for SOS. Zbl 1173.68561
Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso
6
2005
Linearization of hybrid processes. Zbl 1088.68137
van den Brand, P. C. W.; Reniers, M. A.; Cuijpers, P. J. L.
5
2006
PARS: A process algebra with resources and schedulers. Zbl 1099.68673
Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel
5
2004
Topological (bi-)simulation. Zbl 1271.68177
Cuijpers, P. J. L.; Reniers, M. A.
5
2004
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Nominal SOS. Zbl 1342.68193
Cimini, Matteo; Mousavi, Mohamamdreza; Reniers, Michel A.; Gabbay, Murdoch J.
5
2012
Completeness of timed \(\mu\)CRL. Zbl 1011.68063
Reniers, M. A.; Groote, J. F.; van der Zwaag, M. B.; van Wamel, J.
4
2002
A hierarchy of communication models for message sequence charts. Zbl 1014.68040
Engels, A. G.; Mauw, S.; Reniers, M. A.
4
2002
Orthogonal extensions in structural operational semantics (extended abstract). Zbl 1085.68593
Mousavi, Mohammad Reza; Reniers, Michel A.
4
2005
A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus. Zbl 1216.68188
Cranen, Sjoerd; Groote, Jan Friso; Reniers, Michel
3
2011
Message sequence chart. Syntax and semantics. Zbl 0930.68084
Reniers, Michel Adriaan
3
1999
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
Timed process algebra (with a focus on explicit termination and relative-timing). Zbl 1105.68079
Baeten, J. C. M.; Reniers, M. A.
3
2004
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2011
Foundations of a compositional interchange format for hybrid systems. Zbl 1221.68152
van Beek, D. A.; Reniers, M. A.; Schiffelers, R. R. H.; Rooda, J. E.
3
2007
Formal semantics of hybrid Chi. Zbl 1099.68651
Schiffelers, R. R. H.; van Beek, D. A.; Man, K. L.; Reniers, M. A.; Rooda, J. E.
3
2004
Lost in translation: Hybrid-time flows vs. real-time transitions. Zbl 1143.68480
Cuijpers, P. J. L.; Reniers, M. A.
3
2008
On rule formats for zero and unit elements. Zbl 1342.68189
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2010
Analysis of an industrial system. Zbl 1021.68061
Kleijn, J. J. T.; Reniers, M. A.; Rooda, J. E.
2
2003
A congruence rule format with universal quantification. Zbl 1278.68144
Mousavi, Mohammad Reza; Reniers, Michel
2
2007
Structural operational semantics with first-order logic. Zbl 1339.68161
van Weerdenburg, Muck; Reniers, Michel A.
2
2009
Topological aspects of hybrid processes: a proposed treatment using non-standard analysis. Zbl 1316.68091
Cuijpers, P. J. L.; Reniers, M. A.
2
2006
The meaning of ordered SOS. Zbl 1177.68140
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
2
2006
Structuring multilevel discrete-event systems with dependence structure matrices. Zbl 07256281
Goorden, Martijn; van de Mortel-Fronczak, Joanna; Reniers, Michel; Fokkink, Wan; Rooda, Jacobus
1
2020
Maximally permissive controlled system synthesis for modal logic. Zbl 1432.68248
van Hulst, Alan C.; Reniers, Michel A.; Fokkink, Wan J.
1
2015
SOS rule formats for zero and unit elements. Zbl 1216.68152
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
1
2011
Prototyping SOS meta-theory in Maude. Zbl 1273.68212
Mousavi, Mohammad Reza; Reniers, Michel A.
1
2006
On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference). Zbl 1277.68125
Mousavi, MohammadReza; Reniers, Michel
1
2007
Model-based engineering of embedded systems using the hybrid process algebra Chi. Zbl 1279.68245
Baeten, J. C. M.; van Beek, D. A.; Cuijpers, P. J. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.; Theunissen, R. J. M.
1
2008
Timing the untimed: Terminating successfully while being conservative. Zbl 1171.68559
Baeten, J. C. M.; Mousavi, M. R.; Reniers, M. A.
1
2005
Process algebra needs proof methodology. Zbl 1169.68541
Fokkink, Wan; Groote, Jan Friso; Reniers, Michel
1
2004
PARS: a process algebraic approach to resources and schedulers. Zbl 1171.68575
Mousavi, Mohammad Reza; Reniers, Michel A.; Basten, Twan; Chaudron, Michel
1
2009
An incremental and modular technique for checking LTL\(\setminus \)X properties of Petri nets. Zbl 1215.68155
Klai, Kais; Petrucci, Laure; Reniers, Michel
1
2007
A process algebra for interworkings. Zbl 1035.68070
Mauw, S.; Reniers, M. A.
1
2001
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
1
2009
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Zbl 1478.93190
van Putten, Berend Jan Christiaan; van der Sanden, Bram; Reniers, Michel; Voeten, Jeroen; Schiffelers, Ramon
1
2021
Compositional coordinator synthesis of extended finite automata. Zbl 1478.93186
Goorden, Martijn A.; Fabian, Martin; van de Mortel-Fronczak, Joanna M.; Reniers, Michel A.; Fokkink, Wan J.; Rooda, Jacobus E.
1
2021
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Zbl 1478.93190
van Putten, Berend Jan Christiaan; van der Sanden, Bram; Reniers, Michel; Voeten, Jeroen; Schiffelers, Ramon
1
2021
Compositional coordinator synthesis of extended finite automata. Zbl 1478.93186
Goorden, Martijn A.; Fabian, Martin; van de Mortel-Fronczak, Joanna M.; Reniers, Michel A.; Fokkink, Wan J.; Rooda, Jacobus E.
1
2021
Structuring multilevel discrete-event systems with dependence structure matrices. Zbl 07256281
Goorden, Martijn; van de Mortel-Fronczak, Joanna; Reniers, Michel; Fokkink, Wan; Rooda, Jacobus
1
2020
Maximally permissive controlled system synthesis for modal logic. Zbl 1432.68248
van Hulst, Alan C.; Reniers, Michel A.; Fokkink, Wan J.
1
2015
Nominal SOS. Zbl 1342.68193
Cimini, Matteo; Mousavi, Mohamamdreza; Reniers, Michel A.; Gabbay, Murdoch J.
5
2012
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus. Zbl 1216.68188
Cranen, Sjoerd; Groote, Jan Friso; Reniers, Michel
3
2011
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2011
SOS rule formats for zero and unit elements. Zbl 1216.68152
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
1
2011
Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra. Zbl 1234.68001
Baeten, J. C. M.; Basten, T.; Reniers, M. A.
37
2010
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
On rule formats for zero and unit elements. Zbl 1342.68189
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2010
Analysis of distributed systems with mCRL2. Zbl 1171.68400
Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck
9
2009
Semantics and expressiveness of ordered SOS. Zbl 1165.68045
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
6
2009
Structural operational semantics with first-order logic. Zbl 1339.68161
van Weerdenburg, Muck; Reniers, Michel A.
2
2009
PARS: a process algebraic approach to resources and schedulers. Zbl 1171.68575
Mousavi, Mohammad Reza; Reniers, Michel A.; Basten, Twan; Chaudron, Michel
1
2009
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
1
2009
A rule format for associativity. Zbl 1160.68461
Cranen, Sjoerd; Mousavi, MohammadReza; Reniers, Michel A.
9
2008
Lost in translation: Hybrid-time flows vs. real-time transitions. Zbl 1143.68480
Cuijpers, P. J. L.; Reniers, M. A.
3
2008
Model-based engineering of embedded systems using the hybrid process algebra Chi. Zbl 1279.68245
Baeten, J. C. M.; van Beek, D. A.; Cuijpers, P. J. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.; Theunissen, R. J. M.
1
2008
SOS formats and meta-theory: 20 years after. Zbl 1111.68069
Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso
30
2007
Foundations of a compositional interchange format for hybrid systems. Zbl 1221.68152
van Beek, D. A.; Reniers, M. A.; Schiffelers, R. R. H.; Rooda, J. E.
3
2007
A congruence rule format with universal quantification. Zbl 1278.68144
Mousavi, Mohammad Reza; Reniers, Michel
2
2007
On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference). Zbl 1277.68125
Mousavi, MohammadReza; Reniers, Michel
1
2007
An incremental and modular technique for checking LTL\(\setminus \)X properties of Petri nets. Zbl 1215.68155
Klai, Kais; Petrucci, Laure; Reniers, Michel
1
2007
Syntax and consistent equation semantics of hybrid Chi. Zbl 1088.68111
van Beek, D. A.; Man, K. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.
17
2006
A hierarchy of SOS rule formats. Zbl 1273.68206
Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A.
6
2006
Linearization of hybrid processes. Zbl 1088.68137
van den Brand, P. C. W.; Reniers, M. A.; Cuijpers, P. J. L.
5
2006
Topological aspects of hybrid processes: a proposed treatment using non-standard analysis. Zbl 1316.68091
Cuijpers, P. J. L.; Reniers, M. A.
2
2006
The meaning of ordered SOS. Zbl 1177.68140
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
2
2006
Prototyping SOS meta-theory in Maude. Zbl 1273.68212
Mousavi, Mohammad Reza; Reniers, Michel A.
1
2006
Hybrid process algebra. Zbl 1090.68071
Cuijpers, P. J. L.; Reniers, M. A.
22
2005
Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075
Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso
15
2005
SOS for higher order processes. Zbl 1134.68450
Mousavi, Mohammad Reza; Gabbay, Murdoch J.; Reniers, Michel A.
8
2005
Congruence for structural congruences. Zbl 1118.68534
Mousavi, Mohammad Reza; Reniers, Michel A.
7
2005
A syntactic commutativity format for SOS. Zbl 1173.68561
Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso
6
2005
Orthogonal extensions in structural operational semantics (extended abstract). Zbl 1085.68593
Mousavi, Mohammad Reza; Reniers, Michel A.
4
2005
Timing the untimed: Terminating successfully while being conservative. Zbl 1171.68559
Baeten, J. C. M.; Mousavi, M. R.; Reniers, M. A.
1
2005
PARS: A process algebra with resources and schedulers. Zbl 1099.68673
Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel
5
2004
Topological (bi-)simulation. Zbl 1271.68177
Cuijpers, P. J. L.; Reniers, M. A.
5
2004
Timed process algebra (with a focus on explicit termination and relative-timing). Zbl 1105.68079
Baeten, J. C. M.; Reniers, M. A.
3
2004
Formal semantics of hybrid Chi. Zbl 1099.68651
Schiffelers, R. R. H.; van Beek, D. A.; Man, K. L.; Reniers, M. A.; Rooda, J. E.
3
2004
Process algebra needs proof methodology. Zbl 1169.68541
Fokkink, Wan; Groote, Jan Friso; Reniers, Michel
1
2004
Analysis of an industrial system. Zbl 1021.68061
Kleijn, J. J. T.; Reniers, M. A.; Rooda, J. E.
2
2003
Completeness of timed \(\mu\)CRL. Zbl 1011.68063
Reniers, M. A.; Groote, J. F.; van der Zwaag, M. B.; van Wamel, J.
4
2002
A hierarchy of communication models for message sequence charts. Zbl 1014.68040
Engels, A. G.; Mauw, S.; Reniers, M. A.
4
2002
Algebraic process verification. Zbl 1035.68069
Groote, J. F.; Reniers, M. A.
16
2001
A process algebra for interworkings. Zbl 1035.68070
Mauw, S.; Reniers, M. A.
1
2001
Message sequence chart. Syntax and semantics. Zbl 0930.68084
Reniers, Michel Adriaan
3
1999
all top 5

Cited by 234 Authors

21 Reniers, Michel Adriaan
15 Aceto, Luca
15 Ingólfsdóttir, Anna
10 Baeten, Jos C. M.
9 Luttik, Bas
6 de Vink, Erik P.
6 Fokkink, Willem Jan
6 Groote, Jan Friso
6 Sangiorgi, Davide
5 Bergstra, Jan A.
5 Cimini, Matteo
5 Cuijpers, Pieter J. L.
5 Klin, Bartek
5 Middelburg, Cornelis A.
5 Rooda, Jacobus E.
5 Tini, Simone
4 Andova, Suzana
4 Gebler, Daniel E.
4 Lee, Insup
4 Phillips, Iain W.
4 Sokolsky, Oleg
4 van de Pol, Jan Cornelis
4 van Glabbeek, Robert Jan
3 Arbab, Farhad
3 Bortolussi, Luca
3 D’Argenio, Pedro Rubén
3 de Frutos-Escrig, David
3 Durier, Adrien
3 Fábregas, Ignacio
3 Galpin, Vashti
3 García-Pérez, Álvaro
3 Gregorio-Rodríguez, Carlos
3 Hennicker, Rolf
3 Hillston, Jane
3 Hirschkoff, Daniel
3 Merro, Massimo
3 Schiffelers, R. R. H.
3 Ulidowski, Irek
3 van Beek, D. A.
3 Willemse, Tim A. C.
2 Baranov, Eduard
2 Barbosa, Luís Soares
2 Beohar, Harsh
2 Bliudze, Simon
2 Castiglioni, Valentina
2 Colvin, Robert J.
2 Georgievska, Sonja
2 Goncharov, Sergeĭ Savost’yanovich
2 Goriac, Eugen-Ioan
2 Groenewegen, Luuk P. J.
2 Hoare, C. A. R. Tony
2 Höfner, Peter
2 Katoen, Joost-Pieter
2 Lanotte, Ruggero
2 Lee, Matias David
2 Lenglet, Sergueï
2 Madeira, Alexandre
2 Man, Ka Lok
2 Martins, Manuel António
2 Mosses, Peter D.
2 Mousavi, Mohammadreza
2 Ortega-Mallén, Yolanda
2 Pang, Jun
2 Philippou, Anna
2 Rauch, Christoph
2 Schmitt, Alan
2 Schröder, Lutz
2 Sirjani, Marjan
2 Stefani, Jean-Bernard
2 Tian, Chun
2 Trčka, Nikola
2 van de Mortel-Fronczak, Joanna M.
2 van Tilburg, Paul
2 Van Weerdenburg, Muck J.
1 Ahn, Sojin
1 Alonderis, Romas
1 Alur, Rajeev
1 Anastasiadi, Elli
1 Badban, Bahareh
1 Baier, Christel
1 Ballardin, Francesco
1 Barbuti, Roberto
1 Bauer, Sebastian S.
1 Birgisson, Arnar
1 Bodeveix, Jean-Paul
1 Bonsangue, Marcello Maria
1 Borgström, Johannes
1 Bortnik, E.
1 Bourke, Timothy
1 Bouwman, Mark
1 Bres, Emile
1 Bundy, Alan
1 Buscemi, Maria Grazia
1 Cai, Kai
1 Caravagna, Giulio
1 Cazorla, Diego
1 Chevrou, Florent
1 Choi, Jin Young
1 Choi, Jiyoung
1 Cranen, Sjoerd
...and 134 more Authors

Citations by Year