Login / Signup
Raimar Lill
Publication Activity (10 Years)
Years Active: 2012-2015
Publications (10 Years): 2
Top Topics
Autonomous Systems
Software Testing
Sequence Diagrams
Robotic Agents
Top Venues
SAFECOMP Workshops
ARCS Workshops
EUROMICRO-SEAA
DECS@SAFECOMP
</>
Publications
</>
Francesca Saglietti
,
Stefan Winzinger
,
Raimar Lill
Reconfiguration Testing for Cooperating Autonomous Agents.
SAFECOMP Workshops
(2015)
Francesca Saglietti
,
David Fohrweiser
,
Stefan Winzinger
,
Raimar Lill
Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems.
EUROMICRO-SEAA
(2015)
Raimar Lill
,
Francesca Saglietti
Testing the Cooperation of Autonomous Robotic Agents.
ICSOFT EA
(2014)
Raimar Lill
,
Francesca Saglietti
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets.
DECS@SAFECOMP
(2013)
Raimar Lill
,
Francesca Saglietti
Model-based Testing of Autonomous Systems based on Coloured Petri Nets.
ARCS Workshops
(2012)