Hervé Marchand

Autom., 2023

2021

Synthesis of Supervisors Robust Against Sensor Deception Attacks.

[BibT_eX]

[DOI]

Rômulo Meira-Góes

IEEE Trans. Autom. Control., 2021

Compositional model checking of an SDN platform.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on the Design of Reliable Communication Networks, 2021

2019

Optimal enforcement of (timed) properties with uncontrollable events.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

Towards resilient supervisors against sensor deception attacks.

[BibT_eX]

[DOI]

Rômulo Meira-Góes

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Diagnosability of repairable faults.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2018

Concurrent Secrets with Quantified Suspicion.

[BibT_eX]

[DOI]

Loïc Hélouët

John Mullins

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

2017

Predictive runtime verification of timed properties.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Predictive runtime enforcement.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

On the Cost of Diagnosis with Disambiguation.

[BibT_eX]

[DOI]

Loïc Hélouët

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Logico-numerical control for software components reconfiguration.

[BibT_eX]

[DOI]

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

Contribution to the Analysis of Discrete Event Systems.

[BibT_eX]

[DOI]

, 2017

2016

Runtime enforcement of regular timed properties by suppressing and delaying events.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Finding the weakest link(s): Coalition games for decentralized discrete-event control.

[BibT_eX]

[DOI]

S. Laurie Ricker

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Enforcement and validation (at runtime) of various notions of opacity.

[BibT_eX]

[DOI]

Yliès Falcone

Discret. Event Dyn. Syst., 2015

Enforcing opacity of regular predicates on modal transition systems.

[BibT_eX]

[DOI]

Philippe Darondeau

S. Laurie Ricker

Discret. Event Dyn. Syst., 2015

Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2015

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

Enforcement of (Timed) Properties with Uncontrollable Events.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Discrete Control-Based Design of Adaptive and Autonomic Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2015

Deadlock-free discrete controller synthesis for infinite state systems.

[BibT_eX]

[DOI]

Nicolas Berthier

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

2014

Symbolic Supervisory Control of Distributed Systems With Communications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Runtime enforcement of timed properties revisited.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

Diagnosis from scenarios.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2014

Runtime Enforcement of Parametric Timed Properties with Practical Applications.

[BibT_eX]

[DOI]

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

Discrete Controller Synthesis for Infinite State Systems with ReaX.

[BibT_eX]

[DOI]

Nicolas Berthier

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

Runtime enforcement of regular timed properties.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

2013

Integrating discrete controller synthesis into a reactive programming language compiler.

[BibT_eX]

[DOI]

Gwenaël Delaval

Discret. Event Dyn. Syst., 2013

Discrete control of computing systems administration: A programming language supported approach.

[BibT_eX]

[DOI]

Proceedings of the 12th European Control Conference, 2013

Runtime enforcement of K-step opacity.

[BibT_eX]

[DOI]

Yliès Falcone

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A parity-based architecture for decentralized discrete-event control.

[BibT_eX]

[DOI]

S. Laurie Ricker

Proceedings of the American Control Conference, 2013

2012

More testable properties.

[BibT_eX]

[DOI]

Yliès Falcone

Jean-Claude Fernandez

Laurent Mounier

Int. J. Softw. Tools Technol. Transf., 2012

Synthesis of opaque systems with static and dynamic masks.

[BibT_eX]

[DOI]

Franck Cassez

Formal Methods Syst. Des., 2012

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2012

Analysis of partially observed recursive tile systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Runtime Enforcement of Timed Properties.

[BibT_eX]

[DOI]

Omer Landry Nguena-Timo

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Decentralized Control of Infinite Systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Abstracting Time and Data for Conformance Testing of Real-Time Systems.

[BibT_eX]

[DOI]

Wilkerson de L. Andrade

Patrícia D. L. Machado

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Global State Estimates for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

Synthesis of communicating controllers for distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Supervisory Control for Opacity.

[BibT_eX]

[DOI]

Philippe Darondeau

IEEE Trans. Autom. Control., 2010

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Supervisory control for modal specifications of services.

[BibT_eX]

[DOI]

Philippe Darondeau

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Contracts for modular discrete controller synthesis.

[BibT_eX]

[DOI]

Gwenaël Delaval

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

2009

Automatic generation of safe handlers for multi-task systems.

[BibT_eX]

[DOI]

J. Embed. Comput., 2009

Automatic Testing of Access Control for Security Properties.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communication Systems, 2009

Control of infinite Symbolic Transition Systems under partial observation.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

Monitoring confidentiality by diagnosis techniques.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

Dynamic Observers for the Synthesis of Opaque Systems.

[BibT_eX]

[DOI]

Franck Cassez

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Supervisory control of modular systems with global specification languages.

[BibT_eX]

[DOI]

Autom., 2008

2007

Integrating formal verification and conformance testing for reactive systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2007

An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2007

2006

Contrôle de systèmes symboliques, discrets ou hybrides.

[BibT_eX]

[DOI]

Tristan Le Gall

Bertrand Jeannet

Tech. Sci. Informatiques, 2006

Symbolic Determinisation of Extended Automata.

[BibT_eX]

[DOI]

Vlad Rusu

Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

2005

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.

[BibT_eX]

[DOI]

Vlad Rusu

Proceedings of the FM 2005: Formal Methods, 2005

Modular Supervisory Control with General Indecomposable Specification Languages.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation.

[BibT_eX]

[DOI]

Tristan Le Gall

Bertrand Jeannet

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Control, 2005

2004

Supervisory Control of Product and Hierarchical Discrete Event Systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2004

From Safety Verification to Safety Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2003

Test Cases Generation for Nondeterministic Real-Time Systems.

[BibT_eX]

[DOI]

Ahmed Khoumsi

Proceedings of the Formal Approaches to Software Testing, 2003

Modular supervisory control of asynchronous and hierarchical finite state machines.

[BibT_eX]

[DOI]

Proceedings of the 7th European Control Conference, 2003

Ensuring the conformance of reactive discrete-event systems using supervisory control.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

On optimal control of a class of partially observed discrete event systems.

[BibT_eX]

[DOI]

Olivier Boivineau

Autom., 2002

A case study in applying discrete control synthesis to excavator operation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

A Protocol for Loosely Time-Triggered Architectures.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Second International Conference, 2002

Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

Supervisory control problems of hierarchical finite state machines.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Formal verification of programs specified with signal: application to a power transformer station controller.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2001

Optimal control of discrete event systems under partial observation.

[BibT_eX]

[DOI]

Olivier Boivineau

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.

[BibT_eX]

[DOI]

Mazen Samaan

IEEE Trans. Software Eng., 2000

On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.

[BibT_eX]

[DOI]

Olivier Boivineau

SIAM J. Control. Optim., 2000

Synthesis of Discrete-Event Controllers Based on the Signal Environment.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2000

Supervisory control problem using symbolic bisimulation techniques.

[BibT_eX]

[DOI]