P. Schrammel
发表
L. Gonnord,
P. Schrammel,
2013
.
L. Gonnord,
P. Schrammel,
2013
.
D. Kroening,
Ruben Martins,
M. Brain,
2014,
Formal Aspects of Computing.
D. Kroening,
Ruben Martins,
M. Brain,
2016
.
T. Melham,
D. Kroening,
P. Schrammel,
2018
.
M. Seghir,
P. Schrammel,
2014
.
D. Kroening,
A. Abate,
P. Schrammel,
2017
.
P. Schrammel,
H. Senger,
W. Osswald,
1990,
European Journal of Forest Research.
Peter Schrammel,
David Monniaux,
D. Monniaux,
2014,
SAS.
Peter Schrammel,
David Monniaux,
D. Monniaux,
2014,
ArXiv.
Daniel Kroening,
Peter Schrammel,
Martin Brain,
2015,
FMICS.
Nadia Polikarpova,
Peter Schrammel,
Maria Christakis,
2020,
VSTTE.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2018,
CAV.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2017,
NSV@CAV.
Peter Schrammel,
P. Schrammel,
2012
.
Peter Schrammel,
P. Schrammel,
2012
.
Bertrand Jeannet,
Peter Schrammel,
Bertrand Jeannet,
2012,
HSCC '12.
Daniel Kroening,
Peter Schrammel,
Björn Wachter,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Peter Schrammel,
Björn Wachter,
2016,
ArXiv.
D. Kroening,
P. Schrammel,
Michael Tautschnig,
2023,
ArXiv.
P. Schrammel,
Matthias Gudemann,
2022,
SAC.
Peter Schrammel,
P. Schrammel,
2020,
FMCAD.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2019,
TACAS.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2018,
SOEN.
T. Melham,
D. Kroening,
P. Schrammel,
2016,
International Journal on Software Tools for Technology Transfer.
Daniel Kroening,
Adam Nellis,
Peter Schrammel,
2015,
NFM.
Daniel Kroening,
Peter Schrammel,
Thomas F. Melham,
2013,
ICTSS.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2020,
Journal of Automated Reasoning.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2015,
SAS.
Peter Schrammel,
Mohamed Nassim Seghir,
M. Seghir,
2014,
APLAS.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2014,
ESOP.
Bertrand Jeannet,
Peter Schrammel,
Bertrand Jeannet,
2011,
SAS.
D. Kroening,
L. Cordeiro,
Romain Brenguier,
2023,
ArXiv.
L. Gonnord,
P. Schrammel,
2014,
Sci. Comput. Program..
L. Gonnord,
P. Schrammel,
2013
.
Bertrand Jeannet,
Peter Schrammel,
Bertrand Jeannet,
2010,
NSAD@SAS.
D. Kroening,
P. Schrammel,
Tom'avs Vojnar,
2023,
ArXiv.
Mandayam K. Srivas,
Peter Schrammel,
Kumar Madhukar,
2017,
ATVA.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
ArXiv.
P. Schrammel,
Martin Hruska,
Tomáš Vojnar,
2019,
ArXiv.
Mandayam K. Srivas,
Peter Schrammel,
Tomás Vojnar,
2018,
TACAS.
Daniel Kroening,
Peter Schrammel,
D. Kroening,
2016,
TACAS.