M. Veanes
发表
Benjamin Livshits,
Loris D'Antoni,
Margus Veanes,
2015,
POPL.
Helen J. Wang,
Benjamin Livshits,
Suman Jana,
2013,
HotOS.
P. Saxena,
D. Molnar,
M. Veanes,
2010
.
Benjamin Livshits,
Margus Veanes,
David Molnar,
2017,
IEEE Security & Privacy.
Nikolaj Bjørner,
Benjamin Livshits,
Margus Veanes,
2012,
POPL '12.
N. Bjørner,
M. Veanes,
Margus Veanes,
2011
.
Benjamin Livshits,
Margus Veanes,
Prateek Saxena,
2011,
USENIX Security Symposium.
Margus Veanes,
Colin Campbell,
Juhan P. Ernits,
2007,
FORTE.
Margus Veanes,
Nikolai Tillmann,
Jonathan de Halleux,
2010,
2010 Third International Conference on Software Testing, Verification and Validation.
Nikolaj Bjørner,
Margus Veanes,
Leonardo Mendonça de Moura,
2010,
LPAR.
B. Livshits,
D. Molnar,
M. Veanes,
2011
.
M. Veanes,
Vijay Ganesh,
Nikolaj Bjrner,
2012
.
Sergey Bereg,
Nikolaj Bjørner,
Margus Veanes,
2014,
CAV.
Margus Veanes,
Colin Campbell,
Pritam Roy,
2006,
FATES/RV.
Nikolaj Bjørner,
Margus Veanes,
Wolfram Schulte,
2009,
Int. J. Softw. Informatics.
M. Veanes,
Jonas Barklund,
K. Boberg,
1995
.
M. Veanes,
R. Yavorsky,
2003
.
Mike Barnett,
Wolfram Schulte,
N. Tillmann,
2003
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
B. Livshits,
Rishabh Singh,
M. Veanes,
2014
.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Nikolaj Bjørner,
Margus Veanes,
Caleb Stanford,
2020,
PLDI.
M. Veanes,
A. Blass,
Lev Nachmanson,
2004
.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Margus Veanes,
Colin Campbell,
M. Veanes,
2005
.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
I. Homoliak,
M. Veanes,
T. Vojnar,
2022,
USENIX Security Symposium.
M. Veanes,
Y. Gurevich,
U. Glässer,
2002
.
Charles Wallace,
Margus Veanes,
Yuri Gurevich,
2006,
Theor. Comput. Sci..
Margus Veanes,
Jonas Barklund,
M. Veanes,
1996,
Inf. Process. Lett..
Margus Veanes,
Jonas Barklund,
M. Veanes,
1996,
Inf. Process. Lett..
Margus Veanes,
Andreas Blass,
Yuri Gurevich,
2005,
FATES.
Sergey Bereg,
Nikolaj Bjørner,
Margus Veanes,
2014,
CAV.
M. Veanes,
Todd Mytkowicz,
Haibo Lin,
2019,
Proceedings of the 27th ACM Symposium on Operating Systems Principles.
Huan He,
Margus Veanes,
Ben Zorn,
2019,
SOSP.
Margus Veanes,
M. Veanes,
Margus Veanes,
1993
.
Loris D'Antoni,
Margus Veanes,
Loris D'antoni,
2017,
POPL.
Nikolaj Bjørner,
Margus Veanes,
Thomas Ball,
2012,
SPIN.
M. Veanes,
C. Stanford,
Margus Veanes,
2023,
CAV.
Margus Veanes,
Wolfram Schulte,
Yuri Gurevich,
2001
.
Loris D'Antoni,
Margus Veanes,
Loris D'antoni,
2014,
POPL.
Margus Veanes,
Wolfram Schulte,
Wolfram Schulte,
2008,
FORTE.
Nikolaj Bjørner,
Margus Veanes,
Alexander Raschke,
2008,
FORTE.
Margus Veanes,
Yuri Gurevich,
Uwe Glässer,
2002,
Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
Loris D'Antoni,
Margus Veanes,
Loris D'antoni,
2017,
TACAS.
Loris D'Antoni,
Margus Veanes,
Loris D'antoni,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Margus Veanes,
M. Veanes,
Margus Veanes,
1997
.
Margus Veanes,
Wolfram Schulte,
Yuri Gurevich,
2002,
ISSTA '02.
Nikolaj Bjørner,
Margus Veanes,
N. Bjørner,
2011,
Bull. EATCS.
Nikolaj Bjørner,
Margus Veanes,
N. Bjørner,
2011,
Ershov Memorial Conference.
Margus Veanes,
Nikolai Tillmann,
Jonathan de Halleux,
2010,
LPAR.
Margus Veanes,
Nikolai Tillmann,
Jonathan de Halleux,
2009,
ICFEM.
Margus Veanes,
David Molnar,
Lucas Silva Figueiredo,
2014
.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Nikolaj Bjørner,
Margus Veanes,
N. Bjørner,
2009,
ICTAC.
Nikolaj Bjørner,
Margus Veanes,
N. Bjørner,
2009,
Ershov Memorial Conference.
Margus Veanes,
Harald Ganzinger,
Christoph Meyer,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Margus Veanes,
Jordi Levy,
M. Veanes,
2000,
Inf. Comput..
Margus Veanes,
Harald Ganzinger,
Florent Jacquemard,
2000,
Int. J. Found. Comput. Sci..
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2005,
FM.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2008,
Formal Methods and Testing.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003,
FATES.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2003
.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003
.