| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | — | conf |
ICSE Companion
|
| 2024 | B | conf |
VISSOFT
|
| 2024 | J | jnl |
Whodunit: Classifying Code as Human Authored or GPT-4 Generated - A case study on CodeChef problems.
CoRR
|
| 2024 | A | conf |
MSR
|
| 2023 | J | jnl |
Empir. Softw. Eng.
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
IEEE Trans. Software Eng.
|
| 2023 | A | conf |
MODELS
|
| 2021 | A | conf |
MoDELS
|
| 2021 | J | jnl |
CoRR
|
| 2019 | A | conf |
MoDELS
|
| 2019 | — | conf |
From Software Engineering to Formal Methods and Tools, and Back
|
| 2019 | A | conf |
SANER
|
| 2019 | — | conf |
ESEC/SIGSOFT FSE
|
| 2019 | — | conf |
MoDELS (Companion)
|
| 2019 | A* | ed. |
ICSE
|
| 2019 | — | ed. |
ICSE (Companion Volume)
|
| 2019 | — | conf |
MoDELS (Companion)
|
| 2018 | A | conf |
MoDELS
|
| 2018 | — | conf |
SEAMS@ICSE
|
| 2017 | — | conf |
ESEC/SIGSOFT FSE
|
| 2016 | B | conf |
SLE
|
| 2016 | — | conf |
ModComp@MoDELS
|
| 2016 | J | jnl |
CoRR
|
| 2016 | B | conf |
SPLC
|
| 2015 | — | conf |
MiSE@ICSE
|
| 2015 | — | conf |
FormaliSE@ICSE
|
| 2015 | — | conf |
MoDeVVa@MoDELS
|
| 2015 | — | ed. |
FMSPLE@ETAPS
|
| 2015 | — | ed. |
MASE@MoDELS
|
| 2015 | — | conf |
ICSE (1)
|
| 2014 | C | ed. |
MiSE
|
| 2014 | B | conf |
SPLC
|
| 2014 | J | jnl |
Dagstuhl Reports
|
| 2014 | A* | conf |
ASE
|
| 2014 | A | conf |
MoDELS
|
| 2014 | — | conf |
SIGSOFT FSE
|
| 2013 | A* | conf |
ICSE
|
| 2013 | A | conf |
RE
|
| 2013 | — | conf |
RePa
|
| 2013 | — | conf |
VaMoS
|
| 2013 | B | conf |
SPLC
|
| 2013 | C | ed. |
MiSE
|
| 2013 | — | conf |
FormaliSE@ICSE
|
| 2012 | A | conf |
RE
|
| 2012 | J | jnl |
Softw. Syst. Model.
|
| 2012 | J | jnl |
IEEE Trans. Software Eng.
|
| 2012 | J | jnl |
J. Syst. Softw.
|
| 2012 | C | ed. |
MiSE
|
| 2011 | B | conf |
GPCE
|
| 2010 | — | conf |
MoDELS (2)
|
| 2010 | J | jnl |
Requir. Eng.
|
| 2010 | A* | conf |
ASE
|
| 2009 | A | conf |
RE
|
| 2009 | — | book |
Software engineering - theory and practice (4. ed.).
|
| 2009 | A* | conf |
ASE
|
| 2008 | C | ed. |
MiSE
|
| 2008 | — | conf |
ICSE Companion
|
| 2008 | A | conf |
MoDELS
|
| 2007 | — | conf |
ICSE Companion
|
| 2007 | — | conf |
FOSE
|
| 2006 | J | jnl |
Requir. Eng.
|
| 2006 | J | jnl |
IEEE Softw.
|
| 2006 | A | conf |
MoDELS
|
| 2006 | — | book |
Software engineering - theory and practice (3. ed.).
|
| 2005 | — | conf |
FIW
|
| 2005 | — | conf |
Software Education and Training Sessions @ ICSE
|
| 2005 | A* | conf |
ICSE
|
| 2004 | A* | conf |
ASE
|
| 2003 | J | jnl |
IEEE Trans. Software Eng.
|
| 2003 | A | conf |
RE
|
| 2002 | — | conf |
SIGSOFT FSE
|
| 2000 | J | jnl |
Comput. Networks
|
| 2000 | — | conf |
SIGSOFT FSE
|
| 2000 | — | conf |
ICRE
|
| 1999 | — | conf |
WICSA
|
| 1998 | — | ed. |
FMSP
|
| 1997 | — | conf |
FIW
|
| 1996 | — | conf |
CSEE
|
| 1996 | A | conf |
ISSTA
|
| 1996 | A | conf |
ISSTA
|
| 1996 | J | jnl |
Adv. Comput.
|
| 1995 | A | conf |
RE
|
| 1994 | — | conf |
FIW
|
| 1993 | A | conf |
ISSTA
|
| 1993 | J | jnl |
IEEE Trans. Software Eng.
|
| 1991 | J | jnl |
Softw. Pract. Exp.
|
| 1991 | — | conf |
SIGSOFT
|
| 1990 | — | conf |
ICCL
|