Pietro FERRARA
- Position
- Associate Professor
- Telephone
- 041 234 8425
-
pietro.ferrara@unive.it
- Scientific sector (SSD)
- Informatica [INFO-01/A]
- Website
-
www.unive.it/people/pietro.ferrara (personal record)
https://pietroferrara.github.io/
- Office
-
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B03 (Zeta B building)
Publications
| Year | Type | Publication |
|---|---|---|
| Year | Type | Publication |
|
|
||
| 2025 | Article in Conference Proceedings |
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 - ARCA card: 10278/5091431 |
| 2025 | Article in Conference Proceedings |
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 - ARCA card: 10278/5091430 |
| 2024 | Journal Article |
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 - ARCA card: 10278/5070241 |
| 2024 | Journal Article |
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 - ARCA card: 10278/5060921 |
| 2024 | Journal Article |
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 - ARCA card: 10278/5083652 |
| 2024 | Journal Article |
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 - ARCA card: 10278/5091727 |
| 2024 | Journal Article |
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 - ARCA card: 10278/5050041 |
| 2024 | Article in Conference Proceedings |
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) - ARCA card: 10278/5062421 |
| 2024 | Article in Conference Proceedings |
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) - ARCA card: 10278/5083061 |
| 2024 | Article in Conference Proceedings |
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 - ARCA card: 10278/5072661 |
| 2024 | Article in Conference Proceedings |
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 - ARCA card: 10278/5085612 |
| 2024 | Article in Conference Proceedings |
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 - ARCA card: 10278/5072663 |
| 2023 | Journal Article |
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 - ARCA card: 10278/5020963 |
| 2023 | Book Article |
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 - ARCA card: 10278/5031340 |
| 2023 | Book Article |
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 - ARCA card: 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) - ARCA card: 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 - ARCA card: 10278/5049843 |
| 2023 | Article in Conference Proceedings |
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 - ARCA card: 10278/5020965 |
| 2022 | Article in Conference Proceedings |
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 - ARCA card: 10278/5004420 |
| 2022 | Article in Conference Proceedings |
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 - ARCA card: 10278/3754133 |
| 2021 | Journal Article |
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 - ARCA card: 10278/5004098 |
| 2021 | Journal Article |
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 - ARCA card: 10278/3734701 |
| 2021 | Article in Conference Proceedings |
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 - ARCA card: 10278/3741476 |
| 2021 | Article in Conference Proceedings |
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 - ARCA card: 10278/3736434 |
| 2020 | Journal Article |
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 - ARCA card: 10278/3721692 |
| 2020 | Book Article |
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 - ARCA card: 10278/3734702 |
| 2020 | Article in Conference Proceedings |
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 - ARCA card: 10278/3720935 |
| 2020 | Article in Conference Proceedings |
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 - ARCA card: 10278/3731397 |
| 2020 | Article in Conference Proceedings |
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 - ARCA card: 10278/3720937 |
| 2020 | Article in Conference Proceedings |
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 - ARCA card: 10278/3738620 |
| 2019 | Journal Article |
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 - ARCA card: 10278/3720831 |
| 2019 | Journal Article |
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 - ARCA card: 10278/3730032 |
| 2019 | Journal Article |
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 - ARCA card: 10278/3714436 |
| 2018 | Journal Article |
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 - ARCA card: 10278/3702275 |
| 2018 | Article in Conference Proceedings |
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 - ARCA card: 10278/3703089 |
| 2018 | Article in Conference Proceedings |
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 - ARCA card: 10278/3706889 |
| 2018 | Article in Conference Proceedings |
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 - ARCA card: 10278/3730033 |
| 2018 | Article in Conference Proceedings |
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 - ARCA card: 10278/3708770 |
| 2018 | Article in Conference Proceedings |
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 - ARCA card: 10278/3730034 |
| 2018 | Article in Conference Proceedings |
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 - ARCA card: 10278/3703090 |
| 2017 | Article in Conference Proceedings |
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 - ARCA card: 10278/3730038 |
| 2017 | Article in Conference Proceedings |
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 - ARCA card: 10278/3730036 |
| 2017 | Article in Conference Proceedings |
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 - ARCA card: 10278/3730035 |
| 2017 | Article in Conference Proceedings |
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 - ARCA card: 10278/3730037 |
| 2016 | Journal Article |
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 - ARCA card: 10278/3730030 |
| 2016 | Article in Conference Proceedings |
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 - ARCA card: 10278/3684287 |
| 2016 | Article in Conference Proceedings |
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 - ARCA card: 10278/3730041 |
| 2016 | Article in Conference Proceedings |
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 - ARCA card: 10278/3730040 |
| 2015 | Journal Article |
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 - ARCA card: 10278/37774 |
| 2015 | Journal Article |
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 - ARCA card: 10278/3661627 |
| 2015 | Article in Conference Proceedings |
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 - ARCA card: 10278/3661631 |
| 2015 | Article in Conference Proceedings |
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 - ARCA card: 10278/3661633 |
| 2014 | Article in Conference Proceedings |
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 - ARCA card: 10278/39569 |
| 2013 | Journal Article |
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 - ARCA card: 10278/38043 |
| 2013 | Article in Conference Proceedings |
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 - ARCA card: 10278/37776 |
| 2012 | Article in Conference Proceedings |
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 - ARCA card: 10278/37157 |
| 2012 | Article in Conference Proceedings |
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 - ARCA card: 10278/27119 |
| 2011 | Article in Conference Proceedings |
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 - ARCA card: 10278/28241 |
| 2009 | Article in Conference Proceedings |
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 - ARCA card: 10278/3722369 |
| 2008 | Journal Article |
FERRARA P; FRANCESCO LOGOZZO; MANUEL FAHNDRICH Safer unsafe code for .NET in ACM SIGPLAN NOTICES, vol. 43, pp. 329-346 (ISSN 1523-2867) - ARCA card: 10278/3722363 |
| 2008 | Article in Conference Proceedings |
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 - ARCA card: 10278/3722366 |
| 2008 | Article in Conference Proceedings |
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 - ARCA card: 10278/3722368 |
| 2008 | Article in Conference Proceedings |
Ferrara P Static analysis via abstract interpretation of the happens-before memory model , Proceedings of TAP 2008 (ISBN 978-3-540-79123-2) DOI - ARCA card: 10278/3722365 |
| 2006 | Article in Conference Proceedings |
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 - ARCA card: 10278/3722370 |