| 2014 | Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform. | Samih Al-Areqi, Steffen Kriewald, Anna-Lena Lamprecht, Dominik Reusser, Markus Wrobel, Tiziana Margaria |
| 2014 | Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. | Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager |
| 2012 | A Generic Platform for Model-Based Regression Testing. | Philipp Zech, Michael Felderer, Philipp Kalb, Ruth Breu |
| 2012 | Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. | Faiez Zalila, Xavier Crgut, Marc Pantel |
| 2012 | Segmentation for High-Throughput Image Analysis: Watershed Masked Clustering. | Kuan Yan, Fons J. Verbeek |
| 2012 | OWL-DL Domain-Models as Abstract Workflows. | Ian Wood, Benjamin P. Vandervalk, E. Luke McCarthy, Mark D. Wilkinson |
| 2012 | Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings. | Kirsten Winter |
| 2012 | Automated Spatial Data Processing and Refining. | Marion Simon, Hartmut Asche |
| 2012 | Concepts and Techniques of an Online 3D Atlas - Challenges in Cartographic 3D Geovisualization. | Ren Sieber, Livia Hollenstein, Remo Eichenberger |
| 2012 | Approaches for Mastering Change. | Ina Schaefer, Malte Lochau, Martin Leucker |
| 2012 | Using Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 Protein. | Hernando Sanchez-Faddeev, Michael T. M. Emmerich, Fons J. Verbeek, Andrew H. Henry, Simon Grimshaw, Herman P. Spaink, Herman W. T. van Vlijmen, Andreas Bender |
| 2012 | Processes and Data Integration in the Networked Healthcare. | Andrea Braun von Reinersdorff, Tiziana Margaria, Christoph Rasche |
| 2012 | Bounded-Interference Sequentialization for Testing Concurrent Programs. | Niloofar Razavi, Azadeh Farzan, Andreas Holzer |
| 2012 | Generalized Weakly-Hard Constraints. | Sophie Quinton, Rolf Ernst |
| 2012 | Model-Based Compatibility Checking of System Modifications. | Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch |
| 2012 | Modeling a BSG-E Automotive System with the Timing Augmented Description Language. | Marie-Agns Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre Yves Gueguen |
| 2012 | Learning Stochastic Timed Automata from Sample Executions. | Andr de Matos Pedro, Paul Andrew Crocker, Simo Melo de Sousa |
| 2012 | Learning Techniques for Software Verification and Validation. | Corina S. Pasareanu, Mihaela Gheorghiu Bobaru |
| 2012 | Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. | Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas |
| 2012 | Efficient and Robust Shape Retrieval from Deformable Templates. | Alexander E. Nezhinsky, Fons J. Verbeek |
| 2012 | Dynamic Information-Flow Analysis for Multi-threaded Applications. | Laurent Mounier, Emmanuel Sifakis |
| 2012 | Automated Learning Setups in Automata Learning. | Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria |
| 2012 | Automated Inference of Models for Black Box Systems Based on Interface Descriptions. | Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli |
| 2012 | Model-Based Testing and Model Inference. | Karl Meinke, Neil Walkinshaw |
| 2012 | An Incremental Learning Algorithm for Extended Mealy Automata. | Karl Meinke, Fei Niu |