Bruno Dutertre

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 13

Top Topics

Combinatorial Optimization

Fault Tolerance

Top Venues

Publications

Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre
Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving. SAT (2024)
Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar
Generating and Exploiting Automated Reasoning Proof Certificates. Commun. ACM 66 (10) (2023)
Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
Solving String Constraints Using SAT. CAV (2) (2023)
Dejan Jovanovic, Bruno Dutertre
Interpolation and Model Checking for Nonlinear Arithmetic. CoRR (2021)
Dejan Jovanovic, Bruno Dutertre
Interpolation and Model Checking for Nonlinear Arithmetic. CAV (2) (2021)
Jorge A. Navas, Bruno Dutertre, Ian A. Mason
Verification of an Optimized NTT Algorithm. VSTTE (2020)
Bruno Dutertre
An Empirical Evaluation of SAT Solvers on Bit-vector Problems. SMT (2020)
Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre
Solving Bitvectors with MCSAT: Explanations from Bits and Pieces. IJCAR (1) (2020)
Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre
Solving bitvectors with MCSAT: explanations from bits and pieces (long version). CoRR (2020)
Bruno Dutertre, Dejan Jovanovic, Jorge A. Navas
Verification of Fault-Tolerant Protocols with Sally. NFM (2018)
Dejan Jovanovic, Bruno Dutertre
LibPoly: A Library for Reasoning about Polynomials. SMT (2017)
Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, Westley Weimer, Jonathan Burket, Gregory L. Frazier, Tiffany M. Frazier, Bruno Dutertre, Ian A. Mason, Natarajan Shankar, Stephanie Forrest
Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. CISRC (2016)
Dejan Jovanovic, Bruno Dutertre
Property-directed k-induction. FMCAD (2016)
Ashish Tiwari, Adrià Gascón, Bruno Dutertre
Program Synthesis Using Dual Interpretation. CADE (2015)
Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia
Safety envelope for security. HiCoNS (2014)
Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik
Template-based circuit understanding. FMCAD (2014)
Bruno Dutertre
Yices 2.2. CAV (2014)
Tim King, Clark W. Barrett, Bruno Dutertre
Simplex with sum of infeasibilities for SMT. FMCAD (2013)
Wilfried Steiner, Bruno Dutertre
The TTEthernet synchronisation protocols and their formal verification. Int. J. Crit. Comput. Based Syst. 4 (3) (2013)
Wilfried Steiner, Bruno Dutertre
Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol. PRDC (2011)
Wilfried Steiner, Bruno Dutertre
Synchronization Quality. NASA Formal Methods (2011)
Wilfried Steiner, Bruno Dutertre
Synchronization Function. FMICS (2010)
Maria Sorea, Bruno Dutertre, Wilfried Steiner
Modeling and Verification of Time-Triggered Communication Protocols. ISORC (2008)
Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar
A Tutorial on Satisfiability Modulo Theories. CAV (2007)
Bruno Dutertre
Formal Modeling and Analysis of the Modbus Protocol. Critical Infrastructure Protection (2007)
Bruno Dutertre, Leonardo Mendonça de Moura
A Fast Linear-Arithmetic Solver for DPLL(T). CAV (2006)
Steven Cheung, Bruno Dutertre, Ulf Lindqvist
Detecting Disruptive Routers in Wireless Sensor Networks. ADHOC-NOW (2006)
Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. ICSE (2004)
Bruno Dutertre, Maria Sorea
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. FORMATS/FTRTFT (2004)
Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre
Using Model Checking to Assess the Dependability of Agent-Based Systems. IEEE Intell. Syst. 19 (5) (2004)
Hassen Saïdi, Bruno Dutertre, Joshua Levy, Alfonso Valdes
Self-regenerative software components. SSRS@CCS (2003)
David Carman, Daniel Coffin, Bruno Dutertre, Vipin Swarup, Ronald J. Watro
Forum Session: Security for Wireless Sensor Networks. ACSAC (2003)
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
Dependable Intrusion Tolerance: Technology Demo. DISCEX (2) (2003)
Hassen Saïdi, Victoria Stavridou, Bruno Dutertre
Protocol Codesign. Security Protocols Workshop (2003)
Bruno Dutertre, Valentin Crettaz, Victoria Stavridou
Intrusion-Tolerant Enclaves. IEEE Symposium on Security and Privacy (2002)
Bruno Dutertre
Dynamic Scan Scheduling. RTSS (2002)
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
An Architecture for an Adaptive Intrusion-Tolerant Server. Security Protocols Workshop (2002)
Bruno Dutertre, Hassen Saïdi, Victoria Stavridou
Intrusion-Tolerant Group Management in Enclaves. DSN (2001)
Bruno Dutertre
Formal Analysis of the Priority Ceiling Protocol. RTSS (2000)
John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
A Formalization of Software Architecture. World Congress on Formal Methods (1999)
Bruno Dutertre, Victoria Stavridou
Formal Requirements Analysis of an Avionics Control System. IEEE Trans. Software Eng. 23 (5) (1997)
Bruno Dutertre, Steve A. Schneider
Using a PVS Embedding of CSP to Verify Authentication Protocols. TPHOLs (1997)
Bruno Dutertre
Elements of Mathematical Analysis in PVS. TPHOLs (1996)
Shaoying Liu, Victoria Stavridou, Bruno Dutertre
The practice of formal methods in safety-critical systems. J. Syst. Softw. 28 (1) (1995)
Bruno Dutertre
Complete Proof Systems for First Order Interval Temporal Logic LICS (1995)