- Dynamic Scan Scheduling Presented at RTSS'02, Austin, TX, Dec. 2002
- A Tutorial on Satisfiability Modulo Theories (Invited Tutorial)
- Modeling and Verification of a FaultTolerant RealTime Startup Protocol Using Calendar Automata
- FORMAL ANALYSIS FOR REALTIME SCHEDULING Bruno Dutertre and Victoria Stavridou, SRI International, Menlo Park, CA
- Elements of Mathematical Analysis in PVS ? To be presented at TPHOLs'96, Turku, Finland, 2730 August 1996
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. Y, MONTH 1997 1 Formal Requirements Analysis of an Avionics
- Using a PVS Embedding of CSP to Verify Authentication Protocols
- Complete Proof Systems for First Order Interval Temporal Logic Bruno Dutertre
- Requirements Analysis of RealTime Control Systems using PVS Bruno Dutertre Victoria Stavridou
- Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
- SDL Technical Report SRISDL0403 . October 21, 2004 Timed Systems in SAL
- SDL Technical Report SRI-SDL-04-03 October 21, 2004 Timed Systems in SAL
- SMT-Based Formal Verification of a TTEthernet Synchronization Function
- CSL Technical Report SRI-CSL-06-01 May 23, 2006 Integrating Simplex with DPLL(T)
- SDL Technical Report SRI-SDL-04-02 April 6, 2004 Lightweight Key Management in Wireless Sensor
- Embedding CSP in PVS. An Application to Authentication
- Accelerating lemma learning using joins -DPLL( ) Nikolaj Bjrner
- A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura
- On First Order Interval Temporal Logic Bruno Dutertre
- IntrusionTolerant Enclaves To be presented at the IEEE Conference on Security and Privacy, Oakland, CA, May 2002
- IntrusionTolerant Group Management in Enclaves DSN'01, G oteborg, Sweden, July 2001
- Scan Scheduling Specification and Analysis Bruno Dutertre
- The Welch-Lynch Clock Synchronization Algorithm
- FORMAL MODELING AND ANALYSIS OF THE MODBUS PROTOCOL
- Formal Analysis of the Priority Ceiling Protocol Presented at RTSS'00, November 2000.
- October 11, 2006 Formal Modeling and Analysis of the Modbus Protocol
