Publications

@Article{PM:sttt26,
  groups = {choreographies},
  author    = {Pasqua, Michele and Miculan, Marino},
  title     = {Attribute-based memory updates with priorities for collective adaptive systems},
  journal   = {International Journal on Software Tools for Technology Transfer},
  year      = {2026},
  doi       = {10.1007/s10009-026-00856-y},
  html      = {https://doi.org/10.1007/s10009-026-00856-y},
  pdf = "https://rdcu.be/fdYwk"
}

@article{vr:zohdinasab2026automate,
  groups = {testing},
  title = {Automated Feature Extraction for Testing Deep Learning Systems through Illumination Search},
  volume = {36},
  doi = {10.1002/stvr.70019},
  number = {1-2},
  journal = {Software Testing, Verification and Reliability},
  publisher = {Wiley},
  author = {Zohdinasab, Tahereh and Riccio, Vincenzo and Tonella, Paolo},
  year = {2026},
  month = {January},
  pdf = {https://p1ndsvin.github.io/assets/pdf/riccio_STVR26.pdf}
}

@inproceedings{clmpm:itasec26,
  groups = {cybersecurity},
	author       = {Coppo, Cristian and Longo, Francesco and Merlino, Giovanni and Puliafito, Antonio and Marino Miculan},
	editor       = {Davide Maiorca and Pierangela Samarati},
	title        = {Automatic Verification of Security Properties in Containerized {IoT} Applications via Bigraphical Modeling},
	booktitle    = {Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2026)},
	location     = {Cagliari, Italy, February 09-13, 2026},
	series       = {{CEUR} Workshop Proceedings},
	volume       = 4198,
	publisher    = {CEUR-WS.org},
	year         = 2026,
	pdf          = {https://ceur-ws.org/Vol-4198/paper59.pdf},
	html         = {https://ceur-ws.org/Vol-4198}
}

@inproceedings{vr:maryam2026deepnaqq,
  groups = {testing},
  title = {DeepNaqqal: Human-Aligned Automated Validation of Test Inputs for Deep Learning},
  doi = {10.1109/icst69053.2026.00022},
  booktitle = {2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)},
  publisher = {IEEE},
  author = {Maryam, Maryam and Biagiola, Matteo and Tonella, Paolo and Riccio, Vincenzo},
  year = {2026},
  month = {May},
  pages = {76–87},
  pdf = {https://p1ndsvin.github.io/assets/pdf/DeepNaqqal_ICST2026.pdf}
}

@inbook{vr:fazzini2026devops,
  groups = {testing},
  title = {DevOps Testing for Cyber-physical Systems},
  doi = {10.1007/978-981-95-1786-2_4},
  booktitle = {Roadmap for DevOps in Cyber-Physical Systems},
  publisher = {Springer Nature Singapore},
  author = {Fazzini, Mattia and Gambi, Alessio and Riccio, Vincenzo and Panichella, Annibale and Klikovits, Stefan},
  year = {2026},
  pages = {45–81}
}

@article{vr:klikovits2026does,
  groups = {testing},
  title = {Does Road Diversity Really Matter in Testing Automated Driving Systems?},
  volume = {32},
  doi = {10.1007/s10664-026-10920-5},
  number = {1},
  journal = {Empirical Software Engineering},
  publisher = {Springer Science and Business Media LLC},
  author = {Klikovits, Stefan and Riccio, Vincenzo and Castellano, Ezequiel and Cetinkaya, Ahmet and Gambi, Alessio and Arcaini, Paolo},
  year = {2026},
  month = {July},
  pdf = {https://p1ndsvin.github.io/assets/pdf/EMSE2026.pdf}
}

@inproceedings{vr:aquilino2026eaglesemble,
  groups = {testing},
  author = {Cristian Aquilino and Ettore Ritacco and Vincenzo Riccio},
  title = {EagleSemble at the ICST 2026 Tool Competition -- Self-Driving Car Testing Track},
  booktitle = {IEEE International Conference on Software Testing, Verification and Validation (ICST 2026), Tool Competition},
  year = {2026},
  pdf = {https://p1ndsvin.github.io/assets/pdf/ICST_SDC_EagleSemble.pdf},
  award = {2nd place, ICST 2026 Tool Competition}
}

@inproceedings{mpp:secrypt26,
  groups = {cybersecurity},
  author       = {Marino Miculan and Matteo Paier and Jacopo Plozner},
  title        = {Experimental Evaluation of Lightweight Encryption Algorithms on 16-bit Microcontrollers},
  booktitle    = {Proceedings of the 23rd International Conference on Security and Cryptography - SECRYPT},
  year         = {2026},
  publisher    = {SciTePress},
  organization = {INSTICC},
  doi          = {10.5220/0015189200004103},
  html         = {https://doi.org/10.5220/0015189200004103},
  Pdf          = {https://marino.miculan.org/assets/pdf/2026-SECRYPT.pdf},
}

@Article{PVM:sosym26,
  groups = {cybersecurity},
  author    = {Paier, Matteo and Van Eeden, Roberto L. G. and Miculan, Marino},
  title     = {Formal modelling and verifying {eIDAS} multi-factor authentication with interface-based threat analysis},
  journal   = {Software and Systems Modeling},
  year      = {2026},
  doi       = {10.1007/s10270-026-01375-9},
  html      = {https://doi.org/10.1007/s10270-026-01375-9},
  pdf = "https://link.springer.com/content/pdf/10.1007/s10270-026-01375-9.pdf",
  selected = true,
}

@article{vr:maryam2026giftbenc,
  groups = {testing},
  title = {GIFTbench: Generative Image Fuzz Testing Benchmark},
  volume = {253},
  doi = {10.1016/j.scico.2026.103502},
  journal = {Science of Computer Programming},
  publisher = {Elsevier BV},
  author = {Maryam, Maryam and Biagiola, Matteo and Stocco, Andrea and Riccio, Vincenzo},
  year = {2026},
  month = {August},
  pages = {103502},
  pdf = {https://p1ndsvin.github.io/assets/pdf/scp_giftbench.pdf}
}

@Article{m:jlamp26,
  groups = {choreographies},
	author    = {Miculan, Marino},
	title     = {{KLAIM}, Certified: Mechanising Flow Logic for Tuple-Space Coordination},
	journal   = {Journal of Logical and Algebraic Methods in Programming},
	year      = {2026},
	pages     = {101179},
	doi       = {10.1016/j.jlamp.2026.101179},
	html      = {https://doi.org/10.1016/j.jlamp.2026.101179},
	code      = {https://zenodo.org/records/22171485},
	issn      = {2352-2208},
  selected  = true,
}

@inproceedings{bpm:ictcs26,
  groups = {cybersecurity},
	author       = {Baldo, Massimiliano and Paier, Matteo and Miculan, Marino},
	title        = {Policy Automata for Stateful Authorization},
	booktitle    = {Proceedings of the 27th Italian Conference on Theoretical Computer Science (ICTCS 2026)},
	location     = {Udine, Italy, September 07-09, 2026},
	series       = {{CEUR} Workshop Proceedings},
	volume       = 4269,
	publisher    = {CEUR-WS.org},
	year         = 2026,
	pdf          = {https://ceur-ws.org/Vol-4269/paper45.pdf},
	html         = {https://ceur-ws.org/Vol-4269}
}

@InProceedings{m:isola26,
  groups = {choreographies},
	author    = {Miculan, Marino},
	editor    = {Margaria, Tiziana and Steffen, Bernhard},
	title     = {Reliable Decision Loops in Socio-Technical Collective Adaptive Systems},
	booktitle = {Proc. ISoLA 2026},
	series    = {Lecture Notes in Computer Science},
	volume    = {17141},
	publisher = {Springer},
	year      = {2026},
	doi       = {10.1007/978-3-032-40108-3_5},
	note      = {To appear}
}

@inproceedings{efmd:itasec26,
  groups = {cybersecurity},
	author       = {Ejeh, Dennis Glenn and Foresti, Gian Luca and Marino Miculan and De Nardin, Axel},
	editor       = {Davide Maiorca and Pierangela Samarati},
	title        = {{SA-SOINN}: A Self-Adaptive Neural Network for Continuous Intrusion Detection in Dynamic Environments},
	booktitle    = {Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2026)},
	location     = {Cagliari, Italy, February 09-13, 2026},
	series       = {{CEUR} Workshop Proceedings},
	volume       = 4198,
	publisher    = {CEUR-WS.org},
	year         = 2026,
	pdf          = {https://ceur-ws.org/Vol-4198/paper2.pdf},
	html         = {https://ceur-ws.org/Vol-4198}
}

@Article{lpmr:smr26,
  groups = {cybersecurity},
  author    = {Lizzit, Michele and Pinzauti, Francesco and Miculan, Marino and Riccio, Vincenzo},
  title     = {Security Assessment of Private Package Repositories: An Experience on {Acc-Py} at {CERN}},
  journal   = {Journal of Software: Evolution and Process},
  year      = {2026},
  volume    = {38},
  number    = {8},
  pages     = {e70159},
  doi       = {10.1002/smr.70159},
  html      = {https://doi.org/10.1002/smr.70159},
  pdf       = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/smr.70159},
  issn      = {2047-7473},
}

@inproceedings{bdpm:sacmat26,
  groups = {cybersecurity},
	author       = {Baldo, Massimiliano and Di Gianantonio, Pietro and Paier, Matteo and Miculan, Marino},
	title        = {Strobilus: Enriching {Cedar} with Stateful Policies},
	booktitle    = {Proceedings of the 31st {ACM} Symposium on Access Control Models and Technologies (SACMAT '26)},
	location     = {Waterloo, ON, Canada, July 08-10, 2026},
	publisher    = {Association for Computing Machinery},
	year         = 2026,
	month        = jul,
	pages        = {205--216},
	doi          = {10.1145/3750555.3811892},
	html         = {https://doi.org/10.1145/3750555.3811892},
	pdf          = {https://marino.miculan.org/assets/pdf/2026-SACMAT.pdf},
	code         = {https://github.com/strobilus-lang/strobilus-tinytodo-example},
	isbn         = {979-8-4007-2107-6},
  selected     = true,
}

@article{vr:weil2026targeted,
  groups = {testing},
  title = {Targeted Deep Learning System Boundary Testing},
  volume = {35},
  doi = {10.1145/3771557},
  number = {7},
  journal = {ACM Transactions on Software Engineering and Methodology},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Weißl, Oliver and Abdellatif, Amr and Chen, Xingcheng and Merabishvili, Giorgi and Riccio, Vincenzo and Kacianka, Severin and Stocco, Andrea},
  year = {2026},
  month = {June},
  pages = {1–31},
  pdf = {https://p1ndsvin.github.io/assets/pdf/weissl_tosem2026_.pdf}
}

@article{vr:chen2026xmutant,
  groups = {testing},
  title = {XMutant: XAI-based Fuzzing for Deep Learning Systems},
  volume = {31},
  doi = {10.1007/s10664-025-10792-1},
  number = {4},
  journal = {Empirical Software Engineering},
  publisher = {Springer Science and Business Media LLC},
  author = {Chen, Xingcheng and Biagiola, Matteo and Riccio, Vincenzo and d’Amorim, Marcelo and Stocco, Andrea},
  year = {2026},
  month = {March},
  pdf = {https://p1ndsvin.github.io/assets/pdf/xmutant.pdf}
}

@article{vr:valle2025an,
  groups = {testing},
  title = {An Industrial Experience Report on Applying Search-based Boundary Input Generation to Cyber-Physical Systems},
  volume = {30},
  doi = {10.1007/s10664-025-10670-w},
  number = {4},
  journal = {Empirical Software Engineering},
  publisher = {Springer Science and Business Media LLC},
  author = {Valle, Pablo and Riccio, Vincenzo and Arrieta, Aitor and Tonella, Paolo and Arratibel, Maite},
  year = {2025},
  month = {May},
  pdf = {https://p1ndsvin.github.io/assets/pdf/EMSE_LIFTJANUS.pdf}
}

@InProceedings{cgm:forte25,
  groups = {choreographies},
author="Comini, Marco and Gemolotto, Luca and Miculan, Marino",
editor="Ferreira, Carla and Mezzina, Claudio Antares",
title="Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems",
booktitle="45th IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems, {FORTE 2025}",
year="2025",
series="Lecture Notes in Computer Science",
volume="15732",
publisher="Springer",
pages="96--113",
doi="10.1007/978-3-031-95497-9_6",
html="https://link.springer.com/chapter/10.1007/978-3-031-95497-9_6",
isbn="978-3-031-95497-9"
}

@inproceedings{vr:maryam2025benchmar,
  groups = {testing},
  title = {Benchmarking Generative AI Models for Deep Learning Test Input Generation},
  doi = {10.1109/icst62969.2025.10989043},
  booktitle = {2025 IEEE Conference on Software Testing, Verification and Validation (ICST)},
  publisher = {IEEE},
  author = {Maryam, Maryam and Biagiola, Matteo and Stocco, Andrea and Riccio, Vincenzo},
  year = {2025},
  month = {March},
  pages = {174–185},
  pdf = {https://p1ndsvin.github.io/assets/pdf/ICST2025.pdf},
  award = {Best Paper Award}
}

@article{lmcs:12930,
    title      = {On the Axioms of 𝓜,𝓝-Adhesive Categories},
    author     = {Davide Castelnovo and Marino Miculan},
    html       = {https://lmcs.episciences.org/12930},
    pdf        = {https://lmcs.episciences.org/15333/pdf},
    doi        = {10.46298/lmcs-21(1:22)2025},
    journal    = {Logical Methods in Computer Science},
    issn       = {1860-5974},
    volume     = 21,
    Issue      = 1,
    eid        = 22,
    year       = 2025,
    keywords   = {Computer Science - Logic in Computer Science, Mathematics - Category Theory},
}

@inproceedings{bimpr:itasec25,
  groups = {cybersecurity},
	author       = {Massimiliano Baldo and Ion, Fabio Ionut and Marino Miculan and Matteo Paier and Vincenzo Riccio},
	editor       = {Gabriele Costa and Rebecca Montanari and Michele Carminati and Giada Sciarretta},
	title        = {OWSM: Empowering Rego for Stateful Access Control},
	booktitle    = {Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2025)},
	location     = {Bologna, Italy, February 3-8, 2025},
	series       = {{CEUR} Workshop Proceedings},
	volume       = 3962,
  publisher    = {CEUR-WS.org},
	year         = 2025,
	pdf          = {https://ceur-ws.org/Vol-3962/paper49.pdf},
	html    = {https://ceur-ws.org/Vol-3962}
}

@inproceedings{gfmd:itasec25,
  groups = {cybersecurity},
	author       = {Ejeh, Dennis Glenn and Foresti, Gian Luca and Marino Miculan and De Nardin, Axel},
	editor       = {Gabriele Costa and Rebecca Montanari and Michele Carminati and Giada Sciarretta},
	title        = {Real-Time Anomaly Detection in Docker Containers: A Continuous Learning Approach Using {SF-SOINN}},
	booktitle    = {Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2025)},
	location     = {Bologna, Italy, February 3-8, 2025},
	series       = {{CEUR} Workshop Proceedings},
	volume       = 3962,
	publisher    = {CEUR-WS.org},
	year         = 2025,
	pdf          = {https://ceur-ws.org/Vol-3962/paper45.pdf},
	html    = {https://ceur-ws.org/Vol-3962}
}

@inproceedings{DBLP:conf/lics/GianantonioE24,
author = {Pietro Di Gianantonio and
Abbas Edalat},
title = {A Cartesian Closed Category for Random Variables},
booktitle = {{LICS}},
pages = {32:1--32:14},
publisher = {{ACM}},
year = {2024}
}

@inproceedings{vepm:secrypt24,
  groups = {cybersecurity},
author={Van Eeden, Roberto and Matteo Paier and Marino Miculan},
title={A Formal Analysis of {CIE} Level 2 Multi-Factor Authentication via {SMS OTP}},
booktitle={Proceedings of the 21st International Conference on Security and Cryptography - SECRYPT},
year={2024},
pages={483-491},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012768300003767},
html = {https://doi.org/10.5220/0012768300003767},
isbn={978-989-758-709-2},
issn={2184-7711},
}

@article{CASTELNOVO2024114280,
title = {A simple criterion for 𝓜,𝓝-adhesivity},
journal = {Theoretical Computer Science},
volume = {982},
pages = {114280},
year = {2024},
issn = {0304-3975},
doi = {10.1016/j.tcs.2023.114280},
html = {https://www.sciencedirect.com/science/article/pii/S0304397523005935},
author = {Davide Castelnovo and Fabio Gadducci and Marino Miculan},
selected=false
}

@article{PASQUA2024114537,
  groups = {cybersecurity, choreographies},
title = {Behavioral equivalences for {AbU}: Verifying security and safety in distributed IoT systems},
journal = {Theoretical Computer Science},
volume = {998},
pages = {114537},
year = {2024},
issn = {0304-3975},
doi = {10.1016/j.tcs.2024.114537},
html = {https://www.sciencedirect.com/science/article/pii/S030439752400152X},
author = {Michele Pasqua and Marino Miculan},
keywords = {ECA rules, IoT programming, Distributed systems, Bisimulations, Formal methods, Autonomic computing, Verification},
selected=false
}

@inproceedings{tpm:itasec24,
  groups = {cybersecurity},
	author       = {Enrico Talotti and Matteo Paier and Marino Miculan},
  editor       = {Gianni D'Angelo and
                  Flaminia Luccio and
                  Francesco Palmieri},
	title        = {{ECC}’s {Achilles}’ Heel: Unveiling Weak Keys in Standardized Curves},
  booktitle    = {Proceedings of the 8th Italian Conference on Cyber Security ({ITASEC} 2024)},
  location     = {Salerno, Italy, April 8-12, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = 3731,
  publisher    = {CEUR-WS.org},
  year         = 2024,
	pdf          = {https://ceur-ws.org/Vol-3488/paper09.pdf},
	html    = {https://ceur-ws.org/Vol-3731}
}

@article{vr:zohdinasab2024focused,
  groups = {testing},
  title = {Focused Test Generation for Autonomous Driving Systems},
  volume = {33},
  doi = {10.1145/3664605},
  number = {6},
  journal = {ACM Transactions on Software Engineering and Methodology},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Zohdinasab, Tahereh and Riccio, Vincenzo and Tonella, Paolo},
  year = {2024},
  month = {June},
  pages = {1–32},
  pdf = {https://p1ndsvin.github.io/assets/pdf/TOSEM2024.pdf}
}

@InProceedings{pvem:sefm24,
  groups = {cybersecurity},
author="Paier, Matteo
and Van Eeden, Roberto
and Miculan, Marino",
editor="Madeira, Alexandre
and Knapp, Alexander",
title="Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards",
booktitle="International Conference on Software Engineering and Formal Methods, SEFM 2024",
year="2024",
publisher="Springer",
pages="423--440",
isbn="978-3-031-77382-2",
doi="10.1007/978-3-031-77382-2_24",
html="https://link.springer.com/chapter/10.1007/978-3-031-77382-2_24",
note="Best Paper Award",
}

@book{carnepri25,
title = {La digitalizzazione mediante blockchain della filiera {CarnePRI}},
subtitle = {Studio di fattibilità su condizioni tecniche, requisiti giuridici e implicazioni organizzative ed economiche},
author = {Federico Costantini and Stefano Bistarelli and Francesco Crisci and Marino Miculan and Edi Piasentier},
publisher = {Forum},
year = {2024},
series = {Tracce. Itinerari di ricerca/Area scientifica},
html = {https://forumeditrice.it/percorsi/scienza-e-tecnica/tracce.-itinerari-di-ricerca-area-scientifica/la-digitalizzazione-mediante-blockchain-della-filiera-2018carnepri2019},
ISBN = {978-88-3283-509-0}
}

@article{DBLP:journals/remotesensing/OdettiBFACVZS24,
author = {Angelo Odetti and
Gabriele Bruzzone and
Roberta Ferretti and
Simona Aracri and
Federico Carotenuto and
Carolina Vagnoli and
Alessandro Zaldei and
Ivan Scagnetto},
title = {Lake Environmental Data Harvester {(LED)} for Alpine Lake Monitoring
with Autonomous Surface Vehicles (ASVs)},
journal = {Remote. Sens.},
volume = {16},
number = {11},
pages = {1998},
year = {2024}
}

@InProceedings{pm:isola24,
  groups = {choreographies},
author="Pasqua, Michele and Miculan, Marino",
editor="Margaria, Tiziana and Steffen, Bernhard",
title="Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems",
booktitle="12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024",
year="2024",
publisher="Springer",
pages="351--367",
isbn="978-3-031-75107-3",
doi="10.1007/978-3-031-75107-3_21",
html="https://doi.org/10.1007/978-3-031-75107-3_21",
pdf="https://marino.miculan.org/assets/pdf/2024-ISOLA.pdf"
}

@inproceedings{ppfm:itasec24,
  groups = {cybersecurity},
  author       = {Matteo Paier and
                  Mattia Pizzolitto and
                  Foresti, Gian Luca and
                  Marino Miculan},
  editor       = {Gianni D'Angelo and
                  Flaminia Luccio and
                  Francesco Palmieri},
  title        = {Netstaldi: {A} Modular Distributed Architecture for Incremental Network Discovery},
  booktitle    = {Proceedings of the 8th Italian Conference on Cyber Security ({ITASEC} 2024)},
  location     = {Salerno, Italy, April 8-12, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = 3731,
  publisher    = {CEUR-WS.org},
  year         = 2024,
  pdf          = {https://ceur-ws.org/Vol-3731/paper37.pdf},
	html    = {https://ceur-ws.org/Vol-3731}
}

@inproceedings{DBLP:conf/seams/RiccioSZCMS24,
groups = {testing},
author = {Vincenzo Riccio and
Giancarlo Sorrentino and
Ettore Zamponi and
Matteo Camilli and
Raffaela Mirandola and
Patrizia Scandurra},
title = {{RAMSES:} An Artifact Exemplar for Engineering Self-Adaptive Microservice
Applications},
booktitle = {SEAMS@ICSE},
pages = {161--167},
publisher = {{ACM}},
year = {2024}
}

@article{vr:biagiola2024two,
  groups = {testing},
  title = {Two is Better Than One: Digital Siblings to Improve Autonomous Driving Testing},
  volume = {29},
  doi = {10.1007/s10664-024-10458-4},
  number = {4},
  journal = {Empirical Software Engineering},
  publisher = {Springer Science and Business Media LLC},
  author = {Biagiola, Matteo and Stocco, Andrea and Riccio, Vincenzo and Tonella, Paolo},
  year = {2024},
  month = {May},
  pdf = {https://p1ndsvin.github.io/assets/pdf/EMSE2024.pdf}
}

@article{PASQUA2023113841,
  groups = {choreographies},
title = {{AbU}: A calculus for distributed event-driven programming with attribute-based interaction},
journal = {Theoretical Computer Science},
volume = 958,
pages = {113841},
year = 2023,
issn = {0304-3975},
doi = {10.1016/j.tcs.2023.113841},
html = {https://www.sciencedirect.com/science/article/pii/S0304397523001548},
author = {Michele Pasqua and Marino Miculan},
selected = true,
keywords = {ECA rules, Attribute-based communication, Distributed systems, Formal methods, Edge computing, IoT programming},
}

@inproceedings{vr:zohdinasab2023an,
  groups = {testing},
  title = {An Empirical Study on Low- and High-Level Explanations of Deep Learning Misbehaviours},
  doi = {10.1109/esem56168.2023.10304866},
  booktitle = {2023 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)},
  publisher = {IEEE},
  author = {Zohdinasab, Tahereh and Riccio, Vincenzo and Tonella, Paolo},
  year = {2023},
  month = {October},
  pages = {1–11},
  pdf = {https://p1ndsvin.github.io/assets/pdf/ESEM2023.pdf}
}

@inproceedings{DBLP:conf/ictcs/MiculanP23,
  groups = {cybersecurity},
  author       = {Marino Miculan and
                  Matteo Paier},
  title        = {Assembling Coherent Network Topologies Using Round-Trip Graphs},
  booktitle    = {Proceedings of the 24th Italian Conference on Theoretical Computer
                  Science, ICTCS 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = 3587,
  pages        = {110--115},
  publisher    = {CEUR-WS.org},
  year         = 2023,
  pdf          = {https://ceur-ws.org/Vol-3587/6692.pdf},
  html = {https://ceur-ws.org/Vol-3587/}
}

@article{MICULAN2022103072,
  groups = {cybersecurity},
title = {Automated Verification of Telegram’s MTProto 2.0 in the Symbolic Model},
journal = {Computers & Security},
pages = {103072},
year = {2023},
issn = {0167-4048},
doi = {10.1016/j.cose.2022.103072},
html = {https://doi.org/10.1016/j.cose.2022.103072},
author = {Marino Miculan and Nicola Vitacolonna},
keywords = {Specification, Verification and Synthesis, Security protocols, Practical verification, Privacy, Formal methods},
  selected=true
}

@article{stolze2022composable,
  groups = {choreographies},
  title={Composable partial multiparty session types for open systems},
  author={Stolze, Claude and Miculan, Marino and Di Gianantonio, Pietro},
  journal={Software and Systems Modeling},
  year=2023,
  html= {https://doi.org/10.1007/s10270-022-01040-x},
  doi = {10.1007/s10270-022-01040-x},
  publisher={Springer},
  pages = {473-494},
  number=22,
  keywords={concurrency,session types,process calculi,compositionality}
}

@misc{mm:cve2023,
  groups = {cybersecurity},
 author={Cybersecurity Lab},
 title={CVE-2023-40718: IPS Engine evasion using custom TCP flags},
 html={https://www.fortiguard.com/psirt/FG-IR-23-090},
 year=2023,
 publisher={Fortinet}
}

@inproceedings{DBLP:conf/itasec/AltaruiMP23,
  groups = {cybersecurity, choreographies},
  author       = {Andrea Altarui and
                  Marino Miculan and
                  Matteo Paier},
  editor       = {Francesco Buccafurri and
                  Elena Ferrari and
                  Gianluca Lax},
  title        = {{DBCChecker}: a Bigraph-based Tool for Checking Security Properties
                  of Container Compositions},
  booktitle    = {Proceedings of the Italian Conference on Cyber Security ({ITASEC}
                  2023), Bari, Italy, May 2-5, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3488},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  pdf          = {https://ceur-ws.org/Vol-3488/paper01.pdf},
  html    = {https://ceur-ws.org/Vol-3488}
}

@inproceedings{vr:zohdinasab2023deepatas,
  groups = {testing},
  series = {ISSTA ’23},
  title = {DeepAtash: Focused Test Generation for Deep Learning Systems},
  doi = {10.1145/3597926.3598109},
  booktitle = {Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis},
  publisher = {ACM},
  author = {Zohdinasab, Tahereh and Riccio, Vincenzo and Tonella, Paolo},
  year = {2023},
  month = {July},
  pages = {954–966},
  pdf = {https://p1ndsvin.github.io/assets/pdf/deepatash_issta23.pdf}
}

@article{vr:zohdinasab2023efficien,
  groups = {testing},
  title = {Efficient and Effective Feature Space Exploration for Testing Deep Learning Systems},
  volume = {32},
  doi = {10.1145/3544792},
  number = {2},
  journal = {ACM Transactions on Software Engineering and Methodology},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Zohdinasab, Tahereh and Riccio, Vincenzo and Gambi, Alessio and Tonella, Paolo},
  year = {2023},
  month = {March},
  pages = {1–38},
  pdf = {https://p1ndsvin.github.io/assets/pdf/TOSEM2022.pdf}
}

@inproceedings{DBLP:conf/icsoc/RiccioSCMS23,
groups = {testing},
author = {Vincenzo Riccio and
Giancarlo Sorrentino and
Matteo Camilli and
Raffaela Mirandola and
Patrizia Scandurra},
title = {Engineering Self-adaptive Microservice Applications: An Experience
Report},
booktitle = {{ICSOC} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {14419},
pages = {227--242},
publisher = {Springer},
year = {2023}
}

@article{slj23,
  groups = {cybersecurity},
	author={Foresti, Gian Luca and De Nardin, Axel and Fiorin, Alessio and Miculan, Marino and Claudio Piciarelli},
	journal={Strategic Leadership Journal},
	title={Exploiting maximum likelihood to improve network traffic deanonymization performances},
	year=2023,
	volume=1,
	pages={101-113},
  issn={2975-0148},
  isbn={9791255150497},
	PDF={https://www.difesa.it/SMD_/CASD/IM/CeMiSS/DocumentiVis/Rivista_Scientifica/Rivista_scientifica_n_1.pdf},
	selected=false
}

@inproceedings{DBLP:conf/dlt2/BistarelliFMTM23,
  author       = {Stefano Bistarelli and
                  Francesco Faloci and
                  Paolo Mori and
                  Carlo Taticchi and
                  Marino Miculan},
  editor       = {Paolo Mori and
                  Ivan Visconti and
                  Stefano Bistarelli},
  title        = {Modeling {Carne PRI} supply chain with the *-Chain Platform},
  booktitle    = {Proceedings of the Fifth Distributed Ledger Technology Workshop {(DLT}
                  2023), Bologna, Italy, May 25-26, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3460},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  html={https://ceur-ws.org/Vol-3460/},
  pdf          = {https://ceur-ws.org/Vol-3460/papers/DLT\_2023\_paper\_10.pdf}
}

@inproceedings{DBLP:conf/ital-ia/VoltanFM23,
  groups = {cybersecurity},
  author       = {Gabriele Voltan and
                  Foresti, Gian Luca and
                  Marino Miculan},
  title        = {Pairing an Autoencoder and a {SF-SOINN} for Implementing an Intrusion Detection System},
  booktitle    = {Proceedings of the Thematic Workshops co-located with the 3rd {CINI} National Lab {AIIS} Conference on Artificial               Intelligence (Ital-{IA} 2023)},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3486},
  pages        = {409--414},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  pdf          = {https://ceur-ws.org/Vol-3486/23.pdf},
  html    = {https://ceur-ws.org/Vol-3486}
}

@inproceedings{vr:biagiola2023sbft,
  groups = {testing},
  title = {SBFT Tool Competition 2023 - Cyber-Physical Systems Track},
  doi = {10.1109/sbft59156.2023.00010},
  booktitle = {2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT)},
  publisher = {IEEE},
  author = {Biagiola, Matteo and Klikovits, Stefan and Peltomäki, Jarkko and Riccio, Vincenzo},
  year = {2023},
  month = {May},
  pages = {45–48},
  pdf = {https://p1ndsvin.github.io/assets/pdf/SBFT_2023.pdf}
}

@inproceedings{vr:riccio2023when,
  groups = {testing},
  title = {When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study},
  doi = {10.1109/icse48619.2023.00104},
  booktitle = {2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)},
  publisher = {IEEE},
  author = {Riccio, Vincenzo and Tonella, Paolo},
  year = {2023},
  month = {May},
  pages = {1161–1173},
  pdf = {https://p1ndsvin.github.io/assets/pdf/ICSE2023.pdf}
}

@inproceedings{DBLP:conf/ictcs/MiculanP22,
groups = {choreographies},
author = {Marino Miculan and
Matteo Paier},
editor = {Dal Lago, Ugo and
Daniele Gorla},
title = {A Calculus for Subjective Communication},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer
Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3284},
pages = {148--160},
publisher = {CEUR-WS.org},
year = {2022},
pdf = {http://ceur-ws.org/Vol-3284/1841.pdf}
}

@inproceedings{DBLP:journals/corr/abs-2210-06095,
author = {Pietro Di Gianantonio and
Abbas Edalat and
Ran Gutin},
title = {A language for evaluating derivatives of functionals using automatic
differentiation},
booktitle = {{MFPS}},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2022}
}

@ARTICLE{Castelnovo2022205,
author={Castelnovo, D. and Gadducci, F. and Miculan, M.},
title={A new criterion for M,N-adhesivity, with an application to hierarchical graphs},
booktitle={Proc. FOSSACS 2022},
journal={Lecture Notes in Computer Science},
year={2022},
volume={13242 LNCS},
pages={205-224},
doi={10.1007/978-3-030-99253-8_11},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85128472308&doi=10.1007%2f978-3-030-99253-8_11&partnerID=40&md5=091a5ac308a80ee87336375d8ef0a113},
}

@article{DBLP:journals/scp/ChiapperiniMP22,
groups = {choreographies},
author = {Alessio Chiapperini and
Marino Miculan and
Marco Peressotti},
title = {Computing (optimal) embeddings of directed bigraphs},
journal = {Sci. Comput. Program.},
volume = {221},
pages = {102842},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102842},
doi = {10.1016/j.scico.2022.102842},
selected=false
}

@misc{bmc:cve2022,
groups = {cybersecurity},
author={Lorenzo Bazzana and Marino Miculan and Michele Codutti},
title={CVE-2022-3203: ORing net IAP-420(+) Hidden Functionality},
url ={https://www.cve.org/CVERecord?id=CVE-2022-3203},
year=2022,
publisher={MITRE}
}

@inproceedings{DBLP:conf/ictcs/PasquaM22,
groups = {choreographies},
author = {Michele Pasqua and
Marino Miculan},
editor = {Dal Lago, Ugo and
Daniele Gorla},
title = {Distributed Programming of Smart Systems with Event-Condition-Action
Rules},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer
Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3284},
pages = {201--206},
publisher = {CEUR-WS.org},
year = {2022},
pdf = {http://ceur-ws.org/Vol-3284/7982.pdf}
}

@inproceedings{Castelnovo2022,
author={Castelnovo, D. and Miculan, M.},
title={Fuzzy Algebraic Theories},
booktitle={Proc. CSL 2022},
journal={Leibniz International Proceedings in Informatics, LIPIcs},
year={2022},
volume={216},
doi={10.4230/LIPIcs.CSL.2022.13},
art_number={13},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85124183018&doi=10.4230%2fLIPIcs.CSL.2022.13&partnerID=40&md5=709f772eda711fb0fc73da9600ce19fc},
}

@article{pcm:access22,
groups = {choreographies},
author={Pasqua, Michele and Comuzzo, Massimo and Miculan, Marino},
journal={IEEE Access},
title={The AbU Language: IoT Distributed Programming Made Easy},
year=2022,
volume=10,
pages={132763-132776},
doi={10.1109/ACCESS.2022.3230287},
url ={https://doi.org/10.1109/ACCESS.2022.3230287},
selected=false
}

@ARTICLE{Miculan2021366,
groups = {choreographies},
author={Miculan, M. and Pasqua, M.},
title={A Calculus for Attribute-Based Memory Updates},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2021},
volume={12819 LNCS},
pages={366-385},
doi={10.1007/978-3-030-85315-0_21},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85115166863&doi=10.1007%2f978-3-030-85315-0_21&partnerID=40&md5=f3b6e4a891b628d1891ab70fdf63a4c7},
}

@CONFERENCE{deNardin2021156,
groups = {cybersecurity},
author={de Nardin, A. and Miculan, M. and Piciarelli, C. and Foresti, G.L.},
title={A time-series classification approach to shallow web traffic de-anonymization},
journal={CEUR Workshop Proceedings},
year={2021},
volume={2940},
pages={156-165},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85114911106&partnerID=40&md5=8d7ede8cf290c91e4307a05ed703e39c},
}

@CONFERENCE{Miculan2021185,
groups = {cybersecurity},
author={Miculan, M. and Vitacolonna, N.},
title={Automated symbolic verification of Telegramís MTProto 2.0},
journal={Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021},
year={2021},
pages={185-197},
doi={10.5220/0010549601850197},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85111859162&doi=10.5220%2f0010549601850197&partnerID=40&md5=f772a7b44162ef008324c0672276b782},
}

@CONFERENCE{Castelnovo2021,
author={Castelnovo, D. and Miculan, M.},
title={Closure hyperdoctrines},
booktitle={Proc. {CSL} 2021},
journal={Leibniz International Proceedings in Informatics, LIPIcs},
year=2021,
volume=211,
doi={10.4230/LIPIcs.CALCO.2021.12},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85120635973&doi=10.4230%2fLIPIcs.CALCO.2021.12&partnerID=40&md5=ce7faf91f3fe625ba20c3403398899a3},
}

@ARTICLE{Stolze202144,
groups = {choreographies},
author={Stolze, C. and Miculan, M. and Di Gianantonio, P.},
title={Composable Partial Multiparty Session Types},
journal={Lecture Notes in Computer Science},
year={2021},
volume={13077},
pages={44-62},
doi={10.1007/978-3-030-90636-8_3},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85119850638&doi=10.1007%2f978-3-030-90636-8_3&partnerID=40&md5=0437eadf94addb4ef79cc72315fca90c},
}

@ARTICLE{Pasqua2021178,
groups = {cybersecurity, choreographies},
author={Pasqua, M. and Miculan, M.},
title={On the Security and Safety of {AbU} Systems},
journal={Lecture Notes in Computer Science},
year={2021},
volume=13085,
pages={178-198},
doi={10.1007/978-3-030-92124-8_11},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85121933293&doi=10.1007%2f978-3-030-92124-8_11&partnerID=40&md5=2f8730a07845071c20256f5ad54c556c},
}

@inproceedings{cmp:icgt20,
groups = {choreographies},
author = {Alessio Chiapperini and
Marino Miculan and
Marco Peressotti},
editor = {Fabio Gadducci and
Timo Kehrer},
title = {Computing Embeddings of Directed Bigraphs},
booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = 12150,
pages = {38--56},
publisher = {Springer},
year = 2020,
url = {https://doi.org/10.1007/978-3-030-51372-6\_3},
doi = {10.1007/978-3-030-51372-6\_3}
}

@inproceedings{miculantosone20,
groups = {cybersecurity},
author = {Marino Miculan and Daniel Tosone},
title = {Securing the Art Market with Distributed Public Ledgers},
booktitle = {Proc. 3rd Workshop on Distributed Ledger Technologies (DLT@ITASEC 2020)},
series = {{CEUR} Workshop Proceedings},
volume = {2580},
url = {http://ceur-ws.org/Vol-2580/DLT\_2020\_paper\_4.pdf},
year = {2020}
}

@CONFERENCE{Miculan2020,
groups = {choreographies},
author={Miculan, M. and Peressotti, M.},
title={Software transactional memory with interactions},
journal={CEUR Workshop Proceedings},
year={2020},
volume={2756},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85098682549&partnerID=40&md5=e1672bc6cca0fbd53487706af205407d},
}

@inproceedings{DBLP:conf/sac/BurcoMP20,
groups = {choreographies},
author = {Fabio Burco and
Marino Miculan and
Marco Peressotti},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {Towards a formal model for composable container systems},
booktitle = {{SAC}'20: The 35th {ACM/SIGAPP} Symposium on Applied Computing},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3374121},
doi = {10.1145/3341105.3374121},
}

@inproceedings{DBLP:conf/ictcs/GeattiIM19,
groups = {choreographies},
author = {Luca Geatti and
Federico Igne and
Marino Miculan},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {An Abstract Distributed Middleware for Transactions over Heterogeneous Stores},
booktitle = {Proc. 20th Italian Conference on Theoretical Computer Science, ICTCS 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {171--183},
publisher = {CEUR-WS.org},
year = {2019},
pdf = {http://ceur-ws.org/Vol-2504/paper20.pdf},
}

@article{DBLP:journals/tcs/BernardoM19,
author = {Marco Bernardo and
Marino Miculan},
title = {Constructive logical characterizations of bisimilarity for reactive
probabilistic systems},
journal = {Theoretical Computer Science},
volume = 764,
pages = {80--99},
year = 2019,
url = {https://doi.org/10.1016/j.tcs.2018.12.003},
doi = {10.1016/j.tcs.2018.12.003},
}

@inproceedings{DBLP:conf/itasec/MiculanFP19,
groups = {cybersecurity},
author = {Marino Miculan and
Gian Luca Foresti and
Claudio Piciarelli},
title = {Towards User Recognition by Shallow Web Traffic Inspection},
booktitle = {Proc. Third Italian Conference on Cyber Security},
series = {{CEUR} Workshop Proceedings},
volume = 2315,
publisher = {CEUR},
year = 2019,
url = {http://ceur-ws.org/Vol-2315/paper08.pdf},
}

@inproceedings{DBLP:journals/corr/MansuttiMiculan18,
author = {Alessio Mansutti and Marino Miculan},
title = {Deciding Hedged Bisimilarity},
url = {http://arxiv.org/abs/1611.03424},
booktitle = {Proceedings of {ICTCS} 2018},
series = {CEUR Workshop Proceedings},
volume = 2243,
pages = {218--229},
publisher = {CEUR},
Pdf = {http://ceur-ws.org/Vol-2243/paper22.pdf},
year = 2018
}

@inproceedings{DBLP:conf/staf/MansuttiMP17,
author = {Alessio Mansutti and
Marino Miculan and
Marco Peressotti},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Loose Graph Simulations},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {109--126},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-74730-9\_9},
doi = {10.1007/978-3-319-74730-9\_9},
}

@article{ciaffaglione2018reversible,
title={Reversible Computation and Principal Types in $\lambda$!-calculus},
author={Ciaffaglione, Alberto and Di Gianantonio, Pietro and Honsell, Furio and Lenisa, Marina and Scagnetto, Ivan},
journal={Logic and Applications LAP 2018},
pages={27},
year={2018}
}

@inproceedings{LPAR-22:involutions_as_principal_types_application_as_unification_Analogy,
author = {Alberto Ciaffaglione and Furio Honsell and Marina Lenisa and Ivan Scagnetto},
title = {The involutions-as-principal types/application-as-unification Analogy},
booktitle = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
series = {EPiC Series in Computing},
volume = {57},
pages = {254--270},
year = {2018},
publisher = {EasyChair},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/GRzV},
doi = {10.29007/ntwg}}

@inproceedings{mp:ictcs17,
Author = {Marino Miculan and Marco Peressotti},
Booktitle = {Proceedings of {ICTCS} 2017},
Pages = {126-137},
Pdf = {http://ceur-ws.org/Vol-1949/ICTCSpaper11.pdf},
Series = {CEUR-WS},
Title = {Deciding Weak Weighted Bisimulation},
Volume = 1849,
Year = 2017}

@proceedings{Miculan:2017:3130261,
Editor = {Miculan, Marino and Rabe, Florian},
Isbn = {978-1-4503-5374-8},
Location = {Oxford, United Kingdom},
Publisher = {ACM},
Title = {{LFMTP} '17: Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice},
Url = {http://dl.acm.org/citation.cfm?id=3130261},
Year = {2017},

@article{lmcs:3771,
Author = {Honsell, Furio and Liquori, Luigi and Maksimovic, Petar and Scagnetto, Ivan},
Doi = {10.23638/LMCS-13(3:2)2017},
Journal = {{Logical Methods in Computer Science}},
Keywords = {Computer Science - Logic in Computer Science ; F.4.1},
Month = Jul,
Title = {{LLF_P: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads}},
Url = {http://lmcs.episciences.org/3771},
Volume = {{Volume 13, Issue 3}},
Year = {2017},

@inproceedings{Pavan2017,
Address = {Cham},
Author = {Pavan, Marco and Mizzaro, Stefano and Scagnetto, Ivan},
Booktitle = {Information Filtering and Retrieval: DART 2014: Revised and Invited Papers},
Doi = {10.1007/978-3-319-46135-9_3},
Editor = {Lai, Cristian and Giuliani, Alessandro and Semeraro, Giovanni},
Isbn = {978-3-319-46135-9},
Pages = {35--61},
Publisher = {Springer International Publishing},
Title = {Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach},
Url = {https://doi.org/10.1007/978-3-319-46135-9_3},
Year = {2017},

@book{Crestani2017,
Address = {Gwerbestrasse 11, 6330 Cham, Switzerland},
Author = {Crestani, Fabio and Mizzaro, Stefano and Scagnetto, Ivan},
Edition = {1},
Isbn = {978-3-319-60776-4},
Price = {\$54.99},
Publisher = {Springer International Publishing},
Series = {SpringerBriefs in Computer Science},
Title = {Mobile Information Retrieval},
Year = {2017}}

@article{DBLP:journals/corr/MiculanP17,
author = {Marino Miculan and
Marco Peressotti},
title = {Reductions for Transition Systems at Work: Deriving a Logical Characterization
of Quantitative Bisimulation},
journal = {CoRR},
volume = {abs/1704.07181},
year = {2017},
url = {http://arxiv.org/abs/1704.07181},
archivePrefix = {arXiv},
eprint = {1704.07181},
}

@inproceedings{stolze2017towards,
Author = {Stolze, Claude and Liquori, Luigi and Honsell, Furio and Scagnetto, Ivan},
Booktitle = {International Workshop on Logical Frameworks and Meta-languages LFMTP},
Pages = {1--9},
Title = {Towards a Logical Framework with Intersection and Union Types},
Year = {2017}}

@article{DBLP:journals/corr/MiculanP16,
Author = {Marino Miculan and Marco Peressotti},
Journal = {CoRR},
Title = {A Specification of Open Transactional Memory for {Haskell}},
Url = {http://arxiv.org/abs/1602.05365},
Volume = {abs/1602.05365},
Year = {2016},

@article{DBLP:journals/corr/MansuttiMiculan16,
Author = {Alessio Mansutti and Marino Miculan},
Journal = {CoRR},
Title = {Deciding Hedged Bisimilarity},
Url = {http://arxiv.org/abs/1611.03424},
Volume = {abs/1611.03424},
Year = {2016},

@inproceedings{bm:ictcs16,
Author = {Marco Bernardo and Marino Miculan},
Booktitle = {Proceedings of {ICTCS} 2016},
Pages = {203-220},
Pdf = {http://ceur-ws.org/Vol-1720/full15.pdf},
Series = {CEUR-WS},
Title = {Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems},
Url = {https://arxiv.org/abs/1601.06198},
Volume = 1720,
Year = 2016,

@inproceedings{Honsell2016,
Address = {Cham},
Author = {Honsell, Furio and Lenisa, Marina and Liquori, Luigi and Scagnetto, Ivan},
Booktitle = {Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings},
Doi = {10.1007/978-3-319-47958-3_13},
Editor = {Igarashi, Atsushi},
Isbn = {978-3-319-47958-3},
Pages = {229--250},
Publisher = {Springer International Publishing},
Title = {Implementing Cantor's Paradise},
Url = {https://doi.org/10.1007/978-3-319-47958-3_13},
Year = {2016},

@inproceedings{mp:ictcs16,
Author = {Marino Miculan and Marco Peressotti},
Booktitle = {Proceedings of {ICTCS} 2016},
Pages = {88-102},
Pdf = {http://ceur-ws.org/Vol-1720/full7.pdf},
Series = {CEUR-WS},
Title = {On the bisimulation hierarchy of state-to-function transition systems},
Volume = 1720,
Year = 2016}

@proceedings{rm:ijeg16,
Editor = {Barbara Re and Marino Miculan},
Number = 1,
Series = {International Journal of Electronic Governance},
Title = {Special Issue on Methodologies, Technologies and Tools Enabling e-Government},
Url = {http://www.inderscience.com/info/inarticletoc.php?jcode=ijeg&year=2016&vol=8&issue=1},
Volume = 8,
Year = 2016,

@article{mp:tcs16,
Author = {Marino Miculan and Marco Peressotti},
Doi = {10.1016/j.tcs.2016.01.012},
Issn = {0304-3975},
Journal = {Theoretical Computer Science},
Keywords = {Quantitative models},
Pages = {135-154},
Title = {Structural operational semantics for non-deterministic processes with quantitative aspects},
Url = {http://www.sciencedirect.com/science/article/pii/S0304397516000232},
Volume = {655},
Year = {2016},

@article{bmp:jlamp15,
Author = {Tomasz Brengos and Marino Miculan and Marco Peressotti},
Doi = {10.1016/j.jlamp.2015.09.002},
Issn = {2352-2208},
Journal = {Journal of Logical and Algebraic Methods in Programming},
Keywords = {Saturation semantics},
Pages = {-},
Pdf = {http://arxiv.org/pdf/1411.0090v3},
Title = {Behavioural equivalences for coalgebras with unobservable moves},
Url = {http://arxiv.org/abs/1411.0090},
Year = {2015},

@incollection{mps:air15,
Author = {Mizzaro, Stefano and Pavan, Marco and Scagnetto, Ivan},
Booktitle = {Advances in Information Retrieval},
Doi = {10.1007/978-3-319-16354-3_56},
Editor = {Hanbury, Allan and Kazai, Gabriella and Rauber, Andreas and Fuhr, Norbert},
Isbn = {978-3-319-16353-6},
Language = {English},
Pages = {507-512},
Publisher = {Springer International Publishing},
Series = {Lecture Notes in Computer Science},
Title = {Content-Based Similarity of Twitter Users},
Url = {http://dx.doi.org/10.1007/978-3-319-16354-3_56},
Volume = {9022},
Year = {2015},

@inproceedings{EPTCS185.1,
Author = {Honsell, Furio and Liquori, Luigi and Maksimovic, Petar and Scagnetto, Ivan},
Booktitle = {Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, Berlin, Germany, 1 August 2015},
Doi = {10.4204/EPTCS.185.1},
Editor = {Cervesato, Iliano and Chaudhuri, Kaustuv},
Pages = {3-17},
Publisher = {Open Publishing Association},
Series = {Electronic Proceedings in Theoretical Computer Science},
Title = {Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks},
Volume = {185},
Year = {2015},

@article{Ciaffaglione2015,
Author = {Alberto Ciaffaglione and Ivan Scagnetto},
Doi = {http://dx.doi.org/10.1016/j.tcs.2015.07.019},
Issn = {0304-3975},
Journal = {Theoretical Computer Science},
Keywords = {POPLmark challenge},
Pages = {-},
Title = {Mechanizing type environments in weak HOAS},
Url = {http://www.sciencedirect.com/science/article/pii/S0304397515006404},
Year = {2015},

@inproceedings{mpt:coord15,
Author = {Marino Miculan and Marco Peressotti and Andrea Toneguzzo},
Booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings},
Crossref = {DBLP:conf/coordination/2015},
Doi = {10.1007/978-3-319-19282-6_14},
Pages = {213--229},
Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/COORDINATION15.pdf},
Title = {Open Transactions on Shared Memory},
Url = {http://dx.doi.org/10.1007/978-3-319-19282-6_14},
Year = {2015},

@article{Bacci2014,
Author = {Giorgio Bacci and Marino Miculan},
Doi = {http://dx.doi.org/10.1016/j.jcss.2014.12.003},
Issn = {0022-0000},
Journal = {Journal of Computer and System Sciences},
Keywords = {Quantitative aspects},
Pages = {834-858},
Title = {Structural operational semantics for continuous state stochastic transition systems},
Url = {http://www.sciencedirect.com/science/article/pii/S0022000014001652},
Volume = 81,
Year = {2015},

@inproceedings{Mizzaro:2014:CRS:2601301.2601305,
Acmid = {2601305},
Address = {New York, NY, USA},
Author = {Mizzaro, Stefano and Pavan, Marco and Scagnetto, Ivan and Zanello, Ivano},
Booktitle = {Proceedings of the 4th Workshop on Context-Awareness in Retrieval and Recommendation},
Doi = {10.1145/2601301.2601305},
Isbn = {978-1-4503-2723-7},
Keywords = {apps, context-aware retrieval, evaluation, mobile, ranking, recommender systems},
Location = {Amsterdam, The Netherlands},
Numpages = {8},
Pages = {18--25},
Publisher = {ACM},
Series = {CARR '14},
Title = {A Context-aware Retrieval System for Mobile Applications},
Url = {http://doi.acm.org/10.1145/2601301.2601305},
Year = {2014},

@article{DBLP:journals/corr/MiculanP14b,
Author = {Marino Miculan and Marco Peressotti},
Journal = {CoRR},
Title = {A {CSP} implementation of the bigraph embedding problem},
Url = {http://arxiv.org/abs/1412.1042},
Volume = {abs/1412.1042},
Year = {2014},

@inproceedings{bbm:tlca14,
Author = {A. Bizjak and Lars Birkedal and Marino Miculan},
Booktitle = {Proc. RTA-TLCA},
Editor = {Gilles Dowek},
Pages = {108-123},
Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TLCA14.pdf},
Publisher = {Springer},
Series = lncs,
Title = {A Model of Countable Nondeterminism in Guarded Type Theory},
Volume = {8560},
Year = 2014}

@inproceedings{bmr:tgc14,
Author = {Giorgio Bacci and Marino Miculan and Romeo Rizzi},
Booktitle = {Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
Editor = {M. Maffei and E. Tuosto},
Pages = {17--33},
Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TGC14.pdf},
Publisher = {Springer},
Series = lncs,
Title = {Finding a Forest in a Tree --- The matching problem for wide reactive systems},
Volume = {8902},
Year = 2014}

@inproceedings{DBLP:journals/corr/MiculanP14,
Author = {Marino Miculan and Marco Peressotti},
Booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France, 12-13 April 2014.},
Doi = {10.4204/EPTCS.154.2},
Editor = {Nathalie Bertrand and Luca Bortolussi},
Pages = {17--33},
Series = {EPTCS},
Title = {{GSOS} for non-deterministic processes with quantitative aspects},
Url = {http://dx.doi.org/10.4204/EPTCS.154.2},
Volume = {154},
Year = {2014},

@inproceedings{Ciaffaglione:2014:IAB:2631172.2631180,
Acmid = {2631180},
Address = {New York, NY, USA},
Articleno = {8},
Author = {Ciaffaglione, Alberto and Scagnetto, Ivan},
Booktitle = {Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice},
Doi = {10.1145/2631172.2631180},
Isbn = {978-1-4503-2817-3},
Keywords = {Higher-Order Abstract Syntax, Logical Frameworks, Type Theory},
Location = {Vienna, Austria},
Numpages = {8},
Pages = {8:1--8:8},
Publisher = {ACM},
Series = {LFMTP '14},
Title = {Internal Adequacy of Bookkeeping in Coq},
Url = {http://doi.acm.org/10.1145/2631172.2631180},
Year = {2014},

@incollection{hls:mfcs14,
Author = {Honsell, Furio and Liquori, Luigi and Scagnetto, Ivan},
Booktitle = {Mathematical Foundations of Computer Science 2014},
Doi = {10.1007/978-3-662-44522-8_28},
Editor = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
Isbn = {978-3-662-44521-1},
Language = {English},
Pages = {327-339},
Publisher = {Springer Berlin Heidelberg},
Series = {Lecture Notes in Computer Science},
Title = {{LaxF}: Side Conditions and External Evidence as Monads},
Url = {http://dx.doi.org/10.1007/978-3-662-44522-8_28},
Volume = {8634},
Year = {2014},

@inproceedings{mmp:dais14,
Author = {Alessio Mansutti and Marino Miculan and Marco Peressotti},
Booktitle = {Proc. DAIS 2014},
Editor = {K. Magoutis and P. Pietzuch},
Number = 8460,
Pages = {201--208},
Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/DAIS14.pdf},
Series = lncs,
Title = {Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems},
Year = 2014}

@inproceedings{Mizzaro:2014:STC:2632188.2632205,
Acmid = {2632205},
Address = {New York, NY, USA},
Author = {Mizzaro, Stefano and Pavan, Marco and Scagnetto, Ivan and Valenti, Martino},
Booktitle = {Proceedings of the First International Workshop on Social Media Retrieval and Analysis},
Doi = {10.1145/2632188.2632205},
Isbn = {978-1-4503-3022-0},
Keywords = {context-aware retrieval, enrichment, evaluation, wikipedia},
Location = {Gold Coast, Queensland, Australia},
Numpages = {6},
Pages = {57--62},
Publisher = {ACM},
Series = {SoMeRA '14},
Title = {Short Text Categorization Exploiting Contextual Enrichment and External Knowledge},
Url = {http://doi.acm.org/10.1145/2632188.2632205},
Year = {2014},

@inproceedings{mmp:gcm14,
Author = {Alessio Mansutti and Marino Miculan and Marco Peressotti},
Booktitle = {Proc. GCM'14},
Editor = {Rachid Echahed and Annegret Habel and Mohamed Mosbah},
Publisher = {EPTCS},
Title = {Towards distributed bigraphical reactive systems},
Year = {2014}}

@inproceedings{miculan:memo14,
Author = {Marino Miculan},
Booktitle = {1st International Workshop on Meta Models for Process Languages (MeMo)},
Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MeMo14-tutorial.pdf},
Title = {Tutorial on Bigraphical Reactive Systems (slides)},
Year = 2014}

@article{Honsell31072013,
Author = {Honsell, Furio and Lenisa, Marina and Scagnetto, Ivan and Liquori, Luigi and Maksimovic, Petar},
Doi = {10.1093/logcom/ext028},
Eprint = {http://logcom.oxfordjournals.org/content/early/2013/07/31/logcom.ext028.full.pdf+html},
Journal = {Journal of Logic and Computation},
Title = {An open logical framework},
Url = {http://logcom.oxfordjournals.org/content/early/2013/07/31/logcom.ext028.abstract},
Year = {2013},

@techreport{mp:br-tr,
Author = {Marino Miculan and Marco Peressotti},
Institution = {Dept. of Mathematics and Computer Science, Univ. of Udine},
Number = {UDMI/01/2013/RR},
Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/UDMI012013.pdf},
Title = {Bigraphs Reloaded},
Year = 2013}

@article{mp:wblts-tr,
Author = {Marino Miculan and Marco Peressotti},
Journal = {CoRR},
Title = {Weak bisimulations for labelled transition systems weighted over semirings},
Url = {http://arxiv.org/abs/1310.4106},
Volume = {abs/1310.4106},
Year = {2013},