Compositional verification of priority systems using sharp bisimulation von Di Stefano, Luca, Lang, Frédéric

Volltext

Sustainable Yield of a Hydrothermal Area: From Theoretical Concepts to the Practical Approach von Piscopo, Vincenzo, Di Luca, Stefano, Dimasi, Michele, Lotti, Francesca

Volltext

Toward Formal Models and Languages for Verifiable Multi-Robot Systems von De Nicola, Rocco, Di Stefano, Luca, Inverso, Omar

Volltext

Video of flocking behaviour. From "Multi Agent Systems with Virtual Stigmergies" von Di Stefano, Luca

Volltext bestellen

Synchonization in an audience of clapping agents von Di Stefano, Luca

Volltext bestellen

Video of flocking behaviour. From "Flocks of Birds from the Bottom Up" von Valiani, Serenella, Di Stefano, Luca

Volltext bestellen

Ant foraging behaviour (double bridge experiment). From "Modelling flocks of birds and colonies of ants from the bottom up" von Valiani, Serenella, Di Stefano, Luca

Volltext bestellen

Post-metering value-added services for low voltage electricity users: Lessons learned from the Italian experience of CHAIN 2 von Serra, Daniele, Mardero, Daniele, Di Stefano, Luca, Grillo, Samuele

Volltext

Verification of Distributed Systems via Sequential Emulation von Di Stefano, Luca, De Nicola, Rocco, Inverso, Omar

Volltext

Modelling flocks of birds and colonies of ants from the bottom up von De Nicola, Rocco, Di Stefano, Luca, Inverso, Omar, Valiani, Serenella

Volltext

Multi-agent systems with virtual stigmergy von De Nicola, Rocco, Di Stefano, Luca, Inverso, Omar

Volltext

Automated replication of tuple spaces via static analysis von De Nicola, Rocco, Di Stefano, Luca, Inverso, Omar, Uwimbabazi, Aline

Volltext

Dépistage du VIH : gratuit dans le canton de Vaud, payant à Genève von Di Stefano, Luca

Volltext

Language support for verifying reconfigurable interacting systems von Alrahman, Yehia Abd, Azzopardi, Shaun, Di Stefano, Luca, Piterman, Nir

Volltext

The Belt and Road Initiative (BRI) on the “Stress-Test” of the Corporate Criminal Liability in Europe von Francia, Emanuele C., Stefano, Luca Di

Volltext

Attributed Point-to-Point Communication in R-CHECK von Abd Alrahman, Yehia, Azzopardi, Shaun, Di Stefano, Luca, Piterman, Nir

Volltext

Process Algebras and Flocks of Birds von De Nicola, Rocco, Di Stefano, Luca, Inverso, Omar, Valiani, Serenella

Volltext

Post-Metering Value-Added Services for Low Voltage Electricity Users: Lessons Learned From the Italian Experience of CHAIN 2 von Serra, Daniele, Mardero, Daniele, Luca Di Stefano, Grillo, Samuele

Volltext

Deux frères attaquent Exit en justice: le suicide est suspendu von Di Stefano, Luca

Volltext

Verifying Temporal Properties of Stigmergic Collective Systems Using CADP von Di Stefano, Luca, Lang, Frédéric

Volltext