Thomas Wies
发表
Helen Nissenbaum,
Yan Shvartzshnaider,
Zvonimir Pavlinovic,
2019,
WWW.
Thomas Wies,
Gudmund Grov,
2014,
Sci. Comput. Program..
Ruzica Piskac,
Thomas Wies,
Damien Zufferey,
2014,
CAV.
Thomas Wies,
Andreas Holzer,
Georg Weissenbacher,
2016,
FM.
Andreas Podelski,
Thomas Wies,
Martin Schäf,
2016,
TAP@STAF.
Thomas Wies,
Justin Cappos,
Preston Moore,
2019,
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
Viktor Kuncak,
Andreas Podelski,
Thomas Wies,
2006,
ArXiv.
Rupak Majumdar,
Thomas Wies,
Damien Zufferey,
2014,
FASE.
Thomas Wies,
Martin Schäf,
Jürgen Christ,
2013,
VMCAI.
Thomas Wies,
2009
.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2011,
EuroSys '11.
Thomas Wies,
Damien Zufferey,
Eric Koskinen,
2013,
TACAS.
Ruzica Piskac,
Viktor Kuncak,
Thomas Wies,
2010,
VMCAI.
Thomas Wies,
Nishant Totla,
Nishant Totla,
2013,
Journal of Automated Reasoning.
Ruzica Piskac,
Thomas Wies,
Damien Zufferey,
2014,
TACAS.
Helen Nissenbaum,
Yan Shvartzshnaider,
Zvonimir Pavlinovic,
2017,
ArXiv.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2010,
2010 IEEE 3rd International Conference on Cloud Computing.
Thomas Wies,
Kshitij Bansal,
Andrew Reynolds,
2015,
CAV.
Viktor Kuncak,
Thomas Wies,
Marco Muñiz,
2011,
CADE.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2012,
VMCAI.
Helen Nissenbaum,
Yan Shvartzshnaider,
Thomas Wies,
2016,
HCOMP.
Viktor Kuncak,
Thomas Wies,
Martin C. Rinard,
2007,
VMCAI.
Thomas Wies,
Nishant Totla,
2013,
POPL.
Thomas Wies,
Stefan Leue,
Martin Kölbl,
2020,
CAV.
Zvonimir Pavlinovic,
Thomas Wies,
Tim King,
2015,
ICFP.
Ruzica Piskac,
Thomas Wies,
Damien Zufferey,
2013,
CAV.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2010,
EMSOFT '10.
Thomas Wies,
Martin Schäf,
Daniel Schwartz-Narbonne,
2013,
ESEC/FSE 2013.
Thomas Wies,
Siddharth Krishna,
Christian Puhrsch,
2015,
ArXiv.
Wei Wang,
Thomas Wies,
Clark W. Barrett,
2014,
VMCAI.
Viktor Kuncak,
Andreas Podelski,
Thomas Wies,
2005,
VMCAI.
Andreas Podelski,
Thomas Wies,
A. Podelski,
2005,
SAS.
Ruzica Piskac,
Viktor Kuncak,
Thomas Wies,
2010,
International Conference on Verification, Model Checking and Abstract Interpretation.
Jochen Hoenicke,
Andreas Podelski,
Thomas Wies,
2009,
FM.
Andreas Podelski,
Thomas Wies,
A. Podelski,
2010,
POPL '10.
Thomas Wies,
Shuvendu K. Lahiri,
Shaz Qadeer,
2009,
CAV.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2010,
FoSSaCS.
Thomas Wies,
Philipp Rümmer,
Martin Schäf,
2015,
NFM.
Thomas Wies,
Andrei Paskevich,
A. Paskevich,
2017,
Lecture Notes in Computer Science.
Thomas Wies,
Martin Schäf,
Daniel Schwartz-Narbonne,
2014,
2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation.
Helen Nissenbaum,
Yan Shvartzshnaider,
Thomas Wies,
2016,
1601.04740.
Thomas Wies,
Thomas Wies,
2009
.
Dennis Shasha,
Thomas Wies,
Siddharth Krishna,
2017,
Proc. ACM Program. Lang..
Ananth Balashankar,
Thomas Wies,
Lakshminarayanan Subramanian,
2018,
QA@ACL.
Andreas Podelski,
Thomas Wies,
Andrey Rybalchenko,
2008,
CAV.
Rupak Majumdar,
Thomas Wies,
Damien Zufferey,
2013,
ArXiv.
Thomas Wies,
Martin Schäf,
Evren Ermis,
2012,
FM.
Wei Wang,
Thomas Wies,
Clark W. Barrett,
2017,
VMCAI.
Rupak Majumdar,
Thomas Wies,
Damien Zufferey,
2013,
ArXiv.
Peter W. O'Hearn,
Thomas Wies,
Hongseok Yang,
2007,
CAV.
Yan Shvartzshnaider,
Ananth Balashankar,
Thomas Wies,
2020,
ArXiv.
Ruzica Piskac,
Viktor Kuncak,
Thomas Wies,
2009,
FroCoS.
Helen Nissenbaum,
Yan Shvartzshnaider,
Thomas Wies,
2016,
ArXiv.
Thomas Wies,
Martin Schäf,
Daniel Schwartz-Narbonne,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2011,
HotCloud.
Viktor Kuncak,
Thomas Wies,
Marco Muñiz,
2012,
VSTTE.
Zvonimir Pavlinovic,
Thomas Wies,
Tim King,
2014,
Software Engineering & Management.
Thomas Wies,
Philipp Rümmer,
Martin Schäf,
2015
.
Stefan Leue,
Thomas Wies,
Martin Kölbl,
2019,
CAV.
Jochen Hoenicke,
Andreas Podelski,
Thomas Wies,
2010,
Formal Methods Syst. Des..
Abhi Shelat,
Andrew J. Blumberg,
Michael Walfish,
2017,
CCS.
Andreas Podelski,
Thomas Wies,
Mohamed Nassim Seghir,
2009,
SAS.
Thomas Wies,
2014
.
Dennis Shasha,
Thomas Wies,
Siddharth Krishna,
2020
.
Zvonimir Pavlinovic,
Thomas Wies,
Yusen Su,
2021,
Proc. ACM Program. Lang..
Dennis Shasha,
Thomas Wies,
Siddharth Krishna,
2021,
Synthesis Lectures on Computer Science.
Thomas Wies,
Mark Goldstein,
Rajesh Ranganath,
2021,
NeurIPS.
Thomas Wies,
Dennis Shasha,
Nisarg Patel,
2021,
Proc. ACM Program. Lang..
Andreas Podelski,
Thomas Wies,
Mohamed Nassim Seghir,
2009
.
Ashish Tiwari,
Thomas Wies,
Philipp Rümmer,
2015
.
Viktor Kuncak,
Thomas Wies,
2009
.
Ruzica Piskac,
Thomas Wies,
R. Piskac,
2011,
VMCAI.
Thomas Wies,
Alexander J. Summers,
Siddharth Krishna,
2020,
ESOP.