Raimar Lill

According to our database, Raimar Lill authored at least 7 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze.

Raimar Lill

PhD thesis, 2021

2015

Reconfiguration Testing for Cooperating Autonomous Agents.

Francesca Saglietti, Stefan Winzinger, Raimar Lill

Proceedings of the Computer Safety, Reliability, and Security, 2015

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems.

Francesca Saglietti, David Fohrweiser, Stefan Winzinger, Raimar Lill

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Testing the Cooperation of Autonomous Robotic Agents.

Raimar Lill, Francesca Saglietti

Proceedings of the ICSOFT-EA 2014, 2014

2013

Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets.

Raimar Lill, Francesca Saglietti

Proceedings of the SAFECOMP 2013, 2013

2012

Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents.

Francesca Saglietti, Sven Söhnlein, Raimar Lill

Proceedings of the Autonomous Systems: Developments and Trends, 2012

Model-based Testing of Autonomous Systems based on Coloured Petri Nets.

Raimar Lill, Francesca Saglietti

Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012