( en | de | ru )

 

Disambiguation of "Marchand, Hervé"

Author of the publication

copydeleteadd this publication to your clipboard
Runtime Enforcement of Timed Properties.

, , , , , and . RV, volume 7687 of Lecture Notes in Computer Science, page 229-244. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lucien Hervé

Luis Pablo Hervé Claude

Momo Jeufack Hervé

Yves Hervé

Hervé Chang

 

Other publications of authors with the same name

Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology., and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1605-1624. Springer, (1999)Discrete control of computing systems administration: A programming language supported approach., , , , and . ECC, page 117-124. IEEE, (2013)A parity-based architecture for decentralized discrete-event control., and . ACC, page 5678-5684. IEEE, (2013)Optimal control of discrete event systems under partial observation., , and . CDC, page 2335-2340. IEEE, (2001)The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design., , , , , and . CDC, page 3284-3289. IEEE, (2001)Enforcement and validation (at runtime) of various notions of opacity., and . Discrete Event Dynamic Systems, 25 (4): 531-570 (2015)Diagnosability of repairable faults., , , and . WODES, page 230-236. IEEE, (2016)Synthesis of Discrete-Event Controllers Based on the Signal Environment., , , and . Discrete Event Dynamic Systems, 10 (4): 325-346 (2000)Contribution to the Analysis of Discrete Event Systems.. (2017)Global State Estimates for Distributed Systems., , , and . FMOODS/FORTE, volume 6722 of Lecture Notes in Computer Science, page 198-212. Springer, (2011)