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: Dutertre:Bruno
Contributed to:
2015
201420072006
2004
1999
1995Wrote 7 papers:
- CADE-2015-TiwariGD #synthesis #using
- Program Synthesis Using Dual Interpretation (AT, AG, BD), pp. 482–497.
- CAV-2014-Dutertre
- 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.