Guillaume Brat

13 papers A 2B 3Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2021 — conf
Integrating Formal Verification and Assurance: An Inspection Rover Case Study.
NFM
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
2017 — ch.
Formal Analysis of Multiple Coordinated HMI Systems.
Handbook of Formal Methods in Human-Computer Interaction
Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta
2016 J jnl
Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning.
Syst. Eng.
Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle
2015 B conf
Verifying the Safety of a Flight-Critical System.
FM
Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2015 J jnl
Verifying the Safety of a Flight-Critical System.
CoRR
Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2014 A conf
Compositional verification using formal analysis for a flight critical system.
ITC
Guillaume Brat
2014 B conf
IKOS: A Framework for Static Analysis Based on Abstract Interpretation.
SEFM
Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet
2013 — conf
Aviation safety: modeling and analyzing complex interactions between humans and automated systems.
ATACCS
Neha Rungta, Guillaume Brat, William J. Clancey, Charlotte Linde, Franco Raimondi, Chin Seah, Michael G. Shafto
2013 — ed.
NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods
Guillaume Brat, Neha Rungta, Arnaud Venet
2013 — conf
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog.
HCI (1)
Guillaume Brat, Célia Martinie, Philippe A. Palanque
2009 A conf
A formal analysis of requirements-based testing.
ISSTA
Charles Pecheur, Franco Raimondi, Guillaume Brat
2007 — conf
Testing Planning Domains (without Model Checkers).
MBT
Franco Raimondi, Charles Pecheur, Guillaume Brat
2005 B conf
Challenges in verification and validation of autonomous systems for space exploration.
IJCNN
Guillaume Brat, Ari K. Jónsson