Michel A. Reniers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
28
Active years
1996–2024
Best venue rank
A*
Where they publish
- CFDL3 papers
- BSOFSEM3 papers
- BCONCUR3 papers
- ATACAS2 papers
- AOOPSLA2 papers
- CICARCV2 papers
- CFMICS2 papers
- CFORTE2 papers
- AIROS1 paper
- A*ICRA1 paper
- NationalSETTA1 paper
- CCoDIT1 paper
- AICST1 paper
- CISoLA1 paper
- CICTAC1 paper
- AMODELS1 paper
- BCALCO1 paper
- CETFA1 paper
- CSEW1 paper
- CLATA1 paper
- BSLE1 paper
- A*PLDI1 paper
- BFOSSACS1 paper
- A*ICALP1 paper
- CTIME1 paper
- A*LICS1 paper
- NationalWSC1 paper
- CICFEM1 paper
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IROS | Multi-Robot Path Planning With Boolean Specification Tasks Under Motion Uncertainties. | Zhe Zhang, Zhou He, Ning Ran, Michel A. Reniers |
| 2023 | ICRA | RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications. | Bart Wesselink, Koen de Vos, Ivan Kurtev, Michel A. Reniers, Elena Torta |
| 2023 | TACAS | 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 |
| 2021 | OOPSLA | 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 |
| 2020 | FDL | Supervisory Control for Dynamic Feature Configuration in Product Lines. | Michel A. Reniers, Sander Thuijsman |
| 2020 | ICARCV | Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. | Aida Rashidinejad, Patrick van der Graaf, Michel A. Reniers |
| 2020 | SETTA | 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 |
| 2019 | CoDIT | Deducing causes for the absence of states in supervised systems. | Lennart Swartjes, Michel A. Reniers, Wan J. Fokkink |
| 2019 | FMICS | 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 |
| 2018 | ICST | Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. | Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers |
| 2016 | FDL | Compositional specification of functionality and timing of manufacturing systems. | Bram van der Sanden, Joo Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers |
| 2016 | FDL | Maintenance of specification models in industry using Edapt. | Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Michel A. Reniers |
| 2016 | ISoLA | Supervisory Controller Synthesis for Product Lines Using CIF 3. | Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink |
| 2016 | OOPSLA | Integrated simulation of CIF3 and simulink models. | Abhishek Sharma, Michel A. Reniers |
| 2015 | ICTAC | A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. | Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers |
| 2015 | MODELS | 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 |
| 2015 | SOFSEM | Maximally Permissive Controlled System Synthesis for Modal Logic. | Allan van Hulst, Michel A. Reniers, Wan J. Fokkink |
| 2014 | TACAS | 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 |
| 2013 | CALCO | Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2013 | ETFA | Supervisory movement coordination in pipeless chemical plants. | Jasen Markovski, Michel A. Reniers |
| 2012 | ICARCV | An integrated state- and event-based framework for verifying liveness in supervised systems. | Jasen Markovski, Michel A. Reniers |
| 2012 | SEW | Dogfooding the Formal Semantics of mCRL2. | Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote |
| 2011 | FMICS | Transforming SOS Specifications to Linear Processes. | Frank P. M. Stappers, Michel A. Reniers, Sven Weber |
| 2011 | LATA | Rule Formats for Distributivity. | Luca Aceto, Matteo Cimini, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2011 | SLE | Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. | Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy |
| 2011 | SOFSEM | Folk Theorems on the Correspondence between State-Based and Event-Based Systems. | Michel A. Reniers, Tim A. C. Willemse |
| 2010 | PLDI | Restricted delegation and revocation in language-based security: (position paper). | D. Hassan, Mohammad Reza Mousavi, Michel A. Reniers |
| 2010 | SOFSEM | A Rule Format for Unit Elements. | Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2008 | CONCUR | A Rule Format for Associativity. | Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers |
| 2007 | FORTE | An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. | Kais Klai, Laure Petrucci, Michel A. Reniers |
| 2005 | CONCUR | SOS for Higher Order Processes. | Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers |
| 2005 | FOSSACS | Congruence for Structural Congruences. | Mohammad Reza Mousavi, Michel A. Reniers |
| 2005 | ICALP | Orthogonal Extensions in Structural Operational Semantics. | Mohammad Reza Mousavi, Michel A. Reniers |
| 2005 | TIME | Analysis of Timed Processes with Data Using Algebraic Transformations. | Michel A. Reniers, Yaroslav S. Usenko |
| 2004 | LICS | Congruence for SOS with Data. | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
| 2003 | WSC | 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 |
| 1998 | ICFEM | A Process Algebra Based Verification of a Production System. | J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers |
| 1997 | FORTE | A Hierarchy of Communication Models for Message Sequence Charts. | Andr Engels, Sjouke Mauw, Michel A. Reniers |
| 1996 | CONCUR | Refinement in Interworkings. | Sjouke Mauw, Michel A. Reniers |