Minimization of Symbolic Automata
Loris D'Antoni, Margus Veanes
POPL'14 | January 2014
POPL'14
Publications
-
-
-
-
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, Jonathan "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
-
-
-
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, Jonathan "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
-
-
-
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, Jonathan "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