Search the dblp DataBase
Bruno Dutertre :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David Carman , Daniel Coffin , Bruno Dutertre , Vipin Swarup , Ronald J. Watro Forum Session: Security for Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP ] ACSAC, 2003, pp:106-109 [Conf ] Steven Cheung , Bruno Dutertre , Ulf Lindqvist Detecting Disruptive Routers in Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP ] ADHOC-NOW, 2006, pp:19-31 [Conf ] Bruno Dutertre , Leonardo Mendonça de Moura A Fast Linear-Arithmetic Solver for DPLL(T). [Citation Graph (0, 0)][DBLP ] CAV, 2006, pp:81-94 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] DISCEX (2), 2003, pp:128-130 [Conf ] Bruno Dutertre , Hassen Saïdi , Victoria Stavridou Intrusion-Tolerant Group Management in Enclaves. [Citation Graph (0, 0)][DBLP ] DSN, 2001, pp:203-214 [Conf ] John Herbert , Bruno Dutertre , Robert A. Riemenschneider , Victoria Stavridou A Formalization of Software Architecture. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:116-133 [Conf ] Bruno Dutertre , Maria Sorea Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. [Citation Graph (0, 0)][DBLP ] FORMATS/FTRTFT, 2004, pp:199-214 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICSE, 2004, pp:304-313 [Conf ] Bruno Dutertre Complete Proof Systems for First Order Interval Temporal Logic [Citation Graph (0, 0)][DBLP ] LICS, 1995, pp:36-43 [Conf ] Bruno Dutertre Dynamic Scan Scheduling. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 2002, pp:327-0 [Conf ] Bruno Dutertre , Valentin Crettaz , Victoria Stavridou Intrusion-Tolerant Enclaves. [Citation Graph (0, 0)][DBLP ] IEEE Symposium on Security and Privacy, 2002, pp:216-0 [Conf ] Hassen Saïdi , Victoria Stavridou , Bruno Dutertre Protocol Codesign. [Citation Graph (0, 0)][DBLP ] Security Protocols Workshop, 2003, pp:106-113 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Security Protocols Workshop, 2002, pp:158-178 [Conf ] Bruno Dutertre Elements of Mathematical Analysis in PVS. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1996, pp:141-156 [Conf ] Bruno Dutertre , Steve Schneider Using a PVS Embedding of CSP to Verify Authentication Protocols. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1997, pp:121-136 [Conf ] Robert A. Riemenschneider , Hassen Saïdi , Bruno Dutertre Using Model Checking to Assess the Dependability of Agent-Based Systems. [Citation Graph (0, 0)][DBLP ] IEEE Intelligent Systems, 2004, v:19, n:5, pp:62-70 [Journal ] Shaoying Liu , Victoria Stavridou , Bruno Dutertre The practice of formal methods in safety-critical systems. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1995, v:28, n:1, pp:77-87 [Journal ] Bruno Dutertre , Victoria Stavridou Formal Requirements Analysis of an Avionics Control System. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1997, v:23, n:5, pp:267-278 [Journal ] Leonardo Mendonça de Moura , Bruno Dutertre , Natarajan Shankar A Tutorial on Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:20-36 [Conf ] Modeling and Verification of Time-Triggered Communication Protocols. [Citation Graph (, )][DBLP ] Formal Analysis of the Priority Ceiling Protocol. [Citation Graph (, )][DBLP ] SMT-Based Formal Verification of a TTEthernet Synchronization Function. [Citation Graph (, )][DBLP ] Formal Modeling and Analysis of the Modbus Protocol. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.303secs