Bruno Dutertre

49 papers A* 5A 6B 6C 3Journal 7Unranked 21

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	Extending DRAT to SMT. FMCAD S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre
2024	A	`conf`	Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving. SAT Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre
2024	B	`conf`	SMT-D: New Strategies for Portfolio-Based SMT Solving. FMCAD Clark W. Barrett, Pei-Wei Chen, Byron Cook, Bruno Dutertre, Robert B. Jones, Nham Le, Andrew Reynolds, Kunal Sheth, Christopher Stephens, Michael W. Whalen
2024	B	`conf`	Solving String Constraints with Concatenation Using SAT. FMCAD Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Dirk Nowotka
2023	J	`jnl`	Generating and Exploiting Automated Reasoning Proof Certificates. Commun. ACM 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
2023	—	`conf`	Solving String Constraints Using SAT. CAV (2) Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
2021	—	`conf`	Interpolation and Model Checking for Nonlinear Arithmetic. CAV (2) Dejan Jovanovic, Bruno Dutertre
2021	J	`jnl`	Interpolation and Model Checking for Nonlinear Arithmetic. CoRR Dejan Jovanovic, Bruno Dutertre
2020	—	`conf`	An Empirical Evaluation of SAT Solvers on Bit-vector Problems. SMT Bruno Dutertre
2020	—	`conf`	Solving Bitvectors with MCSAT: Explanations from Bits and Pieces. IJCAR (1) Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre
2020	J	`jnl`	Solving bitvectors with MCSAT: explanations from bits and pieces (long version). CoRR Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre
2020	—	`conf`	Verification of an Optimized NTT Algorithm. VSTTE Jorge A. Navas, Bruno Dutertre, Ian A. Mason
2018	—	`ed.`	Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017. AFM@NFM Bruno Dutertre, Natarajan Shankar
2018	—	`conf`	Verification of Fault-Tolerant Protocols with Sally. NFM Bruno Dutertre, Dejan Jovanovic, Jorge A. Navas
2017	—	`conf`	LibPoly: A Library for Reasoning about Polynomials. SMT Dejan Jovanovic, Bruno Dutertre
2016	—	`conf`	Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. CISRC 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
2016	B	`conf`	Property-directed k-induction. FMCAD Dejan Jovanovic, Bruno Dutertre
2015	A	`conf`	Program Synthesis Using Dual Interpretation. CADE Ashish Tiwari, Adrià Gascón, Bruno Dutertre
2014	—	`conf`	Safety envelope for security. HiCoNS Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia
2014	B	`conf`	Template-based circuit understanding. FMCAD Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik
2014	A*	`conf`	Yices 2.2. CAV Bruno Dutertre
2013	B	`conf`	Simplex with sum of infeasibilities for SMT. FMCAD Tim King, Clark W. Barrett, Bruno Dutertre
2013	J	`jnl`	The TTEthernet synchronisation protocols and their formal verification. Int. J. Crit. Comput. Based Syst. Wilfried Steiner, Bruno Dutertre
2011	—	`conf`	Automated Formal Verification of the NASA Formal Methods Wilfried Steiner, Bruno Dutertre
2011	C	`conf`	Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol. PRDC Wilfried Steiner, Bruno Dutertre
2010	C	`conf`	SMT-Based Formal Verification of a FMICS Wilfried Steiner, Bruno Dutertre
2008	C	`conf`	Modeling and Verification of Time-Triggered Communication Protocols. ISORC Maria Sorea, Bruno Dutertre, Wilfried Steiner
2007	A*	`conf`	A Tutorial on Satisfiability Modulo Theories. CAV Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar
2007	—	`conf`	Formal Modeling and Analysis of the Modbus Protocol. Critical Infrastructure Protection Bruno Dutertre
2006	A*	`conf`	A Fast Linear-Arithmetic Solver for DPLL(T). CAV Bruno Dutertre, Leonardo Mendonça de Moura
2006	—	`conf`	Detecting Disruptive Routers in Wireless Sensor Networks. ADHOC-NOW Steven Cheung, Bruno Dutertre, Ulf Lindqvist
2004	A*	`conf`	Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. ICSE Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
2004	—	`conf`	Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. FORMATS/FTRTFT Bruno Dutertre, Maria Sorea
2004	J	`jnl`	Using Model Checking to Assess the Dependability of Agent-Based Systems. IEEE Intell. Syst. Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre
2003	—	`conf`	Dependable Intrusion Tolerance: Technology Demo. DISCEX (2) Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
2003	A	`conf`	Forum Session: Security for Wireless Sensor Networks. ACSAC David Carman, Daniel Coffin, Bruno Dutertre, Vipin Swarup, Ronald J. Watro
2003	—	`conf`	Protocol Codesign. Security Protocols Workshop Hassen Saïdi, Victoria Stavridou, Bruno Dutertre
2003	—	`conf`	Self-regenerative software components. SSRS@CCS Hassen Saïdi, Bruno Dutertre, Joshua Levy, Alfonso Valdes
2002	—	`conf`	An Architecture for an Adaptive Intrusion-Tolerant Server. Security Protocols Workshop Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
2002	A	`conf`	Dynamic Scan Scheduling. RTSS Bruno Dutertre
2002	—	`conf`	Intrusion-Tolerant Enclaves. S&P Bruno Dutertre, Valentin Crettaz, Victoria Stavridou
2001	A	`conf`	Intrusion-Tolerant Group Management in Enclaves. DSN Bruno Dutertre, Hassen Saïdi, Victoria Stavridou
2000	A	`conf`	Formal Analysis of the Priority Ceiling Protocol. RTSS Bruno Dutertre
1999	—	`conf`	A Formalization of Software Architecture. World Congress on Formal Methods John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
1997	J	`jnl`	Formal Requirements Analysis of an Avionics Control System. IEEE Trans. Software Eng. Bruno Dutertre, Victoria Stavridou
1997	—	`conf`	Using a PVS Embedding of CSP to Verify Authentication Protocols. TPHOLs Bruno Dutertre, Steve A. Schneider
1996	—	`conf`	Elements of Mathematical Analysis in PVS. TPHOLs Bruno Dutertre
1995	A*	`conf`	Complete Proof Systems for First Order Interval Temporal Logic LICS Bruno Dutertre
1995	J	`jnl`	The practice of formal methods in safety-critical systems. J. Syst. Softw. Shaoying Liu, Victoria Stavridou, Bruno Dutertre