المؤلفون: Danielle Stewart, Jing Liu, Darren Cofer, Mats Heimdahl, Michael W Whalen, Michael Peterson

مصطلحات موضوعية: Air Transportation And Safety

URL الوصول: https://ntrs.nasa.gov/citations/20210017388

المؤلفون: Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5614da5286d7b1f2abfb13e6bd64d09c
https://doi.org/10.1007/978-3-031-30820-8_35

المؤلفون: Dawn Michaelson, Dominik Schreiber, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems

مصطلحات موضوعية: distributed computing, SAT solving, DATA processing & computer science, proofs, ddc:004

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9e4076eaebdc682eeec5ecb8d660d7f
https://doi.org/10.1007/978-3-031-30823-9_18

المؤلفون: Michael W. Whalen, Mats P. E. Heimdahl, Andrew Gacek, Elaheh Ghassabani

المصدر: IEEE Transactions on Software Engineering. 47:279-299

مصطلحات موضوعية: Model checking, Theoretical computer science, Computer science, Approximation algorithm, 020207 software engineering, 02 engineering and technology, Mathematical proof, Set (abstract data type), 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Use case, Completeness (statistics), Requirements analysis, Software, Axiom

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2041fa9f1d61bebc9efcd6481f75dd27
https://doi.org/10.1109/tse.2019.2891709

المؤلفون: Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen

المصدر: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering.

URL الوصول: https://ntrs.nasa.gov/citations/19633952072515

المؤلفون: Andrew Gacek, Cole Schlesinger, Michael W. Whalen, John Backes, Carsten Varming, Rima Tanash, Martin Schaef, Byron Cook, Pauline Bolignano, Kasper Søe Luckow, Neha Rungta

المصدر: IEEE Software. 36:61-65

مصطلحات موضوعية: business.industry, Computer science, 020207 software engineering, Cloud computing, Access control, 02 engineering and technology, computer.software_genre, Mathematical proof, Formal methods, Automation, Software, 0202 electrical engineering, electronic engineering, information engineering, Web service, Aerospace, business, Software engineering, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4c37e1da603d67fbaa3ae6c301606c75
https://doi.org/10.1109/ms.2019.2930609

المؤلفون: Andreas Katis, Andrew Gacek, Michael W. Whalen

المصدر: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering.

URL الوصول: https://ntrs.nasa.gov/citations/90570383232940

المؤلفون: 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

المؤلفون: Mats P. E. Heimdahl, Danielle Stewart, Darren Cofer, Michael W. Whalen, Jing Liu

المصدر: Lecture Notes in Computer Science ISBN: 9783030839024
SAFECOMP

مصطلحات موضوعية: Fault tree analysis, Lead (geology), Computer science, Component-based software engineering, Certification, Fault model, Layer (object-oriented design), Causation, Fault (power engineering), Reliability engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::dc2a613080723c0a1150e1935292594f
https://doi.org/10.1007/978-3-030-83903-1_17

المؤلفون: Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen

المصدر: Formal Methods ISBN: 9783030908690

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cd2887da7351e108d7df0327f6fb14e9
https://doi.org/10.1007/978-3-030-90870-6_27