Pascal Kesseli
发表
D. Kroening,
M. Lewis,
C. David,
2019
.
D. Kroening,
A. Abate,
L. Cordeiro,
2019
.
D. Kroening,
A. Abate,
L. Cordeiro,
2018
.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2016,
HSCC.
Daniel Kroening,
Cristina David,
Matt Lewis,
2018,
ACM Trans. Program. Lang. Syst..
D. Kroening,
C. David,
Pascal Kesseli,
2018
.
Daniel Kroening,
Cristina David,
Pascal Kesseli,
2017,
ArXiv.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2018,
CAV.
Daniel Kroening,
Ofer Strichman,
Hana Chockler,
2015,
ATVA.
Daniel Kroening,
Adam Nellis,
Peter Schrammel,
2015,
NFM.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2018,
CAV.
D. Kroening,
A. Abate,
L. Cordeiro,
2019,
Acta Informatica.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2017,
CAV.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2019,
Acta Informatica.
D. Kroening,
M. Lewis,
C. David,
2016,
FM.
Michael Weyrich,
Philipp Marks,
Benjamin Maschler,
2021,
2021 IEEE 19th International Conference on Industrial Informatics (INDIN).