Michel A. Reniers

According to our database, Michel A. Reniers authored at least 149 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Supervisory Control for Dynamic Feature Configuration in Product Lines.

Sander Thuijsman, Michel A. Reniers

ACM Trans. Embed. Comput. Syst., September, 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., May, 2024

Supervisory Control Synthesis of Timed Automata Using Forcible Events.

Aida Rashidinejad, Michel A. Reniers, Martin Fabian

IEEE Trans. Autom. Control., February, 2024

Supervisory Control Theory with Event Forcing.

Michel A. Reniers, Kai Cai

CoRR, 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

Validation of supervisory control synthesis tool CIF using model checker mCRL2.

Michel A. Reniers, Jeroen J. A. Keiren

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

Correction to: Transformational supervisor synthesis for evolving systems.

Sander Thuijsman, Michel A. Reniers

Discret. Event Dyn. Syst., December, 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, February, 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, January, 2023

Transformational Supervisor Localization.

Sander Thuijsman, Kai Cai, Michel A. Reniers

IEEE Control. Syst. Lett., 2023

Automated design space exploration for poultry processing systems using discrete-event simulation.

Nick Paape, Joost van Eekelen, Michel A. Reniers

CoRR, 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

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, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications.

Bart Wesselink, Koen de Vos, Ivan Kuertev, Michel A. Reniers, Elena Torta

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

Partial-Order Reduction for Supervisory Controller Synthesis.

Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten

IEEE Trans. Autom. Control., 2022

Transformational supervisor synthesis for evolving systems.

Sander Thuijsman, Michel A. Reniers

Discret. Event Dyn. Syst., 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

Deadlock avoidance algorithm for AGVs on a tessellated layout.

K. J. C. Fransen, Michel A. Reniers, J. A. W. M. van Eekelen

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

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

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

Networked Supervisory Control Synthesis of Timed Discrete-Event Systems.

Aida Rashidinejad, Michel A. Reniers, Martin Fabian

CoRR, 2021

Integration of modeling and verification for system model based on KARMA language.

Jie Ding, Michel A. Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, Dimitris Kiritsis

Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021

Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis.

Sander Thuijsman, Michel A. Reniers, Dennis Hendriks

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

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

Conversion of LSAT behavioral specifications to automata.

Sander Thuijsman, Michel A. Reniers

CoRR, 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

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

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events.

Aida Rashidinejad, Patrick van der Graaf, Michel A. Reniers

Proceedings of the 16th International Conference on Control, 2020

Design of a Supervisor Platform for Movable Bridges.

Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

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

Proceedings of the Formal Methods for Industrial Critical Systems, 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

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 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

Proceedings of the 17th European Control Conference, 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

Proceedings of the 17th European Control Conference, 2019

Deducing causes for the absence of states in supervised systems.

Lennart Swartjes, Michel A. Reniers, Wan J. Fokkink

Proceedings of the 6th International Conference on Control, 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

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 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

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Supervisory Control of Discrete-Event Systems in an Asynchronous Setting.

Aida Rashidinejad, Michel A. Reniers, Martin Fabian

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors.

Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers

Proceedings of the 2019 American Control Conference, 2019

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 Successful Actuator Attackers on Supervisors.

Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers

CoRR, 2018

Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.

Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification.

Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 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

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems.

Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

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

Structuring multilevel discrete-event systems with dependency structure matrices.

Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

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, Dip Goswami, Martijn Hendriks, Sander Stuijk, Michel A. Reniers, Jeroen Voeten

SIGBED Rev., 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

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Integrated simulation of CIF3 and simulink models.

Abhishek Sharma, Michel A. Reniers

Proceedings of the 1st Industry Track on Software Language Engineering, 2016

Supervisory Controller Synthesis for Product Lines Using CIF 3.

Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Maintenance of specification models in industry using Edapt.

Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Michel A. Reniers

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

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

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015

Maximal Synthesis for Hennessy-Milner Logic.

Allan C. van Hulst, Michel A. Reniers, Wan J. Fokkink

ACM Trans. Embed. Comput. Syst., 2015

Timed-Gamma and its Coordination Language.

Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron

Nord. J. Comput., 2015

Core Research and Innovation Areas in Cyber-Physical Systems of Systems.

Michel A. Reniers, Sebastian Engell, Haydn Thompson

ERCIM News, 2015

Maximally Permissive Controlled System Synthesis for Modal Logic.

Allan van Hulst, Michel A. Reniers, Wan J. Fokkink

Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 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

Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 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

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

A Tool Prototype for Model-Based Testing of Cyber-Physical Systems.

Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 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, Dip Goswami, Sander Stuijk, Michel A. Reniers, Jeroen Voeten

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 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

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Synthesis of discrete-event controllers from sequence-based specifications.

Thijs Janssen, Joanna M. van de Mortel-Fronczak, Emile van Gerwen, Michel A. Reniers

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

A European Roadmap on Cyber-Physical Systems of Systems.

Michel A. Reniers, Sebastian Engell

ERCIM News, 2014

Results on Embeddings Between State-Based and Event-Based Systems.

Michel A. Reniers, Rob Schoren, Tim A. C. Willemse

Comput. J., 2014

Towards the Removal of Synchronous Behavior of Events in Automata.

Lennart Swartjes, Dirk A. van Beek, Michel A. Reniers

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Maximal Synthesis for Hennessy-Milner Logic with the Box Modality.

Allan van Hulst, Michel A. Reniers, Wan J. Fokkink

Proceedings of the 12th International Workshop on Discrete Event Systems, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

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

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

2013

Performance-model abstraction in a synthesis-centric model-driven systems engineering framework.

Jasen Markovski, Michel A. Reniers

Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013

Supervisory movement coordination in pipeless chemical plants.

Jasen Markovski, Michel A. Reniers

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.

Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Structural Analysis of Boolean Equation Systems.

Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse

ACM Trans. Comput. Log., 2012

Rule formats for distributivity.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Theor. Comput. Sci., 2012

Rule formats for determinism and idempotence.

Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Sci. Comput. Program., 2012

Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking.

Jasen Markovski, E. S. Estens Musa, Michel A. Reniers

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Nominal SOS.

Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Dogfooding the Formal Semantics of mCRL2.

Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2.

Jasen Markovski, Michel A. Reniers

Proceedings of the ICT Innovations 2012, 2012

An integrated state- and event-based framework for verifying liveness in supervised systems.

Jasen Markovski, Michel A. Reniers

Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012

Verifying Performance of Supervised Plants.

Jasen Markovski, Michel A. Reniers

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

A linear translation from CTL* to the first-order modal μ -calculus.

Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers

Theor. Comput. Sci., 2011

SOS rule formats for zero and unit elements.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Theor. Comput. Sci., 2011

Linearization of CIF Through SOS

Damian Nadales Agut, Michel A. Reniers

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Folk Theorems on the Correspondence between State-Based and Event-Based Systems.

Michel A. Reniers, Tim A. C. Willemse

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 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

Proceedings of the Software Language Engineering - 4th International Conference, 2011

Transforming SOS Specifications to Linear Processes.

Frank P. M. Stappers, Michel A. Reniers, Sven Weber

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

On Rule Formats for Zero and Unit Elements.

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Robustness of Equations Under Operational Extensions

Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

A Rule Format for Unit Elements.

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Restricted delegation and revocation in language-based security: (position paper).

D. Hassan, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

2009

Semantics and expressiveness of ordered SOS.

Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski

Inf. Comput., 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

Analysis of Boolean Equation Systems through Structure Graphs

Michel A. Reniers, Tim A. C. Willemse

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study.

Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Structural Operational Semantics with First-Order Logic.

Muck van Weerdenburg, Michel A. Reniers

Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008

Verification of networks of timed automata using mCRL2.

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions.

Pieter J. L. Cuijpers, Michel A. Reniers

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

A Rule Format for Associativity.

Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

SOS formats and meta-theory: 20 years after.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Theor. Comput. Sci., 2007

Duplication of constants in process algebra.

Jos C. M. Baeten, Michel A. Reniers

J. Log. Algebraic Methods Program., 2007

A Congruence Rule Format with Universal Quantification.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Foundations of a Compositional Interchange Format for Hybrid Systems.

D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Action Abstraction in Timed Process Algebra.

Michel A. Reniers, Muck van Weerdenburg

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.

Kais Klai, Laure Petrucci, Michel A. Reniers

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Linearization of hybrid processes.

Peter C. W. van den Brand, Michel A. Reniers, Pieter J. L. Cuijpers

J. Log. Algebraic Methods Program., 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

On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Third Workshop on Structural Operational Semantics, 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

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

Time abstraction in timed μCRL a la regions.

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

The Meaning of Ordered SOS.

Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

The Formal Specification Language mCRL2.

Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

Modeling an Impact control Strategy using Hypa.

Pieter J. L. Cuijpers, Michel A. Reniers

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Hybrid process algebra.

Pieter J. L. Cuijpers, Michel A. Reniers

J. Log. Algebraic Methods Program., 2005

A syntactic commutativity format for SOS.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Inf. Process. Lett., 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

Notions of bisimulation and congruence formats for SOS with data.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Inf. Comput., 2005

Prototyping SOS Meta-theory in Maude.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Discretization of Timed Automata in Timed mu.

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

A Hierarchy of SOS Rule Formats.

Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis.

Pieter J. L. Cuijpers, Michel A. Reniers

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Relating Hybrid Chi to Other Formalisms.

D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Analysis of Timed Processes with Data Using Algebraic Transformations.

Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Orthogonal Extensions in Structural Operational Semantics.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Congruence for Structural Congruences.

Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Foundations of Software Science and Computational Structures, 2005

SOS for Higher Order Processes.

Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Timing the Untimed: Terminating Successfully While Being Conservative.

Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Processes, 2005

2004

Process Algebra Needs Proof Methodology (Columns: Concurrency).

Wan J. Fokkink, Jan Friso Groote, Michel A. Reniers

Bull. EATCS, 2004

Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).

Jos C. M. Baeten, Michel A. Reniers

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Congruence for SOS with Data.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2003

Analysis of an Industrial System.

J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda

Formal Methods Syst. Des., 2003

Topological (Bi-)Simulation.

Pieter J. L. Cuijpers, Michel A. Reniers

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 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

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Formal Semantics of Hybrid Chi.

Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

PARS: A Process Algebra with Resources and Schedulers.

Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 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

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems.

Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

A hierarchy of communication models for Message Sequence Charts.

André Engels, Sjouke Mauw, Michel A. Reniers

Sci. Comput. Program., 2002

Completeness of Timed mCRL.

Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel

Fundam. Informaticae, 2002

Using Aspect-GAMMA in the design of embedded systems.

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

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

A Process Algebra for Interworkings.

Sjouke Mauw, Michel A. Reniers

Proceedings of the Handbook of Process Algebra, 2001

Algebraic Process Verification.

Jan Friso Groote, Michel A. Reniers

Proceedings of the Handbook of Process Algebra, 2001

2000

Discrete time process algebra with silent step.

Jos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Operational Semantics for MSC'96.

Sjouke Mauw, Michel A. Reniers

Comput. Networks, 1999

1998

A Process Algebra Based Verification of a Production System.

J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

The I²C-Bus in Discrete-Time Process Algebra.

S. H. J. Bos, Michel A. Reniers

Sci. Comput. Program., 1997

Lazy Functional Programs in a Concurrent Environment.

Loe M. G. Feijs, Michel A. Reniers

Comput. J., 1997

High-level message sequence charts.

Sjouke Mauw, Michel A. Reniers

Proceedings of the SDL '97 Time for Testing, 1997

1996

Refinement in Interworkings.

Sjouke Mauw, Michel A. Reniers

Proceedings of the CONCUR '96, 1996

1994

An Algebraic Semantics of Basic Message Sequence Charts.

Sjouke Mauw, Michel A. Reniers

Comput. J., 1994