David Déharbe

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-Francois 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-Francois 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	Sérgio Vale Aguiar Campos	[17]
4	Edmund M. Clarke	[4]
5	Umberto S. Costa	[7] [17]
6	Jean-Francois Couchot	[13] [14]
7	Frédéric Dadeau	[14]
8	C. Le Faou	[2]
9	Pascal Fontaine	[20]
10	Alain Giorgetti	[13] [14]
11	Bruno Emerson Gurgel Gomes	[21] [22] [24]
12	Abdessamad Imine	[16]
13	Gleydson Lima	[12]
14	Sergio Medeiros	[19]
15	Anamaria Martins Moreira	[3] [5] [6] [7] [8] [12] [18] [21] [22] [24]
16	Silvio Ranise	[10] [11] [13] [14] [16] [20] [23]
17	Leila Ribeiro (Leila Ribeiro Korff)	[6]
18	Christophe Ringeissen	[8] [12] [20]
19	Vanderlei Moraes Rodrigues	[6]
20	Demóstenes Sena	[18]
21	Subash Shankar	[4]
22	Jorgiano Vidal	[9] [23]
23	Newton Vieira	[17]
24	Ayman M. Wahba	[2]

Colors in the list of coauthors