Minimization of Symbolic Automata
Loris D'Antoni, Margus Veanes
POPL'14 | January 2014
POPL'14
Publications
Publications
Publications by Year
-
-
Applications of Symbolic Finite Automata
CIAA'13 | July 2013
-
An Evaluation of Automata Algorithms for String Analysis
MSR-TR-2010-90 | July 2010
Updated August, 2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
-
Solving Extended Regular Constraints Symbolically
Margus Veanes, Nikolaj Bjørner, Leonardo de Moura
MSR-TR-2009-177 | December 2009
Publications by Research Area
-
Minimization of Symbolic Automata
Loris D'Antoni, Margus Veanes
POPL'14 | January 2014
POPL'14
Applications of Symbolic Finite Automata
CIAA'13 | July 2013
-
Minimization of Symbolic Automata
Loris D'Antoni, Margus Veanes
POPL'14 | January 2014
POPL'14
Applications of Symbolic Finite Automata
CIAA'13 | July 2013
An Evaluation of Automata Algorithms for String Analysis
MSR-TR-2010-90 | July 2010
Updated August, 2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
Solving Extended Regular Constraints Symbolically
Margus Veanes, Nikolaj Bjørner, Leonardo de Moura
MSR-TR-2009-177 | December 2009
Publications by Type
-
Minimization of Symbolic Automata
Loris D'Antoni, Margus Veanes
POPL'14 | January 2014
POPL'14
Applications of Symbolic Finite Automata
CIAA'13 | July 2013
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
-
An Evaluation of Automata Algorithms for String Analysis
MSR-TR-2010-90 | July 2010
Updated August, 2010
Solving Extended Regular Constraints Symbolically
Margus Veanes, Nikolaj Bjørner, Leonardo de Moura
MSR-TR-2009-177 | December 2009
People
Peli de Halleux
Principal Research Software Engineer
Margus Veanes
Principal Researcher