| 2022 | CogSIMA | Using Artificial Immune System to Prioritize Swarm Strategies for Environmental Monitoring. | Manilo Monaco, Giada Simionato, Mario G. C. A. Cimino, Gigliola Vaglini, Sabrina Senatore, Gaetano Caricato |
| 2021 | IGARSS | Managing the Oceans Cleanup via Sea Current Analysis and Bio-Inspired Coordination of USV Swarms. | Manilo Monaco, Mario G. C. A. Cimino, Gigliola Vaglini, Francesco Fusai, Giovanni Nico |
| 2021 | IGARSS | Using VLF Time Series from the INFREP Network for the Study of Pre-Seismic Radio Anomalies. | Manilo Monaco, Giovanni Nico, Pier Francesco Biagi, Anita Ermini, Aleksandra Nina, Mario G. C. A. Cimino, Gigliola Vaglini |
| 2019 | ICPRAM | Detecting Permanent and Intermittent Purchase Hotspots via Computational Stigmergy. | Antonio L. Alfeo, Mario G. C. A. Cimino, Bruno Lepri, Alex Pentland, Gigliola Vaglini |
| 2019 | ICPRAM | Adaptive Exploration of a UAVs Swarm for Distributed Targets Detection and Tracking. | Mario G. C. A. Cimino, Massimiliano Lega, Manilo Monaco, Gigliola Vaglini |
| 2019 | ICPRAM | Using Stigmergy as a Computational Memory in the Design of Recurrent Neural Networks. | Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini |
| 2019 | ICRA | Urban Swarms: A new approach for autonomous waste management. | Antonio Luca Alfeo, Eduardo Castell Ferrer, Yago Lizarribar Carrillo, Arnaud Grignard, Luis Alonso Pastor, Dylan T. Sleeper, Mario G. C. A. Cimino, Bruno Lepri, Gigliola Vaglini, Kent Larson, Marco Dorigo, Alex 'Sandy' Pentland |
| 2019 | IDC | Model Checking to Detect the Hummingbad Malware. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
| 2018 | WETICE | Safety Critical Systems Formal Verification Using Execution Traces. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini |
| 2018 | SAFECOMP | Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
| 2017 | ICISSP | Localization and Inhibition of Malicious Behaviors through a Model Checking based Methodology. | Mario Giovanni C. A. Cimino, Gigliola Vaglini |
| 2017 | ICPRAM | Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields. | Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini |
| 2017 | ICPRAM | Spikiness Assessment of Term Occurrences in Microblogs: An Approach based on Computational Stigmergy. | Mario G. C. A. Cimino, Federico A. Galatolo, Alessandro Lazzeri, Witold Pedrycz, Gigliola Vaglini |
| 2017 | ICSE | Model Checking for Mobile Android Malware Evolution. | Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
| 2016 | ICPRAM | An Adaptive Stigmergy-based System for Evaluating Technological Indicator Dynamics in the Context of Smart Specialization. | Antonio L. Alfeo, Francesco Paolo Appio, Mario G. C. A. Cimino, Alessandro Lazzeri, Antonella Martini, Gigliola Vaglini |
| 2016 | ICPRAM | Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection. | Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini |
| 2016 | ICSoft | Conformance Checking using Formal Methods. | Antonella Santone, Gigliola Vaglini |
| 2015 | ICAISC | Improving the Analysis of Context-Aware Information via Marker-Based Stigmergy and Differential Evolution. | Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini |
| 2013 | ICSoft | Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. | Antonella Santone, Gigliola Vaglini |
| 2012 | ICSoft | Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. | Antonella Santone, Gigliola Vaglini |
| 2011 | COMPSAC | Ant Colony Optimization for Deadlock Detection in Concurrent Systems. | Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
| 2010 | ISoLA | Towards Resource-Optimal Routing Plans for Real-Time Traffic. | Alessandro Lori, Giovanni Stea, Gigliola Vaglini |
| 2010 | WoWMoM | Optimal link scheduling for real-time traffic in wireless mesh networks in both per-flow and per-path frameworks. | Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini |
| 2009 | ICSoft | A Formula Driven Incremental Construction of Web Service Compositions. | Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
| 2009 | WoWMoM | Link scheduling with end-to-end delay constraints in Wireless Mesh Networks. | Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini |
| 2002 | COMPSAC | A Tableau-Based Procedure for Model Checking Programs. | Antonella Santone, Gigliola Vaglini |
| 2002 | SEKE | Local model checking of Java bytecode. | Antonella Santone, Gigliola Vaglini |
| 1999 | FM | Formula Based Abstractions of Transition Systems for Real-Time Model Checking. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1997 | FORTE | Selective -calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1985 | ICSE | An Interactive Debugger for a Concurrent Language. | Nicoletta De Francesco, Diego Latella, Gigliola Vaglini |