-
1
المؤلفون: 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
-
2
المؤلفون: 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)
-
3
المؤلفون: Dan DaCosta, Benjamin F Jones, Nandita Mathews, Sam Bayless, Sagar Joshi, Michael Q. Zeng, Patrick Trentin, Kelsey Jewell, Nate Launchbury, John Backes
المصدر: Computer Aided Verification ISBN: 9783030816872
CAV (2)مصطلحات موضوعية: Computer science, business.industry, Programming language, Semantics (computer science), media_common.quotation_subject, 020206 networking & telecommunications, Cloud computing, 02 engineering and technology, Troubleshooting, computer.software_genre, Set (abstract data type), Debugging, Reachability, 020204 information systems, Path (graph theory), 0202 electrical engineering, electronic engineering, information engineering, business, computer, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::89b13c688522f2c6823e1feed48435f7
https://doi.org/10.1007/978-3-030-81688-9_39 -
4
المؤلفون: 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 -
5
المؤلفون: Carsten Varming, Mark A. Stalzer, Catherine Dodge, Jason Reed, Temesghen Kahsai, Bill Kocik, Preethi Srinivasan, Evgenii Kotelnikov, Pavle Subotic, Jure Kukovec, Andrew Gacek, John Sizemore, Whaley Blake, Mclaughlin Sean, John Backes, Neha Rungta, Sam Bayless, Alan J. Hu, Byron Cook
المصدر: Computer Aided Verification ISBN: 9783030255428
CAV (2)مصطلحات موضوعية: 050101 languages & linguistics, Service (systems architecture), business.industry, Network security, Computer science, 05 social sciences, Provisioning, Cloud computing, 02 engineering and technology, Certification, Computer security, computer.software_genre, Automation, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, The Internet, Automated reasoning, business, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ded918ecf6a1f1c51276415bdde3c210
https://doi.org/10.1007/978-3-030-25543-5_14 -
6
المؤلفون: Oksana Tkachuk, Byron Cook, Andrew Gacek, Neha Rungta, Pauline Bolignano, Carsten Varming, Kasper Søe Luckow, Catherine Dodge, John Backes
المصدر: FMCAD
مصطلحات موضوعية: Amazon web services, business.industry, Computer science, 020207 software engineering, Access control, Cloud computing, 02 engineering and technology, Semantics, Encoding (memory), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, The Internet, Automated reasoning, business, Software engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f51ae235f2eb27741c2df5dcbc33b902
https://doi.org/10.23919/fmcad.2018.8602994 -
7
المؤلفون: Grigory Fedyukovich, Huajun Guo, John Backes, Michael W. Whalen, Arie Gurfinkel, Andrew Gacek, Andreas Katis
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783319899626
TACAS (2)مصطلحات موضوعية: Soundness, Model checking, Theoretical computer science, Lustre (programming language), Computer science, 020207 software engineering, 02 engineering and technology, Specification language, Fixed point, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, computer, Reactive system, Program synthesis, computer.programming_language, Problem space
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5e93321ec33f2bae226c9f3d7cf0fb2a
https://doi.org/10.1007/978-3-319-89963-3_10 -
8
المؤلفون: John Backes, Lucas G. Wagner, Michael W. Whalen, Andrew Gacek, Elaheh Ghassabani
المصدر: Computer Aided Verification ISBN: 9783319961415
CAV (2)مصطلحات موضوعية: State model, Model checking, Computer science, Programming language, 0202 electrical engineering, electronic engineering, information engineering, 020207 software engineering, 020201 artificial intelligence & image processing, 02 engineering and technology, computer.software_genre, Mathematical proof, computer, Smoothing, Counterexample
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::13d7ffd52b9bfaa24e1036bae093e8b8
https://doi.org/10.1007/978-3-319-96142-2_3 -
9
المؤلفون: Darren Cofer, John Backes, Andrew Gacek, Jing Liu
المصدر: Lecture Notes in Computer Science ISBN: 9783319406473
NFMمصطلحات موضوعية: Engineering, Requirement, Non-functional requirement, business.industry, Software requirements specification, 020207 software engineering, 02 engineering and technology, System requirements, 020401 chemical engineering, 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, Non-functional testing, Verification, 0204 chemical engineering, business, Software engineering, Requirements analysis, Software verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::99e19626ef7a889ee21a2ac863229178
https://doi.org/10.1007/978-3-319-40648-0_28 -
10
المؤلفون: John Komp, Andrew Gacek, John Backes, Michael W. Whalen
المصدر: Lecture Notes in Computer Science ISBN: 9783319406473
NFMمصطلحات موضوعية: Model checking, Programming language, Computer science, Semantics (computer science), Software requirements specification, 020207 software engineering, System requirements specification, 02 engineering and technology, Specification language, computer.software_genre, 020202 computer hardware & architecture, Language Of Temporal Ordering Specification, Formal specification, Formal language, 0202 electrical engineering, electronic engineering, information engineering, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1f3ef6b0840c18d6a465286c07116a31
https://doi.org/10.1007/978-3-319-40648-0_2