Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gacek, Andrew
68  Ergebnisse:
Personensuche X
?
1

Automated Analyses of IOT Event Monitoring Systems:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Apicelli, Andrew ; Bayless, Sam ; Das, Ankush... - p. 27-39 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Inductive Validity Cores:

Ghassabani, Elaheh ; Whalen, Michael ; Gacek, Andrew.
IEEE Transactions on Software Engineering.  47 (2021)  2 - p. 279-299 , 2021
Link: https://doi.org/10.1109/..
 
?
3

ON THE EFFECT OF FINE-SCALE RADIAL VOID DISTRIBUTIONS ON AS..:

Price, Dean ; Gacek, Andrew ; Kozlowski, Tomasz...
EPJ Web of Conferences.  247 (2021)  - p. 06054 , 2021
Link: https://doi.org/10.1051/..
 
?
4

Block public access: trust safety verification of access co..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Bouchet, Malik ; Cook, Byron ; Cutler, Bryant... - p. 281-291 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

Automating Certification Objectives with SpeAR:

Wagner, Lucas ; Gacek, Andrew
ACM SIGAda Ada Letters.  39 (2020)  1 - p. 35-49 , 2020
Link: https://doi.org/10.1145/..
 
?
6

Automating Certification Objectives with SpeAR:

Wagner, Lucas ; Gacek, Andrew
ACM SIGAda Ada Letters.  39 (2020)  1 - p. 35-49 , 2020
Link: https://dl.acm.org/doi/1..
 
?
7

Stratified Abstraction of Access Control Policies:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Backes, John ; Berrueco, Ulises ; Bray, Tyler... - p. 165-176 , 2020
Link: https://doi.org/10.1007/..
 
?
8

One-Click Formal Methods:

Backes, John ; Bolignano, Pauline ; Cook, Byron...
IEEE Software.  36 (2019)  6 - p. 61-65 , 2019
Link: https://doi.org/10.1109/..
 
?
9

Reachability Analysis for AWS-Based Networks:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Backes, John ; Bayless, Sam ; Cook, Byron... - p. 231-241 , 2019
Link: https://doi.org/10.1007/..
 
?
10

The JKind Model Checker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Gacek, Andrew ; Backes, John ; Whalen, Mike.. - p. 20-27 , 2018
Link: https://doi.org/10.1007/..
 
?
11

A Formal Approach to Constructing Secure Air Vehicle Softwa..:

Cofer, Darren ; Gacek, Andrew ; Backes, John...
Computer.  51 (2018)  11 - p. 14-23 , 2018
Link: https://doi.org/10.1109/..
 
?
12

Validity-Guided Synthesis of Reactive Systems from Assume-G..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Katis, Andreas ; Fedyukovich, Grigory ; Guo, Huajun... - p. 176-193 , 2018
Link: https://doi.org/10.1007/..
 
?
13

Proof-based coverage metrics for formal verification:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering,
Ghassabani, Elaheh ; Gacek, Andrew ; Whalen, Michael W... - p. 194-199 , 2017
Link: http://dl.acm.org/citati..
 
?
14

SIMPAL: a compositional reasoning framework for imperative ..:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,
Wagner, Lucas ; Greve, David ; Gacek, Andrew - p. 90-93 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Towards synthesis from assume-guarantee contracts involving..:

, In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering,
Katis, Andreas ; Gacek, Andrew ; Whalen, Michael W. - p. 36-41 , 2016
Link: https://dl.acm.org/doi/1..
 
1-15