Author of the publication

An approach to reverse engineering of C programs to simulink models with conformance testing.

, , , , , and . ISEC, page 137-138. ACM, (2009)

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

Online On-Demand Multi-Robot Coverage Path Planning., and . CoRR, (2023)Automatic Dimensional Analysis of Cyber-Physical Systems., , and . FM, volume 7436 of Lecture Notes in Computer Science, page 356-371. Springer, (2012)Safe Self-Triggered Control Based on Precomputed Reachability Sequences., , and . HSCC, page 7:1-7:12. ACM, (2023)Automated composition of motion primitives for multi-robot systems from safe LTL specifications., , , , and . IROS, page 1525-1532. IEEE, (2014)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)Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications., , , , and . CDC, page 5339-5344. IEEE, (2023)Antlab: A Multi-Robot Task Server., , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 190:1-190:19 (2017)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)T* : A Heuristic Search Based Algorithm for Motion Planning with Temporal Goals., and . CoRR, (2018)