Search the dblp DataBase

Publications of Author

1. David Déharbe, Abdessamad Imine, Silvio Ranise
   Abstraction-Driven Verification of Array Programs. [Citation Graph (0, 0)][DBLP]
   AISC, 2004, pp:271-275 [Conf]
   
2. David Déharbe, Dominique Borrione
   Semantics of a verification-oriented subset of VHDL. [Citation Graph (0, 0)][DBLP]
   CHARME, 1995, pp:293-310 [Conf]
   
3. David Déharbe, Anamaria Martins Moreira
   Using induction and BDDs to model check invariants. [Citation Graph (0, 0)][DBLP]
   CHARME, 1997, pp:203-213 [Conf]
   
4. David Déharbe, Anamaria Martins Moreira
   Symbolic Model Checking with Fewer Fixpoint Computations. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:272-288 [Conf]
   
5. Dominique Borrione, H. Bouamama, David Déharbe, C. Le Faou, Ayman Wahba
   HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1996, pp:450-467 [Conf]
   
6. David Déharbe, Subash Shankar, Edmund M. Clarke
   Model Checking VHDL with CV. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1998, pp:508-514 [Conf]
   
7. David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
   Decision Procedures for the Formal Analysis of Software. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2006, pp:366-370 [Conf]
   
8. Jorgiano Vidal, David Déharbe, Dominique Borrione
   Improving Static Ordering of BDDs for Reachability Analysis. [Citation Graph (0, 0)][DBLP]
   IWLS, 2002, pp:73-77 [Conf]
   
9. Umberto S. Costa, David Déharbe, Anamaria Martins Moreira
   Variable Ordering of BDDs with Parallel Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
   PDPTA, 2000, pp:- [Conf]
   
10. David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
    Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:207-221 [Conf]
    
11. David Déharbe, Sergio Medeiros
    Aspect-oriented design in systemC: implementation and applications. [Citation Graph (0, 0)][DBLP]
    SBCCI, 2006, pp:119-124 [Conf]
    
12. David Déharbe, Silvio Ranise
    Light-Weight Theorem Proving for Debugging and Verifying Units of Code. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:220-228 [Conf]
    
13. Umberto S. Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe
    Explicit-Symbolic Modelling for Formal Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:301-321 [Journal]
    
14. Jean-Francois Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise
    Proving and Debugging Set-Based Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:189-208 [Journal]
    
15. Silvio Ranise, David Déharbe
    Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
    
16. Jean-Francois Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise
    Scalable Automated Proving and Debugging of Set-Based Specifications. [Citation Graph (0, 0)][DBLP]
    J. Braz. Comp. Soc., 2004, v:9, n:2, pp:17-36 [Journal]
    
17. Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima
    Manipulating algebraic specifications with term-based and graph-based representations. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:59, n:1-2, pp:63-87 [Journal]
    
18. David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues
    Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. [Citation Graph (0, 0)][DBLP]
    RITA, 2000, v:7, n:1, pp:7-48 [Journal]
    
19. David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira
    Automation of Java Card component development using the B method. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:259-268 [Conf]
    
20. David Déharbe
    Techniques for Temporal Logic Model Checking. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:315-367 [Conf]
    
21. David Déharbe, Silvio Ranise, Jorgiano Vidal
    Distributing the Workload in a Lazy Theorem-Prover. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:21-37 [Journal]
    
22. Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe
    Developing Java Card Applications with B. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:81-96 [Journal]
    
23. 
    BSmart: A Tool for the Development of Java Card Applications with the B Method. [Citation Graph (, )][DBLP]
    
    
24. 
    Applying the B Method for the Rigorous Development of Smart Card Applications. [Citation Graph (, )][DBLP]
    
    
25. 
    Automatic Verification for a Class of Proof Obligations with SMT-Solvers. [Citation Graph (, )][DBLP]
    
    
26. 
    veriT: An Open, Trustable and Efficient SMT-Solver. [Citation Graph (, )][DBLP]
    
    
27. 
    Formal Modelling of a Microcontroller Instruction Set in B. [Citation Graph (, )][DBLP]
    
    
28. 
    Formalizing FreeRTOS: First Steps. [Citation Graph (, )][DBLP]
    
    
29. 
    Refining interfaces: the case of the B method [Citation Graph (, )][DBLP]
    
    
30. 
    Combining Decision Procedures by (Model-)Equality Propagation. [Citation Graph (, )][DBLP]
    
    
31. 
    Verified Compilation and the B Method: A Proposal and a First Appraisal. [Citation Graph (, )][DBLP]