( en | de | ru )

 

Disambiguation of "Andronick, June"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Specifications Better Than Function Points for Code Sizing

, , , , , , , and . International Conference on Software Engineering, page 1257--1260. (May 2013)

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)Certifying an embedded remote method invocation protocol., and . SAC, page 352-359. ACM, (2008)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)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)A Million Lines of Proof About a Moving Target (Invited Talk).. ITP, volume 141 of LIPIcs, page 1:1-1:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Formal Specifications Better Than Function Points for Code Sizing, , , , , , , and . International Conference on Software Engineering, page 1257--1260. (May 2013)The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk).. CPP, page 1. ACM, (2022)Formally Proved Anti-tearing Properties of Embedded C Code.. ISoLA, page 129-136. IEEE Computer Society, (2006)