Searching for authors named "Bruno Dutertre" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Scan Scheduling Specification and Analysis
- …Scan Scheduling Specification and Analysis Bruno Dutertre System Design Laboratory SRI…
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Analysis of the Priority Ceiling Protocol
- …Formal Analysis of the Priority Ceiling Protocol Presented at RTSS'00, November 2000. Bruno…
- Cited by 2 (0 self) – Add To MetaCart
-
The Priority Ceiling Protocol: Formalization and Analysis Using PVS
- …The Priority Ceiling Protocol: Formalization and Analysis Using PVS 1 Bruno Dutertre System Design…
- Cited by 1 (1 self) – Add To MetaCart
-
Formal Modeling and Analysis of the Modbus Protocol
- …October 11, 2006 Formal Modeling and Analysis of the Modbus Protocol Bruno Dutertre This study…
- Cited by 1 (1 self) – Add To MetaCart
-
Complete Proof Systems for First Order Interval Temporal Logic
- …Complete Proof Systems for First Order Interval Temporal Logic Bruno Dutertre Department…
- Cited by 23 (0 self) – Add To MetaCart
-
On First Order Interval Temporal Logic
- …On First Order Interval Temporal Logic Bruno Dutertre Technical Report CSD-TR-94-3 February 7, 1995…
- Cited by 21 (1 self) – Add To MetaCart
-
Elements of Mathematical Analysis in PVS
- …-30 August 1996 Bruno Dutertre Department of Computer Science, Royal Holloway, University of London, Egham…
- Cited by 15 (0 self) – Add To MetaCart
-
Avionics Systems Requirements: A Comparison of RSML and SCR
- …Avionics Systems Requirements: A Comparison of RSML and SCR 1 Bruno Dutertre; CSL, SRI…
- Add To MetaCart
-
Formal Analysis For Real-Time Scheduling
- …1 FORMAL ANALYSIS FOR REAL-TIME SCHEDULING Bruno Dutertre and Victoria Stavridou, SRI…
- Add To MetaCart
-
Using a PVS Embedding of CSP to Verify Authentication Protocols
- … Labs, Murray Hill, New Jersey, USA Bruno Dutertre 1 and Steve Schneider 2 1 Department of Computer…
- Cited by 26 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
