2008 |
22 | EE | Leonardo Mendonça de Moura,
Nikolaj Bjørner:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.
IJCAR 2008: 410-425 |
21 | EE | Leonardo Mendonça de Moura,
Nikolaj Bjørner:
Engineering DPLL(T) + Saturation.
IJCAR 2008: 475-490 |
20 | EE | Leonardo Mendonça de Moura,
Nikolaj Bjørner:
Proofs and Refutations, and Z3.
LPAR Workshops 2008 |
19 | EE | Leonardo Mendonça de Moura,
Nikolaj Bjørner:
Z3: An Efficient SMT Solver.
TACAS 2008: 337-340 |
18 | EE | Leonardo Mendonça de Moura,
Nikolaj Bjørner:
Model-based Theory Combination.
Electr. Notes Theor. Comput. Sci. 198(2): 37-49 (2008) |
2007 |
17 | EE | Leonardo Mendonça de Moura,
Nikolaj Bjørner:
Efficient E-Matching for SMT Solvers.
CADE 2007: 183-198 |
16 | EE | Leonardo Mendonça de Moura,
Bruno Dutertre,
Natarajan Shankar:
A Tutorial on Satisfiability Modulo Theories.
CAV 2007: 20-36 |
15 | EE | Leonardo Mendonça de Moura:
Invited talk: Developing Efficient SMT Solvers.
ESARLT 2007 |
14 | EE | Clark W. Barrett,
Leonardo Mendonça de Moura,
Aaron Stump:
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).
Formal Methods in System Design 31(3): 221-239 (2007) |
2006 |
13 | EE | Bruno Dutertre,
Leonardo Mendonça de Moura:
A Fast Linear-Arithmetic Solver for DPLL(T).
CAV 2006: 81-94 |
2005 |
12 | EE | Clark W. Barrett,
Leonardo Mendonça de Moura,
Aaron Stump:
SMT-COMP: Satisfiability Modulo Theories Competition.
CAV 2005: 20-23 |
11 | EE | Clark W. Barrett,
Leonardo Mendonça de Moura,
Aaron Stump:
Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005).
J. Autom. Reasoning 35(4): 373-390 (2005) |
2004 |
10 | EE | Leonardo Mendonça de Moura,
Harald Rueß:
An Experimental Evaluation of Ground Decision Procedures.
CAV 2004: 162-174 |
9 | EE | Leonardo Mendonça de Moura,
Sam Owre,
Harald Rueß,
John M. Rushby,
Natarajan Shankar,
Maria Sorea,
Ashish Tiwari:
SAL 2.
CAV 2004: 496-500 |
8 | EE | Leonardo Mendonça de Moura,
Sam Owre,
Harald Rueß,
John M. Rushby,
Natarajan Shankar:
The ICS Decision Procedures for Embedded Deduction.
IJCAR 2004: 218-222 |
7 | EE | Grégoire Hamon,
Leonardo Mendonça de Moura,
John M. Rushby:
Generating Efficient Test Sets with a Model Checker.
SEFM 2004: 261-270 |
2003 |
6 | EE | Leonardo Mendonça de Moura,
Harald Rueß,
Maria Sorea:
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).
CAV 2003: 14-26 |
5 | EE | Harald Rueß,
Leonardo Mendonça de Moura:
Simulation and verification I: from simulation to verification (and back).
Winter Simulation Conference 2003: 888-896 |
2002 |
4 | EE | Leonardo Mendonça de Moura,
Harald Rueß,
Maria Sorea:
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains.
CADE 2002: 438-455 |
1999 |
3 | | Leonardo Mendonça de Moura,
Carlos José Pereira de Lucena,
Arndt von Staa:
The Spider Environment.
Softw., Pract. Exper. 29(2): 99-124 (1999) |
1998 |
2 | EE | Ira D. Baxter,
Andrew Yahin,
Leonardo Mendonça de Moura,
Marcelo Sant'Anna,
Lorraine Bier:
Clone Detection Using Abstract Syntax Trees.
ICSM 1998: 368-377 |
1997 |
1 | | Leonardo Mendonça de Moura,
Carlos José Pereira de Lucena:
O Ambiente Visual Spider para o Desenvolvimento de Aplicações para a Internet.
RITA 4(2): 59-78 (1997) |