David Déharbe Vis

*	2009
29	EE	Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: veriT: An Open, Trustable and Efficient SMT-Solver. CADE 2009: 151-156
28	EE	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Refining interfaces: the case of the B method CoRR abs/0907.2039: (2009)
27	EE	Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: Combining Decision Procedures by (Model-)Equality Propagation. Electr. Notes Theor. Comput. Sci. 240: 113-128 (2009)
26	EE	Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior: Verified Compilation and the B Method: A Proposal and a First Appraisal. Electr. Notes Theor. Comput. Sci. 240: 79-96 (2009)
25	EE	David Déharbe, Silvio Ranise: Satisfiability solving for software verification. STTT 11(3): 255-260 (2009)
	2008
24	EE	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: BSmart: A Tool for the Development of Java Card Applications with the B Method. ABZ 2008: 351-352
	2007
23	EE	David Déharbe, Silvio Ranise, Jorgiano Vidal: Distributing the Workload in a Lazy Theorem-Prover. Electr. Notes Theor. Comput. Sci. 184: 21-37 (2007)
22	EE	Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe: Developing Java Card Applications with B. Electr. Notes Theor. Comput. Sci. 184: 81-96 (2007)
	2006
21	EE	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Automation of Java Card component development using the B method. ICECCS 2006: 259-268
20	EE	David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen: Decision Procedures for the Formal Analysis of Software. ICTAC 2006: 366-370
19	EE	David Déharbe, Sergio Medeiros: Aspect-oriented design in systemC: implementation and applications. SBCCI 2006: 119-124
18	EE	David Déharbe, Anamaria Martins Moreira, Demóstenes Sena: AGraphs: Definition, implementation and tools. ECEASST 1: (2006)
	2005
17	EE	Umberto S. Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe: Explicit-Symbolic Modelling for Formal Verification. Electr. Notes Theor. Comput. Sci. 130: 301-321 (2005)
	2004
16	EE	David Déharbe, Abdessamad Imine, Silvio Ranise: Abstraction-Driven Verification of Array Programs. AISC 2004: 271-275
15	EE	David Déharbe: Techniques for Temporal Logic Model Checking. PSSE 2004: 315-367
14	EE	Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise: Proving and Debugging Set-Based Specifications. Electr. Notes Theor. Comput. Sci. 95: 189-208 (2004)
13		Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise: Scalable Automated Proving and Debugging of Set-Based Specifications. J. Braz. Comp. Soc. 9(2): 17-36 (2004)
12	EE	Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima: Manipulating algebraic specifications with term-based and graph-based representations. J. Log. Algebr. Program. 59(1-2): 63-87 (2004)
	2003
11	EE	David Déharbe, Silvio Ranise: Light-Weight Theorem Proving for Debugging and Verifying Units of Code. SEFM 2003: 220-228
10	EE	Silvio Ranise, David Déharbe: Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
	2002
9		Jorgiano Vidal, David Déharbe, Dominique Borrione: Improving Static Ordering of BDDs for Reachability Analysis. IWLS 2002: 73-77
8	EE	David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen: Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. RTA 2002: 207-221
	2000
7		Umberto S. Costa, David Déharbe, Anamaria Martins Moreira: Variable Ordering of BDDs with Parallel Genetic Algorithms. PDPTA 2000
6		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. RITA 7(1): 7-48 (2000)
	1999
5	EE	David Déharbe, Anamaria Martins Moreira: Symbolic Model Checking with Fewer Fixpoint Computations. World Congress on Formal Methods 1999: 272-288
	1998
4	EE	David Déharbe, Subash Shankar, Edmund M. Clarke: Model Checking VHDL with CV. FMCAD 1998: 508-514
	1997
3		David Déharbe, Anamaria Martins Moreira: Using induction and BDDs to model check invariants. CHARME 1997: 203-213
	1996
2		Dominique Borrione, H. Bouamama, David Déharbe, C. Le Faou, Ayman M. Wahba: HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. FMCAD 1996: 450-467
	1995
1		David Déharbe, Dominique Borrione: Semantics of a verification-oriented subset of VHDL. CHARME 1995: 293-310

Coauthor Index

1	Dominique Borrione	[1] [2] [9]
2	H. Bouamama	[2]
3	Thomas Bouton	[29]
4	Sérgio Vale Aguiar Campos	[17]
5	Edmund M. Clarke	[4]
6	Umberto S. Costa	[7] [17]
7	Jean-François Couchot	[13] [14]
8	Frédéric Dadeau	[14]
9	Bartira Dantas	[26]
10	C. Le Faou	[2]
11	Pascal Fontaine	[20] [27] [29]
12	Stephenson Galvão	[26]
13	Alain Giorgetti	[13] [14]
14	Bruno Emerson Gurgel Gomes	[21] [22] [24] [28]
15	Abdessamad Imine	[16]
16	Valério Medeiros Júnior	[26]
17	Gleydson Lima	[12]
18	Sergio Medeiros	[19]
19	Anamaria Martins Moreira	[3] [5] [6] [7] [8] [12] [18] [21] [22] [24] [26] [28]
20	Diego Caminha B. de Oliveira	[27] [29]
21	Silvio Ranise	[10] [11] [13] [14] [16] [20] [23] [25]
22	Leila Ribeiro (Leila Ribeiro Korff)	[6]
23	Christophe Ringeissen	[8] [12] [20]
24	Vanderlei Moraes Rodrigues	[6]
25	Demóstenes Sena	[18]
26	Subash Shankar	[4]
27	Jorgiano Vidal	[9] [23]
28	Newton Vieira	[17]
29	Ayman M. Wahba	[2]

Colors in the list of coauthors