BibTeX records: Agostino Cortesi

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics