Luca Di Stefano

Publikationer (9)
Projekt (0)

Visar 9 publikationer

2025

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 i proceeding

2025

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 i 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

Artikel i vetenskaplig tidskrift

2023

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

Artikel i vetenskaplig tidskrift

2023

Compositional Verification of Stigmergic Collective Systems

Luca Di Stefano, Frédéric Lang

Paper i proceeding

2023

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

Artikel i vetenskaplig tidskrift

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 i 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 i proceeding

2022

Automated replication of tuple spaces via static analysis

Rocco De Nicola, Luca Di Stefano, Omar Inverso et al

Science of Computer Programming. Vol. 223

Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Luca Di Stefano medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.