David Déharbe

David Boris Paul Déharbe

	2012
39		Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: Combining decision procedures by (model-)equality propagation. Sci. Comput. Program. 77(4): 518-532 (2012)
	2011
38		David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo: Exploiting Symmetry in SMT Problems. CADE 2011: 222-236
37		Marcel Vinicius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz: B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design. SBMF 2011: 44-59
	2010
36		Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock: Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings Springer 2010
35		Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes: Applying the B Method for the Rigorous Development of Smart Card Applications. ASM 2010: 203-216
34		David Déharbe: Automatic Verification for a Class of Proof Obligations with SMT-Solvers. ASM 2010: 217-230
33		Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinicius Medeiros Oliveira, David Boris Paul Déharbe: Integrating SMT-Solvers in Z and B Tools. ASM 2010: 412-413
	2009
32		Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: veriT: An Open, Trustable and Efficient SMT-Solver. CADE 2009: 151-156
31		David Déharbe, Stephenson Galvão, Anamaria Martins Moreira: Formalizing FreeRTOS: First Steps. SBMF 2009: 101-117
30		Valério Medeiros Júnior, David Déharbe: Formal Modelling of a Microcontroller Instruction Set in B. SBMF 2009: 282-289
29		David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Refining interfaces: the case of the B method CoRR abs/0907.2039: (2009)
28		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)
27		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)
26		David Déharbe, Silvio Ranise: Satisfiability solving for software verification. STTT 11(3): 255-260 (2009)
	2008
25		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
24		David Déharbe, Silvio Ranise, Jorgiano Vidal: A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework. J. Braz. Comp. Soc. 14(1): 71-86 (2008)
	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): 105-119 (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	[32]
4	Sérgio Vale Aguiar Campos	[17]
5	Ana Cavalcanti	[36]
6	Edmund M. Clarke	[4]
7	Umberto S. Costa	[7] [17]
8	Jean-François Couchot	[13] [14]
9	Luís C. D. S. Cruz	[37]
10	Frédéric Dadeau	[14]
11	Bartira Dantas	[27]
12	C. Le Faou	[2]
13	Pascal Fontaine	[20] [28] [32] [38] [39]
14	Stephenson Galvão	[27] [31]
15	Marie-Claude Gaudel	[36]
16	Alain Giorgetti	[13] [14]
17	Bruno Emerson Gurgel Gomes	[21] [22] [25] [29] [35]
18	Alessandro Cavalcante Gurgel	[33]
19	Abdessamad Imine	[16]
20	Valério Medeiros Júnior	[27] [30]
21	Gleydson Lima	[12]
22	Sergio Medeiros	[19]
23	Valério Gutemberg de Medeiros	[33]
24	Stephan Merz	[38]
25	Katia Moraes	[35]
26	Anamaria Martins Moreira	[3] [5] [6] [7] [8] [12] [18] [21] [22] [25] [27] [29] [31] [35]
27	Diego Caminha B. de Oliveira	[28] [32] [39]
28	Marcel Vinicius Medeiros Oliveira	[33] [37]
29	Bruno Woltzenlogel Paleo	[38]
30	Silvio Ranise	[10] [11] [13] [14] [16] [20] [23] [24] [26]
31	Leila Ribeiro (Leila Ribeiro Korff)	[6]
32	Christophe Ringeissen	[8] [12] [20]
33	Vanderlei Moraes Rodrigues	[6]
34	Demóstenes Sena	[18]
35	Subash Shankar	[4]
36	Jorgiano Vidal	[9] [23] [24]
37	Newton Vieira	[17]
38	Ayman M. Wahba	[2]
39	Jim Woodcock (J. C. P. Woodcock)	[36]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page