Maria Christakis
发表
Isil Dillig,
Kostas Ferles,
Valentin Wüstholz,
2017,
ESEC/SIGSOFT FSE.
Fuyuan Zhang,
Maria Christakis,
Sankalan Pal Chowdhury,
2019,
ArXiv.
Konstantinos Sagonas,
Maria Christakis,
Konstantinos Sagonas,
2010,
PADL.
Peter Müller,
Valentin Wüstholz,
Maria Christakis,
2014
.
Peter Müller,
Patrice Godefroid,
Maria Christakis,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Valentin Wüstholz,
Maria Christakis,
M. Christakis,
2019,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Valentin Wüstholz,
Maria Christakis,
M. Christakis,
2018,
ArXiv.
Maria Christakis,
2017,
it Inf. Technol..
Peter Müller,
Valentin Wüstholz,
Maria Christakis,
2018,
ArXiv.
Adish Singla,
Abhik Roychoudhury,
Umair Z. Ahmed,
2020,
NeurIPS.
Maria Christakis,
2017
.
Valentin Wüstholz,
Maria Christakis,
2016,
SAS.
Patrice Godefroid,
Maria Christakis,
Patrice Godefroid,
2015,
VMCAI.
Konstantinos Sagonas,
Maria Christakis,
Konstantinos Sagonas,
2011,
PADL.
Peter Müller,
Valentin Wüstholz,
Maria Christakis,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Caterina Urban,
Fuyuan Zhang,
Valentin Wüstholz,
2020
.
Jorge A. Navas,
Valentin Wüstholz,
Maria Christakis,
2020,
ArXiv.
Peter Müller,
Valentin Wüstholz,
Maria Christakis,
2015,
VMCAI.
Peter Müller,
Valentin Wüstholz,
Maria Christakis,
2014,
SEFM.
Valentin Wüstholz,
Maria Christakis,
M. Christakis,
2019,
ESEC/SIGSOFT FSE.
Peter Müller,
Valentin Wüstholz,
Maria Christakis,
2012,
FM.
Peter Müller,
Valentin Wüstholz,
Maria Christakis,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Fuyuan Zhang,
Valentin Wüstholz,
Maria Christakis,
2020,
ESEC/SIGSOFT FSE.
Christian Schilling,
Matthias Heizmann,
Valentin Wüstholz,
2019,
TACAS.
Alkis Gotovos,
Konstantinos Sagonas,
Maria Christakis,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Scott D. Fleming,
Christian Bird,
Maria Christakis,
2018,
CHI.
Patrice Godefroid,
Maria Christakis,
Patrice Godefroid,
2015,
SPIN.
Philipp Haller,
Maria Christakis,
Marianna Rapoport,
2018,
Dagstuhl Artifacts Ser..
Maria Christakis,
2015,
Ausgezeichnete Informatikdissertationen.
Valentin Wüstholz,
Maria Christakis,
Christian Klinger,
2018,
ISSTA.
Fuyuan Zhang,
Maria Christakis,
Sankalan Pal Chowdhury,
2020,
ESEC/SIGSOFT FSE.
Maria Christakis,
Manuel Rigger,
2019,
Dagstuhl Artifacts Ser..
Hasan Ferit Eniser,
Valentin Wüstholz,
Maria Christakis,
2020,
ArXiv.
Nadia Polikarpova,
Peter Schrammel,
Maria Christakis,
2020,
VSTTE.
Alkis Gotovos,
Konstantinos Sagonas,
Maria Christakis,
2011,
Erlang '11.
Christian Bird,
Maria Christakis,
C. Bird,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Isil Dillig,
Kostas Ferles,
Valentin Wüstholz,
2017,
ArXiv.
K. Rustan M. Leino,
Wolfram Schulte,
Maria Christakis,
2014,
FM.
Caterina Urban,
Fuyuan Zhang,
Valentin Wüstholz,
2020,
Proc. ACM Program. Lang..
Peter Müller,
Maria Christakis,
Patrick Emmisberger,
2014,
RV.
K. Rustan M. Leino,
Peter Müller,
Valentin Wüstholz,
2016,
TACAS.
Valentin Wüstholz,
Maria Christakis,
Muhammad Numair Mansur,
2021,
ESEC/SIGSOFT FSE.
Eva Darulova,
Maria Christakis,
Debasmita Lohar,
2021,
TACAS.
Jorge A. Navas,
Valentin Wüstholz,
Maria Christakis,
2021,
CAV.
Jorge A. Navas,
Scott Wesley,
Arie Gurfinkel,
2021,
SAS.
Jorge A. Navas,
Jörg Hoffmann,
Holger Hermanns,
2021,
CAV.
Konstantinos Sagonas,
Maria Christakis,
Konstantinos Sagonas,
2011
.