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

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

المؤلفون: Cezara Dragoi, Michael Emmi, Jingbo Wang

Resource Type: eBook.

الموضوعات: Computer science, Computer science—Mathematics, Logic programming, Computers, Special purpose, Software engineering, Microprogramming

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, MATHEMATICS / Applied

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

المؤلفون: Ahmed Bouajjani, Michael Emmi

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-tacas-BouajjaniE12.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.5323; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-tacas-BouajjaniE12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.5323
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-tacas-BouajjaniE12.pdf

المؤلفون: Michael Emmi, Akash Lal, Shaz Qadeer

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-fse-EmmiLQ12.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging General Terms Algorithms, Reliability, Testing, Verification Keywords Concurrency, Asynchronous programs, Sequentializa- tion

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.636.6710; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-fse-EmmiLQ12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.636.6710
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-fse-EmmiLQ12.pdf

المؤلفون: Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-cav-AtigBEL12.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.636.4192; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-cav-AtigBEL12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.636.4192
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-cav-AtigBEL12.pdf

المؤلفون: Michael Emmi, Akash Lal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-sas-EmmiL12.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.636.3744; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-sas-EmmiL12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.636.3744
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-sas-EmmiL12.pdf

المؤلفون: Ahmed Bouajjani, Michael Emmi

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/journals-sttt-BouajjaniE13.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.4059; http://www.liafa.univ-paris-diderot.fr/~mje/papers/journals-sttt-BouajjaniE13.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.4059
http://www.liafa.univ-paris-diderot.fr/~mje/papers/journals-sttt-BouajjaniE13.pdf

المؤلفون: Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://research.microsoft.com/pubs/161928/conf-cav-AtigBEL12.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.394.3015; http://research.microsoft.com/pubs/161928/conf-cav-AtigBEL12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.394.3015
http://research.microsoft.com/pubs/161928/conf-cav-AtigBEL12.pdf

المؤلفون: Ahmed Bouajjani, Michael Emmi, Gennaro Parlato

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/64/10/01/PDF/hal-tr.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.2629; http://hal.inria.fr/docs/00/64/10/01/PDF/hal-tr.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.2629
http://hal.inria.fr/docs/00/64/10/01/PDF/hal-tr.pdf

المؤلفون: Ahmed Bouajjani, Michael Emmi

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/64/09/47/PDF/hal-tr.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.2508; http://hal.inria.fr/docs/00/64/09/47/PDF/hal-tr.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.2508
http://hal.inria.fr/docs/00/64/09/47/PDF/hal-tr.pdf

المؤلفون: Michael Emmi, Shaz Qadeer

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-popl-EmmiQR11.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging General Terms Algorithms, Reliability, Testing, Verification Keywords Concurrency, Asynchronous programs, Delay, Sequen

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.7469; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-popl-EmmiQR11.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.7469
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-popl-EmmiQR11.pdf

المؤلفون: Ahmed Bouajjani, Michael Emmi, Gennaro Parlato

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-sas-BouajjaniEP11.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.5630; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-sas-BouajjaniEP11.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.5630
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-sas-BouajjaniEP11.pdf

المؤلفون: Michael Emmi, Rupak Majumdar, Roman Manevich

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-pldi-EmmiMM10.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.1.3 [Programming tech- niques, Concurrent Programming, D.2.4 [Software engineering, Software/Program Verification General Terms Reliability, Verification Keywords Transactional memory, Parameterized verification

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.72; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-pldi-EmmiMM10.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.72
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-pldi-EmmiMM10.pdf

المؤلفون: Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://research.microsoft.com/pubs/138569/msr-tr-2010-123.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.5186; http://research.microsoft.com/pubs/138569/msr-tr-2010-123.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.5186
http://research.microsoft.com/pubs/138569/msr-tr-2010-123.pdf

المؤلفون: Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-tacas-EmmiJKM09.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.641; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-tacas-EmmiJKM09.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.641
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-tacas-EmmiJKM09.pdf

المؤلفون: Michael Emmi, Dimitra Giannakopoulou, Corina S. Păsăreanu

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-fm-EmmiGP08.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.5320; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-fm-EmmiGP08.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.5320
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-fm-EmmiGP08.pdf

المؤلفون: Michael Emmi, Rupak Majumdar

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.ucla.edu/~mje/publications/vmcai2007-paper.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.7591; http://www.cs.ucla.edu/~mje/publications/vmcai2007-paper.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.7591
http://www.cs.ucla.edu/~mje/publications/vmcai2007-paper.pdf

المؤلفون: Michael Emmi, Rupak Majumdar, Koushik Sen

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-issta-EmmiMS07.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and debugging. D.2.4 [Software En- gineering, Software/Program Verication. General Terms

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6296; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-issta-EmmiMS07.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6296
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-issta-EmmiMS07.pdf