( en | de | ru )

 

Disambiguation of "Gacek, Andrew"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Verification of Architectural Models.

, , , , , and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 126-140. Springer, (2012)

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 Singer

Andrew Torda

Andrew Cato

 

Other publications of authors with the same name

Machine-Checked Proofs for Realizability Checking Algorithms., , and . VSTTE, volume 9593 of Lecture Notes in Computer Science, page 110-123. Springer, (2015)Abella: A Tutorial.. ITP, volume 7406 of Lecture Notes in Computer Science, page 49-50. Springer, (2012)Inductive Validity Cores., , , and . IEEE Trans. Software Eng., 47 (2): 279-299 (2021)The Bedwyr System for Model Checking over Syntactic Expressions., , , , and . CADE, volume 4603 of Lecture Notes in Computer Science, page 391-397. Springer, (2007)Relating nominal and higher-order abstract syntax specifications.. PPDP, page 177-186. ACM, (2010)Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts., , , , , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 176-193. Springer, (2018)Compositional Verification of Architectural Models., , , , , and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 126-140. Springer, (2012)On Implementing Real-Time Specification Patterns Using Observers., , , and . NFM, volume 9690 of Lecture Notes in Computer Science, page 19-33. Springer, (2016)The Abella Interactive Theorem Prover (System Description).. IJCAR, volume 5195 of Lecture Notes in Computer Science, page 154-161. Springer, (2008)Trapezoidal Generalization over Linear Constraints., and . ACL2, volume 280 of EPTCS, page 30-46. (2018)