David Déharbe

	2009
31		Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: veriT: An Open, Trustable and Efficient SMT-Solver. CADE 2009: 151-156
30		David Déharbe, Stephenson Galvão, Anamaria Martins Moreira: Formalizing FreeRTOS: First Steps. SBMF 2009: 101-117
29		Valério Medeiros Júnior, David Déharbe: Formal Modelling of a Microcontroller Instruction Set in B. SBMF 2009: 282-289
28		David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Refining interfaces: the case of the B method CoRR abs/0907.2039: (2009)
27		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		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		David Déharbe, Silvio Ranise: Satisfiability solving for software verification. STTT 11(3): 255-260 (2009)
	2008
24		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		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		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		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		David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen: Decision Procedures for the Formal Analysis of Software. ICTAC 2006: 366-370
19		David Déharbe, Sergio Medeiros: Aspect-oriented design in systemC: implementation and applications. SBCCI 2006: 119-124
18		David Déharbe, Anamaria Martins Moreira, Demóstenes Sena: AGraphs: Definition, implementation and tools. ECEASST 1: (2006)
	2005
17		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		David Déharbe, Abdessamad Imine, Silvio Ranise: Abstraction-Driven Verification of Array Programs. AISC 2004: 271-275
15		David Déharbe: Techniques for Temporal Logic Model Checking. PSSE 2004: 315-367
14		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		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		David Déharbe, Silvio Ranise: Light-Weight Theorem Proving for Debugging and Verifying Units of Code. SEFM 2003: 220-228
10		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		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		David Déharbe, Anamaria Martins Moreira: Symbolic Model Checking with Fewer Fixpoint Computations. World Congress on Formal Methods 1999: 272-288
	1998
4		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	[31]
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] [31]
12	Stephenson Galvão	[26] [30]
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] [29]
17	Gleydson Lima	[12]
18	Sergio Medeiros	[19]
19	Anamaria Martins Moreira	[3] [5] [6] [7] [8] [12] [18] [21] [22] [24] [26] [28] [30]
20	Diego Caminha B. de Oliveira	[27] [31]
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