Michel A. Reniers

According to our database1, Michel A. Reniers authored at least 109 papers between 1994 and 2018.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems.
IEEE Trans. Intelligent Transportation Systems, 2018

Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017
Maximally permissive controlled system synthesis for non-determinism and modal logic.
Discrete Event Dynamic Systems, 2017

Structuring multilevel discrete-event systems with dependency structure matrices.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
xCPS: a tool to explore cyber physical systems.
SIGBED Review, 2016

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Integrated simulation of CIF3 and simulink models.
Proceedings of the 1st Industry Track on Software Language Engineering, 2016

Supervisory Controller Synthesis for Product Lines Using CIF 3.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Maintenance of specification models in industry using Edapt.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016

Compositional specification of functionality and timing of manufacturing systems.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015
Maximal Synthesis for Hennessy-Milner Logic.
ACM Trans. Embedded Comput. Syst., 2015

Timed-Gamma and its Coordination Language.
Nord. J. Comput., 2015

Core Research and Innovation Areas in Cyber-Physical Systems of Systems.
ERCIM News, 2015

Maximally Permissive Controlled System Synthesis for Modal Logic.
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.
Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

Modular model-based supervisory controller design for wafer logistics in lithography machines.
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.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015


Core Research and Innovation Areas in Cyber-Physical Systems of Systems - Initial Findings of the CPSoS Project.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Synthesis of discrete-event controllers from sequence-based specifications.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
A European Roadmap on Cyber-Physical Systems of Systems.
ERCIM News, 2014

Maximally Permissive Controlled System Synthesis for Modal Logic.
CoRR, 2014

Results on Embeddings Between State-Based and Event-Based Systems.
Comput. J., 2014

Towards the Removal of Synchronous Behavior of Events in Automata.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Maximal Synthesis for Hennessy-Milner Logic with the Box Modality.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

CIF 3: Model-Based Engineering of Supervisory Controllers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Supervisor synthesis in model-based automotive systems engineering.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

2013
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking.
Electr. Notes Theor. Comput. Sci., 2013

Supervisory movement coordination in pipeless chemical plants.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

Maximal Synthesis for Hennessy-Milner Logic.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
Structural Analysis of Boolean Equation Systems.
ACM Trans. Comput. Log., 2012

Rule formats for distributivity.
Theor. Comput. Sci., 2012

Rule formats for determinism and idempotence.
Sci. Comput. Program., 2012

Nominal SOS.
Electr. Notes Theor. Comput. Sci., 2012

Dogfooding the Formal Semantics of mCRL2.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

An integrated state- and event-based framework for verifying liveness in supervised systems.
Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012

Verifying Performance of Supervised Plants.
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.
Theor. Comput. Sci., 2011

SOS rule formats for zero and unit elements.
Theor. Comput. Sci., 2011

Linearization of CIF Through SOS
Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Folk Theorems on the Correspondence between State-Based and Event-Based Systems.
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

Rule Formats for Distributivity.
Proceedings of the Language and Automata Theory and Applications, 2011

Transforming SOS Specifications to Linear Processes.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010
On Rule Formats for Zero and Unit Elements.
Electr. Notes Theor. Comput. Sci., 2010

Robustness of Equations Under Operational Extensions
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

Folk Theorems on the Correspondence between State-Based and Event-Based Systems
CoRR, 2010

Structural Analysis of Boolean Equation Systems
CoRR, 2010

A Rule Format for Unit Elements.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Restricted delegation and revocation in language-based security: (position paper).
Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

2009
Semantics and expressiveness of ordered SOS.
Inf. Comput., 2009

Structural Operational Semantics with First-Order Logic.
Electr. Notes Theor. Comput. Sci., 2009

Verification of safety requirements for program code using data abstraction.
ECEASST, 2009

Analysis of Boolean Equation Systems through Structure Graphs
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Rule Formats for Determinism and Idempotence.
Proceedings of the Fundamentals of Software Engineering, 2009

Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi.
Electr. Notes Theor. Comput. Sci., 2008

Verification of networks of timed automata using mCRL2.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

A Rule Format for Associativity.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
SOS formats and meta-theory: 20 years after.
Theor. Comput. Sci., 2007

Duplication of constants in process algebra.
J. Log. Algebr. Program., 2007

A Congruence Rule Format with Universal Quantification.
Electr. Notes Theor. Comput. Sci., 2007

On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference.
Electr. Notes Theor. Comput. Sci., 2007

Relating Hybrid Chi to Other Formalisms.
Electr. Notes Theor. Comput. Sci., 2007

Foundations of a Compositional Interchange Format for Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Action Abstraction in Timed Process Algebra.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006
Linearization of hybrid processes.
J. Log. Algebr. Program., 2006

Syntax and consistent equation semantics of hybrid Chi.
J. Log. Algebr. Program., 2006

Prototyping SOS Meta-theory in Maude.
Electr. Notes Theor. Comput. Sci., 2006

Discretization of Timed Automata in Timed mu.
Electr. Notes Theor. Comput. Sci., 2006

A Hierarchy of SOS Rule Formats.
Electr. Notes Theor. Comput. Sci., 2006

Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis.
Electr. Notes Theor. Comput. Sci., 2006

Time abstraction in timed /spl mu/CRL a la regions.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

The Meaning of Ordered SOS.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

The Formal Specification Language mCRL2.
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005
Hybrid process algebra.
J. Log. Algebr. Program., 2005

A syntactic commutativity format for SOS.
Inf. Process. Lett., 2005

Case Studies in The Hybrid Process Algebra Hypa.
International Journal of Software Engineering and Knowledge Engineering, 2005

Notions of bisimulation and congruence formats for SOS with data.
Inf. Comput., 2005

Analysis of Timed Processes with Data Using Algebraic Transformations.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Orthogonal Extensions in Structural Operational Semantics.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Congruence for Structural Congruences.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

SOS for Higher Order Processes.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Timing the Untimed: Terminating Successfully While Being Conservative.
Proceedings of the Processes, 2005

2004
Topological (Bi-)Simulation.
Electr. Notes Theor. Comput. Sci., 2004

Process Algebra Needs Proof Methodology (Columns: Concurrency).
Bulletin of the EATCS, 2004

Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Congruence for SOS with Data.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2003
Analysis of an Industrial System.
Formal Methods in System Design, 2003

Hybrid dynamic systems: relating Chi to hybrid automata.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Formal Semantics of Hybrid Chi.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

PARS: A Process Algebra with Resources and Schedulers.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems.
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.
Sci. Comput. Program., 2002

Completeness of Timed mCRL.
Fundam. Inform., 2002

Using Aspect-GAMMA in the design of embedded systems.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2000
Discrete time process algebra with silent step.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999
Operational Semantics for MSC'96.
Computer Networks, 1999

1998
A Process Algebra Based Verification of a Production System.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997
The I²C-Bus in Discrete-Time Process Algebra.
Sci. Comput. Program., 1997

Lazy Functional Programs in a Concurrent Environment.
Comput. J., 1997

High-level message sequence charts.
Proceedings of the SDL '97 Time for Testing, 1997

A Hierarchy of Communication Models for Message Sequence Charts.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996
Refinement in Interworkings.
Proceedings of the CONCUR '96, 1996

1994
An Algebraic Semantics of Basic Message Sequence Charts.
Comput. J., 1994


  Loading...