| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2021 | C | conf |
ABZ
|
| 2019 | B | conf |
FM
|
| 2013 | A | conf |
MoDELS
|
| 2013 | J | jnl |
Formal Methods Syst. Des.
|
| 2013 | B | conf |
FASE
|
| 2013 | J | jnl |
CoRR
|
| 2013 | J | jnl |
CoRR
|
| 2012 | C | conf |
ETFA
|
| 2012 | — | conf |
SWQD
|
| 2012 | J | jnl |
Inf. Softw. Technol.
|
| 2012 | J | jnl |
IEEE Softw.
|
| 2011 | — | ch. |
Model-Based Testing for Embedded Systems
|
| 2011 | J | jnl |
Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010).
Inf. Softw. Technol.
|
| 2011 | A | conf |
ISSTA
|
| 2011 | J | jnl |
Int. J. Embed. Real Time Commun. Syst.
|
| 2011 | — | conf |
ICST Workshops
|
| 2011 | C | conf |
ETFA
|
| 2011 | — | conf |
EUROMICRO-SEAA
|
| 2011 | C | conf |
PRDC
|
| 2010 | Misc | conf |
KI
|
| 2010 | C | conf |
ETFA
|
| 2010 | — | conf |
TAIC PART
|
| 2010 | — | conf |
GI Jahrestagung (2)
|
| 2010 | C | conf |
Software Engineering
|
| 2010 | B | conf |
EuroSPI
|
| 2010 | — | conf |
EUROMICRO-SEAA
|
| 2009 | — | conf |
FACS@FMWeek
|
| 2009 | — | conf |
ICST Workshops
|
| 2009 | J | jnl |
Softwaretechnik-Trends
|
| 2008 | C | conf |
Software Engineering
|
| 2008 | — | conf |
SSIRI
|
| 2005 | — | — |
|
| 2001 | — | conf |
Ershov Memorial Conference
|
| 2001 | J | jnl |
J. Univers. Comput. Sci.
|
| 2000 | — | conf |
SAM
|
| 2000 | — | conf |
Abstract State Machines
|
| 1999 | — | conf |
World Congress on Formal Methods
|