( en | de | ru )

 

Disambiguation of "Andronick, June"

Author of the publication

copydeleteadd this publication to your clipboard
COMPLX: A Verification Framework for Concurrent Imperative Programs.

, , , , , and . Arch. Formal Proofs, (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.

June Park

June Parker

June Eidt

June Sunwoo

Reinhardt Jünemann

 

Other publications of authors with the same name

Reasoning About Concurrency in High-Assurance, High-Performance Software Systems.. CADE, volume 10395 of Lecture Notes in Computer Science, page 1-7. Springer, (2017)A Formal Approach to Constructing Secure Air Vehicle Software., , , , , , , , , and 2 other author(s). Computer, 51 (11): 14-23 (2018)An empirical research agenda for understanding formal methods productivity., , , , and . Inf. Softw. Technol., (2015)Successes in Deployed Verified Software (and Insights on Key Social Factors).. FM, volume 11800 of Lecture Notes in Computer Science, page 11-17. Springer, (2019)Certifying an embedded remote method invocation protocol., and . SAC, page 352-359. ACM, (2008)seL4 in Australia: from research to real-world trustworthy systems., , and . Commun. ACM, 63 (4): 72-75 (2020)Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System., , and . MARS, volume 196 of EPTCS, page 10-24. (2015)From a Proven Correct Microkernel to Trustworthy Large Systems.. FoVeOOS, volume 6528 of Lecture Notes in Computer Science, page 1-9. Springer, (2010)The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved.. FMCAD, page 1. IEEE, (2022)Formal Specifications Better Than Function Points for Code Sizing, , , , , , , and . International Conference on Software Engineering, page 1257--1260. (May 2013)