David Dharbe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
1996–2019
Best venue rank
B
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Property-Driven Software Analysis - (Extended Abstract). | Mathieu Comptier, David Dharbe, Paulin Fournier, Julien Molinero Perez |
| 2019 | TAP | BTestBox: A Tool for Testing B Translators and Coverage of B Models. | Diego de Azevedo Oliveira, Valrio Medeiros Jr., David Dharbe, Martin A. Musicante |
| 2015 | TAP | Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. | Anamaria Martins Moreira, Cleverton Hentz, David Dharbe, Ernesto Cid Brasil de Matos, Joo Batista de Souza Neto, Valrio de Medeiros Jr. |
| 2013 | FMCAD | Computing prime implicants. | David Dharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure |
| 2011 | CADE | Exploiting Symmetry in SMT Problems. | David Dharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo |
| 2010 | CADE | GridTPT: a distributed platform for Theorem Prover Testing. | Thomas Bouton, Diego Caminha, David Dharbe, Pascal Fontaine |
| 2009 | CADE | veriT: An Open, Trustable and Efficient SMT-Solver. | Thomas Bouton, Diego Caminha Barbosa De Oliveira, David Dharbe, Pascal Fontaine |
| 2006 | ICECCS | Automation of Java Card component development using the B method. | David Dharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
| 2006 | ICTAC | Decision Procedures for the Formal Analysis of Software. | David Dharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen |
| 2004 | AISC | Abstraction-Driven Verification of Array Programs. | David Dharbe, Abdessamad Imine, Silvio Ranise |
| 2003 | SEFM | Light-Weight Theorem Proving for Debugging and Verifying Units of Code. | David Dharbe, Silvio Ranise |
| 2000 | PDPTA | Variable Ordering of BDDs with Parallel Genetic Algorithms. | Umberto Souza da Costa, David Dharbe, Anamaria Martins Moreira |
| 1999 | FM | Symbolic Model Checking with Fewer Fixpoint Computations. | David Dharbe, Anamaria Martins Moreira |
| 1998 | FMCAD | Model Checking VHDL with CV. | David Dharbe, Subash Shankar, Edmund M. Clarke |
| 1996 | FMCAD | HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. | Dominique Borrione, H. Bouamama, David Dharbe, C. Le Faou, Ayman M. Wahba |