E-LIB Suche - Ergebnisse für: Brat, Guillaume

1

DETECTING AND CHARACTERIZING PATTERNS OF FAILURE IN COMPLEX..:

Walsh, Hannah Scharline ; Dong, Andy ; Tumer, Irem.
Proceedings of the Design Society. 3 (2023) - p. 1425-1434 , 2023

Link: https://doi.org/10.1017/..

2

Integrating Formal Verification and Assurance: An Inspectio..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Bourbouh, Hamza ; Farrell, Marie ; Mavridou, Anastasia... - p. 53-71 , 2021

Link: https://doi.org/10.1007/..

3

Formal Analysis of Multiple Coordinated HMI Systems:

, In: Human–Computer Interaction Series; The Handbook of Formal Methods in Human-Computer Interaction,

Brat, Guillaume ; Combéfis, Sébastien ; Giannakopoulou, Dimitra... - p. 405-431 , 2017

Link: https://doi.org/10.1007/..

4

Complex Engineered Systems Design Verification Based on Ass..:

Mehrpouyan, Hoda ; Giannakopoulou, Dimitra ; Brat, Guillaume..
Systems Engineering. 19 (2016) 6 - p. 461-476 , 2016

Link: https://doi.org/10.1002/..

5

Compositional verification using formal analysis for a flig..:

, In: 2014 International Test Conference,

Brat, Guillaume - p. 1-1 , 2014

Link: https://doi.org/10.1109/..

6

NASA Formal Methods

5th International Symposium, NFM 2013, Moffett Field, CA, U... Lecture Notes in Computer Science ; 7871;SpringerLink, Bücher

Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud , 2013

Link: https://doi.org/10.1007/..

7

Aviation safety : modeling and analyzing complex interac..:

, In: Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems,

Rungta, Neha ; Brat, Guillaume ; Clancey, William J.... - p. 27-37 , 2013

Link: https://dl.acm.org/doi/1..

8

A formal analysis of requirements-based testing:

, In: Proceedings of the eighteenth international symposium on Software testing and analysis,

Pecheur, Charles ; Raimondi, Franco ; Brat, Guillaume - p. 47-56 , 2009

Link: https://dl.acm.org/doi/1..

9

Variably interprocedural program analysis for runtime error..:

, In: Proceedings of the 2007 international symposium on Software testing and analysis,

Tomb, Aaron ; Brat, Guillaume ; Visser, Willem - p. 97-107 , 2007

Link: https://dl.acm.org/doi/1..

10

Testing Planning Domains (without Model Checkers):

Raimondi, Franco ; Pecheur, Charles ; Brat, Guillaume
Electronic Notes in Theoretical Computer Science. 190 (2007) 2 - p. 113-125 , 2007

Link: https://doi.org/10.1016/..

11

Precise and efficient static array bound checking for large..:

Venet, Arnaud ; Brat, Guillaume
ACM SIGPLAN Notices. 39 (2004) 6 - p. 231-242 , 2004

Link: https://doi.org/10.1145/..

12

Precise and efficient static array bound checking for large..:

, In: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation,

Venet, Arnaud ; Brat, Guillaume - p. 231-242 , 2004

Link: https://dl.acm.org/doi/1..

13

Experimental Evaluation of Verification and Validation Tool..:

Brat, Guillaume ; Drusinsky, Doron ; Giannakopoulou, Dimitra...
Formal Methods in System Design. 25 (2004) 2/3 - p. 167-198 , 2004

Link: https://doi.org/10.1023/..

14

Transparent fault tolerance for distributed Ada application:

, In: Proceedings of the conference on TRI-Ada '94,

Breland, Mark A. ; Rogers, Steven A. ; Brat, Guillaume P.. - p. 446-457 , 1994

Link: https://dl.acm.org/doi/1..

15

Verifying the Safety of a Flight-Critical System:

Brat, Guillaume ; Bushnell, David ; Davies, Misty...
http://arxiv.org/abs/1502.02605. , 2015

Link: http://arxiv.org/abs/150..