BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × United Kingdom
2 × Germany
2 × USA
Collaborated with:
L.M.d.Moura A.Tiwari A.Gascón N.Shankar J.Herbert R.A.Riemenschneider V.Stavridou V.Ha M.Rangarajan D.D.Cofer H.Rueß
Talks about:
softwar (2) proof (2) architectur (1) decomposit (1) interpret (1) synthesi (1) arithmet (1) satisfi (1) program (1) complet (1)

Person: Bruno Dutertre

DBLP DBLP: Dutertre:Bruno

Contributed to:

CADE 20152015
CAV 20142014
CAV 20072007
CAV 20062006
ICSE 20042004
World Congress on Formal Methods 19991999
LICS 19951995

Wrote 7 papers:

CADE-2015-TiwariGD #synthesis #using
Program Synthesis Using Dual Interpretation (AT, AG, BD), pp. 482–497.
Yices 2.2 (BD), pp. 737–744.
CAV-2007-MouraDS #modulo theories #satisfiability #tutorial
A Tutorial on Satisfiability Modulo Theories (LMdM, BD, NS), pp. 20–36.
CAV-2006-DutertreM #performance
A Fast Linear-Arithmetic Solver for DPLL(T) (BD, LMdM), pp. 81–94.
ICSE-2004-HaRCRD #case study #composition #experience #induction #proving #realtime
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.
FM-v1-1999-HerbertDRS #architecture #formal method
A Formalization of Software Architecture (JH, BD, RAR, VS), pp. 116–133.
LICS-1995-Dutertre #first-order #logic #proving
Complete Proof Systems for First Order Interval Temporal Logic (BD), pp. 36–43.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.