Per Status

14 yet unpublished works

short

camera-ready • accepted • submitted • draft • unpublished

camera-ready sent

Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor

Explaining conflicts of norms in criminal matters: an argumentation approach

(paper in proceedings) AI Approaches to the Complexity of Legal Systems. AICOL 2021

Martina Baiardi, Giovanni Ciatto, Danilo Pianini

Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study

(paper in proceedings) Proceedings of the 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum, 2023

2 camera-ready sent • top • index • bottom

accepted

Roberto Casadei

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling

(article in journal) ACM Computing Surveys, January 2023

Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini

Concurrency model of BDI programming frameworks: why should we control it?

(paper in proceedings) EMAS 2024, 2024

2 accepted • top • index • bottom

submitted

Giovanni Ciatto, Andrea Agiollo, Matteo Magnini, Andrea Omicini

Large language models as oracles for instantiating ontologies with domain-specific knowledge

(article in journal) Knowledge Based Systems, 2024

Marco Picone, Angelo Croatti, Stefano Mariani, Sara Montagna, Alessandro Ricci

Event-Driven Digital Twins

(article in journal) IEEE Software

2 submitted • top • index • bottom

drafts

Giovanni Ciatto

Multi-platform Programming for Open-Source Research-Oriented Software

(book chapter) Business Models and Strategies for Open Source Projects, 2023

Naftaly H. Minsky

Regulation-Based Management of Open (SOC-Based) Distributed Systems

(paper in proceedings)

2 drafts • top • index • bottom

unpublished

Matteo Casadei, Mirko Viroli

A Framework to Specify and Verify Computational Fields for Pervasive Systems

(article in journal) ACM Transactions on Autonomous and Adaptive Systems

Graeme Stevenson, Simon Dobson, Mirko Viroli, Elena Nardini

An Approach Based on Web Standards to the Semantic Coordination of Pervasive Service Ecosystems

(paper in proceedings) 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011)

Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini

Building an Agent Methodology from Fragments: the MEnSA experience

(paper in proceedings)

Matteo Casadei, Mirko Viroli

Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems

(technical report)

Mirko Viroli, Andrea Omicini

The “Self-organising Coordination” Paradigm in the Software Engineering of SOS

(other publication sort)

Angelo Croatti, Alessandro Ricci

Augmented Rescuers for Healthcare Emergency

(paper in proceedings)

6 unpublished • top • index • bottom