Portrait of Margus Veanes

Margus Veanes

Senior Researcher

About

My current research agenda is to develop scalable analysis techniques and corresponding logical foundations for analysis of programs manipulating strings (see projects BEK and REX that build upon the Automata toolkit). I am also investigating foundations for behavioral model analysis in the context of model validation and model-based testing. The main focus is on the use of symbolic automata theory in combination with state-of-the-art satisfiability modulo theories techniques.

My prior research was focused on model-based testing; I was a co-designer and co-developer of Spec Explorer 2004, and I am a co-author of the book Model-Based Software Testing and Analysis with C#, Cambridge University Press, 2008.

I defended my PhD thesis at Uppsala University in June 1997 in the area of theorem proving and decision problems in first-order logic with equality, with Andrei Voronkov as my supervisor. From August 1997 to June 1999, I worked as a postdoc in the Programming Logic group headed by Harald Ganzinger, at Max Planck Institute for Computer Science in Saarbruecken. I joined MSR in July 1999.

Projects

Automata

Established: November 1, 2015

github.com/AutomataDotNet

Publications

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Embedded Systems Research at DemoFest’07
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, July 1, 2007, View abstract, Download PDF

2006

2005

2004

2003

2002

2001

2000

1999

1998

Rigid reachability
Harald Ganzinger, Florent Jacquemard, Margus Veanes, in Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN 98), Springer Verlag, January 1, 1998, View abstract, Download PDF

1997

1996

1995

1993

Downloads

Automata

April 2015

    Click the icon to access this download

  • Github