Principal Researcher
Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
MSR-TR-2023-15 | April 2023
Published by Microsoft
Extended version of paper that appears in PLDI 2023.
Caleb Stanford , Margus Veanes
January 2023
Preliminary and extended version of paper that appears in CAV 2023
Margus Veanes, Olli Saarikivi, Thomas Ball
MSR-TR-2022-26 | October 2022
Published by Microsoft
Lenka Turoňová, Lukáš Holík, Ivan Homoliak, Ondřej Lengál, Margus Veanes, Tomáš Vojnar
31st USENIX Security Symposium | August 2022
Margus Veanes (margus), Lukas Holik, Ondrej Lengal, Olli Saarikivi (olsaarik), Lenka Turonova, Tomas Vojnar
MSR-TR-2020-31 | September 2020
Published by Microsoft
The technical report includes detailed proofs of most of the theorems stated in the conference OOPSLA'2020 paper.
Caleb Stanford, Margus Veanes, Nikolaj Bjørner
MSR-TR-2020-25 | August 2020
Published by Microsoft
Updated November 2020. Extended version of paper in PLDI'2021.
Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin
Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
Margus Veanes (margus), Olli Saarikivi (olsaarik), Tiki Wan, Eric Xu
TACAS | April 2019
Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
International Symposium on Automated Technology for Verification and Analysis (ATVA) | September 2018
Editor(s): Lahiri, S. and Wang, C.
Hellis Tamm, Margus Veanes
44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'18) | January 2018
Olli Saarikivi, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV 2017) | July 2017
Loris D'Antoni, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV'17) | July 2017
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, Vol 64
Loris D'Antoni, Margus Veanes
TACAS | April 2017
Lucas Silva Figueiredo , David Molnar, Margus Veanes, Benjamin Livshits
IEEE Security & Privacy | April 2017, Vol 15: pp. 14-23
Olli Saarikivi, Margus Veanes
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (Selected Workshop and Short Presentations) | March 2017
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
Lucas Silva Figueiredo, David Molnar, Margus Veanes, Ben Livshits
IEEE Journal of Security and Privacy | December 2016
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
MSR-TR-2016-55 | October 2016
LICS | July 2016
LICS
Loris D’antoni, Margus Veanes, Ben Livshits, David Molnar
ACM Transactions on Programming Languages and Systems (TOPLAS), 2015 | October 2015
Lori D'Antoni, Margus Veanes, Ben Livshits, David Molnar
ACM Transactions on Programming Languages and Systems (TOPLAS) | October 2015, Vol 38
Loris D’Antoni, Margus Veanes
Formal Methods in System Design | July 2015
Margus Veanes, Nikolaj Bjørner
Information Processing Letters | March 2015, Vol 115(3): pp. 418-424
PSI 2014 | February 2015
Robert A Cochran, Loris D’Antoni, Ben Livshits, David Molnar, Margus Veanes
Symposium on the Principles of Programming Languages (POPL) | January 2015
Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
Symposium on the Principles of Programming Languages (POPL), Mumbai, India | January 2015
Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Lucas Silva Figueiredo, Ben Livshits, David Molnar, Margus Veanes
MSR-TR-2014-146 | November 2014
Konstantin Korovin, Margus Veanes
ICMS'14 | August 2014
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
CAV'14 | July 2014
Margus Veanes, Benjamin Livshits, David Molnar, Ben Livshits
PLDI 2014: Programming Language Design and Implementation | June 2014
Loris D'Antoni, Margus Veanes
POPL'14 | January 2014
POPL'14
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
LPAR-19 | December 2013
Loris D'Antoni, Margus Veanes, Ben Livshits, David Molnar,
MSR-TR-2013-121 | November 2013
CIAA'13 | July 2013
Loris D'Antoni, Margus Veanes,
25th International Conference on Computer Aided Verification (CAV'13) | July 2013
The associated TR is an extended version of the conference paper.
MSR-TR-2013-48 | April 2013
Loris D'Antoni, Margus Veanes,
MSR-TR-2013-4 | January 2013
Margus Veanes, Loris D'Antoni
VMCAI 2013 | January 2013
Margus Veanes, David Molnar, Todd Mytkowicz, Ben Livshits
MSR-TR-2012-72 | July 2012
Margus Veanes, Nikolaj Bjørner
TACAS'12 | March 2012
Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits
POPL'12 | January 2012
Margus Veanes, David Molnar, Ben Livshits, Lubomir Litchev
MSR-TR-2011-124 | November 2011
Margus Veanes, Nikolaj Bjørner
International Journal on Software Tools for Technology Transfer (STTT) | September 2011
Pieter Hooimeijer, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes,
USENIX Security'11 | August 2011
USENIX Security'11
Nikolaj Bjørner, Ben Livshits, David Molnar, Margus Veanes
MSR-TR-2011-85 | July 2011
Margus Veanes, David Molnar, Ben Livshits
MSR-TR-2011-32 | March 2011
Nikolaj Bjørner, Margus Veanes
MSR-TR-2011-3 | January 2011
Margus Veanes, Nikolaj Bjørner
Ershov Informatics Conference (PSI'11) | January 2011
, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes
MSR-TR-2010-154 | November 2010
Margus Veanes, Jonathan Jacky
The Journal of Logic and Algebraic Programming | October 2010, Vol 79: pp. 467-482
MSR-TR-2010-90 | July 2010
Updated August, 2010
Pieter Hooimeijer, David Molnar, Prateek Saxena, Margus Veanes
MSR-TR-2010-96 | July 2010
Margus Veanes, Nikolaj Bjørner
MSR-TR-2010-38 | April 2010
Extended version of paper with the same title in ICTSS 2010, LNCS vol 6435
Margus Veanes, Nikolai Tillmann, Peli de Halleux
LPAR-16 | April 2010
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
Margus Veanes, Nikolaj Bjørner, Leonardo de Moura
MSR-TR-2009-177 | December 2009
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
ICFEM'09 | December 2009
Juhan Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
LNCS, TESTCOM/FATES 2009 | November 2009
Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Peli de Halleux
MSR-TR-2009-2015 | October 2009
Updated January 2010
Margus Veanes, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-137 | October 2009
ICST'10
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Int J Software Informatics | June 2009, pp. 149-170
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-56 | May 2009
Preliminary version of paper to appear in ICTAC'09, LNCS.
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-28 | March 2009
This is an extended version of a paper to appear in PSI'09, LNCS.
Johannes Helander, Margus Veanes
MSR-TR-2009-24 | March 2009
Margus Veanes, Ando Saabas
LPAR'08 | November 2008
LPAR'08
Margus Veanes, Ando Saabas
ABZ'08 | September 2008
This is an extended abstract.
Margus Veanes, Nikolaj Bjørner, Alexander Raschke
FORTE'08 | June 2008
FORTE'08
Juhan Ernits, Margus Veanes, Johannes Helander
TestCom/FATES 2008 Short Papers | June 2008
TestCom/FATES 2008 Short Papers
Margus Veanes, Wolfram Schulte
FORTE'08 | June 2008
ISBN: 978-3-540-68854-9
Margus Veanes, Ando Saabas, Nikolaj Bjørner
MSR-TR-2008-81 | May 2008
Parts of this report are presented at FORTE'08 and LPAR'08.
Johannes Helander, Margus Veanes
National Workshop on High-Confidence Automotive Cyber-Physical Systems. | April 2008
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Published by Cambridge University Press | January 2008
ISBN: 9.78052E+12
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.
Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy
RTSS'07 | December 2007
Oscar Almeida, Alessandro Forin, Philip Garcia, Johannes Helander, Nishith Khantal, Hong Lu, Karl Meier, Sibin Mohan, Henrik Frystyk Nielsen, Neil Pittman, Risto Serg, Bharat Sukhwani, Margus Veanes, Ben Zorn, Sarah Berry, Chris Boyce, David Chaszar, Brandon Culrich, Mikhail Kisin, Gabe Knezek, Warren Linam-Church, Steve Liu, Michael Stewart, Doug Toney
MSR-TR-2007-94 | July 2007
Margus Veanes, Colin Campbell, Wolfram Schulte
FORTE | June 2007
ISBN: 978-3-540-73195-5
Margus Veanes, Juhan Ernits, Colin Campbell
FORTE'07 | June 2007
Yuri Gurevich, Margus Veanes, Charles Wallace
Theoretical Computer Science | January 2007, Vol 376: pp. 17-29
Margus Veanes, Pritam Roy, Colin Campbell
Formal Approaches to Software Testing and Runtime Verification, FATES/RV 2006 | January 2006
Nikolai Tillmann, Wolfram Schulte, Margus Veanes
Quality Software, 2005. (QSIC 2005). Fifth International Conference on | September 2005
Quality Software, 2005. (QSIC 2005). Fifth International Conference on
ISBN: 0-7695-2399-4
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
FATES 2005 | July 2005
Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
TestCom 2005 | June 2005
Received Best paper award.
Colin Campbell, Margus Veanes
Abstract State Machines 2005 | January 2005
Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli
MSR-TR-2005-05 | January 2005
Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
ESEC/SIGSOFT FSE | January 2005
ESEC/SIGSOFT FSE
ISBN: 1-59593-014-0
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
MSR-TR-2005-04 | January 2005
A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
January 2005
ISBN: 3-540-27882-6
Uwe Glässer, Yuri Gurevich, Margus Veanes
IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472
Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
ISSTA 2004 | January 2004
ISBN: 1-58113-820-2
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
FATES 2003 | January 2004
Rostislav Yavorsky, Margus Veanes
ICSE 2003/Scenarios Workshop | January 2003
ICSE 2003/Scenarios Workshop
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
1st European Conference on Model-Driven Software Engineering | January 2003
Mike Barnett, Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Proc. of 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools held at ICSE 2003, International Conference on Software Engineering 2003 | January 2003
Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett
QSIC | January 2003
QSIC
ISBN: 0-7695-2015-4
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
ISSTA 2002 | July 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
MSR-TR-2002-55 | May 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
HICSS 2002 | January 2002
Uwe Glässer, Margus Veanes
Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002
U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes
MSR-TR-2001-59 | June 2001
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
EUROCAST 2001 | February 2001
Yuri Gurevich, Wolfram Schulte, Margus Veanes
MSR-TR-2001-98 | October 2001
Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
Theoretical Computer Science | August 2000, Vol 243(1-2): pp. 167-184
Information Processing Letters | April 2000, Vol 74: pp. 47-53
Jordi Levy, Margus Veanes
Information and Computation | January 2000, Vol 159: pp. 125-150
Harald Ganzinger, Florent Jacquemard, Margus Veanes
International Journal of Foundations of Computer Science | January 2000, pp. 3-27
Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett
Abstract State Machines | January 2000
Abstract State Machines
ISBN: 3-540-67959-6
Yuri Gurevich, Margus Veanes
August 1999
Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes
ICALP 1999 | January 1999
Harald Ganzinger, Christoph Meyer, Margus Veanes
LICS 1999 | January 1999
Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98) | June 1998
Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98)
MPI-I-98-2-005 | February 1998
Jordi Jevy, Margus Veanes
Annual Conference of the European Association for Computer Science Logic, CSL'98 | January 1998
Annual Conference of the European Association for Computer Science Logic, CSL'98
Appears in preliminary proceedings of CSL'98
Harald Ganzinger, Florent Jacquemard, Margus Veanes
Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN 98) | January 1998
Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich
RTA'98 | January 1998
June 1997, pp. 120
June 1997
Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich
139 | April 1997
Yuri Gurevich, Margus Veanes
UPMAIL-TR-138 | March 1997
133 | January 1997
5th Kurt Gödel Colloquium (KGC'97) | January 1997
126 | June 1996
Margus Veanes, Jonas Barklund
Information Processing Letters | January 1996, Vol 60: pp. 313-318
Margus Veanes, Jonas Barklund
Journal of Parallel and Distributed Computing | January 1996, Vol 33: pp. 44-54
Margus Veanes, Jonas Barklund
Information Processing Letters | January 1996, Vol 57: pp. 225-229
Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua, Margus Veanes
106 | May 1995
This paper appears as a chapter in Metalogics and Logic Programming, edited by K. Apt and F. Turini, and published by MIT Press in 1995.
Margus Veanes, Jonas Barklund
97 | February 1995
January 1993
January 1993
Jordi Levy, Margus Veanes
Information and Computation | January 2000, Vol 159: pp. 125-150
Yuri Gurevich, Margus Veanes
August 1999
Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98) | June 1998
Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98)
MPI-I-98-2-005 | February 1998
Jordi Jevy, Margus Veanes
Annual Conference of the European Association for Computer Science Logic, CSL'98 | January 1998
Annual Conference of the European Association for Computer Science Logic, CSL'98
Appears in preliminary proceedings of CSL'98
Harald Ganzinger, Florent Jacquemard, Margus Veanes
Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN 98) | January 1998
Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich
RTA'98 | January 1998
Yuri Gurevich, Margus Veanes
UPMAIL-TR-138 | March 1997
5th Kurt Gödel Colloquium (KGC'97) | January 1997
Margus Veanes, Jonas Barklund
Journal of Parallel and Distributed Computing | January 1996, Vol 33: pp. 44-54
January 1993
January 1993
Caleb Stanford , Margus Veanes
January 2023
Preliminary and extended version of paper that appears in CAV 2023
Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
International Symposium on Automated Technology for Verification and Analysis (ATVA) | September 2018
Editor(s): Lahiri, S. and Wang, C.
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
LICS | July 2016
LICS
Loris D’Antoni, Margus Veanes
Formal Methods in System Design | July 2015
Margus Veanes, Nikolaj Bjørner
Information Processing Letters | March 2015, Vol 115(3): pp. 418-424
PSI 2014 | February 2015
Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Konstantin Korovin, Margus Veanes
ICMS'14 | August 2014
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
CAV'14 | July 2014
Margus Veanes, Benjamin Livshits, David Molnar, Ben Livshits
PLDI 2014: Programming Language Design and Implementation | June 2014
Loris D'Antoni, Margus Veanes
POPL'14 | January 2014
POPL'14
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
LPAR-19 | December 2013
Loris D'Antoni, Margus Veanes,
25th International Conference on Computer Aided Verification (CAV'13) | July 2013
The associated TR is an extended version of the conference paper.
CIAA'13 | July 2013
MSR-TR-2013-48 | April 2013
Loris D'Antoni, Margus Veanes,
MSR-TR-2013-4 | January 2013
Margus Veanes, Loris D'Antoni
VMCAI 2013 | January 2013
Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits
POPL'12 | January 2012
Margus Veanes, Nikolaj Bjørner
International Journal on Software Tools for Technology Transfer (STTT) | September 2011
Nikolaj Bjørner, Ben Livshits, David Molnar, Margus Veanes
MSR-TR-2011-85 | July 2011
Margus Veanes, David Molnar, Ben Livshits
MSR-TR-2011-32 | March 2011
Margus Veanes, Nikolaj Bjørner
Ershov Informatics Conference (PSI'11) | January 2011
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Int J Software Informatics | June 2009, pp. 149-170
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-56 | May 2009
Preliminary version of paper to appear in ICTAC'09, LNCS.
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-28 | March 2009
This is an extended version of a paper to appear in PSI'09, LNCS.
U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes
MSR-TR-2001-59 | June 2001
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
EUROCAST 2001 | February 2001
Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
Theoretical Computer Science | August 2000, Vol 243(1-2): pp. 167-184
Information Processing Letters | April 2000, Vol 74: pp. 47-53
Harald Ganzinger, Florent Jacquemard, Margus Veanes
International Journal of Foundations of Computer Science | January 2000, pp. 3-27
Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett
Abstract State Machines | January 2000
Abstract State Machines
ISBN: 3-540-67959-6
Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes
ICALP 1999 | January 1999
June 1997, pp. 120
June 1997
133 | January 1997
Margus Veanes, Jonas Barklund
Information Processing Letters | January 1996, Vol 60: pp. 313-318
Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua, Margus Veanes
106 | May 1995
This paper appears as a chapter in Metalogics and Logic Programming, edited by K. Apt and F. Turini, and published by MIT Press in 1995.
Margus Veanes, Jonas Barklund
97 | February 1995
January 1993
January 1993
Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
MSR-TR-2023-15 | April 2023
Published by Microsoft
Extended version of paper that appears in PLDI 2023.
Caleb Stanford , Margus Veanes
January 2023
Preliminary and extended version of paper that appears in CAV 2023
Margus Veanes, Olli Saarikivi, Thomas Ball
MSR-TR-2022-26 | October 2022
Published by Microsoft
Margus Veanes (margus), Lukas Holik, Ondrej Lengal, Olli Saarikivi (olsaarik), Lenka Turonova, Tomas Vojnar
MSR-TR-2020-31 | September 2020
Published by Microsoft
The technical report includes detailed proofs of most of the theorems stated in the conference OOPSLA'2020 paper.
Caleb Stanford, Margus Veanes, Nikolaj Bjørner
MSR-TR-2020-25 | August 2020
Published by Microsoft
Updated November 2020. Extended version of paper in PLDI'2021.
Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin
Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
Margus Veanes (margus), Olli Saarikivi (olsaarik), Tiki Wan, Eric Xu
TACAS | April 2019
Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
International Symposium on Automated Technology for Verification and Analysis (ATVA) | September 2018
Editor(s): Lahiri, S. and Wang, C.
Hellis Tamm, Margus Veanes
44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'18) | January 2018
Loris D'Antoni, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV'17) | July 2017
Olli Saarikivi, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV 2017) | July 2017
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, Vol 64
Loris D'Antoni, Margus Veanes
TACAS | April 2017
Olli Saarikivi, Margus Veanes
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (Selected Workshop and Short Presentations) | March 2017
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
Lucas Silva Figueiredo, David Molnar, Margus Veanes, Ben Livshits
IEEE Journal of Security and Privacy | December 2016
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
MSR-TR-2016-55 | October 2016
LICS | July 2016
LICS
Loris D’antoni, Margus Veanes, Ben Livshits, David Molnar
ACM Transactions on Programming Languages and Systems (TOPLAS), 2015 | October 2015
Lori D'Antoni, Margus Veanes, Ben Livshits, David Molnar
ACM Transactions on Programming Languages and Systems (TOPLAS) | October 2015, Vol 38
PSI 2014 | February 2015
Robert A Cochran, Loris D’Antoni, Ben Livshits, David Molnar, Margus Veanes
Symposium on the Principles of Programming Languages (POPL) | January 2015
Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
Symposium on the Principles of Programming Languages (POPL), Mumbai, India | January 2015
Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Konstantin Korovin, Margus Veanes
ICMS'14 | August 2014
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
CAV'14 | July 2014
Margus Veanes, Benjamin Livshits, David Molnar, Ben Livshits
PLDI 2014: Programming Language Design and Implementation | June 2014
Loris D'Antoni, Margus Veanes
POPL'14 | January 2014
POPL'14
Loris D'Antoni, Margus Veanes, Ben Livshits, David Molnar,
MSR-TR-2013-121 | November 2013
Loris D'Antoni, Margus Veanes,
25th International Conference on Computer Aided Verification (CAV'13) | July 2013
The associated TR is an extended version of the conference paper.
CIAA'13 | July 2013
MSR-TR-2013-48 | April 2013
Loris D'Antoni, Margus Veanes,
MSR-TR-2013-4 | January 2013
Margus Veanes, Loris D'Antoni
VMCAI 2013 | January 2013
Margus Veanes, Nikolaj Bjørner
TACAS'12 | March 2012
Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits
POPL'12 | January 2012
Margus Veanes, David Molnar, Ben Livshits, Lubomir Litchev
MSR-TR-2011-124 | November 2011
Margus Veanes, Nikolaj Bjørner
International Journal on Software Tools for Technology Transfer (STTT) | September 2011
Pieter Hooimeijer, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes,
USENIX Security'11 | August 2011
USENIX Security'11
Margus Veanes, David Molnar, Ben Livshits
MSR-TR-2011-32 | March 2011
Nikolaj Bjørner, Margus Veanes
MSR-TR-2011-3 | January 2011
Margus Veanes, Nikolaj Bjørner
Ershov Informatics Conference (PSI'11) | January 2011
, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes
MSR-TR-2010-154 | November 2010
Margus Veanes, Jonathan Jacky
The Journal of Logic and Algebraic Programming | October 2010, Vol 79: pp. 467-482
MSR-TR-2010-90 | July 2010
Updated August, 2010
Pieter Hooimeijer, David Molnar, Prateek Saxena, Margus Veanes
MSR-TR-2010-96 | July 2010
Margus Veanes, Nikolai Tillmann, Peli de Halleux
LPAR-16 | April 2010
Margus Veanes, Nikolaj Bjørner
MSR-TR-2010-38 | April 2010
Extended version of paper with the same title in ICTSS 2010, LNCS vol 6435
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
Margus Veanes, Nikolaj Bjørner, Leonardo de Moura
MSR-TR-2009-177 | December 2009
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
ICFEM'09 | December 2009
Juhan Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
LNCS, TESTCOM/FATES 2009 | November 2009
Margus Veanes, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-137 | October 2009
ICST'10
Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Peli de Halleux
MSR-TR-2009-2015 | October 2009
Updated January 2010
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Int J Software Informatics | June 2009, pp. 149-170
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-56 | May 2009
Preliminary version of paper to appear in ICTAC'09, LNCS.
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-28 | March 2009
This is an extended version of a paper to appear in PSI'09, LNCS.
Johannes Helander, Margus Veanes
MSR-TR-2009-24 | March 2009
Margus Veanes, Ando Saabas
LPAR'08 | November 2008
LPAR'08
Margus Veanes, Nikolaj Bjørner, Alexander Raschke
FORTE'08 | June 2008
FORTE'08
Juhan Ernits, Margus Veanes, Johannes Helander
TestCom/FATES 2008 Short Papers | June 2008
TestCom/FATES 2008 Short Papers
Margus Veanes, Wolfram Schulte
FORTE'08 | June 2008
ISBN: 978-3-540-68854-9
Margus Veanes, Ando Saabas, Nikolaj Bjørner
MSR-TR-2008-81 | May 2008
Parts of this report are presented at FORTE'08 and LPAR'08.
Johannes Helander, Margus Veanes
National Workshop on High-Confidence Automotive Cyber-Physical Systems. | April 2008
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Published by Cambridge University Press | January 2008
ISBN: 9.78052E+12
Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy
RTSS'07 | December 2007
Margus Veanes, Juhan Ernits, Colin Campbell
FORTE'07 | June 2007
Margus Veanes, Colin Campbell, Wolfram Schulte
FORTE | June 2007
ISBN: 978-3-540-73195-5
Yuri Gurevich, Margus Veanes, Charles Wallace
Theoretical Computer Science | January 2007, Vol 376: pp. 17-29
Margus Veanes, Pritam Roy, Colin Campbell
Formal Approaches to Software Testing and Runtime Verification, FATES/RV 2006 | January 2006
Nikolai Tillmann, Wolfram Schulte, Margus Veanes
Quality Software, 2005. (QSIC 2005). Fifth International Conference on | September 2005
Quality Software, 2005. (QSIC 2005). Fifth International Conference on
ISBN: 0-7695-2399-4
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
FATES 2005 | July 2005
Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
TestCom 2005 | June 2005
Received Best paper award.
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
MSR-TR-2005-04 | January 2005
A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46
Colin Campbell, Margus Veanes
Abstract State Machines 2005 | January 2005
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
January 2005
ISBN: 3-540-27882-6
Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
ESEC/SIGSOFT FSE | January 2005
ESEC/SIGSOFT FSE
ISBN: 1-59593-014-0
Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli
MSR-TR-2005-05 | January 2005
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
FATES 2003 | January 2004
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
ISSTA 2004 | January 2004
ISBN: 1-58113-820-2
Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036
Mike Barnett, Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Proc. of 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools held at ICSE 2003, International Conference on Software Engineering 2003 | January 2003
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
1st European Conference on Model-Driven Software Engineering | January 2003
Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett
QSIC | January 2003
QSIC
ISBN: 0-7695-2015-4
Rostislav Yavorsky, Margus Veanes
ICSE 2003/Scenarios Workshop | January 2003
ICSE 2003/Scenarios Workshop
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
ISSTA 2002 | July 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
MSR-TR-2002-55 | May 2002
Uwe Glässer, Margus Veanes
Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
HICSS 2002 | January 2002
Lenka Turoňová, Lukáš Holík, Ivan Homoliak, Ondřej Lengál, Margus Veanes, Tomáš Vojnar
31st USENIX Security Symposium | August 2022
Lucas Silva Figueiredo , David Molnar, Margus Veanes, Benjamin Livshits
IEEE Security & Privacy | April 2017, Vol 15: pp. 14-23
Lucas Silva Figueiredo, David Molnar, Margus Veanes, Ben Livshits
IEEE Journal of Security and Privacy | December 2016
Lucas Silva Figueiredo, Ben Livshits, David Molnar, Margus Veanes
MSR-TR-2014-146 | November 2014
Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits
POPL'12 | January 2012
Margus Veanes, David Molnar, Ben Livshits, Lubomir Litchev
MSR-TR-2011-124 | November 2011
Pieter Hooimeijer, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes,
USENIX Security'11 | August 2011
USENIX Security'11
Margus Veanes, David Molnar, Ben Livshits
MSR-TR-2011-32 | March 2011
Nikolaj Bjørner, Margus Veanes
MSR-TR-2011-3 | January 2011
, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes
MSR-TR-2010-154 | November 2010
Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich
139 | April 1997
Hellis Tamm, Margus Veanes
44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'18) | January 2018
Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Lucas Silva Figueiredo, Ben Livshits, David Molnar, Margus Veanes
MSR-TR-2014-146 | November 2014
Margus Veanes, David Molnar, Todd Mytkowicz, Ben Livshits
MSR-TR-2012-72 | July 2012
Harald Ganzinger, Christoph Meyer, Margus Veanes
LICS 1999 | January 1999
126 | June 1996
Margus Veanes, Ando Saabas
ABZ'08 | September 2008
This is an extended abstract.
Yuri Gurevich, Wolfram Schulte, Margus Veanes
MSR-TR-2001-98 | October 2001
Margus Veanes, Jonas Barklund
Information Processing Letters | January 1996, Vol 57: pp. 225-229
Johannes Helander, Margus Veanes
National Workshop on High-Confidence Automotive Cyber-Physical Systems. | April 2008
Oscar Almeida, Alessandro Forin, Philip Garcia, Johannes Helander, Nishith Khantal, Hong Lu, Karl Meier, Sibin Mohan, Henrik Frystyk Nielsen, Neil Pittman, Risto Serg, Bharat Sukhwani, Margus Veanes, Ben Zorn, Sarah Berry, Chris Boyce, David Chaszar, Brandon Culrich, Mikhail Kisin, Gabe Knezek, Warren Linam-Church, Steve Liu, Michael Stewart, Doug Toney
MSR-TR-2007-94 | July 2007
Uwe Glässer, Yuri Gurevich, Margus Veanes
IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472
Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli
MSR-TR-2005-05 | January 2005
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
EUROCAST 2001 | February 2001
Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett
Abstract State Machines | January 2000
Abstract State Machines
ISBN: 3-540-67959-6
Yuri Gurevich, Margus Veanes
August 1999
Harald Ganzinger, Christoph Meyer, Margus Veanes
LICS 1999 | January 1999
Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes
ICALP 1999 | January 1999
Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98) | June 1998
Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98)
Jordi Jevy, Margus Veanes
Annual Conference of the European Association for Computer Science Logic, CSL'98 | January 1998
Annual Conference of the European Association for Computer Science Logic, CSL'98
Appears in preliminary proceedings of CSL'98
Harald Ganzinger, Florent Jacquemard, Margus Veanes
Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN 98) | January 1998
Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich
RTA'98 | January 1998
5th Kurt Gödel Colloquium (KGC'97) | January 1997
Lenka Turoňová, Lukáš Holík, Ivan Homoliak, Ondřej Lengál, Margus Veanes, Tomáš Vojnar
31st USENIX Security Symposium | August 2022
Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin
Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
Margus Veanes (margus), Olli Saarikivi (olsaarik), Tiki Wan, Eric Xu
TACAS | April 2019
Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
International Symposium on Automated Technology for Verification and Analysis (ATVA) | September 2018
Editor(s): Lahiri, S. and Wang, C.
Hellis Tamm, Margus Veanes
44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'18) | January 2018
Loris D'Antoni, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV'17) | July 2017
Olli Saarikivi, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV 2017) | July 2017
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
Loris D'Antoni, Margus Veanes
TACAS | April 2017
Olli Saarikivi, Margus Veanes
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (Selected Workshop and Short Presentations) | March 2017
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
LICS | July 2016
LICS
Loris D’antoni, Margus Veanes, Ben Livshits, David Molnar
ACM Transactions on Programming Languages and Systems (TOPLAS), 2015 | October 2015
PSI 2014 | February 2015
Robert A Cochran, Loris D’Antoni, Ben Livshits, David Molnar, Margus Veanes
Symposium on the Principles of Programming Languages (POPL) | January 2015
Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
Symposium on the Principles of Programming Languages (POPL), Mumbai, India | January 2015
Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Konstantin Korovin, Margus Veanes
ICMS'14 | August 2014
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
CAV'14 | July 2014
Margus Veanes, Benjamin Livshits, David Molnar, Ben Livshits
PLDI 2014: Programming Language Design and Implementation | June 2014
Loris D'Antoni, Margus Veanes
POPL'14 | January 2014
POPL'14
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
LPAR-19 | December 2013
Loris D'Antoni, Margus Veanes,
25th International Conference on Computer Aided Verification (CAV'13) | July 2013
The associated TR is an extended version of the conference paper.
CIAA'13 | July 2013
Margus Veanes, Loris D'Antoni
VMCAI 2013 | January 2013
Margus Veanes, Nikolaj Bjørner
TACAS'12 | March 2012
Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits
POPL'12 | January 2012
Pieter Hooimeijer, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes,
USENIX Security'11 | August 2011
USENIX Security'11
Margus Veanes, Nikolaj Bjørner
Ershov Informatics Conference (PSI'11) | January 2011
Margus Veanes, Nikolai Tillmann, Peli de Halleux
LPAR-16 | April 2010
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
ICFEM'09 | December 2009
Juhan Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
LNCS, TESTCOM/FATES 2009 | November 2009
Margus Veanes, Ando Saabas
LPAR'08 | November 2008
LPAR'08
Margus Veanes, Ando Saabas
ABZ'08 | September 2008
This is an extended abstract.
Margus Veanes, Nikolaj Bjørner, Alexander Raschke
FORTE'08 | June 2008
FORTE'08
Juhan Ernits, Margus Veanes, Johannes Helander
TestCom/FATES 2008 Short Papers | June 2008
TestCom/FATES 2008 Short Papers
Margus Veanes, Wolfram Schulte
FORTE'08 | June 2008
ISBN: 978-3-540-68854-9
Johannes Helander, Margus Veanes
National Workshop on High-Confidence Automotive Cyber-Physical Systems. | April 2008
Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy
RTSS'07 | December 2007
Margus Veanes, Juhan Ernits, Colin Campbell
FORTE'07 | June 2007
Margus Veanes, Colin Campbell, Wolfram Schulte
FORTE | June 2007
ISBN: 978-3-540-73195-5
Margus Veanes, Pritam Roy, Colin Campbell
Formal Approaches to Software Testing and Runtime Verification, FATES/RV 2006 | January 2006
Nikolai Tillmann, Wolfram Schulte, Margus Veanes
Quality Software, 2005. (QSIC 2005). Fifth International Conference on | September 2005
Quality Software, 2005. (QSIC 2005). Fifth International Conference on
ISBN: 0-7695-2399-4
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
FATES 2005 | July 2005
Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
TestCom 2005 | June 2005
Received Best paper award.
Colin Campbell, Margus Veanes
Abstract State Machines 2005 | January 2005
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
January 2005
ISBN: 3-540-27882-6
Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
ESEC/SIGSOFT FSE | January 2005
ESEC/SIGSOFT FSE
ISBN: 1-59593-014-0
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
FATES 2003 | January 2004
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
ISSTA 2004 | January 2004
ISBN: 1-58113-820-2
Mike Barnett, Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Proc. of 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools held at ICSE 2003, International Conference on Software Engineering 2003 | January 2003
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
1st European Conference on Model-Driven Software Engineering | January 2003
Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett
QSIC | January 2003
QSIC
ISBN: 0-7695-2015-4
Rostislav Yavorsky, Margus Veanes
ICSE 2003/Scenarios Workshop | January 2003
ICSE 2003/Scenarios Workshop
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
ISSTA 2002 | July 2002
Uwe Glässer, Margus Veanes
Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
HICSS 2002 | January 2002
Caleb Stanford , Margus Veanes
January 2023
Preliminary and extended version of paper that appears in CAV 2023
U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes
MSR-TR-2001-59 | June 2001
MPI-I-98-2-005 | February 1998
Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich
139 | April 1997
Yuri Gurevich, Margus Veanes
UPMAIL-TR-138 | March 1997
133 | January 1997
126 | June 1996
Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua, Margus Veanes
106 | May 1995
This paper appears as a chapter in Metalogics and Logic Programming, edited by K. Apt and F. Turini, and published by MIT Press in 1995.
Margus Veanes, Jonas Barklund
97 | February 1995
Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
MSR-TR-2023-15 | April 2023
Published by Microsoft
Extended version of paper that appears in PLDI 2023.
Margus Veanes, Olli Saarikivi, Thomas Ball
MSR-TR-2022-26 | October 2022
Published by Microsoft
Margus Veanes (margus), Lukas Holik, Ondrej Lengal, Olli Saarikivi (olsaarik), Lenka Turonova, Tomas Vojnar
MSR-TR-2020-31 | September 2020
Published by Microsoft
The technical report includes detailed proofs of most of the theorems stated in the conference OOPSLA'2020 paper.
Caleb Stanford, Margus Veanes, Nikolaj Bjørner
MSR-TR-2020-25 | August 2020
Published by Microsoft
Updated November 2020. Extended version of paper in PLDI'2021.
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
MSR-TR-2016-55 | October 2016
Lucas Silva Figueiredo, Ben Livshits, David Molnar, Margus Veanes
MSR-TR-2014-146 | November 2014
Loris D'Antoni, Margus Veanes, Ben Livshits, David Molnar,
MSR-TR-2013-121 | November 2013
MSR-TR-2013-48 | April 2013
Loris D'Antoni, Margus Veanes,
MSR-TR-2013-4 | January 2013
Margus Veanes, David Molnar, Todd Mytkowicz, Ben Livshits
MSR-TR-2012-72 | July 2012
Margus Veanes, David Molnar, Ben Livshits, Lubomir Litchev
MSR-TR-2011-124 | November 2011
Nikolaj Bjørner, Ben Livshits, David Molnar, Margus Veanes
MSR-TR-2011-85 | July 2011
Margus Veanes, David Molnar, Ben Livshits
MSR-TR-2011-32 | March 2011
Nikolaj Bjørner, Margus Veanes
MSR-TR-2011-3 | January 2011
, Ben Livshits, David Molnar, Prateek Saxena, Margus Veanes
MSR-TR-2010-154 | November 2010
MSR-TR-2010-90 | July 2010
Updated August, 2010
Pieter Hooimeijer, David Molnar, Prateek Saxena, Margus Veanes
MSR-TR-2010-96 | July 2010
Margus Veanes, Nikolaj Bjørner
MSR-TR-2010-38 | April 2010
Extended version of paper with the same title in ICTSS 2010, LNCS vol 6435
Margus Veanes, Nikolaj Bjørner, Leonardo de Moura
MSR-TR-2009-177 | December 2009
Margus Veanes, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-137 | October 2009
ICST'10
Margus Veanes, Jonathan de Halleux, Nikolai Tillmann, Peli de Halleux
MSR-TR-2009-2015 | October 2009
Updated January 2010
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-56 | May 2009
Preliminary version of paper to appear in ICTAC'09, LNCS.
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-28 | March 2009
This is an extended version of a paper to appear in PSI'09, LNCS.
Johannes Helander, Margus Veanes
MSR-TR-2009-24 | March 2009
Margus Veanes, Ando Saabas, Nikolaj Bjørner
MSR-TR-2008-81 | May 2008
Parts of this report are presented at FORTE'08 and LPAR'08.
Oscar Almeida, Alessandro Forin, Philip Garcia, Johannes Helander, Nishith Khantal, Hong Lu, Karl Meier, Sibin Mohan, Henrik Frystyk Nielsen, Neil Pittman, Risto Serg, Bharat Sukhwani, Margus Veanes, Ben Zorn, Sarah Berry, Chris Boyce, David Chaszar, Brandon Culrich, Mikhail Kisin, Gabe Knezek, Warren Linam-Church, Steve Liu, Michael Stewart, Doug Toney
MSR-TR-2007-94 | July 2007
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
MSR-TR-2005-04 | January 2005
A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46
Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli
MSR-TR-2005-05 | January 2005
Uwe Glässer, Yuri Gurevich, Margus Veanes
MSR-TR-2002-55 | May 2002
Yuri Gurevich, Wolfram Schulte, Margus Veanes
MSR-TR-2001-98 | October 2001
Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
Theoretical Computer Science | August 2000, Vol 243(1-2): pp. 167-184
Information Processing Letters | April 2000, Vol 74: pp. 47-53
Jordi Levy, Margus Veanes
Information and Computation | January 2000, Vol 159: pp. 125-150
Harald Ganzinger, Florent Jacquemard, Margus Veanes
International Journal of Foundations of Computer Science | January 2000, pp. 3-27
Margus Veanes, Jonas Barklund
Information Processing Letters | January 1996, Vol 60: pp. 313-318
Margus Veanes, Jonas Barklund
Information Processing Letters | January 1996, Vol 57: pp. 225-229
Margus Veanes, Jonas Barklund
Journal of Parallel and Distributed Computing | January 1996, Vol 33: pp. 44-54
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, Vol 64
Lucas Silva Figueiredo , David Molnar, Margus Veanes, Benjamin Livshits
IEEE Security & Privacy | April 2017, Vol 15: pp. 14-23
Lucas Silva Figueiredo, David Molnar, Margus Veanes, Ben Livshits
IEEE Journal of Security and Privacy | December 2016
Lori D'Antoni, Margus Veanes, Ben Livshits, David Molnar
ACM Transactions on Programming Languages and Systems (TOPLAS) | October 2015, Vol 38
Loris D’Antoni, Margus Veanes
Formal Methods in System Design | July 2015
Margus Veanes, Nikolaj Bjørner
Information Processing Letters | March 2015, Vol 115(3): pp. 418-424
Margus Veanes, Nikolaj Bjørner
International Journal on Software Tools for Technology Transfer (STTT) | September 2011
Margus Veanes, Jonathan Jacky
The Journal of Logic and Algebraic Programming | October 2010, Vol 79: pp. 467-482
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Int J Software Informatics | June 2009, pp. 149-170
Yuri Gurevich, Margus Veanes, Charles Wallace
Theoretical Computer Science | January 2007, Vol 376: pp. 17-29
Uwe Glässer, Yuri Gurevich, Margus Veanes
IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472
Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Published by Cambridge University Press | January 2008
ISBN: 9.78052E+12
June 1997, pp. 120
June 1997
January 1993
January 1993
