Michel A. Reniers

170 papers A* 3A 5B 11C 17Misc 2Journal 65Unranked 63

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Evolution-Based Timed Opacity under a Universal Observation Model. CoRR Zhe Zhang, Martijn A. Goorden, Michel A. Reniers
2026	J	`jnl`	Simulation-based optimization of a production system topology - a neural network-assisted genetic algorithm. Int. J. Comput. Integr. Manuf. Nick Paape, J. A. W. M. van Eekelen, Michel A. Reniers
2025	J	`jnl`	Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0. CoRR Dennis Hendriks, Michel A. Reniers, Wan J. Fokkink, Wytse Oortwijn
2025	J	`jnl`	Overview of Controllability Definitions in Supervisory Control Theory. CoRR Jeroen J. A. Keiren, Michel A. Reniers
2025	J	`jnl`	Supervisory Control Theory With Event Forcing. IEEE Trans. Autom. Control. Michel A. Reniers, Kai Cai
2025	J	`jnl`	Supervisory control synthesis for multilevel DES with local buses. CoRR Marzhan M. Baubekova, Martijn A. Goorden, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda, Wan J. Fokkink
2024	A	`conf`	Multi-Robot Path Planning With Boolean Specification Tasks Under Motion Uncertainties. IROS Zhe Zhang, Zhou He, Ning Ran, Michel A. Reniers
2024	J	`jnl`	Reducing the computational effort of symbolic supervisor synthesis. Discret. Event Dyn. Syst. Sander Thuijsman, Dennis Hendriks, Michel A. Reniers
2024	J	`jnl`	Review of simulation software for cyber-physical production systems with intelligent distributed production control. Int. J. Comput. Integr. Manuf. Nick Paape, J. A. W. M. van Eekelen, Michel A. Reniers
2024	J	`jnl`	Simulation-based optimization of a production system topology - a neural network-assisted genetic algorithm. CoRR Nick Paape, J. A. W. M. van Eekelen, Michel A. Reniers
2024	J	`jnl`	Supervisory Control Synthesis of Timed Automata Using Forcible Events. IEEE Trans. Autom. Control. Aida Rashidinejad, Michel A. Reniers, Martin Fabian
2024	J	`jnl`	Supervisory Control Theory with Event Forcing. CoRR Michel A. Reniers, Kai Cai
2024	J	`jnl`	Supervisory Control for Dynamic Feature Configuration in Product Lines. ACM Trans. Embed. Comput. Syst. Sander Thuijsman, Michel A. Reniers
2024	—	`conf`	Validation of supervisory control synthesis tool CIF using model checker mCRL2. CASE Michel A. Reniers, Jeroen J. A. Keiren
2023	J	`jnl`	Automated design space exploration for poultry processing systems using discrete-event simulation. CoRR Nick Paape, Joost van Eekelen, Michel A. Reniers
2023	J	`jnl`	Correction to: Transformational supervisor synthesis for evolving systems. Discret. Event Dyn. Syst. Sander Thuijsman, Michel A. Reniers
2023	—	`conf`	Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) 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
2023	A*	`conf`	RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications. ICRA Bart Wesselink, Koen de Vos, Ivan Kurtev, Michel A. Reniers, Elena Torta
2023	J	`jnl`	Special issue on control technology for networked and distributed robotics (Part II). Adv. Robotics Masaaki Nagahara, Kai Cai, Debasish Chatterjee, Nikhil Chopra, Takeshi Hatanaka, Yutaka Hori, Hideaki Ishii, Daniel E. Quevedo, Michel A. Reniers
2023	J	`jnl`	Special issue on control technology for networked and distributed robotics. Adv. Robotics Masaaki Nagahara, Kai Cai, Debasish Chatterjee, Nikhil Chopra, Takeshi Hatanaka, Yutaka Hori, Hideaki Ishii, Daniel E. Quevedo, Michel A. Reniers
2023	J	`jnl`	Tool interoperability for model-based systems engineering. CoRR 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
2023	J	`jnl`	Transformational Supervisor Localization. CoRR Sander Thuijsman, Kai Cai, Michel A. Reniers
2023	J	`jnl`	Transformational Supervisor Localization. IEEE Control. Syst. Lett. Sander Thuijsman, Kai Cai, Michel A. Reniers
2022	—	`conf`	Deadlock avoidance algorithm for AGVs on a tessellated layout. CASE K. J. C. Fransen, Michel A. Reniers, J. A. W. M. van Eekelen
2022	J	`jnl`	Design space exploration of a poultry fillet processing system using discrete-event simulation. CoRR Nick Paape, J. A. W. M. van Eekelen, Michel A. Reniers
2022	J	`jnl`	Partial-Order Reduction for Supervisory Controller Synthesis. IEEE Trans. Autom. Control. Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
2022	J	`jnl`	Supervisory Control for Dynamic Feature Configuration in Product Lines. CoRR Sander Thuijsman, Michel A. Reniers
2022	J	`jnl`	Transformational supervisor synthesis for evolving systems. Discret. Event Dyn. Syst. Sander Thuijsman, Michel A. Reniers
2021	J	`jnl`	Compositional coordinator synthesis of extended finite automata. Discret. Event Dyn. Syst. Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2021	—	`conf`	Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. CASE Sander Thuijsman, Michel A. Reniers, Dennis Hendriks
2021	—	`conf`	Integration of modeling and verification for system model based on KARMA language. DSM@SPLASH Jie Ding, Michel A. Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, Dimitris Kiritsis
2021	J	`jnl`	Networked Supervisory Control Synthesis of Timed Discrete-Event Systems. CoRR Aida Rashidinejad, Michel A. Reniers, Martin Fabian
2021	J	`jnl`	Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Discret. Event Dyn. Syst. Berend Jan Christiaan van Putten, Bram van der Sanden, Michel A. Reniers, Jeroen Voeten, Ramon R. H. Schiffelers
2021	J	`jnl`	Supervisory Control Synthesis of Timed Automata Using Forcible Events. CoRR Aida Rashidinejad, Michel A. Reniers, Martin Fabian
2020	J	`jnl`	Conversion of LSAT behavioral specifications to automata. CoRR Sander Thuijsman, Michel A. Reniers
2020	—	`conf`	Design of a Supervisor Platform for Movable Bridges. CASE Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
2020	J	`jnl`	Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. CoRR Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda
2020	C	`conf`	Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. ICARCV Aida Rashidinejad, Patrick van der Graaf, Michel A. Reniers
2020	J	`jnl`	Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. IEEE Trans. Autom. Control. Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2020	C	`conf`	Supervisory Control for Dynamic Feature Configuration in Product Lines. FDL Michel A. Reniers, Sander Thuijsman
2020	Misc	`conf`	The Road Ahead for Supervisor Synthesis. SETTA 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
2019	—	`conf`	Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. CASE Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers
2019	C	`conf`	Deducing causes for the absence of states in supervised systems. CoDIT Lennart Swartjes, Michel A. Reniers, Wan J. Fokkink
2019	—	`conf`	Finite Response and Confluence of State-based Supervisory Controllers. CASE Ferdie F. H. Reijnen, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
2019	—	`conf`	Modeling Guidelines for Component-Based Supervisory Control Synthesis. FACS Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2019	—	`conf`	Supervisory Control of Discrete-Event Systems in an Asynchronous Setting. CASE Aida Rashidinejad, Michel A. Reniers, Martin Fabian
2019	—	`conf`	Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook. ECC Aida Rashidinejad, Bart Wetzels, Michel A. Reniers, Liyong Lin, Yuting Zhu, Rong Su
2019	—	`conf`	Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. ECC Martijn A. Goorden, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
2019	C	`conf`	Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors. ACC Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers
2019	C	`conf`	The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. FMICS Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2018	—	`conf`	Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line. CCTA Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
2018	—	`conf`	Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. MT@CPSWeek Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
2018	—	`conf`	Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ACSD Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
2018	J	`jnl`	Synthesis of Successful Actuator Attackers on Supervisors. CoRR Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers
2018	J	`jnl`	Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems. IEEE Trans. Intell. Transp. Syst. Tim Korssen, Victor S. Dolk, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Maurice Heemels
2018	—	`conf`	Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. ICST Workshops Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
2017	J	`jnl`	Maximally permissive controlled system synthesis for non-determinism and modal logic. Discret. Event Dyn. Syst. A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
2017	—	`conf`	Structuring multilevel discrete-event systems with dependency structure matrices. CDC Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
2016	C	`conf`	Compositional specification of functionality and timing of manufacturing systems. FDL Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers
2016	—	`conf`	Integrated simulation of CIF3 and simulink models. ITSLE@SPLASH Abhishek Sharma, Michel A. Reniers
2016	C	`conf`	Maintenance of specification models in industry using Edapt. FDL Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Michel A. Reniers
2016	—	`conf`	Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink
2016	—	`conf`	Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. WODES Lennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink
2016	J	`jnl`	xCPS: a tool to explore cyber physical systems. SIGBED Rev. 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
2015	C	`conf`	A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. ICTAC Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers
2015	—	`conf`	Core Research and Innovation Areas in Cyber-Physical Systems of Systems - Initial Findings of the CPSoS Project. CyPhy Sebastian Engell, Radoslav Paulen, Michel A. Reniers, Christian Sonntag, Haydn Thompson
2015	J	`jnl`	Core Research and Innovation Areas in Cyber-Physical Systems of Systems. ERCIM News Michel A. Reniers, Sebastian Engell, Haydn Thompson
2015	J	`jnl`	Maximal Synthesis for Hennessy-Milner Logic. ACM Trans. Embed. Comput. Syst. Allan C. van Hulst, Michel A. Reniers, Wan J. Fokkink
2015	B	`conf`	Maximally Permissive Controlled System Synthesis for Modal Logic. SOFSEM Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
2015	A	`conf`	Modular model-based supervisory controller design for wafer logistics in lithography machines. MoDELS Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers
2015	—	`conf`	Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study. SAMOS Nikolaos Ilieskou, Marijn Blom, Lou J. Somers, Michel A. Reniers, Twan Basten
2015	—	`conf`	Synthesis of discrete-event controllers from sequence-based specifications. CDC Thijs Janssen, Joanna M. van de Mortel-Fronczak, Emile van Gerwen, Michel A. Reniers
2015	J	`jnl`	Timed-Gamma and its Coordination Language. Nord. J. Comput. Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron
2015	—	`conf`	xCPS: A tool to eXplore Cyber Physical Systems. WESE 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
2014	J	`jnl`	A European Roadmap on Cyber-Physical Systems of Systems. ERCIM News Michel A. Reniers, Sebastian Engell
2014	A	`conf`	CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
2014	—	`conf`	Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. WODES Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
2014	J	`jnl`	Maximally Permissive Controlled System Synthesis for Modal Logic. CoRR Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
2014	J	`jnl`	Results on Embeddings Between State-Based and Event-Based Systems. Comput. J. Michel A. Reniers, Rob Schoren, Tim A. C. Willemse
2014	—	`conf`	Supervisor synthesis in model-based automotive systems engineering. ICCPS Joanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers
2014	—	`conf`	Towards the Removal of Synchronous Behavior of Events in Automata. WODES Lennart Swartjes, Dirk A. van Beek, Michel A. Reniers
2013	B	`conf`	Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2013	—	`conf`	Maximal Synthesis for Hennessy-Milner Logic. ACSD A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
2013	—	`conf`	Performance-model abstraction in a synthesis-centric model-driven systems engineering framework. MED Jasen Markovski, Michel A. Reniers
2013	C	`conf`	Supervisory movement coordination in pipeless chemical plants. ETFA Jasen Markovski, Michel A. Reniers
2012	C	`conf`	An integrated state- and event-based framework for verifying liveness in supervised systems. ICARCV Jasen Markovski, Michel A. Reniers
2012	C	`conf`	Dogfooding the Formal Semantics of mCRL2. SEW Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote
2012	—	`conf`	Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. PASM/PDMC Jasen Markovski, E. S. Estens Musa, Michel A. Reniers
2012	B	`conf`	Nominal SOS. MFPS Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay
2012	—	`ed.`	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. EXPRESS/SOS Bas Luttik, Michel A. Reniers
2012	J	`jnl`	Rule formats for determinism and idempotence. Sci. Comput. Program. Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2012	J	`jnl`	Rule formats for distributivity. Theor. Comput. Sci. Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2012	J	`jnl`	Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log. Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
2012	—	`conf`	Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2. ICT Innovations Jasen Markovski, Michel A. Reniers
2012	—	`conf`	Verifying Performance of Supervised Plants. ACSD Jasen Markovski, Michel A. Reniers
2011	J	`jnl`	A linear translation from CTL* to the first-order modal μ -calculus. Theor. Comput. Sci. Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers
2011	B	`conf`	Folk Theorems on the Correspondence between State-Based and Event-Based Systems. SOFSEM Michel A. Reniers, Tim A. C. Willemse
2011	B	`conf`	Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. SLE Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy
2011	—	`conf`	Linearization of CIF Through SOS EXPRESS Damian Nadales Agut, Michel A. Reniers
2011	—	`ed.`	Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. SOS Michel A. Reniers, Pawel Sobocinski
2011	C	`conf`	Rule Formats for Distributivity. LATA Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011	J	`jnl`	SOS rule formats for zero and unit elements. Theor. Comput. Sci. Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011	C	`conf`	Transforming SOS Specifications to Linear Processes. FMICS Frank P. M. Stappers, Michel A. Reniers, Sven Weber
2010	B	`conf`	A Rule Format for Unit Elements. SOFSEM Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2010	J	`jnl`	Folk Theorems on the Correspondence between State-Based and Event-Based Systems CoRR Michel A. Reniers, Tim A. C. Willemse
2010	B	`conf`	On Rule Formats for Zero and Unit Elements. MFPS Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2010	—	`conf`	Restricted delegation and revocation in language-based security: (position paper). PLAS D. Hassan, Mohammad Reza Mousavi, Michel A. Reniers
2010	—	`conf`	Robustness of Equations Under Operational Extensions EXPRESS Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers
2010	J	`jnl`	Structural Analysis of Boolean Equation Systems CoRR Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
2009	—	`conf`	Analysis of Boolean Equation Systems through Structure Graphs SOS Michel A. Reniers, Tim A. C. Willemse
2009	—	`conf`	Rule Formats for Determinism and Idempotence. FSEN Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2009	J	`jnl`	Semantics and expressiveness of ordered SOS. Inf. Comput. Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
2009	—	`conf`	Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. FMCO Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote
2009	J	`jnl`	Verification of safety requirements for program code using data abstraction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank P. M. Stappers, Michel A. Reniers
2008	B	`conf`	A Rule Format for Associativity. CONCUR Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers
2008	—	`conf`	Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. HSCC Pieter J. L. Cuijpers, Michel A. Reniers
2008	—	`conf`	Structural Operational Semantics with First-Order Logic. SOS@ICALP Muck van Weerdenburg, Michel A. Reniers
2008	A	`conf`	Verification of networks of timed automata using mCRL2. IPDPS Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
2007	—	`conf`	A Congruence Rule Format with Universal Quantification. SOS@LICS/ICALP Mohammad Reza Mousavi, Michel A. Reniers
2007	—	`conf`	Action Abstraction in Timed Process Algebra. FSEN Michel A. Reniers, Muck van Weerdenburg
2007	C	`conf`	An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE Kais Klai, Laure Petrucci, Michel A. Reniers
2007	J	`jnl`	Duplication of constants in process algebra. J. Log. Algebraic Methods Program. Jos C. M. Baeten, Michel A. Reniers
2007	—	`conf`	Foundations of a Compositional Interchange Format for Hybrid Systems. HSCC D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda
2007	J	`jnl`	SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2006	J	`jnl`	Linearization of hybrid processes. J. Log. Algebraic Methods Program. Peter C. W. van den Brand, Michel A. Reniers, Pieter J. L. Cuijpers
2006	—	`conf`	Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. LIX 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
2006	—	`conf`	Modeling an Impact control Strategy using Hypa. ADHS Pieter J. L. Cuijpers, Michel A. Reniers
2006	—	`conf`	On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. SOS@CONCUR Mohammad Reza Mousavi, Michel A. Reniers
2006	J	`jnl`	Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebraic Methods Program. D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers
2006	—	`conf`	The Formal Specification Language mCRL2. MMOSS Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg
2006	—	`conf`	The Meaning of Ordered SOS. FSTTCS Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
2006	A	`conf`	Time abstraction in timed μCRL a la regions. IPDPS Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
2005	—	`conf`	A Hierarchy of SOS Rule Formats. SOS@ICALP Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers
2005	J	`jnl`	A syntactic commutativity format for SOS. Inf. Process. Lett. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2005	C	`conf`	Analysis of Timed Processes with Data Using Algebraic Transformations. TIME Michel A. Reniers, Yaroslav S. Usenko
2005	J	`jnl`	Case Studies in The Hybrid Process Algebra Hypa. Int. J. Softw. Eng. Knowl. Eng. Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers
2005	B	`conf`	Congruence for Structural Congruences. FoSSaCS Mohammad Reza Mousavi, Michel A. Reniers
2005	—	`conf`	Discretization of Timed Automata in Timed mu. APC 25 Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
2005	J	`jnl`	Hybrid process algebra. J. Log. Algebraic Methods Program. Pieter J. L. Cuijpers, Michel A. Reniers
2005	J	`jnl`	Notions of bisimulation and congruence formats for SOS with data. Inf. Comput. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2005	A*	`conf`	Orthogonal Extensions in Structural Operational Semantics. ICALP Mohammad Reza Mousavi, Michel A. Reniers
2005	—	`conf`	Prototyping SOS Meta-theory in Maude. SOS@ICALP Mohammad Reza Mousavi, Michel A. Reniers
2005	—	`conf`	Relating Hybrid Chi to Other Formalisms. IFM Doctoral Symposium D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
2005	B	`conf`	SOS for Higher Order Processes. CONCUR Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers
2005	—	`conf`	Timing the Untimed: Terminating Successfully While Being Conservative. Processes, Terms and Cycles Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers
2005	—	`conf`	Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. APC 25 Pieter J. L. Cuijpers, Michel A. Reniers
2004	A*	`conf`	Congruence for SOS with Data. LICS Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2004	J	`jnl`	Process Algebra Needs Proof Methodology (Columns: Concurrency). Bull. EATCS Wan J. Fokkink, Jan Friso Groote, Michel A. Reniers
2004	—	`conf`	Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). SFM Jos C. M. Baeten, Michel A. Reniers
2003	—	`conf`	A Hybrid Language for Modeling, Simulation and Verification. ADHS Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, Jacobus E. Rooda
2003	J	`jnl`	Analysis of an Industrial System. Formal Methods Syst. Des. J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda
2003	—	`conf`	Formal Semantics of Hybrid Chi. FORMATS Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda
2003	Misc	`conf`	Hybrid dynamic systems: relating Chi to hybrid automata. WSC D. A. van Beek, Niek G. Jansen, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
2003	—	`conf`	PARS: A Process Algebra with Resources and Schedulers. FORMATS Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
2003	—	`conf`	Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. ACSD Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
2003	—	`conf`	Topological (Bi-)Simulation. CMCIM/GETCO@CONCUR Pieter J. L. Cuijpers, Michel A. Reniers
2002	J	`jnl`	A hierarchy of communication models for Message Sequence Charts. Sci. Comput. Program. André Engels, Sjouke Mauw, Michel A. Reniers
2002	J	`jnl`	Completeness of Timed mCRL. Fundam. Informaticae Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel
2002	—	`conf`	Using Aspect-GAMMA in the design of embedded systems. HLDVT 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
2001	—	`ch.`	A Process Algebra for Interworkings. Handbook of Process Algebra Sjouke Mauw, Michel A. Reniers
2001	—	`ch.`	Algebraic Process Verification. Handbook of Process Algebra Jan Friso Groote, Michel A. Reniers
2000	—	`conf`	Discrete time process algebra with silent step. Proof, Language, and Interaction Jos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers
1999	J	`jnl`	Operational Semantics for MSC'96. Comput. Networks Sjouke Mauw, Michel A. Reniers
1998	C	`conf`	A Process Algebra Based Verification of a Production System. ICFEM J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers
1997	C	`conf`	A Hierarchy of Communication Models for Message Sequence Charts. FORTE André Engels, Sjouke Mauw, Michel A. Reniers
1997	—	`conf`	High-level message sequence charts. SDL Forum Sjouke Mauw, Michel A. Reniers
1997	J	`jnl`	Lazy Functional Programs in a Concurrent Environment. Comput. J. Loe M. G. Feijs, Michel A. Reniers
1997	J	`jnl`	The I²C-Bus in Discrete-Time Process Algebra. Sci. Comput. Program. S. H. J. Bos, Michel A. Reniers
1996	B	`conf`	Refinement in Interworkings. CONCUR Sjouke Mauw, Michel A. Reniers
1994	J	`jnl`	An Algebraic Semantics of Basic Message Sequence Charts. Comput. J. Sjouke Mauw, Michel A. Reniers