×

zbMATH — the first resource for mathematics

Reniers, Michel Adriaan

Compute Distance To:
Author ID: reniers.michel-adriaan Recent zbMATH articles by "Reniers, Michel Adriaan"
Published as: Reniers, M. A.; Reniers, Michel; Reniers, Michel A.; Reniers, Michel Adriaan
External Links: MGP
Documents Indexed: 65 Publications since 1999, including 4 Books

Publications by Year

Citations contained in zbMATH

47 Publications have been cited 283 times in 150 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.
38
2010
SOS formats and meta-theory: 20 years after. Zbl 1111.68069
Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso
27
2007
Hybrid process algebra. Zbl 1090.68071
Cuijpers, P. J. L.; Reniers, M. A.
21
2005
Algebraic process verification. Zbl 1035.68069
Groote, J. F.; Reniers, M. A.
16
2001
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.
15
2006
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
11
2009
A rule format for associativity. Zbl 1160.68461
Cranen, Sjoerd; Mousavi, MohammadReza; Reniers, Michel A.
9
2008
A syntactic commutativity format for SOS. Zbl 1173.68561
Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso
8
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 hierarchy of SOS rule formats. Zbl 1273.68206
Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A.
6
2006
Nominal SOS. Zbl 1342.68193
Cimini, Matteo; Mousavi, Mohamamdreza; Reniers, Michel A.; Gabbay, Murdoch J.
5
2012
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Semantics and expressiveness of ordered SOS. Zbl 1165.68045
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
5
2009
Linearization of hybrid processes. Zbl 1088.68137
van den Brand, P. C. W.; Reniers, M. A.; Cuijpers, P. J. L.
5
2006
Topological (bi-)simulation. Zbl 1271.68177
Cuijpers, P. J. L.; Reniers, M. A.
5
2004
PARS: A process algebra with resources and schedulers. Zbl 1099.68673
Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel
5
2004
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
4
2009
The meaning of ordered SOS. Zbl 1177.68140
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
4
2006
Orthogonal extensions in structural operational semantics (extended abstract). Zbl 1085.68593
Mousavi, Mohammad Reza; Reniers, Michel A.
4
2005
A hierarchy of communication models for message sequence charts. Zbl 1014.68040
Engels, A. G.; Mauw, S.; Reniers, M. A.
4
2002
Completeness of timed \(\mu\)CRL. Zbl 1011.68063
Reniers, M. A.; Groote, J. F.; van der Zwaag, M. B.; van Wamel, J.
4
2002
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
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
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
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
Message sequence chart. Syntax and semantics. Zbl 0930.68084
Reniers, Michel Adriaan
3
1999
SOS rule formats for zero and unit elements. Zbl 1216.68152
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
2
2011
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
2
2009
Lost in translation: Hybrid-time flows vs. real-time transitions. Zbl 1143.68480
Cuijpers, P. J. L.; Reniers, M. A.
2
2008
A congruence rule format with universal quantification. Zbl 1278.68144
Mousavi, Mohammad Reza; Reniers, Michel
2
2007
Topological aspects of hybrid processes: a proposed treatment using non-standard analysis. Zbl 1316.68091
Cuijpers, P. J. L.; Reniers, M. A.
2
2006
Prototyping SOS meta-theory in Maude. Zbl 1273.68212
Mousavi, Mohammad Reza; Reniers, Michel A.
2
2006
Analysis of an industrial system. Zbl 1021.68061
Kleijn, J. J. T.; Reniers, M. A.; Rooda, J. E.
2
2003
Maximally permissive controlled system synthesis for modal logic. Zbl 1432.68248
van Hulst, Alan C.; Reniers, Michel A.; Fokkink, Wan J.
1
2015
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
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
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
A process algebra for interworkings. Zbl 1035.68070
Mauw, S.; Reniers, M. A.
1
2001
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.
2
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.
38
2010
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; 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
11
2009
Semantics and expressiveness of ordered SOS. Zbl 1165.68045
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
5
2009
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
4
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
2
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.
2
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
27
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.
15
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
The meaning of ordered SOS. Zbl 1177.68140
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
4
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
Prototyping SOS meta-theory in Maude. Zbl 1273.68212
Mousavi, Mohammad Reza; Reniers, Michel A.
2
2006
Hybrid process algebra. Zbl 1090.68071
Cuijpers, P. J. L.; Reniers, M. A.
21
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
A syntactic commutativity format for SOS. Zbl 1173.68561
Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso
8
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
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
Topological (bi-)simulation. Zbl 1271.68177
Cuijpers, P. J. L.; Reniers, M. A.
5
2004
PARS: A process algebra with resources and schedulers. Zbl 1099.68673
Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel
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
A hierarchy of communication models for message sequence charts. Zbl 1014.68040
Engels, A. G.; Mauw, S.; Reniers, M. A.
4
2002
Completeness of timed \(\mu\)CRL. Zbl 1011.68063
Reniers, M. A.; Groote, J. F.; van der Zwaag, M. B.; van Wamel, J.
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 230 Authors

21 Reniers, Michel Adriaan
15 Aceto, Luca
15 Ingólfsdóttir, Anna
11 Baeten, Jos C. M.
8 Luttik, Bas
8 Mousavi, Mohammadreza
6 Cuijpers, Pieter J. L.
6 de Vink, Erik P.
6 Fokkink, Willem Jan
6 Groote, Jan Friso
6 Mousavi, Mohammad Reza
5 Bergstra, Jan A.
5 Cimini, Matteo
5 Klin, Bartek
5 Middelburg, Cornelis A.
5 Rooda, Jacobus E.
5 Sangiorgi, Davide
4 Andova, Suzana
4 Lee, Insup
4 Phillips, Iain W.
4 Sokolsky, Oleg
4 Tini, Simone
4 van de Pol, Jan Cornelis
4 van Glabbeek, Robert Jan
3 Arbab, Farhad
3 Bortolussi, Luca
3 de Frutos-Escrig, David
3 Durier, Adrien
3 Fábregas, Ignacio
3 Galpin, Vashti
3 García-Pérez, Álvaro
3 Gebler, Daniel E.
3 Gregorio-Rodríguez, Carlos
3 Hennicker, Rolf
3 Hillston, Jane
3 Hirschkoff, Daniel
3 Schiffelers, R. R. H.
3 Ulidowski, Irek
3 van Beek, D. A.
3 Willemse, Tim A. C.
2 Barbosa, Luís Soares
2 Castiglioni, Valentina
2 Colvin, Robert J.
2 D’Argenio, Pedro Rubén
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 Lenglet, Sergueï
2 Madeira, Alexandre
2 Man, Ka Lok
2 Martins, Manuel António
2 Merro, Massimo
2 Mosses, Peter D.
2 Ortega-Mallén, Yolanda
2 Orzan, Simona
2 Pang, Jun
2 Philippou, Anna
2 Rauch, Christoph
2 Schmitt, Alan
2 Schröder, Lutz
2 Sirjani, Marjan
2 Stefani, Jean-Bernard
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 Baranov, Eduard
1 Barbuti, Roberto
1 Bauer, Sebastian S.
1 Beohar, Harsh
1 Birgisson, Arnar
1 Bliudze, Simon
1 Bodeveix, Jean-Paul
1 Bonsangue, Marcello Maria
1 Borgström, Johannes
1 Bortnik, Elena M.
1 Bourke, Timothy
1 Bres, Emile
1 Bundy, Alan
1 Buscemi, Maria Grazia
1 Caravagna, Giulio
1 Cazorla, Diego
1 Chevrou, Florent
1 Choi, Jin Young
1 Choi, Jiyoung
1 Cranen, Sjoerd
1 Cuartero, Fernando
1 Doyen, Laurent
1 Duracz, Adam
...and 130 more Authors

Citations by Year