Luca Di Stefano

Showing 9 publications

2025
Open Access icon

Attributed Point-to-Point Communication in R-CHECK

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 15220 LNCS, p. 333-350
Paper in proceeding
2025
Open Access icon

Full LTL Synthesis over Infinite-State Arenas

Shaun Azzopardi, Luca Di Stefano, Nir Piterman et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 15934 LNCS, p. 274-297
Paper in proceeding
2024

Compositional verification of priority systems using sharp bisimulation

Luca Di Stefano, Frédéric Lang
Formal Methods in System Design. Vol. 62 (1-3), p. 1-40
Journal article
2023
Open Access icon

Modelling Flocks of Birds and Colonies of Ants from the Bottom Up

Rocco De Nicola, Luca Di Stefano, Omar Inverso et al
International Journal on Software Tools for Technology Transfer. Vol. 25, p. 675-691
Journal article
2023

Compositional Verification of Stigmergic Collective Systems

Luca Di Stefano, Frédéric Lang
Paper in proceeding
2023
Open Access icon

Language Support for Verifying Reconfigurable Interacting Systems

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano et al
International Journal on Software Tools for Technology Transfer. Vol. 25 (5-6), p. 765-784
Journal article
2023

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants

Rocco De Nicola, Luca Di Stefano, Omar Inverso et al
International Conference on Systems Biology, ISB. Vol. 14137 LNBI, p. 44-61
Paper in proceeding
2022

Modelling Flocks of Birds from the Bottom Up

Rocco De Nicola, Luca Di Stefano, Omar Inverso et al
Lecture Notes in Computer Science. Vol. 13703 LNCS, p. 82-96
Paper in proceeding
2022
Open Access icon

Automated replication of tuple spaces via static analysis

Rocco De Nicola, Luca Di Stefano, Omar Inverso et al
Science of Computer Programming. Vol. 223
Journal article

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Luca Di Stefano participates, but you have to be logged in as a Chalmers employee to see them.

Feedback and support

If you have questions, need help, find a bug or just want to give us feedback you may use this form, or contact us per e-mail research.lib@chalmers.se.

About

Research.chalmers.se contains research information from Chalmers University of Technology, Sweden. It includes information on projects, publications, research funders and collaborations.

More about coverage period and what is publicly available

Privacy and cookies

Accessibility

Citation Style Language
citeproc-js (Frank Bennett)

Links

Chalmers Library
Chalmers Research
Chalmers Student Theses

Chalmers University of Technology

SE-412 96 GOTHENBURG, SWEDEN
PHONE: +46 (0)31-772 10 00
WWW.CHALMERS.SE