Author of the publication

Towards benchmarking actor- and agent-based programming languages.

, , , and . AGERE!@SPLASH, page 115-126. ACM, (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

A Compositional Approach to Verifying Modular Robotic Systems., , , , , and . CoRR, (2022)Modular Verification of Autonomous Space Robotics., , , , , , , , and . CoRR, (2019)Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020., , , , and . J. Sens. Actuator Networks, 10 (2): 33 (2021)Extending Attack-Fault Trees with Runtime Verification., , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 193-207. (2022)Towards Compositional Verification for Modular Robotic Systems., , , , and . FMAS, volume 329 of EPTCS, page 15-22. (2020)ROSMonitoring: A Runtime Verification Framework for ROS., , , , , and . TAROS, volume 12228 of Lecture Notes in Computer Science, page 387-399. Springer, (2020)Decentralised Planning for Multi-Agent Programming Platforms., and . AAMAS, page 799-807. International Foundation for Autonomous Agents and Multiagent Systems, (2019)LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest., , and . CoRR, (2020)Resilience, reliability, and coordination in autonomous multi-agent systems., , , , and . AI Commun., 35 (4): 339-356 (2022)Bridging the gap between single- and multi-model predictive runtime verification., , , , , , and . Formal Methods Syst. Des., 59 (1): 44-76 (2021)