| 2012 | Delta-Oriented Monitor Specification. | Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz |
| 2012 | Behavioral Specification Based Runtime Monitors for OSGi Services. | Jan Olaf Blech, Ylis Falcone, Harald Rue, Bernhard Schtz |
| 2012 | Abstract Execution for Event-Driven Systems - An Application from Automotive/Infotainment Development. | Klaus Birken |
| 2012 | Linux Driver Verification - (Position Paper). | Dirk Beyer, Alexander K. Petrenko |
| 2012 | Statistical Model Checking QoS Properties of Systems with SBIP. | Saddek Bensalem, Marius Bozga, Benot Delahaye, Cyrille Jgourel, Axel Legay, Ayoub Nouri |
| 2012 | SmartTies - Management of Safety-Critical Developments. | Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lth, Christian Maeder |
| 2012 | A Compositional Framework to Derive Product Line Behavioural Descriptions. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2012 | Process-Oriented Geoinformation Systems and Applications. | Hartmut Asche |
| 2012 | Handling Heterogeneity in Formal Developments of Hardware and Software Systems. | Yamine At Ameur, Dominique Mry |
| 2012 | A Unified Approach for Static and Runtime Verification: Framework and Applications. | Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2011 | A Software Integration Framework for Cognitive Systems. | Michael Zillich, Wolfgang Ponweiser, Markus Vincze |
| 2011 | Adaptive Autonomous Systems - From the System's Architecture to Testing. | Franz Wotawa |
| 2011 | Efficient Localization for Robot Soccer Using Pattern Matching. | Thomas Whelan, Sonja Stdli, John McDonald, Richard H. Middleton |
| 2011 | Object Detection and Classification for Domestic Robots. | Markus Vincze, Walter Wohlkinger, Sven Olufs, Peter Einramhof, Robert Schwarz, Karthik Mahesh Varadarajan |
| 2011 | Representing Knowledge in Robotic Systems with KnowLang. | Emil Vassev, Mike Hinchey |
| 2011 | Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments. | Tobe Toben, Snke Eilers, Christian Kuka, Sren Schweigert, Hannes Winkelmann, Stefan Ruehrup |
| 2011 | Building iRIS: A Robotic Immune System. | Dietmar Schreiner |
| 2011 | KOROS Initiative: Automatized Throwing and Catching for Material Transportation. | Martin Pongratz, Klaus Pollhammer, Alexander Szep |
| 2011 | Automata Learning with On-the-Fly Direct Hypothesis Construction. | Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria |
| 2011 | Learning-Based Software Testing: A Tutorial. | Karl Meinke, Fei Niu, Muddassar A. Sindhu |
| 2011 | A NUPlatform for Software on Articulated Mobile Robots. | Jason Kulk, James S. Welsh |
| 2011 | The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. | Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria |
| 2011 | A Hierarchical Variability Model for Software Product Lines. | Dilian Gurov, Bjarte M. stvold, Ina Schaefer |
| 2011 | A Role-Based Language for Collaborative Robot Applications. | Sebastian Gtz, Max Leuthuser, Jan Reimann, Julia Schroeter, Christian Wende, Claas Wilke, Uwe Amann |
| 2011 | Monitoring Anomalies in IT-Landscapes Using Clustering Techniques and Complex Event Processing. | Matthias Gander, Michael Felderer, Basel Katt, Ruth Breu |