Author of the publication

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.

 

Other publications of authors with the same name

Supervisory Control of Product and Hierarchical Discrete Event Systems., and . Eur. J. Control, 10 (2): 131-145 (2004)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 . Discrete Event Dynamic Systems, 28 (2): 183-213 (2018)Contribution to the Analysis of Discrete Event Systems.. (2017)Synthesis of Discrete-Event Controllers Based on the Signal Environment., , , and . Discrete Event Dynamic Systems, 10 (4): 325-346 (2000)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)Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems., , and . FM, volume 3582 of Lecture Notes in Computer Science, page 189-204. Springer, (2005)Global State Estimates for Distributed Systems., , , and . FMOODS/FORTE, volume 6722 of Lecture Notes in Computer Science, page 198-212. Springer, (2011)TiPEX: A Tool Chain for Timed Property Enforcement During eXecution., , , and . RV, volume 9333 of Lecture Notes in Computer Science, page 306-320. Springer, (2015)Diagnosability of repairable faults., , , and . WODES, page 230-236. IEEE, (2016)