Author of the publication

Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey.

, , and . Proc. IEEE, 104 (5): 904-922 (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

Automatic Dimensional Analysis of Cyber-Physical Systems., , and . FM, volume 7436 of Lecture Notes in Computer Science, page 356-371. Springer, (2012)Antlab: A Multi-Robot Task Server., , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 190:1-190:19 (2017)Online On-Demand Multi-Robot Coverage Path Planning., and . CoRR, (2023)Automated composition of motion primitives for multi-robot systems from safe LTL specifications., , , , and . IROS, page 1525-1532. IEEE, (2014)Safe Self-Triggered Control Based on Precomputed Reachability Sequences., , and . HSCC, page 7:1-7:12. ACM, (2023)Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications., , , , and . CDC, page 5339-5344. IEEE, (2023)Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking., and . ICISS, volume 5905 of Lecture Notes in Computer Science, page 292-300. Springer, (2009)An approach to reverse engineering of C programs to simulink models with conformance testing., , , , , and . ISEC, page 137-138. ACM, (2009)RSA based improved YOLOv3 network for segmentation and detection of weed species., , , , and . Multim. Tools Appl., 83 (12): 34913-34942 (April 2024)A Simplification of a Real-Time Verification Problem, , and . CoRR, (2010)