![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Michel A. Reniers
Person information
- affiliation: Eindhoven University of Technology, Netherlands
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j40]Nick Paape
, J. A. W. M. van Eekelen, Michel A. Reniers
:
Review of simulation software for cyber-physical production systems with intelligent distributed production control. Int. J. Comput. Integr. Manuf. 37(5): 589-611 (2024) - [j39]Aida Rashidinejad
, Michel A. Reniers
, Martin Fabian
:
Supervisory Control Synthesis of Timed Automata Using Forcible Events. IEEE Trans. Autom. Control. 69(2): 1074-1080 (2024) - [i18]Nick Paape, J. A. W. M. van Eekelen, Michel A. Reniers:
Simulation-based optimization of a production system topology - a neural network-assisted genetic algorithm. CoRR abs/2402.01511 (2024) - [i17]Michel A. Reniers, Kai Cai:
Supervisory Control Theory with Event Forcing. CoRR abs/2404.08469 (2024) - 2023
- [j38]Masaaki Nagahara
, Kai Cai, Debasish Chatterjee, Nikhil Chopra, Takeshi Hatanaka, Yutaka Hori, Hideaki Ishii, Daniel E. Quevedo
, Michel A. Reniers:
Special issue on control technology for networked and distributed robotics. Adv. Robotics 37(1-2): 1 (2023) - [j37]Masaaki Nagahara
, Kai Cai, Debasish Chatterjee, Nikhil Chopra, Takeshi Hatanaka, Yutaka Hori, Hideaki Ishii, Daniel E. Quevedo, Michel A. Reniers:
Special issue on control technology for networked and distributed robotics (Part II). Adv. Robotics 37(3): 155 (2023) - [j36]Sander Thuijsman
, Kai Cai
, Michel A. Reniers
:
Transformational Supervisor Localization. IEEE Control. Syst. Lett. 7: 1682-1687 (2023) - [j35]Sander Thuijsman
, Michel A. Reniers
:
Correction to: Transformational supervisor synthesis for evolving systems. Discret. Event Dyn. Syst. 33(4): 509-513 (2023) - [c98]Bart Wesselink, Koen de Vos, Ivan Kuertev, Michel A. Reniers, Elena Torta
:
RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications. ICRA 2023: 9090-9096 - [c97]Wan J. Fokkink, Martijn A. Goorden
, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman
, J. J. Verbakel, J. A. Vogel:
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) 2023: 44-52 - [i16]Sander Thuijsman
, Gökhan Kahraman, Alireza Mohamadkhani, Ferry Timmers, Loek Cleophas, Marc Geilen
, Jan Friso Groote
, Michel A. Reniers, Ramon R. H. Schiffelers, Jeroen Voeten:
Tool interoperability for model-based systems engineering. CoRR abs/2302.03503 (2023) - [i15]Sander Thuijsman, Kai Cai, Michel A. Reniers:
Transformational Supervisor Localization. CoRR abs/2305.09384 (2023) - [i14]Nick Paape, Joost van Eekelen, Michel A. Reniers:
Automated design space exploration for poultry processing systems using discrete-event simulation. CoRR abs/2312.00526 (2023) - 2022
- [j34]Sander Thuijsman
, Michel A. Reniers
:
Transformational supervisor synthesis for evolving systems. Discret. Event Dyn. Syst. 32(2): 317-358 (2022) - [j33]Bram van der Sanden
, Marc Geilen
, Michel A. Reniers
, Twan Basten
:
Partial-Order Reduction for Supervisory Controller Synthesis. IEEE Trans. Autom. Control. 67(2): 870-885 (2022) - [c96]K. J. C. Fransen, Michel A. Reniers, J. A. W. M. van Eekelen:
Deadlock avoidance algorithm for AGVs on a tessellated layout. CASE 2022: 1163-1169 - [i13]Nick Paape
, J. A. W. M. van Eekelen, Michel A. Reniers:
Design space exploration of a poultry fillet processing system using discrete-event simulation. CoRR abs/2209.06458 (2022) - [i12]Sander Thuijsman, Michel A. Reniers:
Supervisory Control for Dynamic Feature Configuration in Product Lines. CoRR abs/2211.07382 (2022) - 2021
- [j32]Berend Jan Christiaan van Putten, Bram van der Sanden, Michel A. Reniers
, Jeroen Voeten, Ramon R. H. Schiffelers:
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Discret. Event Dyn. Syst. 31(1): 103-135 (2021) - [j31]Martijn A. Goorden
, Martin Fabian
, Joanna M. van de Mortel-Fronczak
, Michel A. Reniers
, Wan J. Fokkink
, Jacobus E. Rooda:
Compositional coordinator synthesis of extended finite automata. Discret. Event Dyn. Syst. 31(3): 317-348 (2021) - [c95]Sander Thuijsman
, Michel A. Reniers, Dennis Hendriks:
Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. CASE 2021: 777-783 - [c94]Jie Ding, Michel A. Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, Dimitris Kiritsis:
Integration of modeling and verification for system model based on KARMA language. DSM@SPLASH 2021: 41-50 - [i11]Aida Rashidinejad, Michel A. Reniers, Martin Fabian:
Networked Supervisory Control Synthesis of Timed Discrete-Event Systems. CoRR abs/2102.09255 (2021) - [i10]Aida Rashidinejad, Michel A. Reniers, Martin Fabian:
Supervisory Control Synthesis of Timed Automata Using Forcible Events. CoRR abs/2102.09338 (2021) - 2020
- [j30]Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak
, Michel A. Reniers
, Wan J. Fokkink
, Jacobus E. Rooda:
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. IEEE Trans. Autom. Control. 65(4): 1625-1639 (2020) - [c93]Ferdie F. H. Reijnen
, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda:
Design of a Supervisor Platform for Movable Bridges. CASE 2020: 1300-1306 - [c92]Michel A. Reniers, Sander Thuijsman
:
Supervisory Control for Dynamic Feature Configuration in Product Lines. FDL 2020: 1-8 - [c91]Aida Rashidinejad, Patrick van der Graaf, Michel A. Reniers:
Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. ICARCV 2020: 1033-1040 - [c90]Martijn A. Goorden
, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink
, Jacobus E. Rooda, L. F. P. Etman:
The Road Ahead for Supervisor Synthesis. SETTA 2020: 1-16 - [i9]Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda:
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. CoRR abs/2007.05795 (2020) - [i8]Sander Thuijsman, Michel A. Reniers:
Conversion of LSAT behavioral specifications to automata. CoRR abs/2011.03249 (2020)
2010 – 2019
- 2019
- [c89]Liyong Lin, Sander Thuijsman
, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers:
Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors. ACC 2019: 5614-5619 - [c88]Sander Thuijsman
, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers:
Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. CASE 2019: 486-493 - [c87]Aida Rashidinejad, Michel A. Reniers, Martin Fabian
:
Supervisory Control of Discrete-Event Systems in an Asynchronous Setting. CASE 2019: 494-501 - [c86]Ferdie F. H. Reijnen
, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda:
Finite Response and Confluence of State-based Supervisory Controllers. CASE 2019: 509-516 - [c85]Lennart Swartjes, Michel A. Reniers, Wan J. Fokkink
:
Deducing causes for the absence of states in supervised systems. CoDIT 2019: 144-149 - [c84]Aida Rashidinejad, Bart Wetzels, Michel A. Reniers, Liyong Lin, Yuting Zhu, Rong Su
:
Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook. ECC 2019: 1732-1739 - [c83]Martijn A. Goorden
, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink
, Jacobus E. Rooda:
Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. ECC 2019: 3204-3211 - [c82]Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink
, Jacobus E. Rooda:
Modeling Guidelines for Component-Based Supervisory Control Synthesis. FACS 2019: 3-24 - [c81]Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak
, Michel A. Reniers
, Wan J. Fokkink
, Jacobus E. Rooda:
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. FMICS 2019: 76-92 - 2018
- [j29]Tim Korssen
, Victor S. Dolk
, Joanna M. van de Mortel-Fronczak
, Michel A. Reniers
, Maurice Heemels
:
Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems. IEEE Trans. Intell. Transp. Syst. 19(2): 533-544 (2018) - [c80]Bram van der Sanden
, Marc Geilen
, Michel A. Reniers, Twan Basten:
Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ACSD 2018: 40-49 - [c79]Ferdie F. H. Reijnen
, Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda:
Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line. CCTA 2018: 458-464 - [c78]Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers:
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. MT@CPSWeek 2018: 7 - [c77]Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
:
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. ICST Workshops 2018: 214-223 - [i7]Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers:
Synthesis of Successful Actuator Attackers on Supervisors. CoRR abs/1807.06720 (2018) - 2017
- [j28]A. C. van Hulst, Michel A. Reniers
, Wan J. Fokkink
:
Maximally permissive controlled system synthesis for non-determinism and modal logic. Discret. Event Dyn. Syst. 27(1): 109-142 (2017) - [c76]Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
, Jacobus E. Rooda:
Structuring multilevel discrete-event systems with dependency structure matrices. CDC 2017: 558-564 - 2016
- [j27]Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen
, Dip Goswami, Martijn Hendriks, Sander Stuijk
, Michel A. Reniers, Jeroen Voeten:
xCPS: a tool to explore cyber physical systems. SIGBED Rev. 14(1): 81-95 (2016) - [c75]Bram van der Sanden
, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers:
Compositional specification of functionality and timing of manufacturing systems. FDL 2016: 1-8 - [c74]Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik
, Michel A. Reniers
:
Maintenance of specification models in industry using Edapt. FDL 2016: 1-6 - [c73]Maurice H. ter Beek
, Michel A. Reniers
, Erik P. de Vink:
Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) 2016: 856-873 - [c72]Abhishek Sharma, Michel A. Reniers:
Integrated simulation of CIF3 and simulink models. ITSLE@SPLASH 2016: 33-37 - [c71]Lennart Swartjes, Michel A. Reniers
, D. A. van Beek, Wan J. Fokkink
:
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. WODES 2016: 14-21 - 2015
- [j26]Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron:
Timed-Gamma and its Coordination Language. Nord. J. Comput. 15(2): 75-111 (2015) - [j25]Allan C. van Hulst, Michel A. Reniers
, Wan J. Fokkink
:
Maximal Synthesis for Hennessy-Milner Logic. ACM Trans. Embed. Comput. Syst. 14(1): 10:1-10:21 (2015) - [c70]Thijs Janssen, Joanna M. van de Mortel-Fronczak, Emile van Gerwen, Michel A. Reniers
:
Synthesis of discrete-event controllers from sequence-based specifications. CDC 2015: 3534-3541 - [c69]Sebastian Engell, Radoslav Paulen
, Michel A. Reniers
, Christian Sonntag, Haydn Thompson:
Core Research and Innovation Areas in Cyber-Physical Systems of Systems - Initial Findings of the CPSoS Project. CyPhy 2015: 40-55 - [c68]Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden
, Umar Waqas, Twan Basten
, Henk Corporaal, Raymond Frijns, Marc Geilen
, Dip Goswami, Sander Stuijk
, Michel A. Reniers
, Jeroen Voeten:
xCPS: A tool to eXplore Cyber Physical Systems. WESE 2015: 3:1-3:8 - [c67]Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers
:
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. ICTAC 2015: 563-572 - [c66]Bram van der Sanden
, Michel A. Reniers
, Marc Geilen
, Twan Basten
, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers:
Modular model-based supervisory controller design for wafer logistics in lithography machines. MoDELS 2015: 416-425 - [c65]Nikolaos Ilieskou, Marijn Blom, Lou J. Somers, Michel A. Reniers
, Twan Basten
:
Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study. SAMOS 2015: 286-294 - [c64]Allan van Hulst, Michel A. Reniers, Wan J. Fokkink:
Maximally Permissive Controlled System Synthesis for Modal Logic. SOFSEM 2015: 230-241 - [i6]Michel A. Reniers, Sebastian Engell, Haydn Thompson:
Core Research and Innovation Areas in Cyber-Physical Systems of Systems. ERCIM News 2015(102) (2015) - 2014
- [j24]Michel A. Reniers
, Rob Schoren, Tim A. C. Willemse
:
Results on Embeddings Between State-Based and Event-Based Systems. Comput. J. 57(1): 73-92 (2014) - [c63]Joanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers
:
Supervisor synthesis in model-based automotive systems engineering. ICCPS 2014: 187-198 - [c62]D. A. van Beek, Wan J. Fokkink
, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
:
CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS 2014: 575-580 - [c61]Lennart Swartjes, Dirk A. van Beek, Michel A. Reniers
:
Towards the Removal of Synchronous Behavior of Events in Automata. WODES 2014: 188-194 - [c60]Allan van Hulst, Michel A. Reniers
, Wan J. Fokkink
:
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. WODES 2014: 278-285 - [i5]Allan van Hulst, Michel A. Reniers, Wan J. Fokkink:
Maximally Permissive Controlled System Synthesis for Modal Logic. CoRR abs/1408.3317 (2014) - [i4]Michel A. Reniers, Sebastian Engell:
A European Roadmap on Cyber-Physical Systems of Systems. ERCIM News 2014(97) (2014) - 2013
- [c59]A. C. van Hulst, Michel A. Reniers
, Wan J. Fokkink
:
Maximal Synthesis for Hennessy-Milner Logic. ACSD 2013: 1-10 - [c58]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO 2013: 36-50 - [c57]Jasen Markovski, Michel A. Reniers
:
Supervisory movement coordination in pipeless chemical plants. ETFA 2013: 1-4 - [c56]Jasen Markovski, Michel A. Reniers
:
Performance-model abstraction in a synthesis-centric model-driven systems engineering framework. MED 2013: 1092-1097 - 2012
- [j23]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi
, Michel A. Reniers
:
Rule formats for determinism and idempotence. Sci. Comput. Program. 77(7-8): 889-907 (2012) - [j22]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi
, Michel A. Reniers
:
Rule formats for distributivity. Theor. Comput. Sci. 458: 1-28 (2012) - [j21]Jeroen Keiren
, Michel A. Reniers
, Tim A. C. Willemse
:
Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log. 13(1): 8:1-8:35 (2012) - [c55]Jasen Markovski, Michel A. Reniers
:
Verifying Performance of Supervised Plants. ACSD 2012: 52-61 - [c54]Jasen Markovski, Michel A. Reniers
:
An integrated state- and event-based framework for verifying liveness in supervised systems. ICARCV 2012: 246-251 - [c53]Jasen Markovski, Michel A. Reniers
:
Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2. ICT Innovations 2012: 295-304 - [c52]Frank P. M. Stappers, Michel A. Reniers
, Sven Weber, Jan Friso Groote
:
Dogfooding the Formal Semantics of mCRL2. SEW 2012: 90-99 - [c51]Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers
, Murdoch James Gabbay
:
Nominal SOS. MFPS 2012: 103-116 - [c50]Jasen Markovski, E. S. Estens Musa, Michel A. Reniers
:
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. PASM/PDMC 2012: 163-181 - [e2]Bas Luttik, Michel A. Reniers:
Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012. EPTCS 89, 2012 [contents] - 2011
- [j20]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi
, Michel A. Reniers
:
SOS rule formats for zero and unit elements. Theor. Comput. Sci. 412(28): 3045-3071 (2011) - [j19]Sjoerd Cranen, Jan Friso Groote
, Michel A. Reniers
:
A linear translation from CTL* to the first-order modal μ -calculus. Theor. Comput. Sci. 412(28): 3129-3139 (2011) - [c49]Frank P. M. Stappers, Michel A. Reniers
, Sven Weber:
Transforming SOS Specifications to Linear Processes. FMICS 2011: 196-211 - [c48]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
:
Rule Formats for Distributivity. LATA 2011: 80-91 - [c47]Frank P. M. Stappers, Sven Weber, Michel A. Reniers
, Suzana Andova, Istvan Nagy:
Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. SLE 2011: 223-242 - [c46]Michel A. Reniers
, Tim A. C. Willemse
:
Folk Theorems on the Correspondence between State-Based and Event-Based Systems. SOFSEM 2011: 494-505 - [c45]Damian Nadales Agut, Michel A. Reniers
:
Linearization of CIF Through SOS. EXPRESS 2011: 74-88 - [e1]Michel A. Reniers, Pawel Sobocinski:
Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. EPTCS 62, 2011 [contents] - 2010
- [c44]D. Hassan, Mohammad Reza Mousavi
, Michel A. Reniers
:
Restricted delegation and revocation in language-based security: (position paper). PLAS 2010: 5 - [c43]Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi
, Michel A. Reniers
:
A Rule Format for Unit Elements. SOFSEM 2010: 141-152 - [c42]Peter D. Mosses
, Mohammad Reza Mousavi, Michel A. Reniers
:
Robustness of Equations Under Operational Extensions. EXPRESS 2010: 106-120 - [c41]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi
, Michel A. Reniers
:
On Rule Formats for Zero and Unit Elements. MFPS 2010: 145-160 - [i3]Jeroen Keiren
, Michel A. Reniers, Tim A. C. Willemse:
Structural Analysis of Boolean Equation Systems. CoRR abs/1002.3222 (2010) - [i2]Michel A. Reniers, Tim A. C. Willemse:
Folk Theorems on the Correspondence between State-Based and Event-Based Systems. CoRR abs/1011.0136 (2010)
2000 – 2009
- 2009
- [j18]Frank P. M. Stappers, Michel A. Reniers:
Verification of safety requirements for program code using data abstraction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - [j17]Mohammad Reza Mousavi
, Iain Phillips
, Michel A. Reniers, Irek Ulidowski
:
Semantics and expressiveness of ordered SOS. Inf. Comput. 207(2): 85-119 (2009) - [c40]Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote
:
Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. FMCO 2009: 166-185 - [c39]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi
, Michel A. Reniers
:
Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161 - [c38]Michel A. Reniers
, Tim A. C. Willemse
:
Analysis of Boolean Equation Systems through Structure Graphs. SOS 2009: 92-107 - 2008
- [c37]Sjoerd Cranen, Mohammad Reza Mousavi
, Michel A. Reniers:
A Rule Format for Associativity. CONCUR 2008: 447-461 - [c36]Pieter J. L. Cuijpers
, Michel A. Reniers:
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. HSCC 2008: 116-129 - [c35]Jan Friso Groote
, Michel A. Reniers, Yaroslav S. Usenko:
Verification of networks of timed automata using mCRL2. IPDPS 2008: 1-8 - [c34]Muck van Weerdenburg, Michel A. Reniers:
Structural Operational Semantics with First-Order Logic. SOS@ICALP 2008: 85-106 - 2007
- [j16]Jos C. M. Baeten, Michel A. Reniers:
Duplication of constants in process algebra. J. Log. Algebraic Methods Program. 70(2): 151-171 (2007) - [j15]Mohammad Reza Mousavi
, Michel A. Reniers, Jan Friso Groote
:
SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. 373(3): 238-272 (2007) - [c33]Kais Klai, Laure Petrucci, Michel A. Reniers:
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE 2007: 280-295 - [c32]Michel A. Reniers, Muck van Weerdenburg:
Action Abstraction in Timed Process Algebra. FSEN 2007: 287-301 - [c31]D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda:
Foundations of a Compositional Interchange Format for Hybrid Systems. HSCC 2007: 587-600 - [c30]Mohammad Reza Mousavi
, Michel A. Reniers:
A Congruence Rule Format with Universal Quantification. SOS@LICS/ICALP 2007: 109-124 - 2006
- [j14]Peter C. W. van den Brand, Michel A. Reniers, Pieter J. L. Cuijpers
:
Linearization of hybrid processes. J. Log. Algebraic Methods Program. 68(1-2): 54-104 (2006) - [j13]D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers:
Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebraic Methods Program. 68(1-2): 129-210 (2006) - [c29]Pieter J. L. Cuijpers
, Michel A. Reniers:
Modeling an Impact control Strategy using Hypa. ADHS 2006: 56-63 - [c28]Mohammad Reza Mousavi, Iain C. C. Phillips
, Michel A. Reniers, Irek Ulidowski
:
The Meaning of Ordered SOS. FSTTCS 2006: 333-344 - [c27]Jan Friso Groote
, Michel A. Reniers, Yaroslav S. Usenko:
Time abstraction in timed μCRL a la regions. IPDPS 2006 - [c26]Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers
, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen:
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. LIX 2006: 21-53 - [c25]Mohammad Reza Mousavi
, Michel A. Reniers:
On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. SOS@CONCUR 2006: 45-56 - [i1]Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg:
The Formal Specification Language mCRL2. MMOSS 2006 - 2005
- [j12]Mohammad Reza Mousavi
, Michel A. Reniers, Jan Friso Groote
:
Notions of bisimulation and congruence formats for SOS with data. Inf. Comput. 200(1): 107-147 (2005) - [j11]Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers
:
Case Studies in The Hybrid Process Algebra Hypa. Int. J. Softw. Eng. Knowl. Eng. 15(2): 299-306 (2005) - [j10]Mohammad Reza Mousavi
, Michel A. Reniers, Jan Friso Groote
:
A syntactic commutativity format for SOS. Inf. Process. Lett. 93(5): 217-223 (2005) - [j9]Pieter J. L. Cuijpers
, Michel A. Reniers:
Hybrid process algebra. J. Log. Algebraic Methods Program. 62(2): 191-245 (2005) - [c24]Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers:
Timing the Untimed: Terminating Successfully While Being Conservative. Processes, Terms and Cycles 2005: 251-279 - [c23]Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers:
SOS for Higher Order Processes. CONCUR 2005: 308-322 - [c22]Mohammad Reza Mousavi, Michel A. Reniers:
Congruence for Structural Congruences. FoSSaCS 2005: 47-62 - [c21]Mohammad Reza Mousavi, Michel A. Reniers:
Orthogonal Extensions in Structural Operational Semantics. ICALP 2005: 1214-1225 - [c20]Michel A. Reniers, Yaroslav S. Usenko:
Analysis of Timed Processes with Data Using Algebraic Transformations. TIME 2005: 192-194 - [c19]Jan Friso Groote
, Mohammad Reza Mousavi
, Michel A. Reniers:
A Hierarchy of SOS Rule Formats. SOS@ICALP 2005: 3-25 - [c18]D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers:
Relating Hybrid Chi to Other Formalisms. IFM Doctoral Symposium 2005: 85-113 - [c17]Mohammad Reza Mousavi
, Michel A. Reniers:
Prototyping SOS Meta-theory in Maude. SOS@ICALP 2005: 135-150 - [c16]Pieter J. L. Cuijpers
, Michel A. Reniers:
Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. APC 25 2005: 153-158 - [c15]Jan Friso Groote
, Michel A. Reniers, Yaroslav S. Usenko:
Discretization of Timed Automata in Timed mu. APC 25 2005: 197-202 - 2004
- [j8]Wan J. Fokkink, Jan Friso Groote, Michel A. Reniers:
Process Algebra Needs Proof Methodology (Columns: Concurrency). Bull. EATCS 82: 109-125 (2004) - [c14]Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
:
Congruence for SOS with Data. LICS 2004: 303-312 - [c13]Jos C. M. Baeten, Michel A. Reniers:
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). SFM 2004: 59-97 - 2003
- [j7]J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda:
Analysis of an Industrial System. Formal Methods Syst. Des. 22(3): 249-282 (2003) - [c12]Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten
, Michel R. V. Chaudron:
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. ACSD 2003: 71-81 - [c11]Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, Jacobus E. Rooda:
A Hybrid Language for Modeling, Simulation and Verification. ADHS 2003: 199-204 - [c10]Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron:
PARS: A Process Algebra with Resources and Schedulers. FORMATS 2003: 134-150 - [c9]Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda:
Formal Semantics of Hybrid Chi. FORMATS 2003: 151-165 - [c8]D. A. van Beek, Niek G. Jansen, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers:
Hybrid dynamic systems: relating Chi to hybrid automata. WSC 2003: 632-640 - [c7]Pieter J. L. Cuijpers
, Michel A. Reniers:
Topological (Bi-)Simulation. CMCIM/GETCO@CONCUR 2003: 49-64 - 2002
- [j6]Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel:
Completeness of Timed mCRL. Fundam. Informaticae 50(3-4): 361-402 (2002) - [j5]André Engels, Sjouke Mauw
, Michel A. Reniers:
A hierarchy of communication models for Message Sequence Charts. Sci. Comput. Program. 44(3): 253-292 (2002) - [c6]Mohammad Reza Mousavi, Giovanni Russello, Michel R. V. Chaudron, Michel A. Reniers, Twan Basten
, Angelo Corsaro, Sandeep K. Shukla, Rajesh K. Gupta, Douglas C. Schmidt:
Using Aspect-GAMMA in the design of embedded systems. HLDVT 2002: 69-74 - 2001
- [p2]Jan Friso Groote, Michel A. Reniers:
Algebraic Process Verification. Handbook of Process Algebra 2001: 1151-1208 - [p1]Sjouke Mauw
, Michel A. Reniers:
A Process Algebra for Interworkings. Handbook of Process Algebra 2001: 1269-1327 - 2000
- [c5]Jos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers:
Discrete time process algebra with silent step. Proof, Language, and Interaction 2000: 535-570
1990 – 1999
- 1999
- [j4]Sjouke Mauw
, Michel A. Reniers:
Operational Semantics for MSC'96. Comput. Networks 31(17): 1785-1799 (1999) - 1998
- [c4]J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers:
A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99 - 1997
- [j3]Loe M. G. Feijs, Michel A. Reniers:
Lazy Functional Programs in a Concurrent Environment. Comput. J. 40(9): 572-584 (1997) - [j2]S. H. J. Bos, Michel A. Reniers:
The I²C-Bus in Discrete-Time Process Algebra. Sci. Comput. Program. 29(1-2): 235-258 (1997) - [c3]André Engels, Sjouke Mauw, Michel A. Reniers:
A Hierarchy of Communication Models for Message Sequence Charts. FORTE 1997: 75-90 - [c2]Sjouke Mauw, Michel A. Reniers:
High-level message sequence charts. SDL Forum 1997: 291-306 - 1996
- [c1]Sjouke Mauw
, Michel A. Reniers:
Refinement in Interworkings. CONCUR 1996: 671-686 - 1994
- [j1]Sjouke Mauw
, Michel A. Reniers:
An Algebraic Semantics of Basic Message Sequence Charts. Comput. J. 37(4): 269-278 (1994)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint