An Algebraic Semantics of Basic Message Sequence Charts. - Sjouke Mauw; Michel A. Reniers (Comput. J., 1994)

Refinement in Interworkings. - Sjouke Mauw; Michel A. Reniers (CONCUR, 1996)

High-level message sequence charts. - Sjouke Mauw; Michel A. Reniers (SDL Forum, 1997)

Lazy Functional Programs in a Concurrent Environment. - Loe M. G. Feijs; Michel A. Reniers (Comput. J., 1997)

The I²C-Bus in Discrete-Time Process Algebra. - S. H. J. Bos; Michel A. Reniers (Sci. Comput. Program., 1997)

A Process Algebra Based Verification of a Production System. - J. J. T. Kleijn; Jacobus E. Rooda; Michel A. Reniers (ICFEM, 1998)

Operational Semantics for MSC'96. - Sjouke Mauw; Michel A. Reniers (Comput. Networks, 1999)

Discrete time process algebra with silent step. - Jos C. M. Baeten; Jan A. Bergstra; Michel A. Reniers (Proof, Language, and Interaction, 2000)

Algebraic Process Verification. - Jan Friso Groote; Michel A. Reniers (Handbook of Process Algebra, 2001)

A Process Algebra for Interworkings. - Sjouke Mauw; Michel A. Reniers (Handbook of Process Algebra, 2001)

Using Aspect-GAMMA in the design of embedded systems. - Mohammad Reza Mousavi 001; Giovanni Russello; Michel R. V. Chaudron; Michel A. Reniers; Twan Basten; Angelo Corsaro; Sandeep K. Shukla; Rajesh K. Gupta 001; Douglas C. Schmidt (HLDVT, 2002)

Completeness of Timed mCRL. - Michel A. Reniers; Jan Friso Groote; Mark van der Zwaag; Jos van Wamel (Fundam. Informaticae, 2002)

A hierarchy of communication models for Message Sequence Charts. - André Engels; Sjouke Mauw; Michel A. Reniers (Sci. Comput. Program., 2002)

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. - Mohammad Reza Mousavi 001; Michel A. Reniers; Twan Basten; Michel R. V. Chaudron (ACSD, 2003)

A Hybrid Language for Modeling, Simulation and Verification. - Ramon R. H. Schiffelers; Dirk A. van Beek; Ka Lok Man; Michel A. Reniers; Jacobus E. Rooda (ADHS, 2003)

PARS: A Process Algebra with Resources and Schedulers. - Mohammad Reza Mousavi 001; Michel A. Reniers; Twan Basten; Michel R. V. Chaudron (FORMATS, 2003)

Formal Semantics of Hybrid Chi. - Ramon R. H. Schiffelers; D. A. van Beek; Ka L. Man; Michel A. Reniers; Jacobus E. Rooda (FORMATS, 2003)

Hybrid dynamic systems: relating Chi to hybrid automata. - D. A. van Beek; Niek G. Jansen; Jacobus E. Rooda; Ramon R. H. Schiffelers; Ka L. Man; Michel A. Reniers (WSC, 2003)

Topological (Bi-)Simulation. - Pieter J. L. Cuijpers; Michel A. Reniers (CMCIM/GETCO@CONCUR, 2003)

Analysis of an Industrial System. - J. J. T. Kleijn; Michel A. Reniers; Jacobus E. Rooda (Formal Methods Syst. Des., 2003)

Congruence for SOS with Data. - Mohammad Reza Mousavi 001; Michel A. Reniers; Jan Friso Groote (LICS, 2004)

Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). - Jos C. M. Baeten; Michel A. Reniers (SFM, 2004)

Process Algebra Needs Proof Methodology (Columns: Concurrency). - Wan J. Fokkink; Jan Friso Groote; Michel A. Reniers (Bull. EATCS, 2004)

Timing the Untimed: Terminating Successfully While Being Conservative. - Jos C. M. Baeten; Mohammad Reza Mousavi 001; Michel A. Reniers (Processes, Terms and Cycles, 2005)

SOS for Higher Order Processes. - Mohammad Reza Mousavi 001; Murdoch Gabbay; Michel A. Reniers (CONCUR, 2005)

Congruence for Structural Congruences. - Mohammad Reza Mousavi 001; Michel A. Reniers (FoSSaCS, 2005)

Orthogonal Extensions in Structural Operational Semantics. - Mohammad Reza Mousavi 001; Michel A. Reniers (ICALP, 2005)

Analysis of Timed Processes with Data Using Algebraic Transformations. - Michel A. Reniers; Yaroslav S. Usenko (TIME, 2005)

Relating Hybrid Chi to Other Formalisms. - D. A. van Beek; Jacobus E. Rooda; Ramon R. H. Schiffelers; Ka L. Man; Michel A. Reniers (IFM Doctoral Symposium, 2005)

Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. - Pieter J. L. Cuijpers; Michel A. Reniers (APC 25, 2005)

A Hierarchy of SOS Rule Formats. - Jan Friso Groote; Mohammad Reza Mousavi 001; Michel A. Reniers (SOS@ICALP, 2005)

Discretization of Timed Automata in Timed mu. - Jan Friso Groote; Michel A. Reniers; Yaroslav S. Usenko (APC 25, 2005)

Prototyping SOS Meta-theory in Maude. - Mohammad Reza Mousavi 001; Michel A. Reniers (SOS@ICALP, 2005)

Notions of bisimulation and congruence formats for SOS with data. - Mohammad Reza Mousavi 001; Michel A. Reniers; Jan Friso Groote (Inf. Comput., 2005)

Case Studies in The Hybrid Process Algebra Hypa. - Ka L. Man; Michel A. Reniers; Pieter J. L. Cuijpers (Int. J. Softw. Eng. Knowl. Eng., 2005)

A syntactic commutativity format for SOS. - Mohammad Reza Mousavi 001; Michel A. Reniers; Jan Friso Groote (Inf. Process. Lett., 2005)

Hybrid process algebra. - Pieter J. L. Cuijpers; Michel A. Reniers (J. Log. Algebraic Methods Program., 2005)

Modeling an Impact control Strategy using Hypa. - Pieter J. L. Cuijpers; Michel A. Reniers (ADHS, 2006)

The Formal Specification Language mCRL2. - Jan Friso Groote; Aad Mathijssen; Michel A. Reniers; Yaroslav S. Usenko; Muck van Weerdenburg (MMOSS, 2006)

The Meaning of Ordered SOS. - Mohammad Reza Mousavi 001; Iain C. C. Phillips; Michel A. Reniers; Irek Ulidowski (FSTTCS, 2006)

Time abstraction in timed μCRL a la regions. - Jan Friso Groote; Michel A. Reniers; Yaroslav S. Usenko (IPDPS, 2006)

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. - 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 (LIX, 2006)

On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. - Mohammad Reza Mousavi 001; Michel A. Reniers (SOS@CONCUR, 2006)

Syntax and consistent equation semantics of hybrid Chi. - D. A. van Beek; Ka L. Man; Michel A. Reniers; Jacobus E. Rooda; Ramon R. H. Schiffelers (J. Log. Algebraic Methods Program., 2006)

Linearization of hybrid processes. - Peter C. W. van den Brand; Michel A. Reniers; Pieter J. L. Cuijpers (J. Log. Algebraic Methods Program., 2006)

An Incremental and Modular Technique for Checking LTL X Properties of Petri Nets. - Kais Klai; Laure Petrucci; Michel A. Reniers (FORTE, 2007)

Action Abstraction in Timed Process Algebra. - Michel A. Reniers; Muck van Weerdenburg (FSEN, 2007)

Foundations of a Compositional Interchange Format for Hybrid Systems. - D. A. van Beek; Michel A. Reniers; Ramon R. H. Schiffelers; Jacobus E. Rooda (HSCC, 2007)

A Congruence Rule Format with Universal Quantification. - Mohammad Reza Mousavi 001; Michel A. Reniers (SOS@LICS/ICALP, 2007)

Duplication of constants in process algebra. - Jos C. M. Baeten; Michel A. Reniers (J. Log. Algebraic Methods Program., 2007)

SOS formats and meta-theory: 20 years after. - Mohammad Reza Mousavi 001; Michel A. Reniers; Jan Friso Groote (Theor. Comput. Sci., 2007)

A Rule Format for Associativity. - Sjoerd Cranen; Mohammad Reza Mousavi 001; Michel A. Reniers (CONCUR, 2008)

Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. - Pieter J. L. Cuijpers; Michel A. Reniers (HSCC, 2008)

Verification of networks of timed automata using mCRL2. - Jan Friso Groote; Michel A. Reniers; Yaroslav S. Usenko (IPDPS, 2008)

Structural Operational Semantics with First-Order Logic. - Muck van Weerdenburg; Michel A. Reniers (SOS@ICALP, 2008)

Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. - Frank P. M. Stappers; Michel A. Reniers; Jan Friso Groote (FMCO, 2009)

Analysis of Boolean Equation Systems through Structure Graphs - Michel A. Reniers; Tim A. C. Willemse (SOS, 2009)

Verification of safety requirements for program code using data abstraction. - Frank P. M. Stappers; Michel A. Reniers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Semantics and expressiveness of ordered SOS. - Mohammad Reza Mousavi 001; Iain Phillips 001; Michel A. Reniers; Irek Ulidowski (Inf. Comput., 2009)

Restricted delegation and revocation in language-based security: (position paper). - D. Hassan; Mohammad Reza Mousavi 001; Michel A. Reniers (PLAS, 2010)

A Rule Format for Unit Elements. - Luca Aceto; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (SOFSEM, 2010)

Robustness of Equations Under Operational Extensions - Peter D. Mosses; Mohammad Reza Mousavi 001; Michel A. Reniers (EXPRESS, 2010)

On Rule Formats for Zero and Unit Elements. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (MFPS, 2010)

Transforming SOS Specifications to Linear Processes. - Frank P. M. Stappers; Michel A. Reniers; Sven Weber (FMICS, 2011)

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. - Frank P. M. Stappers; Sven Weber; Michel A. Reniers; Suzana Andova; Istvan Nagy 001 (SLE, 2011)

Folk Theorems on the Correspondence between State-Based and Event-Based Systems. - Michel A. Reniers; Tim A. C. Willemse (SOFSEM, 2011)

Linearization of CIF Through SOS - Damian Nadales Agut; Michel A. Reniers (EXPRESS, 2011)

SOS rule formats for zero and unit elements. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Theor. Comput. Sci., 2011)

A linear translation from CTL* to the first-order modal μ -calculus. - Sjoerd Cranen; Jan Friso Groote; Michel A. Reniers (Theor. Comput. Sci., 2011)

Verifying Performance of Supervised Plants. - Jasen Markovski; Michel A. Reniers (ACSD, 2012)

An integrated state- and event-based framework for verifying liveness in supervised systems. - Jasen Markovski; Michel A. Reniers (ICARCV, 2012)

Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2. - Jasen Markovski; Michel A. Reniers (ICT Innovations, 2012)

Dogfooding the Formal Semantics of mCRL2. - Frank P. M. Stappers; Michel A. Reniers; Sven Weber; Jan Friso Groote (SEW, 2012)

Nominal SOS. - Matteo Cimini; Mohammad Reza Mousavi 001; Michel A. Reniers; Murdoch James Gabbay (MFPS, 2012)

Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. - Jasen Markovski; E. S. Estens Musa; Michel A. Reniers (PASM/PDMC, 2012)

Rule formats for determinism and idempotence. - Luca Aceto; Arnar Birgisson; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Sci. Comput. Program., 2012)

Rule formats for distributivity. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Theor. Comput. Sci., 2012)

Structural Analysis of Boolean Equation Systems. - Jeroen Keiren; Michel A. Reniers; Tim A. C. Willemse (ACM Trans. Comput. Log., 2012)

Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. - Luca Aceto; Eugen-Ioan Goriac; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (CALCO, 2013)

Supervisory movement coordination in pipeless chemical plants. - Jasen Markovski; Michel A. Reniers (ETFA, 2013)

Performance-model abstraction in a synthesis-centric model-driven systems engineering framework. - Jasen Markovski; Michel A. Reniers (MED, 2013)

Supervisor synthesis in model-based automotive systems engineering. - Joanna M. van de Mortel-Fronczak; Rudolf G. M. Huisman; Martin H. R. van der Heijden; Michel A. Reniers (ICCPS, 2014)

CIF 3: Model-Based Engineering of Supervisory Controllers. - D. A. van Beek; Wan J. Fokkink; Dennis Hendriks; Albert T. Hofkamp; Jasen Markovski; Joanna M. van de Mortel-Fronczak; Michel A. Reniers (TACAS, 2014)

Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. - Allan van Hulst; Michel A. Reniers; Wan J. Fokkink (WODES, 2014)

Towards the Removal of Synchronous Behavior of Events in Automata. - Lennart Swartjes; Dirk A. van Beek; Michel A. Reniers (WODES, 2014)

Results on Embeddings Between State-Based and Event-Based Systems. - Michel A. Reniers; Rob Schoren; Tim A. C. Willemse (Comput. J., 2014)

A European Roadmap on Cyber-Physical Systems of Systems. - Michel A. Reniers; Sebastian Engell (ERCIM News, 2014)

Synthesis of discrete-event controllers from sequence-based specifications. - Thijs Janssen; Joanna M. van de Mortel-Fronczak; Emile van Gerwen; Michel A. Reniers (CDC, 2015)

Core Research and Innovation Areas in Cyber-Physical Systems of Systems - Initial Findings of the CPSoS Project. - Sebastian Engell; Radoslav Paulen; Michel A. Reniers; Christian Sonntag; Haydn Thompson (CyPhy, 2015)

xCPS: A tool to eXplore Cyber Physical Systems. - 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; et al. (WESE, 2015)

A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. - Arend Aerts; Mohammad Reza Mousavi 001; Michel A. Reniers (ICTAC, 2015)

Modular model-based supervisory controller design for wafer logistics in lithography machines. - Bram van der Sanden; Michel A. Reniers; Marc Geilen; Twan Basten; Johan Jacobs; Jeroen Voeten; Ramon R. H. Schiffelers (MoDELS, 2015)

Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study. - Nikolaos Ilieskou; Marijn Blom; Lou J. Somers; Michel A. Reniers; Twan Basten (SAMOS, 2015)

Maximally Permissive Controlled System Synthesis for Modal Logic. - Allan van Hulst; Michel A. Reniers; Wan J. Fokkink (SOFSEM, 2015)

Core Research and Innovation Areas in Cyber-Physical Systems of Systems. - Michel A. Reniers; Sebastian Engell; Haydn Thompson (ERCIM News, 2015)

Timed-Gamma and its Coordination Language. - Mohammad Reza Mousavi 001; Twan Basten; Michel A. Reniers; Michel Chaudron (Nord. J. Comput., 2015)

Maximal Synthesis for Hennessy-Milner Logic. - Allan C. van Hulst; Michel A. Reniers; Wan J. Fokkink (ACM Trans. Embed. Comput. Syst., 2015)

Compositional specification of functionality and timing of manufacturing systems. - Bram van der Sanden; João Bastos; Jeroen Voeten; Marc Geilen; Michel A. Reniers; Twan Basten; Johan Jacobs; Ramon R. H. Schiffelers (FDL, 2016)

Maintenance of specification models in industry using Edapt. - Y. Vissers; J. G. M. Mengerink; Ramon R. H. Schiffelers; Alexander Serebrenik; Michel A. Reniers (FDL, 2016)

Supervisory Controller Synthesis for Product Lines Using CIF 3. - Maurice H. ter Beek; Michel A. Reniers; Erik P. de Vink (ISoLA (1), 2016)

Integrated simulation of CIF3 and simulink models. - Abhishek Sharma; Michel A. Reniers (ITSLE@SPLASH, 2016)

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. - Lennart Swartjes; Michel A. Reniers; D. A. van Beek; Wan J. Fokkink (WODES, 2016)

xCPS: a tool to explore cyber physical systems. - 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; et al. (SIGBED Rev., 2016)

Structuring multilevel discrete-event systems with dependency structure matrices. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CDC, 2017)

Maximally permissive controlled system synthesis for non-determinism and modal logic. - A. C. van Hulst; Michel A. Reniers; Wan J. Fokkink (Discret. Event Dyn. Syst., 2017)

Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. - Bram van der Sanden; Marc Geilen; Michel A. Reniers; Twan Basten (ACSD, 2018)

Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line. - Ferdie F. H. Reijnen; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CCTA, 2018)

Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. - Arend Aerts; Bryan Tong Minh; Mohammad Reza Mousavi 001; Michel A. Reniers (MT@CPSWeek, 2018)

Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. - Arend Aerts; Bryan Tong Minh; Mohammad Reza Mousavi 001; Michel A. Reniers (ICST Workshops, 2018)

Synthesis of Successful Actuator Attackers on Supervisors. - Liyong Lin; Sander Thuijsman; Yuting Zhu; Simon Ware; Rong Su 001; Michel A. Reniers (CoRR, 2018)

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems. - Tim Korssen; Victor S. Dolk; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Maurice Heemels (IEEE Trans. Intell. Transp. Syst., 2018)

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors. - Liyong Lin; Sander Thuijsman; Yuting Zhu; Simon Ware; Rong Su 001; Michel A. Reniers (ACC, 2019)

Supervisory Control of Discrete-Event Systems in an Asynchronous Setting. - Aida Rashidinejad; Michel A. Reniers; Martin Fabian (CASE, 2019)

Finite Response and Confluence of State-based Supervisory Controllers. - Ferdie F. H. Reijnen; Albert T. Hofkamp; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CASE, 2019)

Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. - Sander Thuijsman; Dennis Hendriks; Rolf J. M. Theunissen; Michel A. Reniers; Ramon R. H. Schiffelers (CASE, 2019)

Deducing causes for the absence of states in supervised systems. - Lennart Swartjes; Michel A. Reniers; Wan J. Fokkink (CoDIT, 2019)

Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. - Martijn A. Goorden; Calvin Dingemans; Michel A. Reniers; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (ECC, 2019)

Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook. - Aida Rashidinejad; Bart Wetzels; Michel A. Reniers; Liyong Lin; Yuting Zhu; Rong Su 001 (ECC, 2019)

Modeling Guidelines for Component-Based Supervisory Control Synthesis. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (FACS, 2019)

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (FMICS, 2019)

Design of a Supervisor Platform for Movable Bridges. - Ferdie F. H. Reijnen; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CASE, 2020)

Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. - Aida Rashidinejad; Patrick van der Graaf; Michel A. Reniers (ICARCV, 2020)

The Road Ahead for Supervisor Synthesis. - 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 (SETTA, 2020)

Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Martin Fabian; Wan J. Fokkink; Jacobus E. Rooda (CoRR, 2020)

Conversion of LSAT behavioral specifications to automata. - Sander Thuijsman; Michel A. Reniers (CoRR, 2020)

Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (IEEE Trans. Autom. Control., 2020)

Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. - Sander Thuijsman; Michel A. Reniers; Dennis Hendriks (CASE, 2021)

Integration of modeling and verification for system model based on KARMA language. - Jie Ding; Michel A. Reniers; Jinzhi Lu; Guoxin Wang 001; Lei Feng 002; Dimitris Kiritsis (DSM@SPLASH, 2021)

Networked Supervisory Control Synthesis of Timed Discrete-Event Systems. - Aida Rashidinejad; Michel A. Reniers; Martin Fabian (CoRR, 2021)

Compositional coordinator synthesis of extended finite automata. - Martijn A. Goorden; Martin Fabian; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2021)

Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. - Berend Jan Christiaan van Putten; Bram van der Sanden; Michel A. Reniers; Jeroen Voeten; Ramon R. H. Schiffelers (Discret. Event Dyn. Syst., 2021)

Deadlock avoidance algorithm for AGVs on a tessellated layout. - K. J. C. Fransen; Michel A. Reniers; J. A. W. M. van Eekelen (CASE, 2022)

Design space exploration of a poultry fillet processing system using discrete-event simulation. - Nick Paape; J. A. W. M. van Eekelen; Michel A. Reniers (CoRR, 2022)

Transformational supervisor synthesis for evolving systems. - Sander Thuijsman; Michel A. Reniers (Discret. Event Dyn. Syst., 2022)

Partial-Order Reduction for Supervisory Controller Synthesis. - Bram van der Sanden; Marc Geilen; Michel A. Reniers; Twan Basten (IEEE Trans. Autom. Control., 2022)

RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications. - Bart Wesselink; Koen de Vos; Ivan Kurtev; Michel A. Reniers; Elena Torta (ICRA, 2023)

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. - 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; et al. (TACAS (2), 2023)

Tool interoperability for model-based systems engineering. - 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 (CoRR, 2023)

Automated design space exploration for poultry processing systems using discrete-event simulation. - Nick Paape; Joost van Eekelen; Michel A. Reniers (CoRR, 2023)

Transformational Supervisor Localization. - Sander Thuijsman; Kai Cai; Michel A. Reniers (IEEE Control. Syst. Lett., 2023)

Special issue on control technology for networked and distributed robotics. - Masaaki Nagahara; Kai Cai; Debasish Chatterjee; Nikhil Chopra; Takeshi Hatanaka; Yutaka Hori; Hideaki Ishii; Daniel E. Quevedo; Michel A. Reniers (Adv. Robotics, 2023)

Special issue on control technology for networked and distributed robotics (Part II). - Masaaki Nagahara; Kai Cai; Debasish Chatterjee; Nikhil Chopra; Takeshi Hatanaka; Yutaka Hori; Hideaki Ishii; Daniel E. Quevedo; Michel A. Reniers (Adv. Robotics, 2023)

Correction to: Transformational supervisor synthesis for evolving systems. - Sander Thuijsman; Michel A. Reniers (Discret. Event Dyn. Syst., 2023)

Validation of supervisory control synthesis tool CIF using model checker mCRL2. - Michel A. Reniers; Jeroen J. A. Keiren (CASE, 2024)

Multi-Robot Path Planning With Boolean Specification Tasks Under Motion Uncertainties. - Zhe Zhang; Zhou He 001; Ning Ran; Michel A. Reniers (IROS, 2024)

Simulation-based optimization of a production system topology - a neural network-assisted genetic algorithm. - Nick Paape; J. A. W. M. van Eekelen; Michel A. Reniers (CoRR, 2024)

Supervisory Control Synthesis of Timed Automata Using Forcible Events. - Aida Rashidinejad; Michel A. Reniers; Martin Fabian (IEEE Trans. Autom. Control., 2024)

Review of simulation software for cyber-physical production systems with intelligent distributed production control. - Nick Paape; J. A. W. M. van Eekelen; Michel A. Reniers (Int. J. Comput. Integr. Manuf., 2024)

Supervisory Control for Dynamic Feature Configuration in Product Lines. - Sander Thuijsman; Michel A. Reniers (ACM Trans. Embed. Comput. Syst., 2024)

Reducing the computational effort of symbolic supervisor synthesis. - Sander Thuijsman; Dennis Hendriks; Michel A. Reniers (Discret. Event Dyn. Syst., 2024)

Supervisory Control Theory With Event Forcing. - Michel A. Reniers; Kai Cai (IEEE Trans. Autom. Control., 2025)

Overview of Controllability Definitions in Supervisory Control Theory. - Jeroen J. A. Keiren; Michel A. Reniers (CoRR, 2025)