المؤلفون: June Andronick, Corey Lewis, Carroll Morgan

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 196, Iss Proc. MARS 2015, Pp 10-24 (2015)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1511.04170v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/20d064ed3d114e7e9a352316ecc5ebdf

المؤلفون: June Andronick

المصدر: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8d2015be777b3b2294cb98f250c692b9
https://doi.org/10.1145/3497775.3505265

المؤلفون: Adam Foltzer, Ihor Kuz, Michal Podhradsky, Darren Cofer, June Andronick, Gernot Heiser, Douglas Alan Stuart, Lee Pike, Gerwin Klein, Andrew Gacek, Michael W. Whalen, John Backes

المصدر: Computer. 51:14-23

مصطلحات موضوعية: General Computer Science, Computer science, business.industry, Vulnerability, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, Software maintenance, Formal methods, Software, Software security assurance, 0202 electrical engineering, electronic engineering, information engineering, Software engineering, business, Formal verification, Vulnerability (computing)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9e45779b06c236eb724a26b5d35eae0a
https://doi.org/10.1109/mc.2018.2876051

المؤلفون: Toby Murray, Matthew Fernandez, Ihor Kuz, Gernot Heiser, June Andronick, Gerwin Klein

المصدر: Communications of the ACM. 61:68-77

مصطلحات موضوعية: Hardware architecture, General Computer Science, Computer science, business.industry, Semantics (computer science), ComputerApplications_COMPUTERSINOTHERSYSTEMS, 020207 software engineering, 02 engineering and technology, GeneralLiterature_MISCELLANEOUS, Software, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS, Software engineering, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6aae76f67284bb5b51b96d5c8d56152f
https://doi.org/10.1145/3230627

المؤلفون: June Andronick

المصدر: Lecture Notes in Computer Science ISBN: 9783030309411
FM

مصطلحات موضوعية: Software, Key factors, Process management, Computer science, business.industry, Software deployment, Key (cryptography), business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5374ca3ff4d539c173e703e55b442551
https://doi.org/10.1007/978-3-030-30942-8_2

المؤلفون: Corey Lewis, Carroll Morgan, June Andronick

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 196, Iss Proc. MARS 2015, Pp 10-24 (2015)

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Operating Systems (cs.OS), Computer science, Programming language, lcsh:Mathematics, Concurrency, HOL, lcsh:QA1-939, computer.software_genre, Embedded operating system, lcsh:QA75.5-76.95, Logic in Computer Science (cs.LO), Scheduling (computing), Computer Science - Operating Systems, Concurrency control, Uniprocessor system, lcsh:Electronic computers. Computer science, Interrupt, computer, Context switch

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77248229b1d344c64bd295075a723e82
https://doi.org/10.4204/eptcs.196.2

المؤلفون: Gerwin Klein, D. Ross Jeffery, Mark Staples, June Andronick, Toby Murray

المصدر: Information and Software Technology. 60:102-112

مصطلحات موضوعية: Knowledge management, business.industry, Computer science, GQM, Formal methods, Computer Science Applications, Open research, Empirical research, Formal specification, Software system, business, Formal verification, Software, Information Systems, Face validity

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3266704aaa16a053f510881877b7c326
https://doi.org/10.1016/j.infsof.2014.11.005

المؤلفون: Gerwin Klein, Liam O'Connor, Gabriele Keller, Daniel Matichuk, June Andronick, Toby Murray

المصدر: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 375(2104). The Royal Society

مصطلحات موضوعية: Cogent, Mathematics(all), Theoretical computer science, Computer science, General Mathematics, Proof engineering, General Physics and Astronomy, Binary number, 02 engineering and technology, Physics and Astronomy(all), Development (topology), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Microkernel, SeL4, Scaling, Formal verification, Engineering(all), Code/proof co-generation, General Engineering, 020207 software engineering, Articles, Computer engineering, Scalability, Machine code

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f7106cd61507bc20cbde7737e73f78c
https://pubmed.ncbi.nlm.nih.gov/28871053

المؤلفون: Sidney Amani, June Andronick, Maksym Bortin, Joseph Tuong, Christine Rizkallah, Corey Lewis

المصدر: CPP

مصطلحات موضوعية: Syntax (programming languages), Computer science, Programming language, Semantics (computer science), Concurrency, media_common.quotation_subject, HOL, 020207 software engineering, 02 engineering and technology, computer.software_genre, Embedded operating system, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Imperative programming, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Function (engineering), computer, Formal verification, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a46c0001b4be79c4b07cb5d904cc99ec
https://doi.org/10.1145/3018610.3018627

المؤلفون: June Andronick

المصدر: Automated Deduction – CADE 26 ISBN: 9783319630458
CADE

مصطلحات موضوعية: Reasoning system, Programming language, Imagix 4D, Computer science, Non-lock concurrency control, Concurrency, Distributed concurrency control, Multiversion concurrency control, 020206 networking & telecommunications, 02 engineering and technology, computer.software_genre, Concurrent object-oriented programming, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Isolation (database systems), computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::821ff8d5c52ce2629d9d3711122203c2
https://doi.org/10.1007/978-3-319-63046-5_1