| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | — | ch. |
Let's Talk AI
|
| 2025 | J | jnl |
Softwaretechnik-Trends
|
| 2025 | C | ed. |
AST
|
| 2020 | J | jnl |
IEEE Softw.
|
| 2020 | — | conf |
Wirtschaftsinformatik (Zentrale Tracks)
|
| 2020 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2020 | B | conf |
NOMS
|
| 2020 | J | jnl |
ACM J. Data Inf. Qual.
|
| 2020 | — | ch. |
The Future of Software Quality Assurance
|
| 2019 | A | ed. |
ISSRE
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Data
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
ICUMT
|
| 2019 | — | ed. |
ISSRE Workshops
|
| 2019 | — | conf |
QRS Companion
|
| 2018 | — | conf |
UCC Companion
|
| 2018 | — | conf |
FTSCS
|
| 2018 | — | conf |
ICST Workshops
|
| 2018 | J | jnl |
CoRR
|
| 2017 | C | conf |
CLOSER
|
| 2017 | — | conf |
UCC (Companion")
|
| 2017 | — | conf |
CLOSER (Selected Papers)
|
| 2017 | C | conf |
QRS
|
| 2017 | — | conf |
CeDEM
|
| 2016 | — | conf |
ICST Workshops
|
| 2016 | — | conf |
OpenSym (Companion)
|
| 2015 | — | conf |
ICUMT
|
| 2015 | J | jnl |
Prax. Inf.verarb. Kommun.
|
| 2015 | — | ed. |
SDL Forum
|
| 2014 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2014 | J | jnl |
Trans. Comput. Sci.
|
| 2014 | J | jnl |
Int. J. Commun. Syst.
|
| 2014 | — | conf |
URSW
|
| 2014 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2014 | — | ch. |
Computation for Humanity
|
| 2014 | C | ed. |
OpenSym
|
| 2014 | — | conf |
ISoLA (2)
|
| 2014 | J | jnl |
J. Supercomput.
|
| 2014 | — | conf |
COMPSAC Workshops
|
| 2013 | — | conf |
ACME@ECOOP
|
| 2013 | C | conf |
OpenSym
|
| 2013 | — | conf |
ICST Workshops
|
| 2013 | — | conf |
ISCTCS
|
| 2012 | B | conf |
COMPSAC
|
| 2012 | — | conf |
GLOBECOM Workshops
|
| 2012 | — | conf |
SAM
|
| 2012 | C | conf |
FedCSIS
|
| 2012 | J | jnl |
ERCIM News
|
| 2012 | — | conf |
COMPSAC Workshops
|
| 2012 | A | conf |
ICST
|
| 2012 | — | conf |
MBT
|
| 2012 | J | jnl |
IEEE Softw.
|
| 2012 | — | conf |
LCN Workshops
|
| 2012 | — | conf |
GLOBECOM Workshops
|
| 2012 | B | conf |
COMPSAC
|
| 2011 | — | ch. |
Model-Based Testing for Embedded Systems
|
| 2011 | — | conf |
ITNG
|
| 2011 | — | book |
|
| 2011 | — | ch. |
Model-Based Testing for Embedded Systems
|
| 2011 | A | conf |
SEAMS
|
| 2011 | — | conf |
ICST Workshops
|
| 2010 | — | conf |
STM
|
| 2010 | — | conf |
Design of a Test Framework for Automated Interoperability Testing of Healthcare Information Systems.
eTELEMED
|
| 2010 | — | conf |
ICAART (2)
|
| 2010 | J | jnl |
Computer
|
| 2010 | — | ch. |
Encyclopedia of Software Engineering
|
| 2010 | — | ch. |
Encyclopedia of Software Engineering
|
| 2010 | — | ch. |
Encyclopedia of Software Engineering
|
| 2010 | C | conf |
ICTSS
|
| 2009 | — | conf |
GI Jahrestagung
|
| 2009 | Misc | conf |
EuroPLoP
|
| 2009 | — | conf |
TestCom/FATES
|
| 2009 | — | conf |
PESOS@ICSE
|
| 2009 | A | conf |
ICST
|
| 2009 | — | conf |
WICSA/ECSA
|
| 2009 | J | jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
|
| 2008 | — | conf |
ICST Workshops
|
| 2008 | C | conf |
ICSEA
|
| 2008 | — | conf |
SEUS
|
| 2008 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2008 | — | ed. |
ECMDA-FA
|
| 2008 | — | conf |
TestCom/FATES
|
| 2008 | — | conf |
TestCom/FATES
|
| 2008 | — | conf |
TestCom/FATES
|
| 2008 | — | conf |
Software Engineering Research and Practice
|
| 2008 | A | conf |
ICST
|
| 2008 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2008 | — | conf |
DIPES
|
| 2008 | — | conf |
Formal Methods and Testing
|
| 2007 | B | conf |
GLOBECOM
|
| 2007 | C | conf |
Software Engineering
|
| 2007 | — | conf |
EUC Workshops
|
| 2007 | — | conf |
Software Engineering Research and Practice
|
| 2007 | A* | conf |
ASE
|
| 2007 | — | conf |
Model-Based Engineering of Embedded Real-Time Systems
|
| 2007 | C | conf |
ISADS
|
| 2007 | — | conf |
FTDCS
|
| 2007 | — | conf |
TestCom/FATES
|
| 2007 | — | conf |
SEUS
|
| 2006 | — | conf |
JCKBSE
|
| 2006 | — | conf |
MBEES
|
| 2006 | — | conf |
TestCom
|
| 2006 | — | conf |
GI Jahrestagung (2)
|
| 2006 | — | conf |
MBEES
|
| 2005 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2005 | — | conf |
TestCom
|
| 2005 | — | conf |
GI Jahrestagung (1)
|
| 2004 | — | conf |
FORTE Workshops
|
| 2004 | — | conf |
RISE
|
| 2004 | — | conf |
TestCom
|
| 2004 | — | conf |
MBT
|
| 2004 | — | conf |
FATES
|
| 2003 | C | conf |
ISADS
|
| 2003 | — | conf |
ICDCS Workshops
|
| 2003 | J | jnl |
Comput. Networks
|
| 2003 | — | conf |
KiVS
|
| 2003 | — | conf |
TestCom
|
| 2003 | J | jnl |
Sci. Comput. Program.
|
| 2003 | — | conf |
TestCom
|
| 2003 | C | conf |
FMICS
|
| 2002 | — | conf |
ICC
|
| 2002 | — | ed. |
TestCom
|
| 2002 | — | conf |
SAM
|
| 2001 | B | conf |
EDOC
|
| 2001 | — | conf |
APAQS
|
| 2001 | — | conf |
SDL Forum
|
| 2000 | — | conf |
FBT
|
| 2000 | — | conf |
SAM
|
| 2000 | — | conf |
TestCom
|
| 2000 | — | conf |
ICDCS Workshop on Distributed System Validation and Verification
|
| 1999 | — | conf |
FMOODS
|
| 1999 | — | conf |
IWTCS
|
| 1999 | B | conf |
LCN
|
| 1999 | — | conf |
FBT
|
| 1999 | C | conf |
ISADS
|
| 1998 | J | jnl |
Formal Aspects Comput.
|
| 1998 | — | conf |
IS&N
|
| 1998 | J | jnl |
Prax. Inf.verarb. Kommun.
|
| 1998 | — | conf |
IWTCS
|
| 1998 | — | conf |
IWTCS
|
| 1998 | — | conf |
FBT
|
| 1997 | — | conf |
FBT
|
| 1997 | — | ed. |
Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997
FBT
|
| 1997 | — | conf |
FBT
|
| 1995 | — | conf |
Integrated Network Management
|
| 1995 | — | — |
|
| 1995 | — | conf |
TAPSOFT
|
| 1995 | — | conf |
Formal Methods for Industrial Applications
|
| 1991 | — | conf |
ASIM
|
| 1990 | J | jnl |
it Inf. Technol.
|