publications.bib

@inbook{DBLP:conf/birthday/NicolaSIV22,
  title = {Process Algebras and Flocks of Birds},
  booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning - {{Essays}} Dedicated to {{Frits Vaandrager}} on the Occasion of His 60th Birthday},
  author = {De Nicola, Rocco and Di Stefano, Luca and Inverso, Omar and Valiani, Serenella},
  NOeditor = {Jansen, Nils and Stoelinga, Mari{\"e}lle and {van den Bos}, Petra},
  year = {2022},
  NOseries = {{{LNCS}}},
  NOvolume = {13560},
  NOpages = {512--523},
  NOpublisher = {{Springer}},
  doi = {10.1007/978-3-031-15629-8\_27},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/birthday/NicolaSIV22.bib}
}

@inproceedings{DBLP:conf/coordination/StefanoLS20,
  title = {Combining {{SLiVER}} with {{CADP}} to Analyze Multi-agent Systems},
  booktitle = {22nd International Conference on Coordination Models and Languages ({{COORDINATION}})},
  author = {Di Stefano, Luca and Lang, Fr{\'e}d{\'e}ric and Serwe, Wendelin},
  NOeditor = {Bliudze, Simon and Bocchi, Laura},
  year = {2020},
  NOmonth = jun,
  NOseries = {{{LNCS}}},
  NOvolume = {12134},
  NOpages = {370--385},
  NOpublisher = {{Springer}},
  NOaddress = {{Valletta, Malta}},
  doi = {10.1007/978-3-030-50029-0\_23},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/coordination/StefanoLS20.bib},
  keywords = {highlight}
}

@inproceedings{DBLP:conf/isola/NicolaSIV22,
  title = {Modelling Flocks of Birds from the Bottom Up},
  booktitle = {11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ({{ISoLA}})},
  author = {De Nicola, Rocco and Di Stefano, Luca and Inverso, Omar and Valiani, Serenella},
  NOeditor = {Margaria, Tiziana and Steffen, Bernhard},
  year = {2022},
  NOmonth = oct,
  NOseries = {{{LNCS}}},
  NOvolume = {13703},
  NOpages = {82--96},
  NOpublisher = {{Springer}},
  NOaddress = {{Rhodes, Greece}},
  doi = {10.1007/978-3-031-19759-8\_6}
}

@inproceedings{DBLP:conf/isola/StefanoL21,
  title = {Verifying Temporal Properties of Stigmergic Collective Systems Using {{CADP}}},
  booktitle = {10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ({{ISoLA}})},
  author = {Di Stefano, Luca and Lang, Fr{\'e}d{\'e}ric},
  NOeditor = {Margaria, Tiziana and Steffen, Bernhard},
  year = {2021},
  NOseries = {{{LNCS}}},
  NOvolume = {13036},
  NOpages = {473--489},
  NOpublisher = {{Springer}},
  doi = {10.1007/978-3-030-89159-6\_29}
}

@inproceedings{DBLP:conf/staf/NicolaSI18,
  title = {Multi-Agent Systems with Virtual Stigmergy},
  booktitle = {{{STAF}} Collocated Workshops, Revised Selected Papers},
  author = {De Nicola, Rocco and Di Stefano, Luca and Inverso, Omar},
  NOeditor = {Mazzara, Manuel and Ober, Iulian and Sala{\"u}n, Gwen},
  year = {2018},
  NOmonth = jun,
  NOseries = {{{LNCS}}},
  NOvolume = {11176},
  NOpages = {351--366},
  NOpublisher = {{Springer}},
  NOaddress = {{Toulouse, France}},
  doi = {10.1007/978-3-030-04771-9\_26},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/staf/NicolaSI18}
}

@inproceedings{DBLP:conf/vmcai/StefanoL23,
  title = {Compositional Verification of Stigmergic Collective Systems},
  booktitle = {24th International Conference on Verification, Model Checking, and Abstract Interpretation ({{VMCAI}})},
  author = {Di Stefano, Luca and Lang, Fr{\'e}d{\'e}ric},
  NOeditor = {Dragoi, Cezara and Emmi, Michael and Wang, Jingbo},
  year = {2023},
  NOmonth = jan,
  NOseries = {{{LNCS}}},
  NOvolume = {13881},
  NOpages = {155--176},
  NOpublisher = {{Springer}},
  NOaddress = {{Boston, MA, USA}},
  doi = {10.1007/978-3-031-24950-\1\_8},
  keywords={highlight}
}

@article{DBLP:journals/firai/NicolaSI18,
  title = {Toward {{Formal Models}} and {{Languages}} for {{Verifiable Multi-Robot Systems}}},
  author = {De Nicola, Rocco and Di Stefano, Luca and Inverso, Omar},
  year = {2018},
  journal = {Frontiers Robotics AI},
  volume = {5},
  NOpages = {94},
  NOissn = {2296-9144},
  doi = {10.3389/frobt.2018.00094},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/journals/firai/NicolaSI18}
}

@article{DBLP:journals/scp/NicolaSI20,
  ids = {denicola2020},
  title = {Multi-Agent Systems with Virtual Stigmergy},
  author = {De Nicola, Rocco and Di Stefano, Luca and Inverso, Omar},
  year = {2020},
  journal = {Sci. Comput. Program.},
  volume = {187},
  NOpages = {102345},
  doi = {10.1016/j.scico.2019.102345},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/journals/scp/NicolaSI20.bib},
  keywords = {highlight}
}

@article{DBLP:journals/scp/NicolaSIU22,
  title = {Automated Replication of Tuple Spaces via Static Analysis},
  author = {De Nicola, Rocco and Di Stefano, Luca and Inverso, Omar and Uwimbabazi, Aline},
  year = {2022},
  journal = {Sci. Comput. Program.},
  volume = {223},
  NOpages = {102863},
  doi = {10.1016/j.scico.2022.102863}
}

@article{DBLP:journals/tosem/StefanoNI22,
  title = {Verification of {{Distributed Systems}} via {{Sequential Emulation}}},
  author = {Di Stefano, Luca and De Nicola, Rocco and Inverso, Omar},
  year = {2022},
  journal = {TOSEM},
  volume = {31},
  NOnumber = {3},
  NOpages = {37:1-37:41},
  doi = {10.1145/3490387},
  keywords = {highlight}
}

@techreport{distefano:hal-03640683,
title = {{Compositional Verification of Priority Systems using Sharp Bisimulation}},
author = {Di Stefano, Luca and Lang, Fr{\'e}d{\'e}ric},
url = {https://hal.inria.fr/hal-03640683},
NOpages = {1-32},
institution = {{INRIA}}
}

@article{DBLP:journals/sttt/NicolaSIV23,
  title = {Modelling Flocks of Birds and Colonies of Ants from the Bottom Up},
  author = {De Nicola, Rocco and Di Stefano, Luca and Inverso, Omar and Valiani, Serenella},
  year = {2023},
  NOjournal = {International Journal on Software Tools for Technology Transfer},
  journal = {{STTT}},
  volume = {25},
  NOnumber = {5},
  NOpages = {675--691},
  doi = {10.1007/s10009-023-00731-0}
}

@article{DBLP:journals/sttt/AlrahmanASP23,
  title = {Language Support for Verifying Reconfigurable Interacting Systems},
  author = {Abd Alrahman, Yehia and Azzopardi, Shaun and Di Stefano, Luca and Piterman, Nir},
  year = {2023},
  NOjournal = {International Journal on Software Tools for Technology Transfer},
  journal = {{STTT}},
  volume = {25},
  NOnumber = {5},
  NOpages = {765--784},
  NOissn = {1433-2779, 1433-2787},
  doi = {10.1007/s10009-023-00729-8}
}

@article{DBLP:journals/fmsd/StefanoL24,
  title = {Compositional Verification of Priority Systems Using Sharp Bisimulation},
  author = {Di Stefano, Luca and Lang, Fr{\'e}d{\'e}ric},
  year = {2024},
  journal = {Form Methods Syst. Des.},
  volume = {62},
  NOnumber = {1},
  NOpages = {1--40},
  doi = {10.1007/s10703-023-00422-1},
  keywords={highlight}
}

@inproceedings{DBLP:conf/cmsb/NicolaSIV23,
  title = {Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants},
  booktitle = {21st International Conference on Computational Methods in Systems Biology ({{CMSB}})},
  author = {De Nicola, Rocco and Di Stefano, Luca and Inverso, Omar and Valiani, Serenella},
  NOeditor = {Pang, Jun and Niehren, Joachim},
  year = {2023},
  NOseries = {{{LNCS}}},
  NOvolume = {14137},
  NOpages = {44--61},
  NOpublisher = {Springer},
  NOaddress = {Luxembourg City, Luxembourg},
  doi = {10.1007/978-3-031-42697-1_4}
}

@misc{azzopardi2023ltl,
      title={LTL Synthesis on Infinite-State Arenas defined by Programs}, 
      author={Shaun Azzopardi and Nir Piterman and Gerardo Schneider and Luca {Di Stefano}},
      year={2023},
      eprint={2307.09776},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      keywords = {preprint}
}

@mastersthesis{lyckaro_evaluating_2023,
  title = {Evaluating In-Memory Caching Strategies for Distributed {{Web}} Services},
  author = {{{Love Lyckaro}}},
  sortname= {Lyckaro, Love},
  year = {2023},
  address = {Gothenburg, Sweden},
  collaborator = {Di Stefano, Luca and Thidrandir, Korp and Russo, Alejandro},
  school = {Chalmers University of Technology},
  url = {http://hdl.handle.net/20.500.12380/307480},
  keywords = {mastersthesis}
}

@inproceedings{DBLP:conf/isola/AlrahmanASP24,
  title = {Attributed Point-to-Point Communication in {{R-CHECK}}},
  booktitle = {12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ({{ISoLA}})},
  author = {Alrahman, Yehia Abd and Azzopardi, Shaun and Di Stefano, Luca and Piterman, Nir},
  editor = {Margaria, Tiziana and Steffen, Bernhard},
  year = {2024},
  series = {{{LNCS}}},
  volume = {15220},
  NOpages = {333--350},
  NOpublisher = {Springer},
  NOaddress = {Crete, Greece},
  doi = {10.1007/978-3-031-75107-3_20}
}

@inproceedings{DBLP:conf/isola/StefanoI24,
  title = {Emerging {{Synchrony}} in {{Applauding Audiences}}: {{Formal Analysis}} and {{Specification}}},
  booktitle = {12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ({{ISoLA}})},
  author = {Di Stefano, Luca and Inverso, Omar},
  editor = {Margaria, Tiziana and Steffen, Bernhard},
  year = {2024},
  series = {{{LNCS}}},
  volume = {15219},
  NOpages = {253--270},
  NOpublisher = {Springer},
  NOaddress = {Crete, Greece},
  doi = {10.1007/978-3-031-73709-1_16}
}