Gianluca Torta

77 papers A* 1A 6B 1C 8Misc 2Journal 28Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels.
CoRR
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta, Andrea Basso, Monica Cochi, Lorenzo Gusman, Lorenzo Comba, Paolo Gay, Paola Dal Zovo, Giada Galati, Francesco Gallo, Aljaz Grdadolnik, Massimo Pescarollo, Paola Pisano
2025 — conf
Aggregate Runtime Verification for Emergency Healthcare in Crowded Events.
ICHMS
Gianluca Torta, Gianluca Aguzzi, Ferruccio Damiani, Mirko Viroli
2025 J jnl
Programming Distributed Collective Processes in the eXchange Calculus.
Log. Methods Comput. Sci.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2025 J jnl
Software Engineering for Collective Cyber-Physical Ecosystems.
ACM Trans. Softw. Eng. Methodol.
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
2025 J jnl
TinyML model compression: A comparative study of pruning and quantization on selected standard and custom neural networks.
Telecommun. Syst.
Muhammad Yasir Shabir, Gianluca Torta, Ferruccio Damiani
2024 J jnl
A general framework and decentralised algorithms for collective computational processes.
Future Gener. Comput. Syst.
Giorgio Audrito, Roberto Casadei, Gianluca Torta
2024 — ch.
Actor-Based Designs for Distributed Self-organisation Programming.
Active Object Languages: Current Research Trends
Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2024 C conf
An Enhanced Exchange Operator for XC.
COORDINATION
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta
2024 J jnl
An Intelligent Support System to Help Teachers Plan Field Trips.
Int. J. Artif. Intell. Educ.
Noemi Mauro, Liliana Ardissono, Federica Cena, Livio Scarpinati, Gianluca Torta
2024 J jnl
FCPP to aggregate them all.
Sci. Comput. Program.
Giorgio Audrito, Gianluca Torta
2024 J jnl
Programming Distributed Collective Processes in the eXchange Calculus.
CoRR
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2024 — conf
Real-Time Guarantees for SLCS Monitors in XC.
VORTEX@ISSTA
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2024 J jnl
Software Engineering for Collective Cyber-Physical Ecosystems.
CoRR
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
2024 — conf
Towards Real-Time Aggregate Computing.
ISoLA (2)
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2023 — conf
A Mobile App Supporting Field Trip Organization for Natural and Cultural Heritage Exploration.
UMAP (Adjunct Publication)
Liliana Ardissono, Federica Cena, Noemi Mauro, Mauro Palomba, Francesco Parizia, Luigi Perotti, Livio Scarpinati, Gianluca Torta
2023 J jnl
A field-based computing approach to sensing-driven clustering in robot swarms.
Swarm Intell.
Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2023 — ch.
Aggregate Programming for Customized Building Management and Users Preference Implementation.
IoT Edge Solutions for Cognitive Buildings
Giorgio Audrito, Ferruccio Damiani, Stefano Rinaldi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
2023 — conf
On Stream Runtime Verification and Aggregate Programming.
VORTEX@ISSTA
Ferruccio Damiani, Gianluca Torta
2023 — conf
Parallelising an Aggregate Programming Framework with Message-Passing Interface.
ACSOS-C
Giorgio Audrito, Alberto Riccardo Martinelli, Gianluca Torta
2023 C conf
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.
COORDINATION
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2022 J jnl
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things.
CoRR
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2022 J jnl
Aggregate processes as distributed adaptive services for the Industrial Internet of Things.
Pervasive Mob. Comput.
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2022 — conf
Bringing Aggregate Programming Towards the Cloud.
ISoLA (3)
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2022 J jnl
Distributed runtime verification by past-CTL and the field calculus.
J. Syst. Softw.
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli
2022 C conf
Extensible 3D Simulation of Aggregated Systems with FCPP.
COORDINATION
Giorgio Audrito, Luigi Rapetta, Gianluca Torta
2022 — conf
Implementation of an IoT Wearable Prototype on a Standard AI Architecture.
DASC/PiCom/CBDCom/CyberSciTech
Andrea Basso, Daniele Bortoluzzi, Gianluca Torta
2022 — conf
Integration of Cultural and Natural Heritage Information in Future Mobile Guides.
UMAP (Adjunct Publication)
Liliana Ardissono, Gianluca Torta, Pietro Barone, Marino Segnan, Claudio Mattutino
2022 — conf
On the Dynamic Evolution of Distributed Computational Aggregates.
ACSOS-C
Giorgio Audrito, Roberto Casadei, Gianluca Torta
2022 J jnl
Predictive Semantics for Past-CTL Runtime Monitors.
CoRR
Giorgio Audrito, Volker Stolz, Gianluca Torta
2022 — conf
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.
DASC/PiCom/CBDCom/CyberSciTech
Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
2021 — conf
Fostering resilient execution of multi-agent plans through self-organisation.
ACSOS-C
Giorgio Audrito, Roberto Casadei, Gianluca Torta
2021 — conf
RM for users' safety and security in the built environment.
VORTEX@ISSTA
Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
2021 — conf
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes.
ACSOS-C
Giorgio Audrito, Roberto Casadei, Gianluca Torta
2021 — conf
Towards aggregate monitoring of spatio-temporal properties.
VORTEX@ISSTA
Giorgio Audrito, Gianluca Torta
2019 A conf
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans.
AAMAS
Gianluca Torta, Roberto Micalizio, Samuele Sormano
2019 — conf
Temporal Multiagent Plan Execution: Explaining What Happened.
EXTRAAMAS@AAMAS
Gianluca Torta, Roberto Micalizio, Samuele Sormano
2018 J jnl
35 Years of Pietro Torasso's work on diagnosis.
Intelligenza Artificiale
Luca Console, Diego Magro, Roberto Micalizio, Enrico Scala, Daniele Theseider Dupré, Gianluca Torta
2018 C conf
A Semantic Approach to Constraint-Based Reasoning in Geographical Domains.
IC3K
Gianluca Torta, Liliana Ardissono, Daniele Fea, Luigi La Riccia, Angioletta Voghera
2018 C conf
Ontological Representation of Constraints for Geographical Reasoning.
KEOD
Gianluca Torta, Liliana Ardissono, Marco Corona, Luigi La Riccia, Angioletta Voghera
2018 A conf
SMT-Based Diagnosis of Multi-Agent Temporal Plans.
AAMAS
Gianluca Torta, Roberto Micalizio
2017 C conf
GeCoLan: A Constraint Language for Reasoning About Ecological Networks in the Semantic Web.
IC3K
Gianluca Torta, Liliana Ardissono, Marco Corona, Luigi La Riccia, Adriano Savoca, Angioletta Voghera
2017 C conf
Representing Ecological Network Specifications with Semantic Web Techniques.
KEOD
Gianluca Torta, Liliana Ardissono, Luigi La Riccia, Adriano Savoca, Angioletta Voghera
2016 J jnl
Explaining interdependent action delays in multiagent plans execution.
Auton. Agents Multi Agent Syst.
Roberto Micalizio, Gianluca Torta
2015 B conf
A Scheduling Tool for Conditionally Independent Temporal Preferences.
ICTAI
Roberto Micalizio, Gianluca Torta
2015 — conf
Scheduling with Structured Preferences.
SGAI Conf.
Roberto Micalizio, Gianluca Torta
2014 J jnl
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions.
AI Commun.
Gianluca Torta, Luca Anselma, Daniele Theseider Dupré
2014 J jnl
Intelligent user interfaces for calendar management.
Intelligenza Artificiale
Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta
2013 J jnl
A Multi-UAS Cooperative Mission Over Non-Segregated Civil Areas.
J. Intell. Robotic Syst.
Marco Boccalatte, Filippo Brogi, Francesco Catalfamo, Stefania Maddaluno, Michele Martino, Valter Mellano, Paolo Rosazza Prin, Filomena Solitro, Pietro Torasso, Gianluca Torta
2013 J jnl
A web-based, relational database for studying glaciers in the Italian Alps.
Comput. Geosci.
Guido Nigrelli, Marta Chiarle, Angelo Nuzzi, Luigi Perotti, Gianluca Torta, Marco Giardino
2013 J jnl
Automatic component abstraction for Model-Based Diagnosis on relational models.
AI Commun.
Gianluca Torta, Pietro Torasso
2013 — conf
Diagnosing Dependent Action Delays in Temporal Multiagent Plans.
SGAI Conf.
Roberto Micalizio, Gianluca Torta
2013 — conf
Interacting with the User in Calendar Management.
AI*HCI@AI*IA
Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta
2012 A conf
Diagnosing Delays in Multi-Agent Plans Execution.
ECAI
Roberto Micalizio, Gianluca Torta
2012 — conf
Mixed-Initiative Management of Online Calendars.
WEBIST (Selected Papers)
Liliana Ardissono, Giovanna Petrone, Marino Segnan, Gianluca Torta
2012 C conf
Mixed-initiative Scheduling of Tasks in user Collaboration.
WEBIST
Liliana Ardissono, Giovanna Petrone, Gianluca Torta, Marino Segnan
2011 — conf
A Theory of Abstraction for Diagnosis of Discrete-Event Systems.
SARA
Alban Grastien, Gianluca Torta
2011 — conf
Exploiting Automatic Validation in Human Mission Planning.
SGAI Conf.
Pietro Torasso, Gianluca Torta
2011 — conf
Reformulation for the Diagnosis of Discrete-Event Systems.
SARA
Alban Grastien, Gianluca Torta
2010 — conf
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model.
SGAI Conf.
Gianluca Torta, Pietro Torasso
2009 — conf
Abductive Problem Solving with Abstractions.
SARA
Gianluca Torta, Daniele Theseider Dupré
2009 J jnl
Parametric abstraction of behavioral modes for model-based diagnosis.
AI Commun.
Gianluca Torta, Pietro Torasso
2008 A conf
Computation of Minimal Sensor Sets for Conditional Testability Requirements.
ECAI
Gianluca Torta, Pietro Torasso
2008 A conf
Cost-sensitive Iterative Abductive Reasoning with abstractions.
ECAI
Gianluca Torta, Daniele Theseider Dupré, Luca Anselma
2007 J jnl
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems.
AI Commun.
Gianluca Torta, Pietro Torasso
2007 — conf
Formalizing the Abstraction Process in Model-Based Diagnosis.
SARA
Lorenza Saitta, Pietro Torasso, Gianluca Torta
2007 J jnl
On the role of modeling causal independence for system model compilation with OBDDs.
AI Commun.
Gianluca Torta, Pietro Torasso
2006 J jnl
Intelligent Supervision of Plan Execution in Multi-Agent Systems.
Int. Trans. Syst. Sci. Appl.
Roberto Micalizio, Pietro Torasso, Gianluca Torta
2006 — conf
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis.
Reasoning, Action and Interaction in AI Theories and Systems
Pietro Torasso, Gianluca Torta
2006 J jnl
On the use of OBDDs in model-based diagnosis: An approach based on the partition of the model.
Knowl. Based Syst.
Gianluca Torta, Pietro Torasso
2006 J jnl
On-line monitoring and diagnosis of a team of service robots: A model-based approach.
AI Commun.
Roberto Micalizio, Pietro Torasso, Gianluca Torta
2006 — conf
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems.
Artificial Intelligence and Applications
Roberto Micalizio, Pietro Torasso, Gianluca Torta
2005 Misc conf
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis.
KI
Pietro Torasso, Gianluca Torta
2005 J jnl
Compact Diagnoses Representation in Diagnostic Problem Solving.
Comput. Intell.
Pietro Torasso, Gianluca Torta
2005 — conf
On the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model.
SGAI Conf.
Gianluca Torta, Pietro Torasso
2004 A conf
On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach.
ECAI
Roberto Micalizio, Pietro Torasso, Gianluca Torta
2003 A* conf
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability.
IJCAI
Gianluca Torta, Pietro Torasso
2003 Misc conf
Computing Minimum-Cardinality Diagnoses Using OBDDs.
KI
Pietro Torasso, Gianluca Torta