Skip to content

Gianluca Torta

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

30

Venues

12

Active years

2003–2026

Best venue rank

A*

Where they publish

Papers

30 indexed papers, newest first.

YearVenueTitleAuthors
2026CoordinationAggregate Indoor Localisation.Giorgio Audrito, Leonardo Bertolino, Ferruccio Damiani, Gianluca Torta
2026FMDistributed Runtime Verification in Proximity-Based Networks: A Tutorial on the Aggregate Programming Approach.Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Volker Stolz, Gianluca Torta
2024CoordinationAn Enhanced Exchange Operator for XC.Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta
2024ISoLATowards Real-Time Aggregate Computing.Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2023CoordinationProgramming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2022CoordinationExtensible 3D Simulation of Aggregated Systems with FCPP.Giorgio Audrito, Luigi Rapetta, Gianluca Torta
2022DASCImplementation of an IoT Wearable Prototype on a Standard AI Architecture.Andrea Basso, Daniele Bortoluzzi, Gianluca Torta
2022DASCTowards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
2022ISoLABringing Aggregate Programming Towards the Cloud.Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2021ISSTARM for users' safety and security in the built environment.Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
2021ISSTATowards aggregate monitoring of spatio-temporal properties.Giorgio Audrito, Gianluca Torta
2018IC3KOntological Representation of Constraints for Geographical Reasoning.Gianluca Torta, Liliana Ardissono, Marco Corona, Luigi La Riccia, Angioletta Voghera
2018IC3KA Semantic Approach to Constraint-Based Reasoning in Geographical Domains.Gianluca Torta, Liliana Ardissono, Daniele Fea, Luigi La Riccia, Angioletta Voghera
2017IC3KGeCoLan: A Constraint Language for Reasoning About Ecological Networks in the Semantic Web.Gianluca Torta, Liliana Ardissono, Marco Corona, Luigi La Riccia, Adriano Savoca, Angioletta Voghera
2017IC3KRepresenting Ecological Network Specifications with Semantic Web Techniques.Gianluca Torta, Liliana Ardissono, Luigi La Riccia, Adriano Savoca, Angioletta Voghera
2015ICTAIA Scheduling Tool for Conditionally Independent Temporal Preferences.Roberto Micalizio, Gianluca Torta
2015SGAIScheduling with Structured Preferences.Roberto Micalizio, Gianluca Torta
2013SGAIDiagnosing Dependent Action Delays in Temporal Multiagent Plans.Roberto Micalizio, Gianluca Torta
2012ECAIDiagnosing Delays in Multi-Agent Plans Execution.Roberto Micalizio, Gianluca Torta
2012WEBISTMixed-Initiative Management of Online Calendars.Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta
2012WEBISTMixed-initiative Scheduling of Tasks in user Collaboration.Liliana Ardissono, Giovanna Petrone, Gianluca Torta, Marino Segnan
2011SGAIExploiting Automatic Validation in Human Mission Planning.Pietro Torasso, Gianluca Torta
2010SGAIA Structural Approach to Sensor Placement based on Symbolic Compilation of the Model.Gianluca Torta, Pietro Torasso
2008ECAICost-sensitive Iterative Abductive Reasoning with abstractions.Gianluca Torta, Daniele Theseider Dupr, Luca Anselma
2008ECAIComputation of Minimal Sensor Sets for Conditional Testability Requirements.Gianluca Torta, Pietro Torasso
2005KIAutomatic Abstraction of Time-Varying System Models for Model Based Diagnosis.Pietro Torasso, Gianluca Torta
2005SGAIOn the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model.Gianluca Torta, Pietro Torasso
2004ECAIOn-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach.Roberto Micalizio, Pietro Torasso, Gianluca Torta
2003IJCAIAutomatic Abstraction in Component-Based Diagnosis Driven by System Observability.Gianluca Torta, Pietro Torasso
2003KIComputing Minimum-Cardinality Diagnoses Using OBDDs.Pietro Torasso, Gianluca Torta