Author of the publication

Two CEGAR-based approaches for the safety verification of PLC-controlled plants.

, , , , and . Inf. Syst. Frontiers, 18 (5): 927-952 (2016)

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

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis., , and . QAPL@ETAPS, volume 250 of EPTCS, page 1-14. (2017)Hybrid Sequential Function Charts., and . MBMV, volume 68 of Forschungsergebnisse zur Informatik, page 109-120. Verlag Dr. Kovac, (2012)Counterexample Generation for Hybrid Automata., , , and . FTSCS, volume 419 of Communications in Computer and Information Science, page 88-106. Springer, (2013)A CEGAR approach for the reachability analysis of PLC-controlled chemical plants., and . IRI, page 500-507. IEEE Computer Society, (2014)A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs., , , , and . GCAI, volume 36 of EPiC Series in Computing, page 196-214. EasyChair, (2015)Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development., , , , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 59-75. Springer, (2019)