Guillaume Brat

According to our database, Guillaume Brat authored at least 20 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Integrating Formal Verification and Assurance: An Inspection Rover Case Study.

Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2017

Formal Analysis of Multiple Coordinated HMI Systems.

Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning.

Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle

Syst. Eng., 2016

2015

Verifying the Safety of a Flight-Critical System.

Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai

Proceedings of the FM 2015: Formal Methods, 2015

2014

IKOS: A Framework for Static Analysis Based on Abstract Interpretation.

Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Compositional verification using formal analysis for a flight critical system.

Guillaume Brat

Proceedings of the 2014 International Test Conference, 2014

2013

V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog.

Guillaume Brat, Célia Martinie, Philippe A. Palanque

Proceedings of the Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 2013

Aviation safety: modeling and analyzing complex interactions between humans and automated systems.

Neha Rungta, Guillaume Brat, William J. Clancey, Charlotte Linde, Franco Raimondi, Chin Seah, Michael G. Shafto

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013

2010

Software Model Checking of ARINC-653 Flight Code with MCP.

Sarah Thompson, Guillaume P. Brat, Arnaud Venet

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

A formal analysis of requirements-based testing.

Charles Pecheur, Franco Raimondi, Guillaume Brat

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

2007

Testing Planning Domains (without Model Checkers).

Franco Raimondi, Charles Pecheur, Guillaume Brat

Proceedings of the Third Workshop on Model Based Testing, 2007

Variably interprocedural program analysis for runtime error detection.

Aaron Tomb, Guillaume P. Brat, Willem Visser

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

2004

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.

Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington

Formal Methods Syst. Des., 2004

Precise and efficient static array bound checking for large embedded C programs.

Arnaud Venet, Guillaume P. Brat

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003

Model Checking Programs.

Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda

Autom. Softw. Eng., 2003

2001

Amphion/NAV: Deductive Synthesis of State Estimation Software.

Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Combining Static Analysis and Model Checking for Software Analysis.

Guillaume P. Brat, Willem Visser

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Model Checking Programs.

Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1998

Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra.

Guillaume P. Brat, Vijay K. Garg

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1994

Transparent Fault Tolerance for Distributed Ada Applications.

Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994