PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hoxha, Bardh"

Author of the publication

copydeleteadd this publication to your clipboard
WiP abstract: Conformance testing as falsification for cyber-physical systems.

, , , , , and . ICCPS, page 211. IEEE Computer Society, (2014)

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

Querying Parametric Temporal Logic Properties in Model Based Design., , and . CoRR, (2015)Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS., , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 67-72. Elsevier, (2018)WiP abstract: Conformance testing as falsification for cyber-physical systems., , , , , and . ICCPS, page 211. IEEE Computer Society, (2014)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)Using S-TaLiRo on Industrial Size AuImmlertomotive Models., , and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 113-119. EasyChair, (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)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.Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems., , and . ACM Trans. Embedded Comput. Syst., 17 (2): 34:1-34:26 (2018)