Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Agostino Cortesi
@article{DBLP:journals/access/GortOC24, author = {Maikel L{\'{a}}zaro P{\'{e}}rez Gort and Martina Olliaro and Agostino Cortesi}, title = {Study of the Watermark Source's Topology Role on Relational Data Watermarking Robustness}, journal = {{IEEE} Access}, volume = {12}, pages = {25857--25875}, year = {2024}, url = {https://doi.org/10.1109/ACCESS.2024.3364760}, doi = {10.1109/ACCESS.2024.3364760}, timestamp = {Sat, 16 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/GortOC24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/se/DasDCC24, author = {Souvick Das and Novarun Deb and Nabendu Chaki and Agostino Cortesi}, title = {Minimising conflicts among run-time non-functional requirements within DevOps}, journal = {Syst. Eng.}, volume = {27}, number = {1}, pages = {177--198}, year = {2024}, url = {https://doi.org/10.1002/sys.21715}, doi = {10.1002/SYS.21715}, timestamp = {Fri, 08 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/se/DasDCC24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/adhoc/KrishnasrijaMC23, author = {Rudra Krishnasrija and Amit Kr Mandal and Agostino Cortesi}, title = {A lightweight mutual and transitive authentication mechanism for IoT network}, journal = {Ad Hoc Networks}, volume = {138}, pages = {103003}, year = {2023}, url = {https://doi.org/10.1016/j.adhoc.2022.103003}, doi = {10.1016/J.ADHOC.2022.103003}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/adhoc/KrishnasrijaMC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/darts/OlivieriNAT0CS23, author = {Luca Olivieri and Luca Negrini and Vincenzo Arceri and Fabio Tagliaferro and Pietro Ferrara and Agostino Cortesi and Fausto Spoto}, title = {Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)}, journal = {Dagstuhl Artifacts Ser.}, volume = {9}, number = {2}, pages = {23:1--23:3}, year = {2023}, url = {https://doi.org/10.4230/DARTS.9.2.23}, doi = {10.4230/DARTS.9.2.23}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/darts/OlivieriNAT0CS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/GortOC23, author = {Maikel L{\'{a}}zaro P{\'{e}}rez Gort and Martina Olliaro and Agostino Cortesi}, title = {Relational data watermarking resilience to brute force attacks in untrusted environments}, journal = {Expert Syst. Appl.}, volume = {212}, pages = {118713}, year = {2023}, url = {https://doi.org/10.1016/j.eswa.2022.118713}, doi = {10.1016/J.ESWA.2022.118713}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eswa/GortOC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/RoyDDCCC23, author = {Mandira Roy and Souvick Das and Novarun Deb and Agostino Cortesi and Rituparna Chaki and Nabendu Chaki}, title = {Correlating contexts and {NFR} conflicts from event logs}, journal = {Softw. Syst. Model.}, volume = {22}, number = {6}, pages = {1987--2010}, year = {2023}, url = {https://doi.org/10.1007/s10270-023-01087-4}, doi = {10.1007/S10270-023-01087-4}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sosym/RoyDDCCC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/DasDCC23, author = {Souvick Das and Novarun Deb and Nabendu Chaki and Agostino Cortesi}, title = {Driving the Technology Value Stream by Analyzing App Reviews}, journal = {{IEEE} Trans. Software Eng.}, volume = {49}, number = {7}, pages = {3753--3770}, year = {2023}, url = {https://doi.org/10.1109/TSE.2023.3270708}, doi = {10.1109/TSE.2023.3270708}, timestamp = {Sat, 05 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/DasDCC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/OlivieriNAT0CS23, author = {Luca Olivieri and Luca Negrini and Vincenzo Arceri and Fabio Tagliaferro and Pietro Ferrara and Agostino Cortesi and Fausto Spoto}, editor = {Karim Ali and Guido Salvaneschi}, title = {Information Flow Analysis for Detecting Non-Determinism in Blockchain}, booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023, July 17-21, 2023, Seattle, Washington, United States}, series = {LIPIcs}, volume = {263}, pages = {23:1--23:25}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.23}, doi = {10.4230/LIPICS.ECOOP.2023.23}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecoop/OlivieriNAT0CS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccci/MitraCC23, author = {Deepanjan Mitra and Agostino Cortesi and Nabendu Chaki}, editor = {Ngoc Thanh Nguyen and J{\'{a}}nos Botzheim and L{\'{a}}szl{\'{o}} Guly{\'{a}}s and Manuel N{\'{u}}{\~{n}}ez and Jan Treur and Gottfried Vossen and Adrianna Kozierkiewicz}, title = {A Two-Hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems}, booktitle = {Computational Collective Intelligence - 15th International Conference, {ICCCI} 2023, Budapest, Hungary, September 27-29, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14162}, pages = {379--391}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-41456-5\_29}, doi = {10.1007/978-3-031-41456-5\_29}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccci/MitraCC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/DasDCC23, author = {Souvick Das and Novarun Deb and Agostino Cortesi and Nabendu Chaki}, editor = {Kurt Schneider and Fabiano Dalpiaz and Jennifer Horkoff}, title = {Zero-shot Learning for Named Entity Recognition in Software Specification Documents}, booktitle = {31st {IEEE} International Requirements Engineering Conference, {RE} 2023, Hannover, Germany, September 4-8, 2023}, pages = {100--110}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/RE57278.2023.00019}, doi = {10.1109/RE57278.2023.00019}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/DasDCC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-04519, author = {Souvick Das and Novarun Deb and Agostino Cortesi and Nabendu Chaki}, title = {An Annexure to the Paper "Driving the Technology Value Stream by Analyzing App Reviews"}, journal = {CoRR}, volume = {abs/2303.04519}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.04519}, doi = {10.48550/ARXIV.2303.04519}, eprinttype = {arXiv}, eprint = {2303.04519}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-04519.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/GortOC22, author = {Maikel L{\'{a}}zaro P{\'{e}}rez Gort and Martina Olliaro and Agostino Cortesi}, title = {Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking}, journal = {{IEEE} Access}, volume = {10}, pages = {62210--62231}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3182099}, doi = {10.1109/ACCESS.2022.3182099}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/GortOC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/OlliaroGC22, author = {Martina Olliaro and Maikel L{\'{a}}zaro P{\'{e}}rez Gort and Agostino Cortesi}, title = {Empirical analysis of the impact of queries on watermarked relational databases}, journal = {Expert Syst. Appl.}, volume = {204}, pages = {117491}, year = {2022}, url = {https://doi.org/10.1016/j.eswa.2022.117491}, doi = {10.1016/J.ESWA.2022.117491}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/OlliaroGC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijinfomandi/RoyCS22, author = {Santanu Roy and Agostino Cortesi and Soumya Sen}, title = {Context-aware {OLAP} for textual data warehouses}, journal = {Int. J. Inf. Manag. Data Insights}, volume = {2}, number = {2}, pages = {100129}, year = {2022}, url = {https://doi.org/10.1016/j.jjimei.2022.100129}, doi = {10.1016/J.JJIMEI.2022.100129}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijinfomandi/RoyCS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/PanfiliSC22, author = {Antonio Panfili and Alvise Span{\`{o}} and Agostino Cortesi}, title = {A Wearable System for Jump Detection in Inline Figure Skating}, journal = {Sensors}, volume = {22}, number = {4}, pages = {1650}, year = {2022}, url = {https://doi.org/10.3390/s22041650}, doi = {10.3390/S22041650}, timestamp = {Fri, 01 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/PanfiliSC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sncs/SarkarCC22, author = {Paramita Sarkar and Rituparna Chaki and Agostino Cortesi}, title = {A Patient-Centric Nurse Scheduling Algorithm}, journal = {{SN} Comput. Sci.}, volume = {3}, number = {1}, pages = {7}, year = {2022}, url = {https://doi.org/10.1007/s42979-021-00820-4}, doi = {10.1007/S42979-021-00820-4}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sncs/SarkarCC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/OlivieriTARNC0S22, author = {Luca Olivieri and Fabio Tagliaferro and Vincenzo Arceri and Marco Ruaro and Luca Negrini and Agostino Cortesi and Pietro Ferrara and Fausto Spoto and Enrico Talin}, editor = {Laure Gonnord and Laura Titolo}, title = {Ensuring determinism in blockchain software with GoLiSA: an industrial experience report}, booktitle = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022}, pages = {23--29}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3520313.3534658}, doi = {10.1145/3520313.3534658}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/OlivieriTARNC0S22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/ArceriOCF22, author = {Vincenzo Arceri and Martina Olliaro and Agostino Cortesi and Pietro Ferrara}, editor = {Bernd Finkbeiner and Thomas Wies}, title = {Relational String Abstract Domains}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13182}, pages = {20--42}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-94583-1\_2}, doi = {10.1007/978-3-030-94583-1\_2}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/ArceriOCF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/adhoc/ChakrabortySC21, author = {Manali Chakraborty and Alvise Span{\`{o}} and Agostino Cortesi}, title = {Geographic location based secure, dynamic and opportunistic {RPL} for distributed networks}, journal = {Ad Hoc Networks}, volume = {123}, pages = {102689}, year = {2021}, url = {https://doi.org/10.1016/j.adhoc.2021.102689}, doi = {10.1016/J.ADHOC.2021.102689}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/adhoc/ChakrabortySC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/GortOCU21, author = {Maikel L{\'{a}}zaro P{\'{e}}rez Gort and Martina Olliaro and Agostino Cortesi and Claudia Feregrino Uribe}, title = {Semantic-driven watermarking of relational textual databases}, journal = {Expert Syst. Appl.}, volume = {167}, pages = {114013}, year = {2021}, url = {https://doi.org/10.1016/j.eswa.2020.114013}, doi = {10.1016/J.ESWA.2020.114013}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/GortOCU21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/ArceriOCM21, author = {Vincenzo Arceri and Martina Olliaro and Agostino Cortesi and Isabella Mastroeni}, title = {Completeness of string analysis for dynamic languages}, journal = {Inf. Comput.}, volume = {281}, pages = {104791}, year = {2021}, url = {https://doi.org/10.1016/j.ic.2021.104791}, doi = {10.1016/J.IC.2021.104791}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/ArceriOCM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/GhoshSC21, author = {Partha Ghosh and Soumya Sen and Agostino Cortesi}, title = {Skyline computation over multiple points and dimensions}, journal = {Innov. Syst. Softw. Eng.}, volume = {17}, number = {2}, pages = {141--156}, year = {2021}, url = {https://doi.org/10.1007/s11334-020-00376-1}, doi = {10.1007/S11334-020-00376-1}, timestamp = {Fri, 04 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/GhoshSC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/CortesiCC21, author = {Agostino Cortesi and Nabendu Chaki and Rituparna Chaki}, title = {Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors}, journal = {Innov. Syst. Softw. Eng.}, volume = {17}, number = {3}, pages = {185--186}, year = {2021}, url = {https://doi.org/10.1007/s11334-021-00405-7}, doi = {10.1007/S11334-021-00405-7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isse/CortesiCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/RoyDCCC21, author = {Mandira Roy and Novarun Deb and Agostino Cortesi and Rituparna Chaki and Nabendu Chaki}, title = {Requirement-oriented risk management for incremental software development}, journal = {Innov. Syst. Softw. Eng.}, volume = {17}, number = {3}, pages = {187--204}, year = {2021}, url = {https://doi.org/10.1007/s11334-021-00406-6}, doi = {10.1007/S11334-021-00406-6}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/RoyDCCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/RoySSC21, author = {Santanu Roy and Bibekananda Shit and Soumya Sen and Agostino Cortesi}, title = {Construction and distribution of materialized views in Non-binary data space}, journal = {Innov. Syst. Softw. Eng.}, volume = {17}, number = {3}, pages = {205--217}, year = {2021}, url = {https://doi.org/10.1007/s11334-021-00404-8}, doi = {10.1007/S11334-021-00404-8}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/RoySSC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/se/RoyDCCC21, author = {Mandira Roy and Novarun Deb and Agostino Cortesi and Rituparna Chaki and Nabendu Chaki}, title = {NFR-aware prioritization of software requirements}, journal = {Syst. Eng.}, volume = {24}, number = {3}, pages = {158--176}, year = {2021}, url = {https://doi.org/10.1002/sys.21572}, doi = {10.1002/SYS.21572}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/se/RoyDCCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sncs/DasDCC21, author = {Souvick Das and Novarun Deb and Agostino Cortesi and Nabendu Chaki}, title = {Sentence Embedding Models for Similarity Detection of Software Requirements}, journal = {{SN} Comput. Sci.}, volume = {2}, number = {1}, pages = {69}, year = {2021}, url = {https://doi.org/10.1007/s42979-020-00427-1}, doi = {10.1007/S42979-020-00427-1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sncs/DasDCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/FerraraMCS21, author = {Pietro Ferrara and Amit Kr Mandal and Agostino Cortesi and Fausto Spoto}, title = {Static analysis for discovering IoT vulnerabilities}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {1}, pages = {71--88}, year = {2021}, url = {https://doi.org/10.1007/s10009-020-00592-x}, doi = {10.1007/S10009-020-00592-X}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/FerraraMCS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cores/MitraCC21, author = {Deepanjan Mitra and Agostino Cortesi and Nabendu Chaki}, editor = {Michal Choras and Ryszard S. Choras and Marek Kurzynski and Pawel Trajdos and Jerzy Pejas and Tomasz Hyla}, title = {{ALEA:} An Anonymous Leader Election Algorithm for Synchronous Distributed Systems}, booktitle = {Progress in Image Processing, Pattern Recognition and Communication Systems - Proceedings of the Conference (CORES, IP{\&}C, ACS), Virtual Event / Bydgoszcz, Poland, June 28-30, 2021}, series = {Lecture Notes in Networks and Systems}, volume = {255}, pages = {46--58}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81523-3\_5}, doi = {10.1007/978-3-030-81523-3\_5}, timestamp = {Sun, 02 Oct 2022 15:58:01 +0200}, biburl = {https://dblp.org/rec/conf/cores/MitraCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fps/GortOC21, author = {Maikel L{\'{a}}zaro P{\'{e}}rez Gort and Martina Olliaro and Agostino Cortesi}, editor = {Esma A{\"{\i}}meur and Maryline Laurent and Reda Yaich and Beno{\^{\i}}t Dupont and Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro}, title = {A Quantile-Based Watermarking Approach for Distortion Minimization}, booktitle = {Foundations and Practice of Security - 14th International Symposium, {FPS} 2021, Paris, France, December 7-10, 2021, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13291}, pages = {162--176}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-031-08147-7\_11}, doi = {10.1007/978-3-031-08147-7\_11}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fps/GortOC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/FerraraNAC21, author = {Pietro Ferrara and Luca Negrini and Vincenzo Arceri and Agostino Cortesi}, editor = {Lisa Nguyen Quang Do and Caterina Urban}, title = {Static analysis for dummies: experiencing LiSA}, booktitle = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021}, pages = {1--6}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460946.3464316}, doi = {10.1145/3460946.3464316}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/FerraraNAC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/RoyDCCC21, author = {Mandira Roy and Novarun Deb and Agostino Cortesi and Rituparna Chaki and Nabendu Chaki}, title = {{CARO:} {A} Conflict-Aware Requirement Ordering Tool for DevOps}, booktitle = {29th {IEEE} International Requirements Engineering Conference, {RE} 2021, Notre Dame, IN, USA, September 20-24, 2021}, pages = {442--443}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/RE51729.2021.00061}, doi = {10.1109/RE51729.2021.00061}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/re/RoyDCCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/NegriniAFC21, author = {Luca Negrini and Vincenzo Arceri and Pietro Ferrara and Agostino Cortesi}, editor = {Fritz Henglein and Sharon Shoham and Yakir Vizel}, title = {Twinning Automata and Regular Expressions for String Static Analysis}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12597}, pages = {267--290}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-67067-2\_13}, doi = {10.1007/978-3-030-67067-2\_13}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/NegriniAFC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2020-1, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - Volume Eleven, 7th International Doctoral Symposium on Applied Computation and Security Systems, {ACSS} 2020, Kolkata, India, February 28-29, 2020}, series = {Advances in Intelligent Systems and Computing}, volume = {1178}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-981-15-5747-7}, doi = {10.1007/978-981-15-5747-7}, isbn = {978-981-15-5746-0}, timestamp = {Fri, 06 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acss/2020-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/GortUCF20, author = {Maikel L{\'{a}}zaro P{\'{e}}rez Gort and Claudia Feregrino Uribe and Agostino Cortesi and F{\'{e}}lix Oscar Fern{\'{a}}ndez Pe{\~{n}}a}, title = {A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization}, journal = {{IEEE} Access}, volume = {8}, pages = {61504--61516}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.2979659}, doi = {10.1109/ACCESS.2020.2979659}, timestamp = {Fri, 04 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/GortUCF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/FerraraCS20, author = {Pietro Ferrara and Agostino Cortesi and Fausto Spoto}, title = {From {CIL} to Java bytecode: Semantics-based translation for static analysis leveraging}, journal = {Sci. Comput. Program.}, volume = {191}, pages = {102392}, year = {2020}, url = {https://doi.org/10.1016/j.scico.2020.102392}, doi = {10.1016/J.SCICO.2020.102392}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/FerraraCS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/SpanoC20, author = {Alvise Span{\`{o}} and Agostino Cortesi}, title = {Legodroid: {A} Type-Driven Library for Android and {LEGO} Mindstorms Interoperability}, journal = {Sensors}, volume = {20}, number = {7}, pages = {1926}, year = {2020}, url = {https://doi.org/10.3390/s20071926}, doi = {10.3390/S20071926}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/SpanoC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/JanaHAGC20, author = {Angshuman Jana and Raju Halder and Kalahasti Venkata Abhishekh and Sanjeevini Devi Ganni and Agostino Cortesi}, title = {Extending Abstract Interpretation to Dependency Analysis of Database Applications}, journal = {{IEEE} Trans. Software Eng.}, volume = {46}, number = {5}, pages = {463--494}, year = {2020}, url = {https://doi.org/10.1109/TSE.2018.2861707}, doi = {10.1109/TSE.2018.2861707}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/JanaHAGC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acss/SalviaCFS20, author = {Rocco Salvia and Agostino Cortesi and Pietro Ferrara and Fausto Spoto}, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Intents Analysis of Android Apps for Confidentiality Leakage Detection}, booktitle = {Advanced Computing and Systems for Security - Volume Eleven, 7th International Doctoral Symposium on Applied Computation and Security Systems, {ACSS} 2020, Kolkata, India, February 28-29, 2020}, series = {Advances in Intelligent Systems and Computing}, volume = {1178}, pages = {43--65}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-981-15-5747-7\_4}, doi = {10.1007/978-981-15-5747-7\_4}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acss/SalviaCFS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/DebRCC20, author = {Novarun Deb and Mandira Roy and Nabendu Chaki and Agostino Cortesi}, title = {Generation of Safety and Liveness Complaint Automata from Goal Model Specifications}, booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich, Germany, September 7-10, 2020}, pages = {127--134}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDCC51268.2020.00029}, doi = {10.1109/EDCC51268.2020.00029}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/DebRCC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/MandalFKCS20, author = {Amit Kr Mandal and Pietro Ferrara and Yuliy Khlyebnikov and Agostino Cortesi and Fausto Spoto}, editor = {Chih{-}Cheng Hung and Tom{\'{a}}s Cern{\'{y}} and Dongwan Shin and Alessio Bechini}, title = {Cross-program taint analysis for IoT systems}, booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020}, pages = {1944--1952}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3341105.3373924}, doi = {10.1145/3341105.3373924}, timestamp = {Wed, 09 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/MandalFKCS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2019-1, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - Volume Nine, 6th International Doctoral Symposium on Applied Computation and Security, {ACSS} 2019, Kolkata, India, 12-13 March, 2019}, series = {Advances in Intelligent Systems and Computing}, volume = {995}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-981-13-8962-7}, doi = {10.1007/978-981-13-8962-7}, isbn = {978-981-13-8961-0}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acss/2019-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2019-2, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - Volume Ten, 6th International Doctoral Symposium on Applied Computation and Security, {ACSS} 2019, Kolkata, India, 12-13 March, 2019}, series = {Advances in Intelligent Systems and Computing}, volume = {996}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-981-13-8969-6}, doi = {10.1007/978-981-13-8969-6}, isbn = {978-981-13-8968-9}, timestamp = {Fri, 30 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acss/2019-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2020-2, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - Volume Twelve, 7th International Doctoral Symposium on Applied Computation and Security Systems, {ACSS} 2020, Kolkata, India, February 28-29, 2020}, series = {Advances in Intelligent Systems and Computing}, volume = {1136}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-981-15-2930-6}, doi = {10.1007/978-981-15-2930-6}, isbn = {978-981-15-2929-0}, timestamp = {Sat, 07 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acss/2020-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-02715, author = {Luca Negrini and Vincenzo Arceri and Pietro Ferrara and Agostino Cortesi}, title = {Twinning automata and regular expressions for string static analysis}, journal = {CoRR}, volume = {abs/2006.02715}, year = {2020}, url = {https://arxiv.org/abs/2006.02715}, eprinttype = {arXiv}, eprint = {2006.02715}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-02715.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/FerraraMCS19, author = {Pietro Ferrara and Amit Kr Mandal and Agostino Cortesi and Fausto Spoto}, title = {Cross-Programming Language Taint Analysis for the IoT Ecosystem}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {77}, year = {2019}, url = {https://doi.org/10.14279/tuj.eceasst.77.1104}, doi = {10.14279/TUJ.ECEASST.77.1104}, timestamp = {Wed, 09 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eceasst/FerraraMCS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/GortUCF19, author = {Maikel L{\'{a}}zaro P{\'{e}}rez Gort and Claudia Feregrino Uribe and Agostino Cortesi and F{\'{e}}lix Oscar Fern{\'{a}}ndez Pe{\~{n}}a}, title = {HQR-Scheme: {A} High Quality and resilient virtual primary key generation approach for watermarking relational data}, journal = {Expert Syst. Appl.}, volume = {138}, year = {2019}, url = {https://doi.org/10.1016/j.eswa.2019.06.058}, doi = {10.1016/J.ESWA.2019.06.058}, timestamp = {Fri, 04 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/GortUCF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcloudc/BhattacharyaCC19, author = {Adrija Bhattacharya and Sankhayan Choudhury and Agostino Cortesi}, title = {Replaceability and negotiation in a cloud service ecosystem}, journal = {J. Cloud Comput.}, volume = {8}, pages = {14}, year = {2019}, url = {https://doi.org/10.1186/s13677-019-0137-8}, doi = {10.1186/S13677-019-0137-8}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcloudc/BhattacharyaCC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ral/WhiteCCCC19, author = {Ruffin White and Gianluca Caiazza and Agostino Cortesi and Young Im Cho and Henrik I. Christensen}, title = {Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain}, journal = {{IEEE} Robotics Autom. Lett.}, volume = {4}, number = {4}, pages = {3812--3819}, year = {2019}, url = {https://doi.org/10.1109/LRA.2019.2928780}, doi = {10.1109/LRA.2019.2928780}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ral/WhiteCCCC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/MandalPCFS19, author = {Amit Kr Mandal and Federica Panarotto and Agostino Cortesi and Pietro Ferrara and Fausto Spoto}, title = {Static analysis of Android Auto infotainment and on-board diagnostics {II} apps}, journal = {Softw. Pract. Exp.}, volume = {49}, number = {7}, pages = {1131--1161}, year = {2019}, url = {https://doi.org/10.1002/spe.2698}, doi = {10.1002/SPE.2698}, timestamp = {Wed, 09 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/spe/MandalPCFS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/CortesiT19, author = {Agostino Cortesi and Omer Tripp}, title = {Introduction to the special issue: {SAAP-2017} (Static Analysis of Android Apps: Security and Privacy)}, journal = {J. Comput. Lang.}, volume = {52}, pages = {25}, year = {2019}, url = {https://doi.org/10.1016/j.cola.2019.03.005}, doi = {10.1016/J.COLA.2019.03.005}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/CortesiT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisim/ChakrabortySC19, author = {Manali Chakraborty and Alvise Span{\`{o}} and Agostino Cortesi}, editor = {Khalid Saeed and Rituparna Chaki and Valentina Janev}, title = {Geographic Location Based Dynamic and Opportunistic {RPL} for Distributed Networks}, booktitle = {Computer Information Systems and Industrial Management - 18th International Conference, {CISIM} 2019, Belgrade, Serbia, September 19-21, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11703}, pages = {120--131}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-28957-7\_11}, doi = {10.1007/978-3-030-28957-7\_11}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/ChakrabortySC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisim/SpanoCZ19, author = {Alvise Span{\`{o}} and Agostino Cortesi and Giulio Zausa}, editor = {Khalid Saeed and Rituparna Chaki and Valentina Janev}, title = {Type-Driven Cross-Programming for Android and {LEGO} Mindstorms Interoperability}, booktitle = {Computer Information Systems and Industrial Management - 18th International Conference, {CISIM} 2019, Belgrade, Serbia, September 19-21, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11703}, pages = {191--209}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-28957-7\_17}, doi = {10.1007/978-3-030-28957-7\_17}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/SpanoCZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurosp/WhiteCJOYCC19, author = {Ruffin White and Gianluca Caiazza and Chenxu Jiang and Xinyue Ou and Zhiyue Yang and Agostino Cortesi and Henrik I. Christensen}, title = {Network Reconnaissance and Vulnerability Excavation of Secure {DDS} Systems}, booktitle = {2019 {IEEE} European Symposium on Security and Privacy Workshops, EuroS{\&}P Workshops 2019, Stockholm, Sweden, June 17-19, 2019}, pages = {57--66}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/EuroSPW.2019.00013}, doi = {10.1109/EUROSPW.2019.00013}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurosp/WhiteCJOYCC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/ArceriOCM19, author = {Vincenzo Arceri and Martina Olliaro and Agostino Cortesi and Isabella Mastroeni}, editor = {Robert M. Hierons and Mohamed Mosbah}, title = {Completeness of Abstract Domains for String Analysis of JavaScript Programs}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11884}, pages = {255--272}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32505-3\_15}, doi = {10.1007/978-3-030-32505-3\_15}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/ArceriOCM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip8/GortOUC19, author = {Maikel L{\'{a}}zaro P{\'{e}}rez Gort and Martina Olliaro and Claudia Feregrino Uribe and Agostino Cortesi}, editor = {Petr Doucek and Josef Basl and A Min Tjoa and Maria Raffai and Anton{\'{\i}}n Pavl{\'{\i}}cek and Katrin Detter}, title = {Preventing Additive Attacks to Relational Database Watermarking}, booktitle = {Research and Practical Issues of Enterprise Information Systems - 13th {IFIP} {WG} 8.9 International Conference, {CONFENIS} 2019, Prague, Czech Republic, December 16-17, 2019, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {375}, pages = {131--140}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-37632-1\_12}, doi = {10.1007/978-3-030-37632-1\_12}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip8/GortOUC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/indin/MandalCSC19, author = {Amit Kr Mandal and Agostino Cortesi and Anirban Sarkar and Nabendu Chaki}, title = {Things as a Service: Service model for IoT}, booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN} 2019, Helsinki, Finland, July 22-25, 2019}, pages = {1364--1369}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/INDIN41052.2019.8972241}, doi = {10.1109/INDIN41052.2019.8972241}, timestamp = {Wed, 09 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/indin/MandalCSC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/CortesiLOR19, author = {Agostino Cortesi and Henrich Lauko and Martina Olliaro and Petr Rockai}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {String Abstraction for Model Checking of {C} Programs}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {74--93}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_5}, doi = {10.1007/978-3-030-30923-7\_5}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/CortesiLOR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2018-2, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - Volume Eight, Fifth International Doctoral Symposium on Applied Computation and Security Systems, {ACSS} 2018, Kolkata, India, February 9-11, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {883}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-981-13-3702-4}, doi = {10.1007/978-981-13-3702-4}, isbn = {978-981-13-3701-7}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acss/2018-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2018-1, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - Volume 7, 5th International Doctoral Symposium on Applied Computation and Security Systems, {ACSS} 2018, Kolkata, India, February 9-11, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {897}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-981-13-3250-0}, doi = {10.1007/978-981-13-3250-0}, isbn = {978-981-13-3249-4}, timestamp = {Fri, 30 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acss/2018-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1908-05310, author = {Ruffin White and Gianluca Caiazza and Chenxu Jiang and Xinyue Ou and Zhiyue Yang and Agostino Cortesi and Henrik I. Christensen}, title = {Network Reconnaissance and Vulnerability Excavation of Secure {DDS} Systems}, journal = {CoRR}, volume = {abs/1908.05310}, year = {2019}, url = {http://arxiv.org/abs/1908.05310}, eprinttype = {arXiv}, eprint = {1908.05310}, timestamp = {Mon, 19 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-05310.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcos/CortesiFHZ18, author = {Agostino Cortesi and Pietro Ferrara and Raju Halder and Matteo Zanioli}, title = {Combining Symbolic and Numerical Domains for Information Leakage Analysis}, journal = {Trans. Comput. Sci.}, volume = {31}, pages = {98--135}, year = {2018}, url = {https://doi.org/10.1007/978-3-662-56499-8\_6}, doi = {10.1007/978-3-662-56499-8\_6}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcos/CortesiFHZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acss/CaiazzaWC18, author = {Gianluca Caiazza and Ruffin White and Agostino Cortesi}, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Enhancing Security in {ROS}}, booktitle = {Advanced Computing and Systems for Security - Volume Eight, Fifth International Doctoral Symposium on Applied Computation and Security Systems, {ACSS} 2018, Kolkata, India, February 9-11, 2018}, series = {Advances in Intelligent Systems and Computing}, volume = {883}, pages = {3--15}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-981-13-3702-4\_1}, doi = {10.1007/978-981-13-3702-4\_1}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acss/CaiazzaWC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cf/MandalCFPS18, author = {Amit Kr Mandal and Agostino Cortesi and Pietro Ferrara and Federica Panarotto and Fausto Spoto}, editor = {David R. Kaeli and Miquel Peric{\`{a}}s}, title = {Vulnerability analysis of Android auto infotainment apps}, booktitle = {Proceedings of the 15th {ACM} International Conference on Computing Frontiers, {CF} 2018, Ischia, Italy, May 08-10, 2018}, pages = {183--190}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3203217.3203278}, doi = {10.1145/3203217.3203278}, timestamp = {Wed, 09 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cf/MandalCFPS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisim/MondinC18, author = {Fabio Mondin and Agostino Cortesi}, editor = {Khalid Saeed and Wladyslaw Homenda}, title = {MySQL Extension Automatic Porting to {PDO} for {PHP} Migration and Security Improvement}, booktitle = {Computer Information Systems and Industrial Management - 17th International Conference, {CISIM} 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11127}, pages = {461--473}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99954-8\_38}, doi = {10.1007/978-3-319-99954-8\_38}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/MondinC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmec/SamantaKDBCC18, author = {Riya Samanta and Chandni Kumari and Novarun Deb and Sagar Bose and Agostino Cortesi and Nabendu Chaki}, title = {Node localization for indoor tracking using artificial neural network}, booktitle = {Third International Conference on Fog and Mobile Edge Computing, {FMEC} 2018, Barcelona, Spain, April 23-26, 2018}, pages = {229--233}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/FMEC.2018.8364071}, doi = {10.1109/FMEC.2018.8364071}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmec/SamantaKDBCC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/FerraraCS18, author = {Pietro Ferrara and Agostino Cortesi and Fausto Spoto}, editor = {Stefania Gnesi and Nico Plat and Paola Spoletini and Patrizio Pelliccione}, title = {{CIL} to Java-bytecode translation for static analysis leveraging}, booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June 2, 2018}, pages = {40--49}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3193992.3193994}, doi = {10.1145/3193992.3193994}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/FerraraCS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/WhiteCCC18, author = {Ruffin White and Henrik I. Christensen and Gianluca Caiazza and Agostino Cortesi}, title = {Procedurally Provisioned Access Control for Robotic Systems}, booktitle = {2018 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2018, Madrid, Spain, October 1-5, 2018}, pages = {1--9}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IROS.2018.8594462}, doi = {10.1109/IROS.2018.8594462}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iros/WhiteCCC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smartcom/PanarottoCFMS18, author = {Federica Panarotto and Agostino Cortesi and Pietro Ferrara and Amit Kr Mandal and Fausto Spoto}, editor = {Meikang Qiu}, title = {Static Analysis of Android Apps Interaction with Automotive {CAN}}, booktitle = {Smart Computing and Communication - Third International Conference, SmartCom 2018, Tokyo, Japan, December 10-12, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11344}, pages = {114--123}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-05755-8\_12}, doi = {10.1007/978-3-030-05755-8\_12}, timestamp = {Wed, 09 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/smartcom/PanarottoCFMS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/CortesiO18, author = {Agostino Cortesi and Martina Olliaro}, editor = {Jun Pang and Chenyi Zhang and Jifeng He and Jian Weng}, title = {M-String Segmentation: {A} Refined Abstract Domain for String Analysis in {C} Programs}, booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2018, Guangzhou, China, August 29-31, 2018}, pages = {1--8}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/TASE.2018.00009}, doi = {10.1109/TASE.2018.00009}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/CortesiO18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/SalviaFSC18, author = {Rocco Salvia and Pietro Ferrara and Fausto Spoto and Agostino Cortesi}, title = {{SDLI:} Static Detection of Leaks Across Intents}, booktitle = {17th {IEEE} International Conference On Trust, Security And Privacy In Computing And Communications / 12th {IEEE} International Conference On Big Data Science And Engineering, TrustCom/BigDataSE 2018, New York, NY, USA, August 1-3, 2018}, pages = {1002--1007}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/TrustCom/BigDataSE.2018.00141}, doi = {10.1109/TRUSTCOM/BIGDATASE.2018.00141}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/trustcom/SalviaFSC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1810-08125, author = {Ruffin White and Gianluca Caiazza and Henrik I. Christensen and Agostino Cortesi}, title = {Procedurally Provisioned Access Control for Robotic Systems}, journal = {CoRR}, volume = {abs/1810.08125}, year = {2018}, url = {http://arxiv.org/abs/1810.08125}, eprinttype = {arXiv}, eprint = {1810.08125}, timestamp = {Tue, 30 Oct 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-08125.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entcom/GiacomoACSCM17, author = {Francesco Di Giacomo and Mohamed Abbadi and Agostino Cortesi and Pieter Spronck and Giulia Costantini and Giuseppe Maggiore}, title = {High performance encapsulation and networking in Casanova 2}, journal = {Entertain. Comput.}, volume = {20}, pages = {25--41}, year = {2017}, url = {https://doi.org/10.1016/j.entcom.2017.03.001}, doi = {10.1016/J.ENTCOM.2017.03.001}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcom/GiacomoACSCM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/PathanZBSSCC17, author = {Al{-}Sakib Khan Pathan and Yudong Zhang and Sambit Bakshi and Patrick Siarry and Pankaj Kumar Sa and Nabendu Chaki and Agostino Cortesi}, title = {Introduction to special issue on 'intelligent computing and adaptive systems'}, journal = {Innov. Syst. Softw. Eng.}, volume = {13}, number = {4}, pages = {241--242}, year = {2017}, url = {https://doi.org/10.1007/s11334-017-0307-0}, doi = {10.1007/S11334-017-0307-0}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/PathanZBSSCC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisim/AwanC17, author = {Malik Khurram Awan and Agostino Cortesi}, editor = {Khalid Saeed and Wladyslaw Homenda and Rituparna Chaki}, title = {Blockchain Transaction Analysis Using Dominant Sets}, booktitle = {Computer Information Systems and Industrial Management - 16th {IFIP} {TC8} International Conference, {CISIM} 2017, Bialystok, Poland, June 16-18, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10244}, pages = {229--239}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59105-6\_20}, doi = {10.1007/978-3-319-59105-6\_20}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/cisim/AwanC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcit/EugenioC17, author = {Enrico Eugenio and Agostino Cortesi}, editor = {Padmanabhan Krishnan and P. Radha Krishna and Laxmi Parida}, title = {WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation}, booktitle = {Distributed Computing and Internet Technology - 13th International Conference, {ICDCIT} 2017, Bhubaneswar, India, January 13-16, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10109}, pages = {27--39}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-50472-8\_3}, doi = {10.1007/978-3-319-50472-8\_3}, timestamp = {Wed, 26 May 2021 08:40:05 +0200}, biburl = {https://dblp.org/rec/conf/icdcit/EugenioC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sle/GiacomoACSM17, author = {Francesco Di Giacomo and Mohamed Abbadi and Agostino Cortesi and Pieter Spronck and Giuseppe Maggiore}, editor = {Beno{\^{\i}}t Combemale and Marjan Mernik and Bernhard Rumpe}, title = {Metacasanova: an optimized meta-compiler for domain-specific languages}, booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on Software Language Engineering, {SLE} 2017, Vancouver, BC, Canada, October 23-24, 2017}, pages = {232--243}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3136014.3136015}, doi = {10.1145/3136014.3136015}, timestamp = {Thu, 21 Apr 2022 11:12:19 +0200}, biburl = {https://dblp.org/rec/conf/sle/GiacomoACSM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2016-1, editor = {Rituparna Chaki and Khalid Saeed and Agostino Cortesi and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - Volume Three, Third International Doctoral Symposium on Applied Computation and Security Systems, {ACSS} 2016, August 12-14, 2016, Kolkata, India}, series = {Advances in Intelligent Systems and Computing}, volume = {567}, year = {2017}, url = {https://doi.org/10.1007/978-981-10-3409-1}, doi = {10.1007/978-981-10-3409-1}, isbn = {978-981-10-3408-4}, timestamp = {Thu, 15 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acss/2016-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2016-2, editor = {Rituparna Chaki and Khalid Saeed and Agostino Cortesi and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - Volume Four, Third International Doctoral Symposium on Applied Computation and Security Systems, {ACSS} 2016, August 12-14, 2016, Kolkata, India}, series = {Advances in Intelligent Systems and Computing}, volume = {568}, year = {2017}, url = {https://doi.org/10.1007/978-981-10-3391-9}, doi = {10.1007/978-981-10-3391-9}, isbn = {978-981-10-3390-2}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acss/2016-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/ChakrabortyCC16, author = {Supriya Chakraborty and Agostino Cortesi and Nabedu Chaki}, title = {A uniform representation of multi-variant data in intensive-query databases}, journal = {Innov. Syst. Softw. Eng.}, volume = {12}, number = {3}, pages = {163--176}, year = {2016}, url = {https://doi.org/10.1007/s11334-016-0275-9}, doi = {10.1007/S11334-016-0275-9}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/ChakrabortyCC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tlsdkcs/HalderJC16, author = {Raju Halder and Angshuman Jana and Agostino Cortesi}, title = {Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain}, journal = {Trans. Large Scale Data Knowl. Centered Syst.}, volume = {23}, pages = {23--44}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49175-1\_2}, doi = {10.1007/978-3-662-49175-1\_2}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tlsdkcs/HalderJC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icit2/SenCC16, author = {Soumya Sen and Agostino Cortesi and Nabendu Chaki}, title = {{ROLAP} based data warehouse schema to {XML} schema conversion}, booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2016, Taipei, Taiwan, March 14-17, 2016}, pages = {1736--1741}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ICIT.2016.7475025}, doi = {10.1109/ICIT.2016.7475025}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icit2/SenCC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/intetain/GiacomoACSM16, author = {Francesco Di Giacomo and Mohamed Abbadi and Agostino Cortesi and Pieter Spronck and Giuseppe Maggiore}, editor = {Ronald Poppe and John{-}Jules Ch. Meyer and Remco C. Veltkamp and Mehdi Dastani}, title = {Building Game Scripting DSL's with the Metacasanova Metacompiler}, booktitle = {Intelligent Technologies for Interactive Entertainment - 8th International Conference, {INTETAIN} 2016, Utrecht, The Netherlands, June 28-30, 2016, Revised Selected Papers}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {178}, pages = {231--242}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49616-0\_22}, doi = {10.1007/978-3-319-49616-0\_22}, timestamp = {Thu, 17 Jan 2019 09:38:48 +0100}, biburl = {https://dblp.org/rec/conf/intetain/GiacomoACSM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stm/BarbonCFS16, author = {Gianluca Barbon and Agostino Cortesi and Pietro Ferrara and Enrico Steffinlongo}, editor = {Gilles Barthe and Evangelos P. Markatos and Pierangela Samarati}, title = {{DAPA:} Degradation-Aware Privacy Analysis of Android Apps}, booktitle = {Security and Trust Management - 12th International Workshop, {STM} 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9871}, pages = {32--46}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46598-2\_3}, doi = {10.1007/978-3-319-46598-2\_3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stm/BarbonCFS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2015-1, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - {ACSS} 2015 - 2nd International Doctoral Symposium on Applied Computation and Security Systems (ACSS), May, 23-25, 2015, Kolkata, India, Proceedings, Volume 1}, series = {Advances in Intelligent Systems and Computing}, volume = {395}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-81-322-2650-5}, doi = {10.1007/978-81-322-2650-5}, isbn = {978-81-322-2648-2}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acss/2015-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acss/2015-2, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Advanced Computing and Systems for Security - {ACSS} 2015 - 2nd International Doctoral Symposium on Applied Computation and Security Systems (ACSS), May, 23-25, 2015, Kolkata, India, Proceedings, Volume 2}, series = {Advances in Intelligent Systems and Computing}, volume = {396}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-81-322-2653-6}, doi = {10.1007/978-81-322-2653-6}, isbn = {978-81-322-2651-2}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acss/2015-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/CortesiCF15, author = {Agostino Cortesi and Giulia Costantini and Pietro Ferrara}, title = {The abstract domain of Trapezoid Step Functions}, journal = {Comput. Lang. Syst. Struct.}, volume = {43}, pages = {41--68}, year = {2015}, url = {https://doi.org/10.1016/j.cl.2015.04.002}, doi = {10.1016/J.CL.2015.04.002}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/CortesiCF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/CostantiniFC15, author = {Giulia Costantini and Pietro Ferrara and Agostino Cortesi}, title = {A suite of abstract domains for static analysis of string values}, journal = {Softw. Pract. Exp.}, volume = {45}, number = {2}, pages = {245--287}, year = {2015}, url = {https://doi.org/10.1002/spe.2218}, doi = {10.1002/SPE.2218}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/CostantiniFC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acss/SenGC15, author = {Soumya Sen and Partha Ghosh and Agostino Cortesi}, editor = {Rituparna Chaki and Agostino Cortesi and Khalid Saeed and Nabendu Chaki}, title = {Materialized View Construction Using Linearizable Nonlinear Regression}, booktitle = {Advanced Computing and Systems for Security - {ACSS} 2015 - 2nd International Doctoral Symposium on Applied Computation and Security Systems (ACSS), May, 23-25, 2015, Kolkata, India, Proceedings, Volume 1}, series = {Advances in Intelligent Systems and Computing}, volume = {395}, pages = {261--276}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-81-322-2650-5\_17}, doi = {10.1007/978-81-322-2650-5\_17}, timestamp = {Fri, 27 Dec 2019 21:20:31 +0100}, biburl = {https://dblp.org/rec/conf/acss/SenGC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisim/BarbonCFPT15, author = {Gianluca Barbon and Agostino Cortesi and Pietro Ferrara and Marco Pistoia and Omer Tripp}, editor = {Khalid Saeed and Wladyslaw Homenda}, title = {Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis}, booktitle = {Computer Information Systems and Industrial Management - 14th {IFIP} {TC} 8 International Conference, {CISIM} 2015, Warsaw, Poland, September 24-26, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9339}, pages = {3--23}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24369-6\_1}, doi = {10.1007/978-3-319-24369-6\_1}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/BarbonCFPT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisim/JanaHCC15, author = {Angshuman Jana and Raju Halder and Nabendu Chaki and Agostino Cortesi}, editor = {Khalid Saeed and Wladyslaw Homenda}, title = {Policy-Based Slicing of Hibernate Query Language}, booktitle = {Computer Information Systems and Industrial Management - 14th {IFIP} {TC} 8 International Conference, {CISIM} 2015, Warsaw, Poland, September 24-26, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9339}, pages = {267--281}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24369-6\_22}, doi = {10.1007/978-3-319-24369-6\_22}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/JanaHCC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscide/JanaHC15, author = {Angshuman Jana and Raju Halder and Agostino Cortesi}, editor = {Xiaofei He and Xinbo Gao and Yanning Zhang and Zhi{-}Hua Zhou and Zhiyong Liu and Baochuan Fu and Fuyuan Hu and Zhancheng Zhang}, title = {Verification of Hibernate Query Language by Abstract Interpretation}, booktitle = {Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques - 5th International Conference, IScIDE 2015, Suzhou, China, June 14-16, 2015, Revised Selected Papers, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9243}, pages = {116--128}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23862-3\_12}, doi = {10.1007/978-3-319-23862-3\_12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscide/JanaHC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sgda/AbbadiGCSCM15, author = {Mohamed Abbadi and Francesco Di Giacomo and Agostino Cortesi and Pieter Spronck and Giulia Costantini and Giuseppe Maggiore}, editor = {Stefan G{\"{o}}bel and Minhua Ma and Jannicke Baalsrud Hauge and Manuel Fradinho Oliveira and Josef Wiemeyer and Viktor Wendel}, title = {Casanova: {A} Simple, High-Performance Language for Game Development}, booktitle = {Serious Games - First Joint International Conference, {JCSG} 2015, Huddersfield, UK, June 3-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9090}, pages = {123--134}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19126-3\_11}, doi = {10.1007/978-3-319-19126-3\_11}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/sgda/AbbadiGCSCM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/CortesiFPT15, author = {Agostino Cortesi and Pietro Ferrara and Marco Pistoia and Omer Tripp}, editor = {Deepak D'Souza and Akash Lal and Kim Guldstrand Larsen}, title = {Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8931}, pages = {61--79}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46081-8\_4}, doi = {10.1007/978-3-662-46081-8\_4}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/CortesiFPT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdse/CortesiH14, author = {Agostino Cortesi and Raju Halder}, editor = {Tran Khanh Dang and Roland R. Wagner and Erich J. Neuhold and Makoto Takizawa and Josef K{\"{u}}ng and Nam Thoai}, title = {Information-Flow Analysis of Hibernate Query Language}, booktitle = {Future Data and Security Engineering - First International Conference, {FDSE} 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8860}, pages = {262--274}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-12778-1\_20}, doi = {10.1007/978-3-319-12778-1\_20}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fdse/CortesiH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fedcsis/ChakrabortyCC14, author = {Manali Chakraborty and Nabendu Chaki and Agostino Cortesi}, editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki}, title = {A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities}, booktitle = {Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw, Poland, September 7-10, 2014}, series = {Annals of Computer Science and Information Systems}, volume = {2}, pages = {1539--1547}, year = {2014}, url = {https://doi.org/10.15439/2014F287}, doi = {10.15439/2014F287}, timestamp = {Mon, 07 Aug 2023 11:27:16 +0200}, biburl = {https://dblp.org/rec/conf/fedcsis/ChakrabortyCC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/HalderZC14, author = {Raju Halder and Matteo Zanioli and Agostino Cortesi}, editor = {Yookun Cho and Sung Y. Shin and Sang{-}Wook Kim and Chih{-}Cheng Hung and Jiman Hong}, title = {Information leakage analysis of database query languages}, booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014}, pages = {813--820}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2554850.2554862}, doi = {10.1145/2554850.2554862}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/HalderZC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/HalderC13, author = {Raju Halder and Agostino Cortesi}, title = {Abstract program slicing on dependence condition graphs}, journal = {Sci. Comput. Program.}, volume = {78}, number = {9}, pages = {1240--1263}, year = {2013}, url = {https://doi.org/10.1016/j.scico.2012.05.007}, doi = {10.1016/J.SCICO.2012.05.007}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/HalderC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fedcsis/SarkarCC13, author = {Bidyut Biman Sarkar and Agostino Cortesi and Nabendu Chaki}, editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki}, title = {Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets}, booktitle = {Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Krak{\'{o}}w, Poland, September 8-11, 2013}, pages = {1145--1152}, year = {2013}, url = {https://ieeexplore.ieee.org/document/6644160/}, timestamp = {Mon, 09 Aug 2021 14:54:05 +0200}, biburl = {https://dblp.org/rec/conf/fedcsis/SarkarCC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcit/CortesiH13, author = {Agostino Cortesi and Raju Halder}, editor = {Chittaranjan Hota and Pradip K. Srimani}, title = {Abstract Interpretation of Recursive Queries}, booktitle = {Distributed Computing and Internet Technology, 9th International Conference, {ICDCIT} 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7753}, pages = {157--170}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36071-8\_12}, doi = {10.1007/978-3-642-36071-8\_12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdcit/CortesiH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/CostantiniFMC13, author = {Giulia Costantini and Pietro Ferrara and Giuseppe Maggiore and Agostino Cortesi}, editor = {Lindsay Groves and Jing Sun}, title = {The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software}, booktitle = {Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8144}, pages = {447--463}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41202-8\_29}, doi = {10.1007/978-3-642-41202-8\_29}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/CostantiniFMC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isr/CortesiFC13, author = {Agostino Cortesi and Pietro Ferrara and Nabendu Chaki}, title = {Static analysis techniques for robotics software verification}, booktitle = {Proceedings of the 44th Internationel Symposium on Robotics, {IEEE} {ISR} 2013, Seoul, Korea (South), October 24-26, 2013}, pages = {1--6}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ISR.2013.6739742}, doi = {10.1109/ISR.2013.6739742}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isr/CortesiFC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/HalderC13, author = {Raju Halder and Agostino Cortesi}, editor = {Sung Y. Shin and Jos{\'{e}} Carlos Maldonado}, title = {Abstract program slicing of database query languages}, booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013}, pages = {838--845}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2480362.2480524}, doi = {10.1145/2480362.2480524}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/HalderC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/CortesiCF13, author = {Agostino Cortesi and Giulia Costantini and Pietro Ferrara}, editor = {Anindya Banerjee and Olivier Danvy and Kyung{-}Goo Doh and John Hatcliff}, title = {A Survey on Product Operators in Abstract Interpretation}, booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013}, series = {{EPTCS}}, volume = {129}, pages = {325--336}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.129.19}, doi = {10.4204/EPTCS.129.19}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CortesiCF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cisim/2013, editor = {Khalid Saeed and Rituparna Chaki and Agostino Cortesi and Slawomir T. Wierzchon}, title = {Computer Information Systems and Industrial Management - 12th {IFIP} {TC8} International Conference, {CISIM} 2013, Krakow, Poland, September 25-27, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8104}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40925-7}, doi = {10.1007/978-3-642-40925-7}, isbn = {978-3-642-40924-0}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/HalderC12, author = {Raju Halder and Agostino Cortesi}, title = {Abstract interpretation of database query languages}, journal = {Comput. Lang. Syst. Struct.}, volume = {38}, number = {2}, pages = {123--157}, year = {2012}, url = {https://doi.org/10.1016/j.cl.2011.10.004}, doi = {10.1016/J.CL.2011.10.004}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/HalderC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/CostantiniFC12, author = {Giulia Costantini and Pietro Ferrara and Agostino Cortesi}, editor = {Ranjit Jhala and Atsushi Igarashi}, title = {Linear Approximation of Continuous Systems with Trapezoid Step Functions}, booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS} 2012, Kyoto, Japan, December 11-13, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7705}, pages = {98--114}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35182-2\_8}, doi = {10.1007/978-3-642-35182-2\_8}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/CostantiniFC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisim/SenDCC12, author = {Soumya Sen and Anjan Dutta and Agostino Cortesi and Nabendu Chaki}, editor = {Agostino Cortesi and Nabendu Chaki and Khalid Saeed and Slawomir T. Wierzchon}, title = {A New Scale for Attribute Dependency in Large Database Systems}, booktitle = {Computer Information Systems and Industrial Management - 11th {IFIP} {TC} 8 International Conference, {CISIM} 2012, Venice, Italy, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7564}, pages = {266--277}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33260-9\_23}, doi = {10.1007/978-3-642-33260-9\_23}, timestamp = {Mon, 15 Jun 2020 17:12:54 +0200}, biburl = {https://dblp.org/rec/conf/cisim/SenDCC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/HalderC12, author = {Raju Halder and Agostino Cortesi}, editor = {Slimane Hammoudi and Marten van Sinderen and Jos{\'{e}} Cordeiro}, title = {Tukra: An Abstract Program Slicing Tool}, booktitle = {{ICSOFT} 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012}, pages = {178--183}, publisher = {SciTePress}, year = {2012}, url = {https://doi.org/10.5220/0004069801780183}, doi = {10.5220/0004069801780183}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/HalderC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/ZanioliFC12, author = {Matteo Zanioli and Pietro Ferrara and Agostino Cortesi}, editor = {Sascha Ossowski and Paola Lecca}, title = {{SAILS:} static analysis of information leakage with sample}, booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012, Riva, Trento, Italy, March 26-30, 2012}, pages = {1308--1313}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2245276.2231983}, doi = {10.1145/2245276.2231983}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/ZanioliFC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cisim/2012, editor = {Agostino Cortesi and Nabendu Chaki and Khalid Saeed and Slawomir T. Wierzchon}, title = {Computer Information Systems and Industrial Management - 11th {IFIP} {TC} 8 International Conference, {CISIM} 2012, Venice, Italy, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7564}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33260-9}, doi = {10.1007/978-3-642-33260-9}, isbn = {978-3-642-33259-3}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1206-6322, author = {Soumya Sen and Anjan Dutta and Agostino Cortesi and Nabendu Chaki}, title = {A New Scale for Attribute Dependency in Large Database Systems}, journal = {CoRR}, volume = {abs/1206.6322}, year = {2012}, url = {http://arxiv.org/abs/1206.6322}, eprinttype = {arXiv}, eprint = {1206.6322}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1206-6322.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/CortesiZ11, author = {Agostino Cortesi and Matteo Zanioli}, title = {Widening and narrowing operators for abstract interpretation}, journal = {Comput. Lang. Syst. Struct.}, volume = {37}, number = {1}, pages = {24--42}, year = {2011}, url = {https://doi.org/10.1016/j.cl.2010.09.001}, doi = {10.1016/J.CL.2010.09.001}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/CortesiZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisim/CandielloC11, author = {Antonio Candiello and Agostino Cortesi}, editor = {Nabendu Chaki and Agostino Cortesi}, title = {KPIs from Web Agents for Policies' Impact Analysis and Products' Brand Assessment}, booktitle = {Computer Information Systems - Analysis and Technologies - 10th International Conference, {CISIM} 2011, Kolkata, India, December 14-16, 2011. Proceedings}, series = {Communications in Computer and Information Science}, volume = {245}, pages = {192--201}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-27245-5\_24}, doi = {10.1007/978-3-642-27245-5\_24}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/CandielloC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisim/HalderC11, author = {Raju Halder and Agostino Cortesi}, editor = {Nabendu Chaki and Agostino Cortesi}, title = {Observation-Based Fine Grained Access Control for {XML} Documents}, booktitle = {Computer Information Systems - Analysis and Technologies - 10th International Conference, {CISIM} 2011, Kolkata, India, December 14-16, 2011. Proceedings}, series = {Communications in Computer and Information Science}, volume = {245}, pages = {267--276}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-27245-5\_32}, doi = {10.1007/978-3-642-27245-5\_32}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/HalderC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/CandielloC11, author = {Antonio Candiello and Agostino Cortesi}, editor = {Marijn Janssen and Hans Jochen Scholl and Maria A. Wimmer and Yao{-}Hua Tan}, title = {KPI-Supported {PDCA} Model for Innovation Policy Management in Local Government}, booktitle = {Electronic Government - 10th {IFIP} {WG} 8.5 International Conference, {EGOV} 2011, Delft, The Netherlands, August 28 - September 2, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6846}, pages = {320--331}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22878-0\_27}, doi = {10.1007/978-3-642-22878-0\_27}, timestamp = {Fri, 08 Sep 2023 14:38:12 +0200}, biburl = {https://dblp.org/rec/conf/egov/CandielloC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/CostantiniFC11, author = {Giulia Costantini and Pietro Ferrara and Agostino Cortesi}, editor = {Shengchao Qin and Zongyan Qiu}, title = {Static Analysis of String Values}, booktitle = {Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6991}, pages = {505--521}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24559-6\_34}, doi = {10.1007/978-3-642-24559-6\_34}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/CostantiniFC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/SpanoBC11, author = {Alvise Span{\`{o}} and Michele Bugliesi and Agostino Cortesi}, editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and Boris Shishkov and Jos{\'{e}} Cordeiro}, title = {Type-flow Analysis for Legacy {COBOL} Code}, booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011}, pages = {64--75}, publisher = {SciTePress}, year = {2011}, timestamp = {Wed, 28 Sep 2011 18:25:28 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/SpanoBC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/BhattacharyaC11, author = {Sukriti Bhattacharya and Agostino Cortesi}, editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and Boris Shishkov and Jos{\'{e}} Cordeiro}, title = {Property Driven Program Slicing Refinement}, booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011}, pages = {149--155}, publisher = {SciTePress}, year = {2011}, timestamp = {Wed, 28 Sep 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/BhattacharyaC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/SpanoBC11a, author = {Alvise Span{\`{o}} and Michele Bugliesi and Agostino Cortesi}, editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona and Jos{\'{e}} Cordeiro and Boris Shishkov}, title = {Typing Legacy {COBOL} Code}, booktitle = {Software and Data Technologies - 6th International Conference, {ICSOFT} 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {303}, pages = {151--165}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-36177-7\_10}, doi = {10.1007/978-3-642-36177-7\_10}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/SpanoBC11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigite/MaggioreTS11, author = {Giuseppe Maggiore and Andrea Torsello and Flavio Sartoretto and Agostino Cortesi}, editor = {Bryan S. Goda and Edward Sobiesk and Randy W. Connolly}, title = {Engaging high school students in computer science via challenging applications}, booktitle = {SIGITE' 11 {ACM} Special Interest Group for Information Technology Education Conference, West Point, NY, USA, October 20-22, 2011}, pages = {43--48}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2047594.2047608}, doi = {10.1145/2047594.2047608}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigite/MaggioreTS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/HalderC11, author = {Raju Halder and Agostino Cortesi}, editor = {Ivana Cern{\'{a}} and Tibor Gyim{\'{o}}thy and Juraj Hromkovic and Keith G. Jeffery and Rastislav Kr{\'{a}}lovic and Marko Vukolic and Stefan Wolf}, title = {Cooperative Query Answering by Abstract Interpretation}, booktitle = {{SOFSEM} 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 22-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6543}, pages = {284--296}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18381-2\_24}, doi = {10.1007/978-3-642-18381-2\_24}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/HalderC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ZanioliC11, author = {Matteo Zanioli and Agostino Cortesi}, editor = {Ivana Cern{\'{a}} and Tibor Gyim{\'{o}}thy and Juraj Hromkovic and Keith G. Jeffery and Rastislav Kr{\'{a}}lovic and Marko Vukolic and Stefan Wolf}, title = {Information Leakage Analysis by Abstract Interpretation}, booktitle = {{SOFSEM} 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 22-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6543}, pages = {545--557}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18381-2\_45}, doi = {10.1007/978-3-642-18381-2\_45}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ZanioliC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cisim/2011, editor = {Nabendu Chaki and Agostino Cortesi}, title = {Computer Information Systems - Analysis and Technologies - 10th International Conference, {CISIM} 2011, Kolkata, India, December 14-16, 2011. Proceedings}, series = {Communications in Computer and Information Science}, volume = {245}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-27245-5}, doi = {10.1007/978-3-642-27245-5}, isbn = {978-3-642-27244-8}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cisim/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/BrusoC10, author = {Mayla Brus{\`{o}} and Agostino Cortesi}, title = {Non-repudiation analysis using LySa with annotations}, journal = {Comput. Lang. Syst. Struct.}, volume = {36}, number = {4}, pages = {352--377}, year = {2010}, url = {https://doi.org/10.1016/j.cl.2010.04.002}, doi = {10.1016/J.CL.2010.04.002}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/BrusoC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/HalderPC10, author = {Raju Halder and Shantanu Pal and Agostino Cortesi}, title = {Watermarking Techniques for Relational Databases: Survey, Classification and Comparison}, journal = {J. Univers. Comput. Sci.}, volume = {16}, number = {21}, pages = {3164--3190}, year = {2010}, url = {https://doi.org/10.3217/jucs-016-21-3164}, doi = {10.3217/JUCS-016-21-3164}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/HalderPC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dgo/CandielloAC10, author = {Antonio Candiello and Andrea Albarelli and Agostino Cortesi}, editor = {Soon Ae Chun and Rodrigo Sandoval and Andrew Philpot}, title = {Three-layered QoS for eGovernment web services}, booktitle = {Proceedings of the 11th Annual International Conference on Digital Government Research, Public Administration Online: Challenges and Opportunities, {DG.O} 2010, Puebla, Mexico, May 17-20, 2010}, series = {{ACM} International Conference Proceeding Series}, pages = {217--222}, publisher = {Digital Government Research Center}, year = {2010}, url = {http://dl.acm.org/citation.cfm?id=1809914}, timestamp = {Fri, 20 Nov 2015 13:56:21 +0100}, biburl = {https://dblp.org/rec/conf/dgo/CandielloAC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iciss/HalderC10, author = {Raju Halder and Agostino Cortesi}, editor = {Somesh Jha and Anish Mathuria}, title = {A Persistent Public Watermarking of Relational Databases}, booktitle = {Information Systems Security - 6th International Conference, {ICISS} 2010, Gandhinagar, India, December 17-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6503}, pages = {216--230}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17714-9\_16}, doi = {10.1007/978-3-642-17714-9\_16}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iciss/HalderC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/BhattacharyaC10a, author = {Sukriti Bhattacharya and Agostino Cortesi}, editor = {Jos{\'{e}} Cordeiro and Maria Virvou and Boris Shishkov}, title = {Distortion-Free Authentication Watermarking}, booktitle = {Software and Data Technologies - 5th International Conference, {ICSOFT} 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {170}, pages = {205--219}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-29578-2\_13}, doi = {10.1007/978-3-642-29578-2\_13}, timestamp = {Wed, 14 Nov 2018 10:58:11 +0100}, biburl = {https://dblp.org/rec/conf/icsoft/BhattacharyaC10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/BhattacharyaC10, author = {Sukriti Bhattacharya and Agostino Cortesi}, editor = {Jos{\'{e}} A. Moinhos Cordeiro and Maria Virvou and Boris Shishkov}, title = {Database Authentication by Distortion Free Watermarking}, booktitle = {{ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 1, Athens, Greece, July 22-24, 2010}, pages = {219--226}, publisher = {SciTePress}, year = {2010}, timestamp = {Thu, 28 Apr 2011 13:13:21 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/BhattacharyaC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/HalderC10a, author = {Raju Halder and Agostino Cortesi}, editor = {Jos{\'{e}} Cordeiro and Maria Virvou and Boris Shishkov}, title = {Fine Grained Access Control for Relational Databases by Abstract Interpretation}, booktitle = {Software and Data Technologies - 5th International Conference, {ICSOFT} 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {170}, pages = {235--249}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-29578-2\_15}, doi = {10.1007/978-3-642-29578-2\_15}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/HalderC10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/HalderC10, author = {Raju Halder and Agostino Cortesi}, editor = {Jos{\'{e}} A. Moinhos Cordeiro and Maria Virvou and Boris Shishkov}, title = {Observation-based Fine Grained Access Control for Relational Databases}, booktitle = {{ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 1, Athens, Greece, July 22-24, 2010}, pages = {254--265}, publisher = {SciTePress}, year = {2010}, timestamp = {Thu, 28 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/HalderC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscc/HalderC10, author = {Raju Halder and Agostino Cortesi}, title = {Obfuscation-based analysis of {SQL} injection attacks}, booktitle = {Proceedings of the 15th {IEEE} Symposium on Computers and Communications, {ISCC} 2010, Riccione, Italy, June 22-25, 2010}, pages = {931--938}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ISCC.2010.5546750}, doi = {10.1109/ISCC.2010.5546750}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscc/HalderC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ldta/CortesiH10, author = {Agostino Cortesi and Raju Halder}, editor = {Claus Brabrand and Pierre{-}Etienne Moreau}, title = {Dependence condition graph for semantics-based abstract program slicing}, booktitle = {Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, {LDTA} 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of {ETAPS}}, pages = {4}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1868281.1868285}, doi = {10.1145/1868281.1868285}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ldta/CortesiH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurographics/CostantiniMC09, author = {Giulia Costantini and Giuseppe Maggiore and Agostino Cortesi}, editor = {Gitta Domik and Riccardo Scateni}, title = {Learning by Fixing and Extending Games}, booktitle = {30th Annual Conference of the European Association for Computer Graphics, Eurographics 2009 - Education Papers, Munich, Germany, March 30 - April 3, 2009}, pages = {15--21}, publisher = {Eurographics Association}, year = {2009}, url = {https://doi.org/10.2312/eged.20091013}, doi = {10.2312/EGED.20091013}, timestamp = {Thu, 02 Jul 2020 14:44:06 +0200}, biburl = {https://dblp.org/rec/conf/eurographics/CostantiniMC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iciss/BhattacharyaC09, author = {Sukriti Bhattacharya and Agostino Cortesi}, editor = {Atul Prakash and Indranil Gupta}, title = {A Generic Distortion Free Watermarking Technique for Relational Databases}, booktitle = {Information Systems Security, 5th International Conference, {ICISS} 2009, Kolkata, India, December 14-18, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5905}, pages = {252--264}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-10772-6\_19}, doi = {10.1007/978-3-642-10772-6\_19}, timestamp = {Wed, 12 May 2021 16:44:21 +0200}, biburl = {https://dblp.org/rec/conf/iciss/BhattacharyaC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoft/BhattacharyaC09, author = {Sukriti Bhattacharya and Agostino Cortesi}, editor = {Boris Shishkov and Jos{\'{e}} Cordeiro and Alpesh Ranchordas}, title = {A Distortion Free Watermark Framework for Relational Databases}, booktitle = {{ICSOFT} 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 2, Sofia, Bulgaria, July 26-29, 2009}, pages = {229--234}, publisher = {{INSTICC} Press}, year = {2009}, timestamp = {Sat, 19 Sep 2009 22:21:43 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/BhattacharyaC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sec/BrusoC09, author = {Mayla Brus{\`{o}} and Agostino Cortesi}, editor = {Dimitris Gritzalis and Javier L{\'{o}}pez}, title = {Non-repudiation Analysis with LySa}, booktitle = {Emerging Challenges for Security, Privacy and Trust, 24th {IFIP} {TC} 11 International Information Security Conference, {SEC} 2009, Pafos, Cyprus, May 18-20, 2009. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {297}, pages = {318--329}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01244-0\_28}, doi = {10.1007/978-3-642-01244-0\_28}, timestamp = {Thu, 29 Aug 2019 08:10:01 +0200}, biburl = {https://dblp.org/rec/conf/sec/BrusoC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BraghinCF08, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi}, title = {Information flow security in Boundary Ambients}, journal = {Inf. Comput.}, volume = {206}, number = {2-4}, pages = {460--489}, year = {2008}, url = {https://doi.org/10.1016/j.ic.2007.12.001}, doi = {10.1016/J.IC.2007.12.001}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BraghinCF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Cortesi08, author = {Agostino Cortesi}, editor = {Antonio Cerone and Stefan Gruner}, title = {Widening Operators for Abstract Interpretation}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {31--40}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.20}, doi = {10.1109/SEFM.2008.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Cortesi08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/swap/CandielloAC08, author = {Antonio Candiello and Andrea Albarelli and Agostino Cortesi}, editor = {Aldo Gangemi and Johannes Keizer and Valentina Presutti and Heiko Stoermer}, title = {An Ontology-based Inquiry Framework}, booktitle = {Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), Rome, Italy, December 15-17, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {426}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-426/swap2008\_submission\_42.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:20 +0100}, biburl = {https://dblp.org/rec/conf/swap/CandielloAC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BackesCFM07, author = {Michael Backes and Agostino Cortesi and Riccardo Focardi and Matteo Maffei}, editor = {Peng Ning and Vijay Atluri and Virgil D. Gligor and Heiko Mantel}, title = {A calculus of challenges and responses}, booktitle = {Proceedings of the 2007 {ACM} workshop on Formal methods in security engineering, {FMSE} 2007, Fairfax, VA, USA, November 2, 2007}, pages = {51--60}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1314436.1314444}, doi = {10.1145/1314436.1314444}, timestamp = {Tue, 10 Nov 2020 16:06:16 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BackesCFM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BackesCM07, author = {Michael Backes and Agostino Cortesi and Matteo Maffei}, title = {Causality-based Abstraction of Multiplicity in Security Protocols}, booktitle = {20th {IEEE} Computer Security Foundations Symposium, {CSF} 2007, 6-8 July 2007, Venice, Italy}, pages = {355--369}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/CSF.2007.11}, doi = {10.1109/CSF.2007.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BackesCM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/LogozzoC06, author = {Francesco Logozzo and Agostino Cortesi}, editor = {E. Allen Emerson and Kedar S. Namjoshi}, title = {Semantic Hierarchy Refactoring by Abstract Interpretation}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3855}, pages = {313--331}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11609773\_21}, doi = {10.1007/11609773\_21}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/LogozzoC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/CortesiL05, author = {Agostino Cortesi and Francesco Logozzo}, editor = {Jean{-}Marie Jacquet and Gian Pietro Picco}, title = {Abstract Interpretation-Based Verification of Non-functional Requirements}, booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION} 2005, Namur, Belgium, April 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3454}, pages = {49--62}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11417019\_4}, doi = {10.1007/11417019\_4}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/CortesiL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CortesiL05, author = {Agostino Cortesi and Francesco Logozzo}, editor = {Agostino Cortesi and Francesco Logozzo}, title = {Preface}, booktitle = {Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {131}, pages = {1--2}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.02.010}, doi = {10.1016/J.ENTCS.2005.02.010}, timestamp = {Tue, 13 Dec 2022 15:04:42 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CortesiL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LogozzoC05, author = {Francesco Logozzo and Agostino Cortesi}, editor = {Agostino Cortesi and Francesco Logozzo}, title = {Abstract Interpretation and Object-oriented Programming: Quo Vadis?}, booktitle = {Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {131}, pages = {75--84}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.01.024}, doi = {10.1016/J.ENTCS.2005.01.024}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LogozzoC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2005aiool, editor = {Agostino Cortesi and Francesco Logozzo}, title = {Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {131}, publisher = {Elsevier}, year = {2005}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/131/suppl/C}, timestamp = {Tue, 13 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/2005aiool.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/BraghinCFLP04, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza}, title = {Nesting analysis of mobile ambients}, journal = {Comput. Lang. Syst. Struct.}, volume = {30}, number = {3-4}, pages = {207--230}, year = {2004}, url = {https://doi.org/10.1016/j.cl.2004.02.004}, doi = {10.1016/J.CL.2004.02.004}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/BraghinCFLP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/ZuckAC04, author = {Lenore D. Zuck and Paul C. Attie and Agostino Cortesi}, title = {Preface by the section editors}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {6}, number = {1}, pages = {1--3}, year = {2004}, url = {https://doi.org/10.1007/s10009-004-0144-y}, doi = {10.1007/S10009-004-0144-Y}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/ZuckAC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BraghinC05, author = {Chiara Braghin and Agostino Cortesi}, editor = {Riccardo Focardi and Gianluigi Zavattaro}, title = {Flow-sensitive Leakage Analysis in Mobile Ambients}, booktitle = {Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {5}, pages = {17--25}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.11.039}, doi = {10.1016/J.ENTCS.2004.11.039}, timestamp = {Mon, 12 Dec 2022 15:38:22 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BraghinC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/CortesiF03, author = {Agostino Cortesi and Gilberto Fil{\'{e}}}, title = {Static Analysis}, journal = {Sci. Comput. Program.}, volume = {47}, number = {2-3}, pages = {89--90}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00128-4}, doi = {10.1016/S0167-6423(02)00128-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/CortesiF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BraghinCFFLP03, author = {Chiara Braghin and Agostino Cortesi and Stefano Filippone and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza}, editor = {Hubert Garavel and John Hatcliff}, title = {{BANANA} - {A} Tool for Boundary Ambients Nesting ANAlysis}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, {TACAS} 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2619}, pages = {437--441}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36577-X\_32}, doi = {10.1007/3-540-36577-X\_32}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BraghinCFFLP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/BraghinCFLP03, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza}, editor = {Lenore D. Zuck and Paul C. Attie and Agostino Cortesi and Supratik Mukhopadhyay}, title = {Complexity of Nesting Analysis in Mobile Ambients}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2575}, pages = {86--101}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36384-X\_10}, doi = {10.1007/3-540-36384-X\_10}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/BraghinCFLP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BraghinCF03, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi}, editor = {James Harland}, title = {Information Leakage Detection in Boundary Ambients}, booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide, SA, Australia, February 4-7, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {78}, pages = {123--143}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)81010-7}, doi = {10.1016/S1571-0661(04)81010-7}, timestamp = {Fri, 11 Nov 2022 16:09:31 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BraghinCF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BraghinCFLP04, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza}, editor = {Mario Bravetti and Roberto Gorrieri}, title = {Behind {BANANA:} Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients}, booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO} Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {99}, pages = {319--337}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.02.014}, doi = {10.1016/J.ENTCS.2004.02.014}, timestamp = {Thu, 08 Dec 2022 22:44:21 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BraghinCFLP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2003, editor = {Lenore D. Zuck and Paul C. Attie and Agostino Cortesi and Supratik Mukhopadhyay}, title = {Verification, Model Checking, and Abstract Interpretation, 4th International Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2575}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36384-X}, doi = {10.1007/3-540-36384-X}, isbn = {3-540-00348-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/CortesiF02, author = {Agostino Cortesi and Riccardo Focardi}, title = {Computer languages and security}, journal = {Comput. Lang. Syst. Struct.}, volume = {28}, number = {1}, pages = {1--2}, year = {2002}, url = {https://doi.org/10.1016/S0096-0551(02)00005-X}, doi = {10.1016/S0096-0551(02)00005-X}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/CortesiF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/BraghinCF02, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi}, title = {Security boundaries in mobile ambients}, journal = {Comput. Lang. Syst. Struct.}, volume = {28}, number = {1}, pages = {101--127}, year = {2002}, url = {https://doi.org/10.1016/S0096-0551(02)00009-7}, doi = {10.1016/S0096-0551(02)00009-7}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/BraghinCF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CortesiDQT02, author = {Agostino Cortesi and Agostino Dovier and Elisa Quintarelli and Letizia Tanca}, title = {Operational and abstract semantics of the query language G-Log}, journal = {Theor. Comput. Sci.}, volume = {275}, number = {1-2}, pages = {521--560}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(01)00295-X}, doi = {10.1016/S0304-3975(01)00295-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CortesiDQT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/BraghinCF02, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi}, editor = {Bart Jacobs and Arend Rensink}, title = {Control Flow Analysis of Mobile Ambients with Security Boundaries}, booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}, series = {{IFIP} Conference Proceedings}, volume = {209}, pages = {197--212}, publisher = {Kluwer}, year = {2002}, timestamp = {Thu, 09 Jul 2015 16:49:48 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/BraghinCF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BraghinCFB02, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Steffen van Bakel}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Boundary Inference for Enforcing Security Policies in Mobile Ambients}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {383--395}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_32}, doi = {10.1007/978-0-387-35608-2\_32}, timestamp = {Fri, 27 Sep 2019 10:35:17 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BraghinCFB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2002, editor = {Agostino Cortesi}, title = {Verification, Model Checking, and Abstract Interpretation, Third International Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2294}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-47813-2}, doi = {10.1007/3-540-47813-2}, isbn = {3-540-43631-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/PolletCC01, author = {Isabelle Pollet and Baudouin Le Charlier and Agostino Cortesi}, editor = {J{\o}rgen Lindskov Knudsen}, title = {Distinctness and Sharing Domains for Static Analysis of Java Programs}, booktitle = {{ECOOP} 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2072}, pages = {77--98}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45337-7\_5}, doi = {10.1007/3-540-45337-7\_5}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/PolletCC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/CortesiCR01, author = {Agostino Cortesi and Baudouin Le Charlier and Sabina Rossi}, editor = {Dines Bj{\o}rner and Manfred Broy and Alexandre V. Zamulin}, title = {Reexecution-Based Analysis of Logic Programs with Delay Declarations}, booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2244}, pages = {395--405}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45575-2\_39}, doi = {10.1007/3-540-45575-2\_39}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/CortesiCR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcce/CallegarinC01, author = {Giuseppe Callegarin and Agostino Cortesi}, editor = {Deryn Watson and Jane Andersen}, title = {An Italian National Curriculum on {ICT} for Schools}, booktitle = {Networking the Learner: Computers in Education, {IFIP} {TC3} Seventh {IFIP} World Conference on Computers in Education, {WCCE} 2001, July 29 - August 3, 2001, Copenhagen, Denmark}, series = {{IFIP} Conference Proceedings}, volume = {217}, pages = {767--776}, publisher = {Kluwer}, year = {2001}, timestamp = {Tue, 13 Aug 2002 13:30:51 +0200}, biburl = {https://dblp.org/rec/conf/wcce/CallegarinC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CortesiRC01, author = {Agostino Cortesi and Sabina Rossi and Baudouin Le Charlier}, editor = {Agostino Dovier and Maria Chiara Meo and Andrea Omicini}, title = {Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations}, booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana, Cuba, December 4-6, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {48}, pages = {29--44}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00148-3}, doi = {10.1016/S1571-0661(04)00148-3}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CortesiRC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CortesiF01, author = {Agostino Cortesi and Riccardo Focardi}, editor = {Ugo Montanari and Vladimiro Sassone}, title = {Information Flow Security in Mobile Ambients}, booktitle = {International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {54}, pages = {58--68}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00235-X}, doi = {10.1016/S1571-0661(04)00235-X}, timestamp = {Wed, 30 Nov 2022 11:59:11 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CortesiF01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/RamachandranHC00, author = {Viswanath Ramachandran and Pascal Van Hentenryck and Agostino Cortesi}, title = {Abstract Domains for Reordering CLP(R\({}_{\mbox{Lin}}\)) Programs}, journal = {J. Log. Program.}, volume = {42}, number = {3}, pages = {217--256}, year = {2000}, url = {https://doi.org/10.1016/S0743-1066(99)00011-4}, doi = {10.1016/S0743-1066(99)00011-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/RamachandranHC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/CortesiCH00, author = {Agostino Cortesi and Baudouin Le Charlier and Pascal Van Hentenryck}, title = {Combinations of abstract domains for logic programming: open product and generic pattern construction}, journal = {Sci. Comput. Program.}, volume = {38}, number = {1-3}, pages = {27--71}, year = {2000}, url = {https://doi.org/10.1016/S0167-6423(99)00045-3}, doi = {10.1016/S0167-6423(99)00045-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/CortesiCH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/CortesiF99, author = {Agostino Cortesi and Gilberto Fil{\'{e}}}, title = {Sharing is Optimal}, journal = {J. Log. Program.}, volume = {38}, number = {3}, pages = {371--386}, year = {1999}, url = {https://doi.org/10.1016/S0743-1066(98)10026-2}, doi = {10.1016/S0743-1066(98)10026-2}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/CortesiF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/CharlierLRC99, author = {Baudouin Le Charlier and Christophe Lecl{\`{e}}re and Sabina Rossi and Agostino Cortesi}, title = {Automated Verification of Prolog Programs}, journal = {J. Log. Program.}, volume = {39}, number = {1-3}, pages = {3--42}, year = {1999}, url = {https://doi.org/10.1016/S0743-1066(98)10032-8}, doi = {10.1016/S0743-1066(98)10032-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/CharlierLRC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sas/1999, editor = {Agostino Cortesi and Gilberto Fil{\'{e}}}, title = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy, September 22-24, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1694}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48294-6}, doi = {10.1007/3-540-48294-6}, isbn = {3-540-66459-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/1999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CortesiFW98, author = {Agostino Cortesi and Gilberto Fil{\'{e}} and William H. Winsborough}, title = {The Quotient of an Abstract Interpretation}, journal = {Theor. Comput. Sci.}, volume = {202}, number = {1-2}, pages = {163--192}, year = {1998}, url = {https://doi.org/10.1016/S0304-3975(97)00137-0}, doi = {10.1016/S0304-3975(97)00137-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CortesiFW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/CortesiDQT98, author = {Agostino Cortesi and Agostino Dovier and Elisa Quintarelli and Letizia Tanca}, editor = {Jos{\'{e}} Luis Freire{-}Nistal and Moreno Falaschi and Manuel Vilares Ferro}, title = {Operational and Abstract Semantics of a Query Language for Semi-Structured Information}, booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, {A} Coru{\~{n}}a, Spain, July 20-23, 1998}, pages = {175--188}, year = {1998}, timestamp = {Wed, 21 Nov 2007 11:59:17 +0100}, biburl = {https://dblp.org/rec/conf/agp/CortesiDQT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/CortesiDQT98, author = {Agostino Cortesi and Agostino Dovier and Elisa Quintarelli and Letizia Tanca}, editor = {Piero Fraternali and Ulrich Geske and Carolina Ruiz and Dietmar Seipel}, title = {Operational and Abstract Semantics of a Query Language for Semi-Structured Information}, booktitle = {Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98}, series = {{GMD} Report}, volume = {22}, pages = {127--140}, year = {1998}, timestamp = {Wed, 04 Dec 2013 14:42:57 +0100}, biburl = {https://dblp.org/rec/conf/deductive/CortesiDQT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/CortesiFGPR97, author = {Agostino Cortesi and Gilberto Fil{\'{e}} and Roberto Giacobazzi and Catuscia Palamidessi and Francesco Ranzato}, title = {Complementation in Abstract Interpretation}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {19}, number = {1}, pages = {7--47}, year = {1997}, url = {https://doi.org/10.1145/239912.239914}, doi = {10.1145/239912.239914}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/CortesiFGPR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/CharlierLRC97, author = {Baudouin Le Charlier and Christophe Lecl{\`{e}}re and Sabina Rossi and Agostino Cortesi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Automated Behavioural Verification of Prolog Programs}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {189--200}, year = {1997}, timestamp = {Thu, 02 Dec 2004 11:23:16 +0100}, biburl = {https://dblp.org/rec/conf/agp/CharlierLRC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/CharlierLRC97, author = {Baudouin Le Charlier and Christophe Lecl{\`{e}}re and Sabina Rossi and Agostino Cortesi}, editor = {R. K. Shyamasundar and Kazunori Ueda}, title = {Automated Verification of Behavioural Properties of Prolog Programs}, booktitle = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1345}, pages = {225--238}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63875-X\_55}, doi = {10.1007/3-540-63875-X\_55}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/CharlierLRC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/CortesiFW96, author = {Agostino Cortesi and Gilberto Fil{\'{e}} and William H. Winsborough}, title = {Optimal Groundness Analysis Using Propositional Logic}, journal = {J. Log. Program.}, volume = {27}, number = {2}, pages = {137--167}, year = {1996}, url = {https://doi.org/10.1016/0743-1066(95)00123-9}, doi = {10.1016/0743-1066(95)00123-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/CortesiFW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/CortesiCR96, author = {Agostino Cortesi and Baudouin Le Charlier and Sabina Rossi}, editor = {John P. Gallagher}, title = {Specification-Based Automatic Verification of Prolog Programs}, booktitle = {Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1207}, pages = {38--57}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-62718-9\_3}, doi = {10.1007/3-540-62718-9\_3}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/CortesiCR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HentenryckCC95, author = {Pascal Van Hentenryck and Agostino Cortesi and Baudouin Le Charlier}, title = {Type Analysis of Prolog Using Type Graphs}, journal = {J. Log. Program.}, volume = {22}, number = {3}, pages = {179--209}, year = {1995}, url = {https://doi.org/10.1016/0743-1066(94)00021-W}, doi = {10.1016/0743-1066(94)00021-W}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HentenryckCC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HentenryckCC95a, author = {Pascal Van Hentenryck and Agostino Cortesi and Baudouin Le Charlier}, title = {Evaluation of the Domain \emph{Prop}}, journal = {J. Log. Program.}, volume = {23}, number = {3}, pages = {237--278}, year = {1995}, url = {https://doi.org/10.1016/0743-1066(94)00029-6}, doi = {10.1016/0743-1066(94)00029-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HentenryckCC95a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/CortesiFGPR95, author = {Agostino Cortesi and Gilberto Fil{\'{e}} and Roberto Giacobazzi and Catuscia Palamidessi and Francesco Ranzato}, editor = {Alan Mycroft}, title = {Complementation in Abstract Interpretation}, booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {983}, pages = {100--117}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60360-3\_35}, doi = {10.1007/3-540-60360-3\_35}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/CortesiFGPR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ccp2/1995, editor = {Agostino Cortesi and Philippe Codognet}, title = {First International Workshop on Concurrent Constraint Programming, {CCP} 1995, C{\`{a}} Dolfin, Venice, Italy, May 29-31, 1995}, publisher = {{INRIA} Rocquencourt}, year = {1995}, timestamp = {Tue, 18 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ccp2/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/CortesiFW94, author = {Agostino Cortesi and Gilberto Fil{\'{e}} and William H. Winsborough}, editor = {Mar{\'{\i}}a Alpuente and Roberto Barbuti and Isidro Ramos}, title = {The Quotient of an Abstract Interpretation for Comparing Static Analyses}, booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola, Spain, September 19-22, 1994, Volume 1}, pages = {372--387}, year = {1994}, timestamp = {Wed, 01 Dec 2004 15:33:38 +0100}, biburl = {https://dblp.org/rec/conf/agp/CortesiFW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/HentenryckCC94, author = {Pascal Van Hentenryck and Agostino Cortesi and Baudouin Le Charlier}, editor = {Vivek Sarkar and Barbara G. Ryder and Mary Lou Soffa}, title = {Type Analysis of Prolog Using Type Graphs}, booktitle = {Proceedings of the {ACM} SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994}, pages = {337--348}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/178243.178479}, doi = {10.1145/178243.178479}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/HentenryckCC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CortesiCH94, author = {Agostino Cortesi and Baudouin Le Charlier and Pascal Van Hentenryck}, editor = {Hans{-}Juergen Boehm and Bernard Lang and Daniel M. Yellin}, title = {Combinations of Abstract Domains for Logic Programming}, booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994}, pages = {227--239}, publisher = {{ACM} Press}, year = {1994}, url = {https://doi.org/10.1145/174675.177880}, doi = {10.1145/174675.177880}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/CortesiCH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CortesiF93, author = {Agostino Cortesi and Gilberto Fil{\'{e}}}, title = {Graph Properties for Normal Logic Programs}, journal = {Theor. Comput. Sci.}, volume = {107}, number = {2}, pages = {277--303}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90172-P}, doi = {10.1016/0304-3975(93)90172-P}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CortesiF93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/CortesiF93, author = {Agostino Cortesi and Gilberto Fil{\'{e}}}, editor = {Domenico Sacc{\`{a}}}, title = {Comparison and design of abstract domains for sharing analysis}, booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993}, pages = {251--266}, year = {1993}, timestamp = {Thu, 02 Dec 2004 11:00:44 +0100}, biburl = {https://dblp.org/rec/conf/agp/CortesiF93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CortesiFW92, author = {Agostino Cortesi and Gilberto Fil{\'{e}} and William H. Winsborough}, editor = {Werner Kuich}, title = {Comparison of Abstract Interpretations}, booktitle = {Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {623}, pages = {521--532}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55719-9\_101}, doi = {10.1007/3-540-55719-9\_101}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CortesiFW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CortesiFW91, author = {Agostino Cortesi and Gilberto Fil{\'{e}} and William H. Winsborough}, title = {Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis}, booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991}, pages = {322--327}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/LICS.1991.151656}, doi = {10.1109/LICS.1991.151656}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CortesiFW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/CortesiF91, author = {Agostino Cortesi and Gilberto Fil{\'{e}}}, editor = {Charles Consel and Olivier Danvy}, title = {Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {52--61}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115872}, doi = {10.1145/115865.115872}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/CortesiF91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.