Curriculum Vitae · lou1306

Work experience

March 2024 – current

TU Wien (Vienna University of Technology)

University Assistant (Post-doc)

Researcher in the Cyber-Physical Systems unit at the Institute for Informatics.

May 2022 – February 2024

University of Gothenburg, Gothenburg, Sweden

Post-doc

Researcher in the Formal Methods unit at the Department of Computer Science and Engineering, working on project D-SynMA (Distributed Synthesis from Single to Multiple Agents).

November 2020 – April 2022

Inria Grenoble Rhône-Alpes, Grenoble, France

Post-doc

Researcher at team CONVECS (Construction of Verified Concurrent Systems).

December 2019 – October 2020

IMT School for Advanced Studies, Lucca, Italy

Research Project Grant on "Verification of Emerging Properties in Collective Adaptive Systems" within the SysMA (System Modelling and Analysis) research unit.

March 2019 – July 2019

Inria Grenoble Rhône-Alpes, Grenoble, France

Visiting PhD Student

Visiting at team CONVECS (Construction of Verified Concurrent Systems). Modeling and verification of concurrent (multi-agent) systems.

CADP verification toolbox
LNT process calculus

June 2015 – February 2016

Thales Alenia Space Italia, L'Aquila, Italy

Internship (Workshop Planning and Lines Industrialization)

Maintenance of legacy systems involved in production traceability; data and business logic migration to SQL Server; maintenance and development of the in-house client application.

Office (Excel, Access) and VBA
Microsoft SQL Server and ODBC

January 2015 – current

Associazione Italiana Guide e Scout d’Europa Cattolici

Volunteer (National IT Patrol)

Collaborator in the development of the association website. Programmer for in-house web applications.

ASP.Net Web API
PHP
Wordpress
Javascript + JQuery

January – March 2015

Aubay Research & Technologies SpA, Carsoli, Italy

Internship

Design of a digital publishing platform with a cross-platform mobile client (Android, Windows Phone).

ASP.Net Web API
C#
Windows Communication Foundation
Java and Android framework
Xamarin

Education

2016 – 2020

PhD in Computer Science

Gran Sasso Science Institute

Thesis: “Modelling and Verification of Multi-Agent Systems via Sequential Emulation”. Link: ResearchGate

2014 – 2016

Master’s Degree in Computer and Systems Engineering cum laude

University of L'Aquila

Ingegneria Informatica e Automatica. Master’s thesis topic: Design of a reactive obstacle avoidance system for UAVs.

2009 – 2014

Bachelor’s Degree in Computer and Systems Engineering

University of L'Aquila

Ingegneria Informatica e Automatica. Bachelor’s thesis topic: Design and implementation of a digital publishing platform, featuring a cross-platform mobile client.

2004 – 2009

Liceo Classico degree

Istituto d'istruzione superiore "D. Cotugno"

Publications

generated by

Group by
- Year
- Author
- Type
- Keyword
- Downloads

2024 (4)

Compositional verification of priority systems using sharp bisimulation. Luca Di Stefano; and Frédéric Lang. Formal Methods Syst. Des., 62(1): 1–40. 2024.

Compositional verification of priority systems using sharp bisimulation [link]

Paper doi link bibtex

@article{DBLP:journals/fmsd/StefanoL24,
  author       = {Luca Di Stefano and
                  Fr{\'{e}}d{\'{e}}ric Lang},
  title        = {Compositional verification of priority systems using sharp bisimulation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {62},
  number       = {1},
  pages        = {1--40},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10703-023-00422-1},
  doi          = {10.1007/S10703-023-00422-1},
  timestamp    = {Sat, 06 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/StefanoL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. Luca Di Stefano; and Omar Inverso. In Tiziana Margaria; and Bernhard Steffen., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I, volume 15219, of Lecture Notes in Computer Science, pages 253–270, 2024. Springer

Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/isola/StefanoI24,
  author       = {Luca Di Stefano and
                  Omar Inverso},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  REoCAS Colloquium in Honor of Rocco De Nicola - 12th International
                  Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15219},
  pages        = {253--270},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-73709-1\_16},
  doi          = {10.1007/978-3-031-73709-1\_16},
  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/StefanoI24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Attributed Point-to-Point Communication in R-CHECK. Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano; and Nir Piterman. In Tiziana Margaria; and Bernhard Steffen., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II, volume 15220, of Lecture Notes in Computer Science, pages 333–350, 2024. Springer

Attributed Point-to-Point Communication in R-CHECK [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/isola/AlrahmanASP24,
  author       = {Yehia Abd Alrahman and
                  Shaun Azzopardi and
                  Luca Di Stefano and
                  Nir Piterman},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Attributed Point-to-Point Communication in {R-CHECK}},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Rigorous Engineering of Collective Adaptive Systems - 12th International
                  Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15220},
  pages        = {333--350},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-75107-3\_20},
  doi          = {10.1007/978-3-031-75107-3\_20},
  timestamp    = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/AlrahmanASP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024. Luca Di Stefano., editor. ACM. 2024.

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024 [link]

Paper doi link bibtex

@proceedings{DBLP:conf/ftfjp/2024,
  editor       = {Luca Di Stefano},
  title        = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
                  for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
                  2024},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3678721},
  doi          = {10.1145/3678721},
  isbn         = {979-8-4007-1111-4},
  timestamp    = {Thu, 10 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftfjp/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

2023 (5)

Modelling flocks of birds and colonies of ants from the bottom up. Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Serenella Valiani. Int. J. Softw. Tools Technol. Transf., 25(5): 675–691. 2023.

Modelling flocks of birds and colonies of ants from the bottom up [link]

Paper doi link bibtex

@article{DBLP:journals/sttt/NicolaSIV23,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso and
                  Serenella Valiani},
  title        = {Modelling flocks of birds and colonies of ants from the bottom up},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {25},
  number       = {5},
  pages        = {675--691},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10009-023-00731-0},
  doi          = {10.1007/S10009-023-00731-0},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/NicolaSIV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Language support for verifying reconfigurable interacting systems. Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano; and Nir Piterman. Int. J. Softw. Tools Technol. Transf., 25(5): 765–784. 2023.

Language support for verifying reconfigurable interacting systems [link]

Paper doi link bibtex

@article{DBLP:journals/sttt/AlrahmanASP23,
  author       = {Yehia Abd Alrahman and
                  Shaun Azzopardi and
                  Luca Di Stefano and
                  Nir Piterman},
  title        = {Language support for verifying reconfigurable interacting systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {25},
  number       = {5},
  pages        = {765--784},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10009-023-00729-8},
  doi          = {10.1007/S10009-023-00729-8},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/AlrahmanASP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Serenella Valiani. In Jun Pang; and Joachim Niehren., editor(s), Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings, volume 14137, of Lecture Notes in Computer Science, pages 44–61, 2023. Springer

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/cmsb/NicolaSIV23,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso and
                  Serenella Valiani},
  editor       = {Jun Pang and
                  Joachim Niehren},
  title        = {Intuitive Modelling and Formal Analysis of Collective Behaviour in
                  Foraging Ants},
  booktitle    = {Computational Methods in Systems Biology - 21st International Conference,
                  {CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14137},
  pages        = {44--61},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-42697-1\_4},
  doi          = {10.1007/978-3-031-42697-1\_4},
  timestamp    = {Fri, 15 Sep 2023 15:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/NicolaSIV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Compositional Verification of Stigmergic Collective Systems. Luca Di Stefano; and Frédéric Lang. In Cezara Dragoi; Michael Emmi; and Jingbo Wang., editor(s), Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings, volume 13881, of Lecture Notes in Computer Science, pages 155–176, 2023. Springer

Compositional Verification of Stigmergic Collective Systems [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/vmcai/StefanoL23,
  author       = {Luca Di Stefano and
                  Fr{\'{e}}d{\'{e}}ric Lang},
  editor       = {Cezara Dragoi and
                  Michael Emmi and
                  Jingbo Wang},
  title        = {Compositional Verification of Stigmergic Collective Systems},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 24th International
                  Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13881},
  pages        = {155--176},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-24950-1\_8},
  doi          = {10.1007/978-3-031-24950-1\_8},
  timestamp    = {Wed, 29 May 2024 09:08:46 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/StefanoL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

LTL Synthesis on Infinite-State Arenas defined by Programs. Shaun Azzopardi; Nir Piterman; Gerardo Schneider; and Luca Di Stefano. CoRR, abs/2307.09776. 2023.

LTL Synthesis on Infinite-State Arenas defined by Programs [link]

Paper doi link bibtex

@article{DBLP:journals/corr/abs-2307-09776,
  author       = {Shaun Azzopardi and
                  Nir Piterman and
                  Gerardo Schneider and
                  Luca Di Stefano},
  title        = {{LTL} Synthesis on Infinite-State Arenas defined by Programs},
  journal      = {CoRR},
  volume       = {abs/2307.09776},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.09776},
  doi          = {10.48550/ARXIV.2307.09776},
  eprinttype    = {arXiv},
  eprint       = {2307.09776},
  timestamp    = {Tue, 25 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-09776.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

2022 (4)

Automated replication of tuple spaces via static analysis. Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Aline Uwimbabazi. Sci. Comput. Program., 223: 102863. 2022.

Automated replication of tuple spaces via static analysis [link]

Paper doi link bibtex

@article{DBLP:journals/scp/NicolaSIU22,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso and
                  Aline Uwimbabazi},
  title        = {Automated replication of tuple spaces via static analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {223},
  pages        = {102863},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102863},
  doi          = {10.1016/J.SCICO.2022.102863},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/NicolaSIU22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Verification of Distributed Systems via Sequential Emulation. Luca Di Stefano; Rocco De Nicola; and Omar Inverso. ACM Trans. Softw. Eng. Methodol., 31(3): 37:1–37:41. 2022.

Verification of Distributed Systems via Sequential Emulation [link]

Paper doi link bibtex

@article{DBLP:journals/tosem/StefanoNI22,
  author       = {Luca Di Stefano and
                  Rocco De Nicola and
                  Omar Inverso},
  title        = {Verification of Distributed Systems via Sequential Emulation},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {31},
  number       = {3},
  pages        = {37:1--37:41},
  year         = {2022},
  url          = {https://doi.org/10.1145/3490387},
  doi          = {10.1145/3490387},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/StefanoNI22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Process Algebras and Flocks of Birds. Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Serenella Valiani. In Nils Jansen; Mariëlle Stoelinga; and Petra Bos., editor(s), A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, volume 13560, of Lecture Notes in Computer Science, pages 512–523, 2022. Springer

Process Algebras and Flocks of Birds [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/birthday/NicolaSIV22,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso and
                  Serenella Valiani},
  editor       = {Nils Jansen and
                  Mari{\"{e}}lle Stoelinga and
                  Petra van den Bos},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {13560},
  pages        = {512--523},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15629-8\_27},
  doi          = {10.1007/978-3-031-15629-8\_27},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/NicolaSIV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Modelling Flocks of Birds from the Bottom Up. Rocco De Nicola; Luca Di Stefano; Omar Inverso; and Serenella Valiani. In Tiziana Margaria; and Bernhard Steffen., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III, volume 13703, of Lecture Notes in Computer Science, pages 82–96, 2022. Springer

Modelling Flocks of Birds from the Bottom Up [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/isola/NicolaSIV22,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso and
                  Serenella Valiani},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Modelling Flocks of Birds from the Bottom Up},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Adaptation and Learning - 11th International Symposium, ISoLA 2022,
                  Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13703},
  pages        = {82--96},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19759-8\_6},
  doi          = {10.1007/978-3-031-19759-8\_6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

2021 (2)

Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. Luca Di Stefano; and Frédéric Lang. In Tiziana Margaria; and Bernhard Steffen., editor(s), Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings, volume 13036, of Lecture Notes in Computer Science, pages 473–489, 2021. Springer

Verifying Temporal Properties of Stigmergic Collective Systems Using CADP [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/isola/StefanoL21,
  author       = {Luca Di Stefano and
                  Fr{\'{e}}d{\'{e}}ric Lang},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Verifying Temporal Properties of Stigmergic Collective Systems Using
                  {CADP}},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation
                  - 10th International Symposium on Leveraging Applications of Formal
                  Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13036},
  pages        = {473--489},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89159-6\_29},
  doi          = {10.1007/978-3-030-89159-6\_29},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/StefanoL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation (Version 1.0). Luca Di Stefano; Rocco De Nicola; and Omar Inverso. ˘rlhttps://doi.org/10.5281/zenodo.5348289, September 2021. Accessed on YYYY-MM-DD.

Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation (Version 1.0) [link]

Paper doi link bibtex

@misc{DBLP:data/10/StefanoNI21,
  author       = {Luca Di Stefano and
                  Rocco De Nicola and
                  Omar Inverso},
  title        = {Replication Package for the paper: Verification of Distributed Systems
                  via Sequential Emulation (Version 1.0)},
  publisher    = {Zenodo},
  year         = {2021},
  month        = sep,
  howpublished = {\url{https://doi.org/10.5281/zenodo.5348289}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.5281/zenodo.5348289},
  doi          = {10.5281/ZENODO.5348289},
  timestamp    = {Wed, 02 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/data/10/StefanoNI21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

2020 (2)

Multi-agent systems with virtual stigmergy. Rocco De Nicola; Luca Di Stefano; and Omar Inverso. Sci. Comput. Program., 187: 102345. 2020.

Multi-agent systems with virtual stigmergy [link]

Paper doi link bibtex

@article{DBLP:journals/scp/NicolaSI20,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso},
  title        = {Multi-agent systems with virtual stigmergy},
  journal      = {Sci. Comput. Program.},
  volume       = {187},
  pages        = {102345},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102345},
  doi          = {10.1016/J.SCICO.2019.102345},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/NicolaSI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Combining SLiVER with CADP to Analyze Multi-agent Systems. Luca Di Stefano; Frédéric Lang; and Wendelin Serwe. In Simon Bliudze; and Laura Bocchi., editor(s), Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, volume 12134, of Lecture Notes in Computer Science, pages 370–385, 2020. Springer

Combining SLiVER with CADP to Analyze Multi-agent Systems [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/coordination/StefanoLS20,
  author       = {Luca Di Stefano and
                  Fr{\'{e}}d{\'{e}}ric Lang and
                  Wendelin Serwe},
  editor       = {Simon Bliudze and
                  Laura Bocchi},
  title        = {Combining SLiVER with {CADP} to Analyze Multi-agent Systems},
  booktitle    = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2020, Held as Part of the 15th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2020, Valletta, Malta, June 15-19, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12134},
  pages        = {370--385},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50029-0\_23},
  doi          = {10.1007/978-3-030-50029-0\_23},
  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/StefanoLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

2018 (3)

Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Rocco De Nicola; Luca Di Stefano; and Omar Inverso. Frontiers Robotics AI, 5: 94. 2018.

Toward Formal Models and Languages for Verifiable Multi-Robot Systems [link]

Paper doi link bibtex

@article{DBLP:journals/firai/NicolaSI18,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso},
  title        = {Toward Formal Models and Languages for Verifiable Multi-Robot Systems},
  journal      = {Frontiers Robotics {AI}},
  volume       = {5},
  pages        = {94},
  year         = {2018},
  url          = {https://doi.org/10.3389/frobt.2018.00094},
  doi          = {10.3389/FROBT.2018.00094},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/firai/NicolaSI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Multi-agent Systems with Virtual Stigmergy. Rocco De Nicola; Luca Di Stefano; and Omar Inverso. In Manuel Mazzara; Iulian Ober; and Gwen Salaün., editor(s), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, volume 11176, of Lecture Notes in Computer Science, pages 351–366, 2018. Springer

Paper doi link bibtex

@inproceedings{DBLP:conf/staf/NicolaSI18,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso},
  editor       = {Manuel Mazzara and
                  Iulian Ober and
                  Gwen Sala{\"{u}}n},
  title        = {Multi-agent Systems with Virtual Stigmergy},
  booktitle    = {Software Technologies: Applications and Foundations - {STAF} 2018
                  Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11176},
  pages        = {351--366},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-04771-9\_26},
  doi          = {10.1007/978-3-030-04771-9\_26},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/staf/NicolaSI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Towards formal models and languages for verifiable Multi-Robot Systems. Rocco De Nicola; Luca Di Stefano; and Omar Inverso. CoRR, abs/1804.08091. 2018.

Towards formal models and languages for verifiable Multi-Robot Systems [link]

Paper link bibtex

@article{DBLP:journals/corr/abs-1804-08091,
  author       = {Rocco De Nicola and
                  Luca Di Stefano and
                  Omar Inverso},
  title        = {Towards formal models and languages for verifiable Multi-Robot Systems},
  journal      = {CoRR},
  volume       = {abs/1804.08091},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.08091},
  eprinttype    = {arXiv},
  eprint       = {1804.08091},
  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-08091.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

2017 (1)

Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps. Luca Di Stefano; Eliseo Clementini; and Enrico Stagnini. In Paolo Fogliaroni; Andrea Ballatore; and Eliseo Clementini., editor(s), Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, COSIT 2017, September 4-8, 2017, L'Aquila, Italy, of Lecture Notes in Geoinformation and Cartography, pages 41–43, 2017. Springer

Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/cosit/StefanoCS17,
  author       = {Luca Di Stefano and
                  Eliseo Clementini and
                  Enrico Stagnini},
  editor       = {Paolo Fogliaroni and
                  Andrea Ballatore and
                  Eliseo Clementini},
  title        = {Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of
                  Depth Maps},
  booktitle    = {Proceedings of Workshops and Posters at the 13th International Conference
                  on Spatial Information Theory, {COSIT} 2017, September 4-8, 2017,
                  L'Aquila, Italy},
  series       = {Lecture Notes in Geoinformation and Cartography},
  pages        = {41--43},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63946-8\_10},
  doi          = {10.1007/978-3-319-63946-8\_10},
  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cosit/StefanoCS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}