Michael Tautschnig
发表
Sven Bünte,
Michael Tautschnig,
2008,
2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
Andreas Holzer,
Visar Januzaj,
Stefan Kugele,
2010,
ISoLA.
Daniel Kroening,
Serdar Tasiran,
Mark R. Tuttle,
2018,
Formal Methods in System Design.
Raimund Kirner,
Sven Bünte,
Michael Tautschnig,
2011,
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2009
.
Daniel Kroening,
Michael Tautschnig,
D. Kroening,
2014,
MEMICS.
Daniel Kroening,
Thomas Wahl,
Alastair F. Donaldson,
2012,
Formal Methods in System Design.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2010,
ASE.
Michael Tautschnig,
2009
.
Tom Melham,
Daniel Kroening,
Peter Schrammel,
2018,
ACM Trans. Embed. Comput. Syst..
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2011,
APLAS.
Daniel Kroening,
Gérard Basler,
Thomas Wahl,
2012,
TACAS.
CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution)
Michael Tautschnig,
Kareem Khazem,
Michael Tautschnig,
2019,
TACAS.
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2013,
ArXiv.
Jade Alglave,
Luc Maranget,
Michael Tautschnig,
2013,
ArXiv.
Zhonglei Wang,
Andreas Herkersdorf,
Stefano Merenda,
2008,
2008 Forum on Specification, Verification and Design Languages.
Daniel Kroening,
Jim Grundy,
Thomas F. Melham,
2013,
2013 Formal Methods in Computer-Aided Design.
Daniel Kroening,
Vijay D'Silva,
Michael Tautschnig,
2012,
TACAS.
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2013,
CAV.
Helmut Veith,
Dirk Beyer,
Andreas Holzer,
2013,
ESOP.
Uwe Baumgarten,
Michael Tautschnig,
Wolfgang Haberl,
2009
.
Daniel Kroening,
Adam Nellis,
Peter Schrammel,
2015,
NFM.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2010,
Haifa Verification Conference.
Christian Kern,
Stefan Kugele,
Christian Schallhart,
2006
.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2015,
Theor. Comput. Sci..
Michael Tautschnig,
Kareem Khazem,
2016,
SPIN.
Stefan Kugele,
Michael Tautschnig,
Martin Wechs,
2008,
ISoLA.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2013,
FSTTCS.
Michael Tautschnig,
Wolfgang Haberl,
Uwe Baumgarten,
2008,
IMECS 2008.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2008,
CAV.
Uwe Baumgarten,
Michael Tautschnig,
Wolfgang Haberl,
2008
.
Daniel Kroening,
Ofer Strichman,
Hana Chockler,
2015,
ATVA.
Daniel Kroening,
Jade Alglave,
Alastair F. Donaldson,
2011,
ATVA.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2009
.
Markus Holzer,
Hermann Gruber,
Michael Tautschnig,
2009,
CIAA.
Daniel Kroening,
Elizabeth Polgreen,
Byron Cook,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2012,
ESOP.
Dirk Beyer,
Matthias Dangl,
Thomas Lemberger,
2018,
TAP@STAF.
Daniel Kroening,
Michael Tautschnig,
D. Kroening,
2014,
TACAS.
Helmut Veith,
Andreas Holzer,
Visar Januzaj,
2009
.
Daniel Kroening,
Helmut Veith,
Andreas Holzer,
2012,
TACAS.
Andreas Bauer,
Michael Tautschnig,
Christian Kühnel,
2007,
33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007).
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2008,
VMCAI.
Daniel Kroening,
Rajdeep Mukherjee,
Michael Tautschnig,
2016,
TACAS.
Vladimir Klebanov,
Rosemary Monahan,
Marieke Huisman,
2016,
International Journal on Software Tools for Technology Transfer.
Helmut Veith,
Andreas Holzer,
Visar Januzaj,
2011,
FASE.
Daniel Kroening,
Peter Schrammel,
Thomas F. Melham,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Michael Tautschnig,
Boris Langer,
Michael Tautschnig,
2008,
ISoLA.
Roderick Bloem,
Franz Röck,
Michael Tautschnig,
2014,
2014 14th International Conference on Quality Software.
Andreas Bauer,
Michael Tautschnig,
Markus Pister,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Zhonglei Wang,
Stefan Kugele,
Michael Tautschnig,
2008,
WOSP '08.
Helmut Veith,
Dirk Beyer,
Andreas Holzer,
2014,
Software Engineering.
Daniel Kroening,
Mark R. Tuttle,
Byron Cook,
2018,
Formal methods in system design.
Markus Herrmannsdoerfer,
Stefan Kugele,
Michael Tautschnig,
2010,
ISoLA.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2009,
International Journal on Software Tools for Technology Transfer.
Jade Alglave,
Luc Maranget,
Michael Tautschnig,
2014,
PLDI 2014.
Zhonglei Wang,
Andreas Bauer,
Stefano Merenda,
2007
.
Serdar Tasiran,
Mark R. Tuttle,
Daniel Schwartz-Narbonne,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Mandayam K. Srivas,
Peter Schrammel,
Anand Yeolekar,
2017,
ATVA.