Michel Reniers

Available identifiers

zbMath Open reniers.michel-adriaanMaRDI QIDQ835034

List of research outcomes

Publication	Date of Publication	Type
Correction to: ``Transformational supervisor synthesis for evolving systems	2024-03-25	Paper
Refinement in Interworkings	2023-06-28	Paper
Transformational supervisor synthesis for evolving systems	2022-06-13	Paper
Partial-Order Reduction for Supervisory Controller Synthesis	2022-02-24	Paper
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems	2021-12-09	Paper
Compositional coordinator synthesis of extended finite automata	2021-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4965861	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4964002	2021-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5150133	2021-02-09	Paper
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices	2020-10-07	Paper
Maximally permissive controlled system synthesis for non-determinism and modal logic	2017-03-03	Paper
Nominal SOS	2016-07-08	Paper
Structural Operational Semantics with First-Order Logic	2016-06-03	Paper
Structural Analysis of Boolean Equation Systems	2015-09-17	Paper
Topological Aspects of Hybrid Processes	2015-07-10	Paper
Discretization of Timed Automata in Timed μCRL à la Regions and Zones	2015-07-10	Paper
Maximally Permissive Controlled System Synthesis for Modal Logic	2015-02-20	Paper
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi	2014-01-17	Paper
Relating Hybrid Chi to Other Formalisms	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2847419	2013-09-09	Paper
A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus	2011-07-07	Paper
Folk Theorems on the Correspondence between State-Based and Event-Based Systems	2011-02-15	Paper
Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study	2011-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q3404131	2010-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q3395989	2009-09-15	Paper
A syntactic commutativity format for SOS	2009-08-27	Paper
Foundations of a Compositional Interchange Format for Hybrid Systems	2009-03-11	Paper
An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3614665	2009-03-09	Paper
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions	2008-09-02	Paper
Action Abstraction in Timed Process Algebra	2008-07-01	Paper
SOS formats and meta-theory: 20 years after	2007-04-19	Paper
Duplication of constants in process algebra	2007-02-09	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Formal Methods for the Design of Real-Time Systems	2006-10-19	Paper
Linearization of hybrid processes	2006-04-28	Paper
Syntax and consistent equation semantics of hybrid Chi	2006-04-28	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
Hybrid process algebra	2005-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q3148335	2003-05-22	Paper
Analysis of an industrial system	2003-05-11	Paper
A hierarchy of communication models for message sequence charts	2002-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q2760254	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2760256	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4252989	1999-06-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michel Reniers