Follow
Bruno Dutertre
Bruno Dutertre
Amazon Web Services
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
A fast linear-arithmetic solver for DPLL (T)
B Dutertre, L De Moura
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
9342006
The yices smt solver
B Dutertre, L De Moura
Tool paper at http://yices. csl. sri. com/tool-paper. pdf 2 (2), 1-2, 2006
8592006
Yices 2.2
B Dutertre
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
5832014
Using model-based intrusion detection for SCADA networks
S Cheung, B Dutertre, M Fong, U Lindqvist, K Skinner, A Valdes
Proceedings of the SCADA security scientific symposium 46, 1-12, 2007
4392007
Lightweight key management in wireless sensor networks by leveraging initial trust
B Dutertre, S Cheung, J Levy
Technical Report SRI-SDL-04-02, SRI International, 2004
1602004
Complete proof systems for first order interval temporal logic
B Dutertre
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 36-43, 1995
1471995
A Tutorial on Satisfiability Modulo Theories: (Invited Tutorial)
L de Moura, B Dutertre, N Shankar
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
1112007
Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata
B Dutertre, M Sorea
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
1052004
The Yices SMT solver, 2006
B Dutertre, L De Moura
952006
Using a PVS embedding of CSP to verify authentication protocols
B Dutertre, S Schneider
Theorem Proving in Higher Order Logics: 10th International Conference …, 1997
931997
Methods and apparatus for scalable distributed management of wireless virtual private networks
B Dutertre
US Patent 7,246,232, 2007
922007
Integrating simplex with DPLL (T)
B Dutertre, L De Moura
Computer Science Laboratory, SRI International, Tech. Rep. SRI-CSL-06-01, 2006
892006
Elements of mathematical analysis in PVS
B Dutertre
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs …, 1996
801996
Timed systems in SAL
B Dutertre, M Sorea
SRI Int., Menlo Park, CA, USA, Tech. Rep. SRI-SDL-04-03, 2004
742004
An architecture for an adaptive intrusion-tolerant server
A Valdes, M Almgren, S Cheung, Y Deswarte, B Dutertre, J Levy, H Saidi, ...
Security Protocols: 10th International Workshop, Cambridge, UK, April 17-19 …, 2004
742004
Formal requirements analysis of an avionics control system
B Dutertre, V Stavridou
IEEE Transactions on Software Engineering 23 (5), 267-278, 1997
741997
Intrusion tolerant software architectures
V Stavridou, B Dutertre, RA Riemenschneider, H Saidi
Proceedings DARPA Information Survivability Conference and Exposition II …, 2001
662001
Intrusion tolerant software architectures
V Stavridou, B Dutertre, RA Riemenschneider, H Saidi
Proceedings DARPA Information Survivability Conference and Exposition II …, 2001
662001
Property-directed k-induction
D Jovanović, B Dutertre
2016 Formal Methods in Computer-Aided Design (FMCAD), 85-92, 2016
582016
Safety envelope for security
A Tiwari, B Dutertre, D Jovanović, T de Candia, PD Lincoln, J Rushby, ...
Proceedings of the 3rd international conference on High confidence networked …, 2014
572014
The system can't perform the operation now. Try again later.
Articles 1–20