Raimar Lill

List of publications:

BibTeX-Download


Lehrstuhl für Informatik 11 (Software-Engineering) (SWE)
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems (2015) Saglietti F, Föhrweiser D, Winzinger S, Lill R Conference contribution, Conference Contribution Reconfiguration Testing for Cooperative Autonomous Agents (2015) Saglietti F, Winzinger S, Lill R Conference contribution A Testing Pattern for Automatic Control Software Addressing Different Degrees of Process Autonomy and Cooperation (2014) Saglietti F, Lill R Conference contribution Testing the Cooperation of Autonomous Robotic Agents (2014) Lill R, Saglietti F Conference contribution Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets (2013) Lill R, Saglietti F Conference contribution Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets (2013) Lill R, Saglietti F Conference contribution, Conference Contribution Model-based Testing of Autonomous Systems based on Coloured Petri Nets (2012) Lill R, Saglietti F Conference contribution Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets (2012) Lill R, Saglietti F Conference contribution Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents (2011) Saglietti F, Söhnlein S, Lill R Conference contribution, Conference Contribution