المؤلفون: Corradini, Davide, Montolli, Zeno, Pasqua, Michele, Ceccato, Mariano

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2408.08594

المؤلفون: Corradini, Davide, Pasqua, Michele, Ceccato, Mariano

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2301.01261

المؤلفون: Pasqua, Michele, Ceccato, Mariano, Tonella, Paolo

المساهمون: Pasqua, Michele, Ceccato, Mariano, Tonella, Paolo

مصطلحات موضوعية: Search-based testing, Hyperproperties, Information flows, Security testing, Code coverage criteria

Relation: ispartofbook:Proceedings of the IEEE/ACM 46th International Conference on Software Engineering; International Conference on Software Engineering; firstpage:1405; lastpage:1416; numberofpages:12; https://hdl.handle.net/11562/1124786

الاتاحة: https://hdl.handle.net/11562/1124786
https://doi.org/10.1145/3597503.3640323

المؤلفون: Corradini, Davide, Zampieri, Amedeo, Pasqua, Michele, Ceccato, Mariano

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2108.08209

المؤلفون: Corradini, Davide, Zampieri, Amedeo, Pasqua, Michele, Ceccato, Mariano

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2108.08196

المؤلفون: Pasqua, Michele, Miculan, Marino

المساهمون: Pasqua, Michele, Miculan, Marino

مصطلحات موضوعية: ECA rules, IoT programming, Distributed systems, Bisimulations, Formal methods, Autonomic computing, Verification

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001220916700001; volume:998; firstpage:1; lastpage:22; numberofpages:22; journal:THEORETICAL COMPUTER SCIENCE; https://hdl.handle.net/11562/1123887

الاتاحة: https://hdl.handle.net/11562/1123887
https://doi.org/10.1016/j.tcs.2024.114537

المؤلفون: Balliu, Musard, Merro, Massimo, Pasqua, Michele, Shcherbakov, Mikhail

المصدر: JointForce TrustFull ACM Transactions on Privacy and Security (TOPS). 24(3):1-40

مصطلحات موضوعية: Cloud-based IoT platform, IoT application security, cross-app interference

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-288489
https://kth.diva-portal.org/smash/get/diva2:1514173/FULLTEXT01.pdf

المؤلفون: Pasqua, Michele, Miculan, Marino

المصدر: Theoretical Computer Science ; volume 958, page 113841 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/j.tcs.2023.113841
https://api.elsevier.com/content/article/PII:S0304397523001548?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0304397523001548?httpAccept=text/plain

المؤلفون: Pasqua, Michele, Benini, Andrea, Contro, Filippo, Crosara, Marco, Dalla Preda, Mila, Ceccato, Mariano

المصدر: Journal of Systems and Software ; volume 200, page 111653 ; ISSN 0164-1212

الاتاحة: http://dx.doi.org/10.1016/j.jss.2023.111653
https://api.elsevier.com/content/article/PII:S0164121223000481?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0164121223000481?httpAccept=text/plain

المؤلفون: Balliu, Musard, Merro, Massimo, Pasqua, Michele

المصدر: 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) Proceedings - IEEE Computer Security Foundations Symposium. :319-334

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-251321
https://doi.org/10.1109/CSF.2019.00029
https://web.stevens.edu/csf2019/cfp.html
https://kth.diva-portal.org/smash/get/diva2:1315086/FULLTEXT01.pdf

المؤلفون: Pasqua, Michele, Comuzzo, Massimo, Miculan, Marino

المساهمون: Pasqua, Michele, Comuzzo, Massimo, Miculan, Marino

مصطلحات موضوعية: Internet of Things, Smart devices, Programming, ECA rules, attribute-based memory updates, distributed systems, edge computing

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000906216000001; volume:10; firstpage:132763; lastpage:132776; numberofpages:14; journal:IEEE ACCESS; https://hdl.handle.net/11390/1239226; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85144798923

الاتاحة: https://hdl.handle.net/11390/1239226
https://doi.org/10.1109/ACCESS.2022.3230287

المؤلفون: Pasqua, Michele, Ceccato, Mariano, Tonella, Paolo

المساهمون: Pasqua, Michele

Relation: https://doi.org/10.5281/zenodo.10451087; https://doi.org/10.5281/zenodo.10451088; oai:zenodo.org:10451088

الاتاحة: https://doi.org/10.5281/zenodo.10451088

المؤلفون: Balliu, Musard, Merro, Massimo, Pasqua, Michele

مصطلحات موضوعية: Electrical Engineering, Electronic Engineering, Information Engineering, Elektroteknik och elektronik

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

Relation: https://www.cambridge.org/core/what-we-publish/textbooks#

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-268946

المؤلفون: Corradini, Davide, Montolli, Zeno, Pasqua, Michele, Ceccato, Mariano

Relation: https://doi.org/10.5281/zenodo.11525389; https://doi.org/10.5281/zenodo.13745242; oai:zenodo.org:13745242

الاتاحة: https://doi.org/10.5281/zenodo.13745242

المؤلفون: Mastroeni, Isabella, Pasqua, Michele

المصدر: Static Analysis ; Lecture Notes in Computer Science ; page 434-459 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031442445 9783031442452

الاتاحة: http://dx.doi.org/10.1007/978-3-031-44245-2_19
https://link.springer.com/content/pdf/10.1007/978-3-031-44245-2_19

المؤلفون: Kim, Myeongsoo, Corradini, Davide, Sinha, Saurabh, Orso, Alessandro, Pasqua, Michele, Tzoref-Brill, Rachel, Ceccato, Mariano

المساهمون: European Union's Horizon Europe research and innovation programme, Italian Ministry of University and Research - PON programme for Research and Innovation (Action IV.6), NSF (National Science Foundation), DARPA, DOE U.S. Department of Energy

المصدر: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

الاتاحة: http://dx.doi.org/10.1145/3597926.3598131
https://dl.acm.org/doi/pdf/10.1145/3597926.3598131

المؤلفون: Pasqua, Michele, Miculan, Marino

Relation: https://doi.org/10.5281/zenodo.5570331; https://doi.org/10.5281/zenodo.5570332; oai:zenodo.org:5570332

الاتاحة: https://doi.org/10.5281/zenodo.5570332

المؤلفون: Miculan, Marino, Pasqua, Michele

Relation: https://doi.org/10.5281/zenodo.5057164; https://doi.org/10.5281/zenodo.5057165; oai:zenodo.org:5057165

الاتاحة: https://doi.org/10.5281/zenodo.5057165

المؤلفون: MASTROENI, Isabella, PASQUA, MICHELE

المساهمون: F. Ranzato, Mastroeni, Isabella, Pasqua, Michele

مصطلحات موضوعية: Hyperproperties, Program semantics, Program analysis

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000455332000012; ispartofbook:24th Static Analysis Symposium; STATIC ANALYSIS SYMPOSIUM; volume:10422; firstpage:232; lastpage:252; numberofpages:21; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:F. Ranzato; http://hdl.handle.net/11562/966763; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85028668179

الاتاحة: http://hdl.handle.net/11562/966763
https://doi.org/10.1007/978-3-319-66706-5_12

المؤلفون: Gaiardelli, Sebastiano, Spellini, Stefano, Pasqua, Michele, Ceccato, Mariano, Fummi, Franco

المساهمون: Gaiardelli, Sebastiano, Spellini, Stefano, Pasqua, Michele, Ceccato, Mariano, Fummi, Franco

مصطلحات موضوعية: Smart contracts, System modeling language, Blockchains

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-6654-8025-3; ispartofbook:IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society; Annual Conference of the Industrial Electronics Society IECON 2022 Conference; firstpage:1; lastpage:6; numberofpages:6; https://hdl.handle.net/11562/1080676; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85143910222

الاتاحة: https://hdl.handle.net/11562/1080676
https://doi.org/10.1109/IECON49645.2022.9968887