Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An empirical research agenda for understanding formal methods productivity.

D. Jeffery, M. Staples, J. Andronick, G. Klein, and T. Murray. Information & Software Technology, (2015)

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.

Dr. -Ing. Richard Junesch University of Stuttgart

Aisha Zahid Junejo University of Stuttgart

Other publications of authors with the same name

Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System.J. Andronick, C. Lewis, and C. Morgan. MARS, volume 196 of EPTCS, page 10-24. (2015)From a Proven Correct Microkernel to Trustworthy Large Systems.J. Andronick. FoVeOOS, volume 6528 of Lecture Notes in Computer Science, page 1-9. Springer, (2010)Don't sweat the small stuff: formal verification of C code without the pain.D. Greenaway, J. Lim, J. Andronick, and G. Klein. PLDI, page 429-439. ACM, (2014)seL4: formal verification of an operating-system kernel.G. Klein, J. Andronick, K. Elphinstone, G. Heiser, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish and 3 other author(s). Commun. ACM, 53 (6): 107-115 (2010)seL4: formal verification of an OS kernel.G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish and 3 other author(s). SOSP, page 207-220. ACM, (2009)Towards a verified component platform.M. Fernandez, I. Kuz, G. Klein, and J. Andronick. PLOS@SOSP, page 2:1-2:7. ACM, (2013)Reasoning About Concurrency in High-Assurance, High-Performance Software Systems.J. Andronick. CADE, volume 10395 of Lecture Notes in Computer Science, page 1-7. Springer, (2017)Complx: a verification framework for concurrent imperative programs.S. Amani, J. Andronick, M. Bortin, C. Lewis, C. Rizkallah, and J. Tuong. CPP, page 138-150. ACM, (2017)A Formal Approach to Constructing Secure Air Vehicle Software.D. Cofer, A. Gacek, J. Backes, M. Whalen, L. Pike, A. Foltzer, M. Podhradsky, G. Klein, I. Kuz, J. Andronick and 2 other author(s). IEEE Computer, 51 (11): 14-23 (2018)An empirical research agenda for understanding formal methods productivity.D. Jeffery, M. Staples, J. Andronick, G. Klein, and T. Murray. Information & Software Technology, (2015)

PUMA

Disambiguation of "Andronick, June"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An empirical research agenda for understanding formal methods productivity.

Please choose a person to relate this publication to

Dr. -Ing. Richard Junesch University of Stuttgart

Aisha Zahid Junejo University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Andronick, June"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML An empirical research agenda for understanding formal methods productivity.

Please choose a person to relate this publication to

Dr. -Ing. Richard Junesch University of Stuttgart

Aisha Zahid Junejo University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An empirical research agenda for understanding formal methods productivity.