| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2016 | J | jnl |
Sci. Comput. Program.
|
| 2011 | — | ch. |
Model-Based Testing for Embedded Systems
|
| 2011 | — | — |
|
| 2011 | — | conf |
COMPSAC Workshops
|
| 2010 | J | jnl |
Softwaretechnik-Trends
|
| 2010 | — | conf |
GI Jahrestagung (2)
|
| 2010 | — | conf |
FGIT-ASEA
|
| 2010 | — | conf |
SSIRI
|
| 2009 | — | conf |
SSIRI
|
| 2009 | — | conf |
SSIRI
|
| 2009 | — | conf |
GI Jahrestagung
|
| 2009 | — | conf |
Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces.
ICTA
|
| 2009 | — | conf |
ICST Workshops
|
| 2008 | — | conf |
GI Jahrestagung (1)
|
| 2008 | — | conf |
GI Jahrestagung (1)
|
| 2008 | Misc | conf |
SAC
|
| 2008 | C | conf |
Software Engineering (Workshops)
|
| 2007 | C | conf |
Software Engineering (Workshops)
|
| 2007 | B | conf |
SAFECOMP
|
| 2006 | — | conf |
Sicherheit
|