Pascal Kesseli
发表
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2017,
CAV.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2018,
CAV.
Pascal Kesseli,
2010
.
Daniel Kroening,
Adam Nellis,
Peter Schrammel,
2015,
NFM.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2018,
CAV.
Daniel Kroening,
Cristina David,
Matt Lewis,
2015,
ArXiv.
Daniel Kroening,
Cristina David,
Pascal Kesseli,
2017,
ArXiv.
Daniel Kroening,
Ofer Strichman,
Hana Chockler,
2015,
ATVA.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2016,
HSCC.
Daniel Kroening,
Ofer Strichman,
Hana Chockler,
2020,
J. Artif. Intell. Res..
Daniel Kroening,
Cristina David,
Alessandro Abate,
2019,
Acta Informatica.
Daniel Kroening,
Cristina David,
Matt Lewis,
2018,
ACM Trans. Program. Lang. Syst..
Pascal Kesseli,
2017
.
Michael Weyrich,
Philipp Marks,
Benjamin Maschler,
2021,
2021 IEEE 19th International Conference on Industrial Informatics (INDIN).