Pietro FERRARA

Qualifica
Professore Associato
Telefono
041 234 8425
E-mail
pietro.ferrara@unive.it
SSD
Informatica [INFO-01/A]
Sito web
www.unive.it/persone/pietro.ferrara (scheda personale)
 https://pietroferrara.github.io/
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B03 (edificio Zeta B)
Struttura
Centro temporaneo Progetto Ecosistema dell'Innovazione
Research Institute
Research Institute for Complexity

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2025 Articolo in Atti di convegno Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 329-337, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing
DOI - Scheda ARCA: 10278/5091431
2025 Articolo in Atti di convegno Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 338-347, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing
DOI - Scheda ARCA: 10278/5091430
2024 Articolo su rivista Ferrara P.; Arceri V.; Cortesi A. Challenges of software verification: the past, the present, the future in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 421-430 (ISSN 1433-2779)
DOI - Scheda ARCA: 10278/5070241
2024 Articolo su rivista Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536)
DOI - Scheda ARCA: 10278/5060921
2024 Articolo su rivista Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536)
DOI - Scheda ARCA: 10278/5083652
2024 Articolo su rivista Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca Inference of access policies through static analysis in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 797-821 (ISSN 1433-2779)
DOI - Scheda ARCA: 10278/5091727
2024 Articolo su rivista Negrini L.; Arceri V.; Cortesi A.; Ferrara P. Tarsis: An effective automata-based abstract domain for string analysis in JOURNAL OF SOFTWARE, vol. 36 (ISSN 2047-7481)
DOI - Scheda ARCA: 10278/5050041
2024 Articolo in Atti di convegno Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White Automating ROS2 Security Policies Extraction through Static Analysis , Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, Convegno: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
- Scheda ARCA: 10278/5062421
2024 Articolo in Atti di convegno Olivieri L.; Pasetto L.; Negrini L.; Ferrara P. European Union Data Act and Blockchain Technology: Challenges and New Directions , CEUR Workshop Proceedings, CEUR-WS, vol. 3791, Convegno: 6th Distributed Ledger Technology Workshop, DLT 2024, 2024 (ISSN 1613-0073)
- Scheda ARCA: 10278/5083061
2024 Articolo in Atti di convegno Zanatta, Giacomo; Ferrara, Pietro; Lisovenko, Teodors; Negrini, Luca; Caiazza, Gianluca; White, Ruffin Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 5-10, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024)
DOI - Scheda ARCA: 10278/5072661
2024 Articolo in Atti di convegno Negrini, Luca; Presotto, Sofia; Ferrara, Pietro; Zaffanella, Enea; Cortesi, Agostino Stability: An Abstract Domain for the Trend of Variation of Numerical Variables , NSAD 2024: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, ASSOC COMPUTING MACHINERY, pp. 10-17, Convegno: The 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
DOI - Scheda ARCA: 10278/5085612
2024 Articolo in Atti di convegno Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro Teaching Through Practice: Advanced Static Analysis with LiSA , Formal Methods Teaching, Springer, pp. 43-57, Convegno: 6th Formal Methods Teaching Workshop (FMTea 2024) (ISBN 9783031713781; 9783031713798) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/5072663
2023 Articolo su rivista Calzavara, S; Ferrara, P; Lucchese, C Certifying machine learning models against evasion attacks by program analysis in JOURNAL OF COMPUTER SECURITY, vol. 31, pp. 57-84 (ISSN 0926-227X)
DOI - Scheda ARCA: 10278/5020963
2023 Articolo su libro Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino LiSA: A Generic Framework for Multilanguage Static Analysis , Challenges of Software Verification, Springer Nature, vol. 238, pp. 19-42 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394)
DOI - Scheda ARCA: 10278/5031340
2023 Articolo su libro Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro Lifting String Analysis Domains , Challenges of Software Verification, Springer Nature, vol. 238, pp. 109-143 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394)
DOI - Scheda ARCA: 10278/5031341
2023 Prefazione/Postfazione Arceri V.; Cortesi A.; Ferrara P.; Olliaro M. Preface , Intelligent Systems Reference Library, Springer Science and Business Media Deutschland GmbH, vol. 238, pp. 5-6 (ISSN 1868-4394)
- Scheda ARCA: 10278/5049842
2023 Prefazione/Postfazione Ferrara P.; Hadarean L. Welcome from the Chairs , SOAP 2023 - Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with PLDI 2023, Association for Computing Machinery, Inc, pp. 3
- Scheda ARCA: 10278/5049843
2023 Articolo in Atti di convegno Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain , Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 263, Convegno: European Conference on Object-Oriented Programming (ECOOP) (ISBN 978-3-95977-281-5)
DOI - Scheda ARCA: 10278/5020965
2022 Articolo in Atti di convegno Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico Ensuring determinism in blockchain software with GoLiSA: an industrial experience report , SOAP 2022: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 23-29, Convegno: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450392747)
DOI - Scheda ARCA: 10278/5004420
2022 Articolo in Atti di convegno Arceri V.; Olliaro M.; Cortesi A.; Ferrara P. Relational String Abstract Domains , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 13182, pp. 20-42, Convegno: 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, 2022 (ISBN 978-3-030-94582-4; 978-3-030-94583-1)
DOI - Scheda ARCA: 10278/3754133
2021 Articolo su rivista Ferrara P.; Olivieri L.; Spoto F. Static Privacy Analysis by Flow Reconstruction of Tainted Data in INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, vol. 31, pp. 973-1016 (ISSN 0218-1940)
DOI - Scheda ARCA: 10278/5004098
2021 Articolo su rivista Ferrara P.; Mandal A.K.; Cortesi A.; Spoto F. Static analysis for discovering IoT vulnerabilities in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 23, pp. 71-88 (ISSN 1433-2779)
DOI - Scheda ARCA: 10278/3734701
2021 Articolo in Atti di convegno Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino Static analysis for dummies: experiencing LiSA , SOAP 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 1-6, Convegno: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450384681)
DOI - Scheda ARCA: 10278/3741476
2021 Articolo in Atti di convegno Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino Twinning Automata and Regular Expressions for String Static Analysis , Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Springer, vol. 12597, pp. 267-290, Convegno: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (ISBN 978-3-030-67066-5; 978-3-030-67067-2)
DOI - Scheda ARCA: 10278/3736434
2020 Articolo su rivista Pietro Ferrara, Agostino Cortesi, Fausto Spoto From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging in SCIENCE OF COMPUTER PROGRAMMING, vol. 191 (ISSN 0167-6423)
DOI - Scheda ARCA: 10278/3721692
2020 Articolo su libro Salvia R.; Cortesi A.; Ferrara P.; Spoto F. Intents Analysis of Android Apps for Confidentiality Leakage Detection , Advances in Intelligent Systems and Computing, Springer, vol. 1178, pp. 43-65 (ISBN 978-981-15-5746-0; 978-981-15-5747-7) (ISSN 2194-5357)
DOI - Scheda ARCA: 10278/3734702
2020 Articolo in Atti di convegno Pietro Ferrara, Luca Olivieri, Fausto Spoto BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results , Verification, Model Checking, and Abstract Interpretation, Springer Verlag, Convegno: 21th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3720935
2020 Articolo in Atti di convegno Calzavara S.; Ferrara P.; Lucchese C. Certifying decision trees against evasion attacks by program analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 12309, pp. 421-438, Convegno: 25th European Symposium on Research in Computer Security, ESORICS 2020, 2020 (ISBN 978-3-030-59012-3; 978-3-030-59013-0)
DOI - Scheda ARCA: 10278/3731397
2020 Articolo in Atti di convegno Amit Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto Cross-Program Taint Analysis for IoT Systems , ACM Symposium on Applied Computing, Association for Computing Machinery, Inc, Convegno: 35th ACM Symposium on Applied Computing (SAC 2020)
DOI - Scheda ARCA: 10278/3720937
2020 Articolo in Atti di convegno Ferrara P.; Negrini L. SARL: OO Framework Specification for Static Analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, vol. 12549, pp. 3-20, Convegno: 12th International Conference on Verified Software, VSTTE 2020, and 13th International Workshop on Numerical Software Verification, NSV 2020, 2020 (ISBN 978-3-030-63617-3; 978-3-030-63618-0) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3738620
2019 Articolo su rivista Pietro Ferrara; Amit Kr Mandal; Agostino Cortesi; Fausto Spoto Cross-Programming Language Taint Analysis for the IoT Ecosystem in ELECTRONIC COMMUNICATIONS OF THE EASST, vol. 77 (ISSN 1863-2122)
DOI - Scheda ARCA: 10278/3720831
2019 Articolo su rivista Fausto Spoto; Elisa Burato; Michael D. Ernst; Pietro Ferrara; Alberto Lovato; Damiano Macedonio; Ciprian Spiridon Static Identification of Injection Attacks in Java in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 41, pp. 1-58 (ISSN 0164-0925)
DOI - URL correlato - Scheda ARCA: 10278/3730032
2019 Articolo su rivista Mandal, Amit Kr; Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto Static analysis of Android Auto infotainment and on‐board diagnostics II apps in SOFTWARE-PRACTICE & EXPERIENCE, vol. 49, pp. 1131-1161 (ISSN 0038-0644)
DOI - Scheda ARCA: 10278/3714436
2018 Articolo su rivista Agostino Cortesi, Pietro Ferrara , Raju Halder , Matteo Zanioli Combining symbolic and numerical domains for information leakage analysis in TRANSACTIONS ON COMPUTATIONAL SCIENCE, vol. 31, pp. 98-135 (ISSN 1866-4733)
DOI - Scheda ARCA: 10278/3702275
2018 Articolo in Atti di convegno Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto CIL to Java-bytecode translation for static analysis leveraging in Pietro Ferrara, Agostino Cortesi, Fausto Spoto, Proceedings - International Conference on Software Engineering in PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, IEEE Computer Society, pp. 40-49, Convegno: 6th ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, 2018 (ISBN 9781450357180) (ISSN 0270-5257)
DOI - Scheda ARCA: 10278/3703089
2018 Articolo in Atti di convegno Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi SDLI: Static Detection of Leaks Across Intents , Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, Institute of Electrical and Electronics Engineers Inc., pp. 1002-1007, Convegno: 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, 2018 (ISBN 9781538643877)
DOI - URL correlato - Scheda ARCA: 10278/3706889
2018 Articolo in Atti di convegno Pietro Ferrara; Fausto Spoto Static Analysis for GDPR Compliance , Proceedings of the Second Italian Conference on Cyber Security (ITASEC 2018), CEUR Workshop Proceedings, vol. 2058, pp. 1-10, Convegno: Second Italian Conference on Cyber Security (ITASEC 2018), February 2018
- URL correlato - Scheda ARCA: 10278/3730033
2018 Articolo in Atti di convegno Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro*; Mandal, Amit Kr; Spoto, Fausto Static analysis of android apps interaction with automotive CAN , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11344, pp. 114-123, Convegno: 3rd International Conference on Smart Computing and Communications, SmartCom 2018, 2018 (ISBN 9783030057541)
DOI - URL correlato - Scheda ARCA: 10278/3708770
2018 Articolo in Atti di convegno Ferrara, Pietro; Luca Olivieri; Fausto Spoto Tailoring Taint Analysis to GDPR , Proceedings of Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, Springer, vol. Lecture Notes in Computer Science, pp. 63-76, Convegno: Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, June (ISBN 978-3-030-02546-5)
DOI - URL correlato - Scheda ARCA: 10278/3730034
2018 Articolo in Atti di convegno Mandal, Amit Kr; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Fausto Vulnerability analysis of android auto infotainment apps in Mandal, Amit Kr, 2018 ACM International Conference on Computing Frontiers, CF 2018 - Proceedings, Association for Computing Machinery, Inc, pp. 183-190, Convegno: 15th ACM International Conference on Computing Frontiers, CF 2018, 2018 (ISBN 9781450357616)
DOI - URL correlato - Scheda ARCA: 10278/3703090
2017 Articolo in Atti di convegno Piorkowski D; Penney S; Henley A.Z.; Pistoia M; Burnett M; Tripp O; Ferrara P Foraging goes mobile: Foraging while debugging on mobile devices , Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, ACM, Convegno: VL/HCC 2017
DOI - Scheda ARCA: 10278/3730038
2017 Articolo in Atti di convegno Ferrara, Pietro; BURATO, Elisa; SPOTO, Nicola Fausto Security Analysis of the OWASP Benchmark with Julia , Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), CEUR Workshop Proceedings, vol. 1816, pp. 242-247, Convegno: First Italian Conference on Cybersecurity (ITASEC17), January
- URL correlato - Scheda ARCA: 10278/3730036
2017 Articolo in Atti di convegno Ferrara P; Tripp O; Liu P; Koskinen E Using abstract interpretation to correct synchronization faults , 8th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, Springer, Convegno: VMCAI 2017
DOI - Scheda ARCA: 10278/3730035
2017 Articolo in Atti di convegno Aydin A; Piorkowski D; Tripp O; Ferrara P; Pistoia M Visual configuration of mobile privacy policies , FASE 2017: Fundamental Approaches to Software Engineering, Springer, Convegno: FASE 2017
DOI - Scheda ARCA: 10278/3730037
2016 Articolo su rivista Ferrara P A generic framework for heap and value analyses of object-oriented programming languages in THEORETICAL COMPUTER SCIENCE, vol. 631, pp. 43-72 (ISSN 0304-3975)
DOI - Scheda ARCA: 10278/3730030
2016 Articolo in Atti di convegno Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico DAPA: Degradation-Aware Privacy Analysis of Android Apps , Security and Trust Management, Lecture Notes in Computer Science, Volume 9871, SPRINGER, vol. 9871, pp. 32-46, Convegno: STM 2016, 2016 (ISBN 978-331946597-5)
DOI - Scheda ARCA: 10278/3684287
2016 Articolo in Atti di convegno Tsankov P; Pistoia M; Tripp O; Vechev M; Ferrara P FASE: Functionality-aware security enforcement , 32nd Annual Computer Security Applications Conference, ACSAC 2016, Association for Computing Machinery, vol. 5-9-, pp. 471-483, Convegno: 32nd Annual Computer Security Applications Conference, ACSAC 2016, 2016 (ISBN 9781450347716)
DOI - Scheda ARCA: 10278/3730041
2016 Articolo in Atti di convegno Tripp O; Pistoia M; Ferrara P; Rubin J Pinpointing mobile malware using code analysis , IEEE/ACM International Conference on Mobile Software Engineering and Systems, MobileSoft 2016, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 275-276, Convegno: MobileSoft 2016
DOI - Scheda ARCA: 10278/3730040
2015 Articolo su rivista Costantini, Giulia; Ferrara, Pietro.; Cortesi, Agostino A suite of abstract domains for static analysis of string values in SOFTWARE-PRACTICE & EXPERIENCE, John Wiley and Sons Ltd, vol. 45, pp. 245-287 (ISSN 0038-0644)
DOI - URL correlato - Scheda ARCA: 10278/37774
2015 Articolo su rivista Cortesi, A.; Costantini, G.; Ferrara, P. The abstract domain of Trapezoid Step Functions in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 43, pp. 41-68 (ISSN 1477-8424)
DOI - URL correlato - Scheda ARCA: 10278/3661627
2015 Articolo in Atti di convegno Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications , Verification, Model Checking, and Abstract Interpretation, Springer Verlag, vol. 8931, pp. 61-79, Convegno: 16th International Conference on verification, Model Checking and Abstract Interpretation, VMCAI 2015, January 12-14, 2015. (ISBN 978-3-662-46080-1; 978-3-662-46081-8) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/3661631
2015 Articolo in Atti di convegno Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis in Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp, Computer Information Systems and Industrial Management, Springer, vol. 9339, pp. 3-23, Convegno: 14th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2015, September 24–26, 2015. (ISBN 978-3-319-24368-9; 978-3-319-24369-6) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/3661633
2014 Articolo in Atti di convegno CORTESI A.; FERRARA P.; CHAKI N. Static Analysis Techniques for Robotics Software Verification , 44th International Symposium on Robotics (ISR), IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: link esterno , Fax: (732)981-9667, Convegno: 44th International Symposium on Robotics, 26-28 November, 2013
DOI - Scheda ARCA: 10278/39569
2013 Articolo su rivista A.CORTESI; G.COSTANTINI; P.FERRARA A Survey on Product Operators in Abstract Interpretation in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 129, pp. 325-336 (ISSN 2075-2180)
DOI - URL correlato - Scheda ARCA: 10278/38043
2013 Articolo in Atti di convegno Costantini G. ; Ferrara P. ; Maggiore G.; Cortesi A. The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software , Formal Methods and Software Engineering, Heidelberg, Springer Verlag, vol. 8144, pp. 447-463, Convegno: IEEE International Conference on Software Engineering Methods, ICFEM 2013, October 29 - November 1, 2013 (ISBN 9783642412011) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/37776
2012 Articolo in Atti di convegno COSTANTINI G.; FERRARA P.; CORTESI A. Linear approximation of continuous systems with Trapezoid Step Functions in Jhala, Ranjit; Igarashi, Atsushi, Programming Languages and Systems, Berlin, Springer-Verlag, vol. 7705, pp. 98-114, Convegno: Programming Languages and Systems, 10th Asian Symposium, APLAS 2012, December 11-13, 2012, (ISBN 9783642351815) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/37157
2012 Articolo in Atti di convegno ZANIOLI M.; FERRARA P.; CORTESI A. SAILS: Static Analysis of Information Leakage with Sample , Proceedings of the 27th ACM Symposium on Applied Computing, ACM Press, pp. 1308-1313, Convegno: ACM SAC 2012, March 26-30 (ISBN 9781450308571)
DOI - Scheda ARCA: 10278/27119
2011 Articolo in Atti di convegno COSTANTINI G.; FERRARA P.; CORTESI A. Static Analysis of String Values in Shengchao Qin and Zongyan Qiu, Formal Methods and Software Engineering, Heidelberg, Germany: Springer Verlag Germany, vol. 6991, pp. 505-521, Convegno: IEEE International Conference on Software Engineering Methods, ICFEM 2011, October 26-28, 2011 (ISBN 9783642245589) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/28241
2009 Articolo in Atti di convegno Ferrara P Checkmate: A generic static analyzer of Java multithreaded programs , 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods (ISBN 978-0-7695-3870-9)
DOI - Scheda ARCA: 10278/3722369
2008 Articolo su rivista FERRARA P; FRANCESCO LOGOZZO; MANUEL FAHNDRICH Safer unsafe code for .NET in ACM SIGPLAN NOTICES, vol. 43, pp. 329-346 (ISSN 1523-2867)
- Scheda ARCA: 10278/3722363
2008 Articolo in Atti di convegno Ferrara P; Logozzo F; Fahndrich M Safer unsafe code for .net , Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2008 (ISBN 978-160558215-3)
DOI - Scheda ARCA: 10278/3722366
2008 Articolo in Atti di convegno Ferrara P Static analysis of the determinism of multithreaded programs , 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, Convegno: SEFM 2008 (ISBN 978-0-7695-3437-4)
DOI - Scheda ARCA: 10278/3722368
2008 Articolo in Atti di convegno Ferrara P Static analysis via abstract interpretation of the happens-before memory model , Proceedings of TAP 2008 (ISBN 978-3-540-79123-2)
DOI - Scheda ARCA: 10278/3722365
2006 Articolo in Atti di convegno FERRARA P JAIL: Firewall Analysis of Java Card by Abstract Interpretation , Proceedings of the 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), Convegno: Emerging Applications of Abstract Interpretation, 26/03/2006
- Scheda ARCA: 10278/3722370

Pubblicazioni scelte