Bruno Dutertre
Bruno Dutertre
E-mail megerősítve itt: csl.sri.com
Cím
Hivatkozott rá
Hivatkozott rá
Év
The smt-lib standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th international workshop on satisfiability modulo …, 2010
9362010
A fast linear-arithmetic solver for DPLL (T)
B Dutertre, L De Moura
International Conference on Computer Aided Verification, 81-94, 2006
8332006
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
7902006
Yices 2.2
B Dutertre
International Conference on Computer Aided Verification, 737-744, 2014
3932014
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
3642007
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
1482004
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
1361995
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
992004
A tutorial on satisfiability modulo theories
L de Moura, B Dutertre, N Shankar
International Conference on Computer Aided Verification, 20-36, 2007
972007
Using a PVS embedding of CSP to verify authentication protocols
B Dutertre, S Schneider
International Conference on Theorem Proving in Higher Order Logics, 121-136, 1997
901997
Methods and apparatus for scalable distributed management of wireless virtual private networks
B Dutertre
US Patent 7,246,232, 2007
882007
The Yices SMT solver, 2006
B Dutertre, L De Moura
872006
Integrating simplex with DPLL (T)
B Dutertre, L De Moura
Computer Science Laboratory, SRI International, Tech. Rep. SRI-CSL-06-01, 2006
792006
Elements of mathematical analysis in PVS
B Dutertre
International Conference on Theorem Proving in Higher Order Logics, 141-156, 1996
781996
Formal requirements analysis of an avionics control system
B Dutertre, V Stavridou
IEEE Transactions on Software Engineering 23 (5), 267-278, 1997
721997
An architecture for an adaptive intrusion-tolerant server
A Valdes, M Almgren, S Cheung, Y Deswarte, B Dutertre, J Levy, H Saidi, ...
International Workshop on Security Protocols, 158-178, 2002
712002
Timed systems in SAL
B Dutertre, M Sorea
SRI Int., 2004
672004
Intrusion tolerant software architectures
V Stavridou, B Dutertre, RA Riemenschneider, H Saidi
Proceedings DARPA Information Survivability Conference and Exposition II …, 2001
622001
Intrusion tolerant software architectures
V Stavridou, B Dutertre, RA Riemenschneider, H Saidi
Proceedings DARPA Information Survivability Conference and Exposition II …, 2001
622001
Intrusion-tolerant enclaves
B Dutertre, V Crettaz, V Stavridou
Proceedings 2002 IEEE Symposium on Security and Privacy, 216-224, 2002
542002
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20