Author of the publication

AVORA I Successful Participation in SAUC-E'12.

, , , , , , , and . EUROCAST (2), volume 8112 of Lecture Notes in Computer Science, page 313-320. Springer, (2013)

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

TASA: toolchain-agnostic static software randomisation for critical real-time systems., , , , , and . ICCAD, page 59. ACM, (2016)Interval Methods in Robot Navigation., and . Reliab. Comput., 4 (1): 55-61 (1998)Measurement-Based Timing Analysis of the AURIX Caches., , , , , , , and . WCET, volume 55 of OASIcs, page 9:1-9:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Developing and Deploying Knowledge on a Global Scale., , and . AAAI/IAAI, Vol. 2, page 1443-1454. AAAI Press / The MIT Press, (1996)0-262-51091-X.PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis., , , , , , , , , and 17 other author(s). DSD, page 276-285. IEEE Computer Society, (2016)Dynamic software randomisation: Lessons learnec from an aerospace case study., , , , , , and . DATE, page 103-108. IEEE, (2017)From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests., , , , , and . Agents, page 32-38. ACM, (1998)AVORA I Successful Participation in SAUC-E'12., , , , , , , and . EUROCAST (2), volume 8112 of Lecture Notes in Computer Science, page 313-320. Springer, (2013)Probabilistic timing analysis on time-randomized platforms for the space domain., , , , , , , , , and 1 other author(s). DATE, page 738-739. IEEE, (2017)A Reactive Mobile Robot Based on a Formal Theory of Action., , , , , and . AAAI/IAAI, Vol. 2, page 1350. AAAI Press / The MIT Press, (1996)0-262-51091-X.