Hervé Marchand

According to our database1, Hervé Marchand authored at least 66 papers between 1995 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Optimal enforcement of (timed) properties with uncontrollable events.
Mathematical Structures in Computer Science, 2019

2018
Diagnosability of repairable faults.
Discrete Event Dynamic Systems, 2018

Concurrent Secrets with Quantified Suspicion.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017
Predictive runtime verification of timed properties.
Journal of Systems and Software, 2017

Predictive runtime enforcement.
Formal Methods in System Design, 2017

On the Cost of Diagnosis with Disambiguation.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Logico-numerical control for software components reconfiguration.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017

Contribution to the Analysis of Discrete Event Systems.
, 2017

2016
Runtime enforcement of regular timed properties by suppressing and delaying events.
Sci. Comput. Program., 2016

Finding the weakest link(s): Coalition games for decentralized discrete-event control.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Enforcement and validation (at runtime) of various notions of opacity.
Discrete Event Dynamic Systems, 2015

Enforcing opacity of regular predicates on modal transition systems.
Discrete Event Dynamic Systems, 2015

Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems.
Discrete Event Dynamic Systems, 2015

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Enforcement of (Timed) Properties with Uncontrollable Events.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Discrete Control-Based Design of Adaptive and Autonomic Computing Systems.
Proceedings of the Distributed Computing and Internet Technology, 2015

Deadlock-free discrete controller synthesis for infinite state systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Symbolic Supervisory Control of Distributed Systems With Communications.
IEEE Trans. Automat. Contr., 2014

Runtime enforcement of timed properties revisited.
Formal Methods in System Design, 2014

Diagnosis from scenarios.
Discrete Event Dynamic Systems, 2014

Runtime Enforcement of Parametric Timed Properties with Practical Applications.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Discrete Controller Synthesis for Infinite State Systems with ReaX.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Runtime enforcement of regular timed properties.
Proceedings of the Symposium on Applied Computing, 2014

2013
Integrating discrete controller synthesis into a reactive programming language compiler.
Discrete Event Dynamic Systems, 2013

Discrete control of computing systems administration: A programming language supported approach.
Proceedings of the European Control Conference, 2013

Runtime enforcement of K-step opacity.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A parity-based architecture for decentralized discrete-event control.
Proceedings of the American Control Conference, 2013

2012
More testable properties.
STTT, 2012

Synthesis of opaque systems with static and dynamic masks.
Formal Methods in System Design, 2012

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation.
Discrete Event Dynamic Systems, 2012

Analysis of partially observed recursive tile systems.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Runtime Enforcement of Timed Properties.
Proceedings of the Runtime Verification, Third International Conference, 2012

2011
Decentralized Control of Infinite Systems.
Discrete Event Dynamic Systems, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.
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.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Global State Estimates for Distributed Systems.
Proceedings of the Formal Techniques for Distributed Systems, 2011

Synthesis of communicating controllers for distributed systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Supervisory Control for Opacity.
IEEE Trans. Automat. Contr., 2010

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Supervisory control for modal specifications of services.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Contracts for modular discrete controller synthesis.
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

2009
Automatic generation of safe handlers for multi-task systems.
J. Embedded Computing, 2009

Automatic Testing of Access Control for Security Properties.
Proceedings of the Testing of Software and Communication Systems, 2009

Control of infinite Symbolic Transition Systems under partial observation.
Proceedings of the European Control Conference, 2009

Monitoring confidentiality by diagnosis techniques.
Proceedings of the European Control Conference, 2009

Dynamic Observers for the Synthesis of Opaque Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Supervisory control of modular systems with global specification languages.
Autom., 2008

2007
Integrating formal verification and conformance testing for reactive systems.
IEEE Trans. Software Eng., 2007

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

2006
Contrôle de systèmes symboliques, discrets ou hybrides.
Technique et Science Informatiques, 2006

Symbolic Determinisation of Extended Automata.
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.
Proceedings of the FM 2005: Formal Methods, 2005

2004
Supervisory Control of Product and Hierarchical Discrete Event Systems.
Eur. J. Control, 2004

From Safety Verification to Safety Testing.
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2003
Test Cases Generation for Nondeterministic Real-Time Systems.
Proceedings of the Formal Approaches to Software Testing, 2003

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

A Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Embedded Software, Second International Conference, 2002

Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001
Formal verification of programs specified with signal: application to a power transformer station controller.
Sci. Comput. Program., 2001

2000
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.
IEEE Trans. Software Eng., 2000

On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.
SIAM J. Control and Optimization, 2000

Synthesis of Discrete-Event Controllers Based on the Signal Environment.
Discrete Event Dynamic Systems, 2000

1998
Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment.
I. J. Robotics Res., 1998

A design environment for discrete-event controllers based on the SIGNAL language.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1996
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
SIGNAL.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995


  Loading...