| Single Value Devices | 0 | 0.34 | 2015 |
| Reusing knowledge in embedded systems modelling. | 2 | 0.42 | 2013 |
| Making a toy educative using electronics | 2 | 0.59 | 2012 |
| Explaining Embedded Software Modelling Decisions | 0 | 0.34 | 2012 |
| Single Value Devices. | 0 | 0.34 | 2011 |
| Validation of embedded system verification models. | 0 | 0.34 | 2011 |
| Synthesis and stochastic assessment of cost-optimal schedules | 5 | 0.52 | 2010 |
| Classifying Assumptions Made during Requirements Verification of Embedded Systems | 1 | 0.38 | 2008 |
| Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 | 12 | 1.64 | 2007 |
| Modelling and verification of the LMAC protocol for wireless sensor networks | 47 | 1.72 | 2007 |
| Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal | 2 | 0.42 | 2006 |
| 06351 Summary -- Methods for Modelling Software Systems (MMOSS) | 0 | 0.34 | 2006 |
| 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS) | 0 | 0.34 | 2006 |
| Timed analysis of security protocols | 9 | 0.54 | 2005 |
| Production Scheduling by Reachability Analysis - A Case Study | 16 | 0.91 | 2005 |
| Timed model checking of security protocols | 16 | 0.67 | 2004 |
| Verification and Optimization of a PLC Control Schedule | 27 | 1.83 | 2002 |
| Design of a PLC Control Program for a Batch Plant VHS Case Study | 1 | 0.34 | 2001 |
| Timed automaton models for simple programmable logic controllers | 28 | 3.59 | 1999 |
| Operational and Logical Semantics for Polling Real-Time Systems | 14 | 1.58 | 1998 |
| An Effective Tableau System for the Linear Time µ-Calculus | 4 | 0.80 | 1996 |
| Modal µ-Calculus, Model Checking and Gauß Elimination | 11 | 0.98 | 1995 |
| Tableau Recycling | 2 | 0.49 | 1992 |
