المؤلفون: Brown, Geoffrey M., Lee Pike

المصدر: 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) Formal Methods and Models for Codesign, 2007. MEMOCODE 2007. 5th IEEE/ACM International Conference on. :171-180 Jun, 2007

Relation: 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)

المؤلفون: Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

المصدر: ESEC/FSE '22

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::734bf160548e032e5e1a9e22d97c964d
https://hdl.handle.net/21.11116/0000-000B-B550-E21.11116/0000-000B-B54E-2

المؤلفون: Lee Pike, Aritra Sengupta, Martin Schäf, Michael Emmi, Willem Visser, Nicolás Rosner, Ranjit Jhala, Liana Hadarean

المصدر: ESEC/SIGSOFT FSE

مصطلحات موضوعية: business.industry, Software deployment, Computer science, Software security assurance, Scale (chemistry), Code (cryptography), Cloud computing, Software engineering, business, Heuristics, Automaton, Variety (cybernetics)

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

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

المؤلفون: B. F. Jones, Lee Pike, Brendan Hall, Srivatsan Varadarajan

المصدر: Journal of Aerospace Information Systems. 15:640-664

مصطلحات موضوعية: 020301 aerospace & aeronautics, Thesaurus (information retrieval), Computer science, business.industry, Aerospace Engineering, Fault tolerance, 02 engineering and technology, Avionics, Integrated modular avionics, Computer Science Applications, Embedded software, 0203 mechanical engineering, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Software engineering, business, Real-time operating system, Failure mode and effects analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cc9829053928658bdc416ef7bd66e243
https://doi.org/10.2514/1.i010598

المؤلفون: Goshima, Kaoru R., Mills, Joseph L., Sr., Awari, Kelly, Lee Pike, Steven, Hughes, John D.

المصدر: In Anales de Cirugia Vascular 2008 22(3):357-364

المؤلفون: Goshima, Kaoru R., Mills, Joseph L., Sr., Awari, Kelly, Lee Pike, Steven, Hughes, John D.

المصدر: In Annales de Chirurgie Vasculaire 2008 22(3):356-362

المؤلفون: Laura Humphrey, Lee Pike, Trevor Elliott, Ufuk Topcu, Mohammed Alshiekh

المصدر: ICRA

مصطلحات موضوعية: Programming language, business.industry, Computer science, media_common.quotation_subject, 020207 software engineering, 02 engineering and technology, computer.software_genre, Simulation software, Workflow, Software, Debugging, Control theory, Control system, 0202 electrical engineering, electronic engineering, information engineering, Robot, 020201 artificial intelligence & image processing, Macro, business, computer, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::17900ea1b5100cef640c1ce739f7de27
https://doi.org/10.1109/icra.2019.8793722

المؤلفون: Aaron Tomb, Lee Pike, Mark Tullsen, Nathan Collins

المصدر: Computer Aided Verification ISBN: 9783319961415
CAV (2)

مصطلحات موضوعية: Correctness, Computer science, Programming language, computer.internet_protocol, Symbolic simulation, 020206 networking & telecommunications, Data_CODINGANDINFORMATIONTHEORY, 02 engineering and technology, computer.software_genre, Symbolic execution, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, Abstract Syntax Notation One, computer, Memory safety, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9b705a8833c80b494356566d356e963a
https://doi.org/10.1007/978-3-319-96142-2_25

المؤلفون: George Coker, Peter Loscocco, Lee Pike, Perry Alexander

المصدر: ACM Transactions on Information and System Security. 18:1-25

مصطلحات موضوعية: Model checking, General Computer Science, business.industry, Computer science, Distributed computing, Access control, Hypervisor, computer.software_genre, Virtualization, Mandatory access control, Stateful firewall, Virtual machine, Role-based access control, Safety, Risk, Reliability and Quality, business, computer

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