Bruno Dutertre

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2018

Verification of Fault-Tolerant Protocols with Sally.

[BibT_eX]

[DOI]

Jorge A. Navas

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

LibPoly: A Library for Reasoning about Polynomials.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

2016

Property-directed k-induction.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016

2015

Program Synthesis Using Dual Interpretation.

[BibT_eX]

[DOI]

Ashish Tiwari

Adrià Gascón

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Safety envelope for security.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Template-based circuit understanding.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Yices 2.2.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

The TTEthernet synchronisation protocols and their formal verification.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2013

Simplex with sum of infeasibilities for SMT.

[BibT_eX]

[DOI]

Tim King

Clark W. Barrett

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2011

Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Automated Formal Verification of the <i>TTEthernet</i> Synchronization Quality.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

2010

SMT-Based Formal Verification of a <i>TTEthernet</i> Synchronization Function.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2008

Modeling and Verification of Time-Triggered Communication Protocols.

[BibT_eX]

[DOI]

Maria Sorea

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007

Formal Modeling and Analysis of the Modbus Protocol.

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

Proceedings of the Critical Infrastructure Protection, 2007

A Tutorial on Satisfiability Modulo Theories.

[BibT_eX]

[DOI]

Natarajan Shankar

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

A Fast Linear-Arithmetic Solver for DPLL(T).

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Detecting Disruptive Routers in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Steven Cheung

Robert A. Riemenschneider

Ulf Lindqvist

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 5th International Conference, 2006

2004

Using Model Checking to Assess the Dependability of Agent-Based Systems.

[BibT_eX]

[DOI]

Hassen Saïdi

IEEE Intell. Syst., 2004

Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata.

[BibT_eX]

[DOI]

Maria Sorea

Proceedings of the Formal Techniques, 2004

2003

Protocol Codesign.

[BibT_eX]

[DOI]

Hassen Saïdi

Proceedings of the Security Protocols, 2003

Dependable Intrusion Tolerance: Technology Demo.

[BibT_eX]

[DOI]

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

Self-regenerative software components.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003

Forum Session: Security for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual Computer Security Applications Conference (ACSAC 2003), 2003

2002

An Architecture for an Adaptive Intrusion-Tolerant Server.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2002

Intrusion-Tolerant Enclaves.

[BibT_eX]

[DOI]

Valentin Crettaz

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Dynamic Scan Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

2001

Intrusion-Tolerant Group Management in Enclaves.

[BibT_eX]

[DOI]

Hassen Saïdi

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000

Formal Analysis of the Priority Ceiling Protocol.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

1999

A Formalization of Software Architecture.

[BibT_eX]

[DOI]

John Herbert

Robert A. Riemenschneider

Proceedings of the FM'99 - Formal Methods, 1999

1997

Formal Requirements Analysis of an Avionics Control System.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1997

Using a PVS Embedding of CSP to Verify Authentication Protocols.

[BibT_eX]

[DOI]

Steve A. Schneider

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1996

Elements of Mathematical Analysis in PVS.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

The practice of formal methods in safety-critical systems.

[BibT_eX]

[DOI]

Shaoying Liu

J. Syst. Softw., 1995

Complete Proof Systems for First Order Interval Temporal Logic

[BibT_eX]

[DOI]