المؤلفون: David Greve, Andrew Gacek

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 280, Iss Proc. ACL2 2018, Pp 30-46 (2018)

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

وصف الملف: electronic resource

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

URL الوصول: https://doaj.org/article/64e4e56030834224ad42e789867db914

المؤلفون: David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang

المصدر: Journal of Formalized Reasoning, Vol 7, Iss 2, Pp 1-89 (2014)

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

وصف الملف: electronic resource

Relation: http://jfr.unibo.it/article/view/4650; https://doaj.org/toc/1972-5787

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

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

المؤلفون: Lucas G. Wagner, Andrew Gacek

المصدر: ACM SIGAda Ada Letters. 39:35-49

مصطلحات موضوعية: Lustre (programming language), Computer science, business.industry, 020207 software engineering, Functional requirement, 02 engineering and technology, Formal methods, Software development process, Software, Object code, 0202 electrical engineering, electronic engineering, information engineering, General Earth and Planetary Sciences, Avionics software, Software design, 020201 artificial intelligence & image processing, Software engineering, business, computer, General Environmental Science, computer.programming_language

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

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

المؤلفون: Andrew Gacek, Andy Warfield, Dan Peebles, Brad E. Marshall, Neha Rungta, Chriss Stephens, Cole Schlesinger, Malik Bouchet, Ranjit Jhala, Byron Cook, Anna Druzkina, Bryant Cutler, Liana Hadarean, Carsten Varming

المصدر: ESEC/SIGSOFT FSE

مصطلحات موضوعية: Flexibility (engineering), Cloud computing security, Computer science, business.industry, 020207 software engineering, Access control, Cloud computing, 02 engineering and technology, Formal methods, Computer security, computer.software_genre, 020204 information systems, Satisfiability modulo theories, 0202 electrical engineering, electronic engineering, information engineering, business, computer, Cloud storage, Block (data storage)

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

المؤلفون: Anvesh Tanuku, Mclaughlin Sean, Cole Schlesinger, Tyler Stuart Bray, Neha Rungta, Deepa Viswanathan, Kasper Søe Luckow, Adam Schodde, Andrew Gacek, Ulises Berrueco, Madhav Menon, Daniel Brim, Byron Cook, Daniel Peebles, John Backes, Ranjit Jhala, Carsten Varming, Ujjwal Pugalia

المصدر: Computer Aided Verification ISBN: 9783030532871
CAV (1)

مصطلحات موضوعية: 050101 languages & linguistics, Service (systems architecture), business.industry, Computer science, 05 social sciences, Cloud computing, Access control, 02 engineering and technology, Security policy, Formal methods, Predicate abstraction, Application security, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, business, Software engineering, Abstraction (linguistics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5c616e6d67a7cf2c2d29a11d41f8f95b
https://doi.org/10.1007/978-3-030-53288-8_9