( en | de | ru )

 

Disambiguation of "Gacek, Andrew"

Author of the publication

copydeleteadd this publication to your clipboard
On Implementing Real-time Specification Patterns Using Observers.

, , , and . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Klaus Gacek

Heidi Gacek

Andrew Huvos

Andrew Lee

Andrew May

 

Other publications of authors with the same name

Reasoning About Algebraic Data Types with Abstractions., , and . J. Autom. Reason., 57 (4): 281-318 (2016)Block public access: trust safety verification of access control policies., , , , , , , , , and 4 other author(s). ESEC/SIGSOFT FSE, page 281-291. ACM, (2020)One-Click Formal Methods., , , , , , , , , and 1 other author(s). IEEE Softw., 36 (6): 61-65 (2019)Reasoning in Abella about Structural Operational Semantics Specifications., , and . LFMTP@LICS, volume 228 of Electronic Notes in Theoretical Computer Science, page 85-100. Elsevier, (2008)Proof-based coverage metrics for formal verification., , , , and . ASE, page 194-199. IEEE Computer Society, (2017)SIMPAL: a compositional reasoning framework for imperative programs., , and . SPIN, page 90-93. ACM, (2017)A Formal Approach to Constructing Secure Air Vehicle Software., , , , , , , , , and 2 other author(s). Computer, 51 (11): 14-23 (2018)Nominal Abstraction, , and . CoRR, (2009)Relating nominal and higher-order abstract syntax specifications.. PPDP, page 177-186. ACM, (2010)The Abella Interactive Theorem Prover (System Description).. IJCAR, volume 5195 of Lecture Notes in Computer Science, page 154-161. Springer, (2008)