Rex – Regular Expression Exploration

設立年月日:March 27, 2010年

出版物

表示方法:

- Minimization of Symbolic Automata
  
  Loris D'Antoni, Margus Veanes
  
  POPL'14 | January 2014
  
  POPL'14
  
  公開日
- Applications of Symbolic Finite Automata
  
  Margus Veanes
  
  CIAA'13 | July 2013
  
  公開日
- An Evaluation of Automata Algorithms for String Analysis
  
  , Margus Veanes
  
  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
  
  Margus Veanes
  
  CIAA'13 | July 2013
  
  公開日
- Minimization of Symbolic Automata
  
  Loris D'Antoni, Margus Veanes
  
  POPL'14 | January 2014
  
  POPL'14
  
  公開日
- Applications of Symbolic Finite Automata
  
  Margus Veanes
  
  CIAA'13 | July 2013
  
  公開日
- An Evaluation of Automata Algorithms for String Analysis
  
  , Margus Veanes
  
  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
  
  Margus Veanes
  
  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
  
  , Margus Veanes
  
  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
  
  公開日

人数

Peli de Halleux

Principal Research Software Engineer

詳細はこちら

Margus Veanes

Principal Researcher

詳細はこちら