Author of the publication

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

, , , , , , , , and . ARCH@ADHS, volume 54 of EPiC Series in Computing, page 104-109. EasyChair, (2018)

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.

No persons found for author name Hoxha, Bardh
add a person with the name Hoxha, Bardh
 

Other publications of authors with the same name

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS., , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 67-72. Elsevier, (2018)Querying Parametric Temporal Logic Properties in Model Based Design., , and . CoRR, (2015)Metric interval temporal logic specification elicitation and debugging., , and . MEMOCODE, page 70-79. IEEE, (2015)On-Line Monitoring for Temporal Logic Robustness., , and . RV, volume 8734 of Lecture Notes in Computer Science, page 231-246. Springer, (2014)WiP abstract: Conformance testing as falsification for cyber-physical systems., , , , , and . ICCPS, page 211. IEEE Computer Society, (2014)Querying Parametric Temporal Logic Properties on Embedded Systems., , and . ICTSS, volume 7641 of Lecture Notes in Computer Science, page 136-151. Springer, (2012)ARCH-COMP18 Category Report: Results on the Falsification Benchmarks., , , , , , , , and . ARCH@ADHS, volume 54 of EPiC Series in Computing, page 104-109. EasyChair, (2018)Using S-TaLiRo on Industrial Size AuImmlertomotive Models., , and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 113-119. EasyChair, (2014)Planning in Dynamic Environments Through Temporal Logic Monitoring., and . AAAI Workshop: Planning for Hybrid Systems, volume WS-16-12 of AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Benchmarks for Temporal Logic Requirements for Automotive Systems., , and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 25-30. EasyChair, (2014)