-
1
المؤلفون: Gabriela F. Ciocarlie, Michael Emmi, Michael E. Locasto, Tancrède Lepoint, Ulf Lindqvist, Prashant Anantharaman, Bogdan Copos, Ioannis Agadakos, Liwei Song
المصدر: Modeling and Design of Secure Internet of Things
مصطلحات موضوعية: Computer science, business.industry, Telecommunications, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0a5e7911455297e7bf9c2568bb6aa9f1
https://doi.org/10.1002/9781119593386.ch9 -
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 -
3
المؤلفون: Shaobo He, Michael Emmi, Gabriela F. Ciocarlie
المصدر: ICST
مصطلحات موضوعية: FOS: Computer and information sciences, Model checking, Class (computer programming), Computer science, business.industry, 010102 general mathematics, 020207 software engineering, 02 engineering and technology, Fuzz testing, Abstract interpretation, 01 natural sciences, Software Engineering (cs.SE), Computer Science - Software Engineering, Software, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Information leakage, 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, Software analysis pattern, Software engineering, business, Memory safety
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e76f449fe9556bfead3622af30cb978f
https://doi.org/10.1109/icst46399.2020.00063 -
4كتاب إلكتروني
المؤلفون: Cezara Dragoi, Michael Emmi, Jingbo Wang
نوع المادة: eBook.
الموضوعات: Computer science, Computer science—Mathematics, Logic programming, Computers, Special purpose, Software engineering, Microprogramming
تصنيفات: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, MATHEMATICS / Applied
-
5
المؤلفون: Dejan Jovanović, Constantin Enea, Michael Emmi, Siddharth Krishna
المصدر: Programming Languages and Systems ISBN: 9783030449131
ESOP
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems-29th European Symposium on Programming, {ESOP} 2020مصطلحات موضوعية: Weak consistency, Computer science, Distributed computing, Visibility (geometry), Strong consistency, 020207 software engineering, 02 engineering and technology, Blocking (computing), Linearization, Synchronization (computer science), 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), 020201 artificial intelligence & image processing, Queue
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88d673589176ecb54866acbd0cb59be7
https://doi.org/10.1007/978-3-030-44914-8_11 -
6
المؤلفون: Michael Emmi, Ioannis Agadakos, Nandi O. Leslie, Jemin George, Bogdan Copos, James Michaelis, Gabriela F. Ciocarlie
المصدر: MILCOM
مصطلحات موضوعية: Knowledge management, Battlefield, business.industry, Computer science, The Internet, Adversary, Resilience (network), Asset (computer security), business, Internet of Things
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bc65717b61939b39723870085f5d2956
https://doi.org/10.1109/milcom47813.2019.9020774 -
7
المؤلفون: Constantin Enea, Michael Emmi
المصدر: Proc. {ACM} Program. Lang.
مصطلحات موضوعية: Weak consistency, Java, Programming language, business.industry, Computer science, Concurrency, Visibility (geometry), 020207 software engineering, 02 engineering and technology, computer.software_genre, Consistency (database systems), Annotation, Software, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, business, computer, Implementation, computer.programming_language
-
8
المؤلفون: Michael Emmi, Constantin Enea
المصدر: POPL
مصطلحات موضوعية: Theoretical computer science, Linearizability, Computer science, Programming language, Concurrency, Inference, 020207 software engineering, 02 engineering and technology, Abstract data type, computer.software_genre, Computer Graphics and Computer-Aided Design, Formal specification, Scalability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software system, Implementation, computer, Software
-
9
المؤلفون: Konstantinos Athanasiou, Byron Cook, Michael Emmi, Daniel Schwartz-Narbonne, Colm MacCarthaigh, Serdar Tasiran
المصدر: Lecture Notes in Computer Science ISBN: 9783030035914
VSTTEمصطلحات موضوعية: 021110 strategic, defence & security studies, Correctness, Process (engineering), Computer science, Distributed computing, 0211 other engineering and technologies, 020207 software engineering, 02 engineering and technology, Continuous integration, Range (mathematics), Countermeasure, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Cryptosystem, Implementation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::57ab164971e342ccb625e8de92db47b7
https://doi.org/10.1007/978-3-030-03592-1_12 -
10
المؤلفون: Michael Emmi, Constantin Enea
المساهمون: SRI International, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Enea, Constantin
المصدر: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2017مصطلحات موضوعية: Correctness, Theoretical computer science, Linearizability, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Concurrent data structure, Computer science, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, Horn-satisfiability, Abstract data type, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, Enumeration, Leverage (statistics), Safety, Risk, Reliability and Quality, Queue, Software, ComputingMilieux_MISCELLANEOUS
وصف الملف: application/pdf