( en | de | ru )

 

Disambiguation of "Gurfinkel, Arie"

Author of the publication

copydeleteadd this publication to your clipboard
Finding Environment Guarantees.

, , and . FASE, volume 4422 of Lecture Notes in Computer Science, page 352-367. Springer, (2007)

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.

Arie Nabrings

Arie Hartog

Arie Klerk

Horst Aries

Katrin Leonie Aries

 

Other publications of authors with the same name

Robust Vacuity for Branching Temporal Logic., and . ACM Trans. Comput. Log., 13 (1): 1:1-1:32 (2012)Combining predicate and numeric abstraction for software model checking., and . Int. J. Softw. Tools Technol. Transf., 12 (6): 409-427 (2010)On the consistency, expressiveness, and precision of partial modeling formalisms., , and . Inf. Comput., 209 (1): 20-47 (2011)Automated Discovery of Simulation Between Programs., , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 606-621. Springer, (2015)Verifying Verified Code., , , , , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 187-202. Springer, (2021)Yasm: A Software Model-Checker for Verification and Refutation., , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 170-174. Springer, (2006)Compositional Sequentialization of Periodic Programs., , , and . VMCAI, volume 7737 of Lecture Notes in Computer Science, page 536-554. Springer, (2013)Multi-Valued Model Checking via Classical Model Checking., and . CONCUR, volume 2761 of Lecture Notes in Computer Science, page 263-277. Springer, (2003)Efficient Predicate Abstraction of Program Summaries., , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 131-145. Springer, (2011)Combining Predicate and Numeric Abstraction for Software Model Checking., and . FMCAD, page 1-9. IEEE, (2008)