Gigliola Vaglini

Publication Activity (10 Years)

Years Active: 1983-2022
Publications (10 Years): 72

Top Venues

CoRR

ICPRAM

MobiHealth

MIKE

Publications

Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Zero-shot Mathematical Problem Solving via Generative Pre-trained Transformers. ICEIS (1) (2022)
Marco Parola, Federico A. Galatolo, Matteo Torzoni, Mario G. C. A. Cimino, Gigliola Vaglini
Structural Damage Localization via Deep Learning and IoT Enabled Digital Twin. DeLTA (2022)
Alice Nannini, Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Using Deep Learning-based Object Detection to Extract Structure Information from Scanned Documents. ICEIS (1) (2022)
Manilo Monaco, Giada Simionato, Mario G. C. A. Cimino, Gigliola Vaglini, Sabrina Senatore, Gaetano Caricato
Using Artificial Immune System to Prioritize Swarm Strategies for Environmental Monitoring. CogSIMA (2022)
Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation. Neural Process. Lett. 53 (3) (2021)
Mario G. C. A. Cimino, Domenico Minici, Manilo Monaco, Stefano Petrocchi, Gigliola Vaglini
A hyper-heuristic methodology for coordinating swarms of robots in target search. Comput. Electr. Eng. 95 (2021)
Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Generating images from caption and vice versa via CLIP-Guided Generative Latent Space Search. CoRR (2021)
Antonio L. Alfeo, Vincenzo Catrambone, Mario G. C. A. Cimino, Gigliola Vaglini, Gaetano Valenza
Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture. EMBC (2021)
Manilo Monaco, Mario G. C. A. Cimino, Gigliola Vaglini, Francesco Fusai, Giovanni Nico
Managing the Oceans Cleanup via Sea Current Analysis and Bio-Inspired Coordination of USV Swarms. IGARSS (2021)
Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Generating Images from Caption and Vice Versa via CLIP-Guided Generative Latent Space Search. IMPROVE (2021)
Federico A. Galatolo, Mario G. C. A. Cimino, Alessandro Marincioni, Gigliola Vaglini
Noise Boosted Neural Receptive Fields. SSCI (2021)
Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Solving the scalarization issues of Advantage-based Reinforcement Learning algorithms. Comput. Electr. Eng. 92 (2021)
Manilo Monaco, Giovanni Nico, Pier Francesco Biagi, Anita Ermini, Aleksandra Nina, Mario G. C. A. Cimino, Gigliola Vaglini
Using VLF Time Series from the INFREP Network for the Study of Pre-Seismic Radio Anomalies. IGARSS (2021)
Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini
Technological troubleshooting based on sentence embedding with deep transformers. J. Intell. Manuf. 32 (6) (2021)
Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini
Model checking for malicious family detection and phylogenetic analysis in mobile environment. Comput. Secur. 90 (2020)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
mobile malware detection and mitigation. Simul. Model. Pract. Theory 105 (2020)
Antonio L. Alfeo, Mario G. C. A. Cimino, Giuseppe Manco, Ettore Ritacco, Gigliola Vaglini
Using an autoencoder in the design of an anomaly detector for smart manufacturing. Pattern Recognit. Lett. 136 (2020)
Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Solving the scalarization issues of Advantage-based Reinforcement Learning Algorithms. CoRR (2020)
Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Using Stigmergy as a Computational Memory in the Design of Recurrent Neural Networks. ICPRAM (2019)
Antonio L. Alfeo, Francesco Paolo Appio, Mario G. C. A. Cimino, Alessandro Lazzeri, Antonella Martini, Gigliola Vaglini
An adaptive stigmergy-based system for evaluating technological indicator dynamics in the context of smart specialization. CoRR (2019)
Paolo Barsocchi, Nicola Carbonaro, Mario G. C. A. Cimino, Davide La Rosa, Filippo Palumbo, Alessandro Tognetti, Gigliola Vaglini
Detecting User's Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons. ISCT (2019)
Antonio L. Alfeo, Mario G. C. A. Cimino, Bruno Lepri, Alex 'Sandy' Pentland, Gigliola Vaglini
Assessing Refugees' Integration via Spatio-temporal Similarities of Mobility and Calling Behaviors. CoRR (2019)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. 48 (2) (2019)
Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. 23 (9) (2019)
Antonio L. Alfeo, Mario G. C. A. Cimino, Bruno Lepri, Alex Pentland, Gigliola Vaglini
Detecting Permanent and Intermittent Purchase Hotspots via Computational Stigmergy. ICPRAM (2019)
Antonio L. Alfeo, Mario G. C. A. Cimino, Bruno Lepri, Alex 'Sandy' Pentland, Gigliola Vaglini
Detecting Permanent and Intermittent Purchase Hotspots via Computational Stigmergy. CoRR (2019)
Antonio Luca Alfeo, Mario G. C. A. Cimino, Bruno Lepri, Alex 'Sandy' Pentland, Gigliola Vaglini
Assessing Refugees' Integration via Spatio-Temporal Similarities of Mobility and Calling Behaviors. IEEE Trans. Comput. Soc. Syst. 6 (4) (2019)
Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Formal derivation of Mesh Neural Networks with their Forward-Only gradient Propagation. CoRR (2019)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
Model Checking to Detect the Hummingbad Malware. IDC (2019)
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
Urban Swarms: A new approach for autonomous waste management. ICRA (2019)
Mario G. C. A. Cimino, Massimiliano Lega, Manilo Monaco, Gigliola Vaglini
Adaptive Exploration of a UAVs Swarm for Distributed Targets Detection and Tracking. ICPRAM (2019)
Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Alessandro Lazzeri, Massimiliano Lega, Gigliola Vaglini
Swarm coordination of mini-UAVs for target search using imperfect sensors. CoRR (2019)
Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Using stigmergy as a computational memory in the design of recurrent neural networks. CoRR (2019)
Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields. CoRR (2019)
Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini
Enhancing biologically inspired swarm behavior: Metaheuristics to foster the optimization of UAVs coordination in target search. Comput. Oper. Res. 110 (2019)
Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Alessandro Lazzeri, Massimiliano Lega, Gigliola Vaglini
Swarm coordination of mini-UAVs for target search using imperfect sensors. Intell. Decis. Technol. 12 (2) (2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
Safety Critical Systems Formal Verification Using Execution Traces. WETICE (2018)
Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini
Using stigmergy to incorporate the time into artificial neural networks. CoRR (2018)
Marco Avvenuti, Nicola Carbonaro, Mario G. C. A. Cimino, Guglielmo Cola, Alessandro Tognetti, Gigliola Vaglini
Smart Shoe-Assisted Evaluation of Using a Single Trunk/Pocket-Worn Accelerometer to Detect Gait Phases. Sensors 18 (11) (2018)
Mario G. C. A. Cimino, Federico Dalla Bona, Pierfrancesco Foglia, Manilo Monaco, Cosimo Antonio Prete, Gigliola Vaglini
Stock Price Forecasting Over Adaptive Timescale Using Supervised Learning and Receptive Fields. MIKE (2018)
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
Urban Swarms: A new approach for autonomous waste management. CoRR (2018)
Francesco Paolo Appio, Mario G. C. A. Cimino, Alessandro Lazzeri, Antonella Martini, Gigliola Vaglini
Fostering distributed business logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination. Inf. Syst. Frontiers 20 (3) (2018)
Marco Avvenuti, Mario Giovanni C. A. Cimino, Guglielmo Cola, Gigliola Vaglini
Detection and Mapping of a Toxic Cloud Using UAVs and Emergent Techniques. MIKE (2018)
Antonio L. Alfeo, Paolo Barsocchi, Mario G. C. A. Cimino, Davide La Rosa, Filippo Palumbo, Gigliola Vaglini
Sleep behavior assessment via smartwatch and stigmergic receptive fields. Pers. Ubiquitous Comput. 22 (2) (2018)
Antonio L. Alfeo, Mario G. C. A. Cimino, Sara Egidi, Bruno Lepri, Gigliola Vaglini
A stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage. CoRR (2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops (2018)
Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Massimiliano Lega, Gigliola Vaglini
Design and simulation of the emergent behavior of small drones swarming for distributed target localization. J. Comput. Sci. 29 (2018)
Mario G. C. A. Cimino, Alessandro Lazzeri, Witold Pedrycz, Gigliola Vaglini
Using Stigmergy to Distinguish Event-Specific Topics in Social Discussions. Sensors 18 (7) (2018)
Federico A. Galatolo, Mario Giovanni C. A. Cimino, Gigliola Vaglini
Using Stigmergy to Incorporate the Time into Artificial Neural Networks. MIKE (2018)
Antonio Luca Alfeo, Mario G. C. A. Cimino, Sara Egidi, Bruno Lepri, Gigliola Vaglini
A Stigmergy-Based Analysis of City Hotspots to Discover Trends and Anomalies in Urban Transportation Usage. IEEE Trans. Intell. Transp. Syst. 19 (7) (2018)
Mario Giovanni C. A. Cimino, Gigliola Vaglini
Localization and Inhibition of Malicious Behaviors through a Model Checking based Methodology. ICISSP (2017)
Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE (2017)
Antonio L. Alfeo, Mario G. C. A. Cimino, Sara Egidi, Bruno Lepri, Alex Pentland, Gigliola Vaglini
Stigmergy-based modeling to discover urban activity patterns from positioning data. CoRR (2017)
Antonio Luca Alfeo, Mario Giovanni C. A. Cimino, Sara Egidi, Bruno Lepri, Alex Pentland, Gigliola Vaglini
Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data. SBP-BRiMS (2017)
Antonio L. Alfeo, Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini
Detecting urban road congestion via parametric adaptation of position-based stigmergy. Intell. Decis. Technol. 11 (4) (2017)
Mario G. C. A. Cimino, Federico Galatolo, Alessandro Lazzeri, Witold Pedrycz, Gigliola Vaglini
Spikiness Assessment of Term Occurrences in Microblogs: An Approach based on Computational Stigmergy. ICPRAM (2017)
Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields. ICPRAM (2017)
Marco Avvenuti, Nicola Carbonaro, Mario G. C. A. Cimino, Guglielmo Cola, Alessandro Tognetti, Gigliola Vaglini
Smart Shoe-Based Evaluation of Gait Phase Detection Accuracy Using Body-Worn Accelerometers. MobiHealth (2017)
Mario G. C. A. Cimino, Filippo Palumbo, Gigliola Vaglini, Erina Ferro, Nedo Celandroni, Davide La Rosa
Evaluating the impact of smart technologies on harbor's logistics via BPMN modeling and simulation. Inf. Technol. Manag. 18 (3) (2017)
Cinzia Bernardeschi, Mario G. C. A. Cimino, Andrea Domenici, Gigliola Vaglini
Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning. MobiHealth (2016)
Antonella Santone, Gigliola Vaglini
Conformance Checking using Formal Methods. ICSOFT-EA (2016)
Antonio L. Alfeo, Francesco Paolo Appio, Mario G. C. A. Cimino, Alessandro Lazzeri, Antonella Martini, Gigliola Vaglini
An Adaptive Stigmergy-based System for Evaluating Technological Indicator Dynamics in the Context of Smart Specialization. ICPRAM (2016)
Marco Avvenuti, Cinzia Bernardeschi, Mario G. C. A. Cimino, Guglielmo Cola, Andrea Domenici, Gigliola Vaglini
Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields. MobiHealth (2016)
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
Heuristic search for equivalence checking. Softw. Syst. Model. 15 (2) (2016)
Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini
Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection. ICPRAM (2016)
Paola Cappanera, Alessandro Lori, Giovanni Stea, Gigliola Vaglini
On the Schedulability of Deadline-Constrained Traffic in TDMA Wireless Mesh Networks. Comput. J. 58 (2) (2015)
Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini
Enabling swarm aggregation of position data via adaptive stigmergy: A case study in urban traffic flows. IISA (2015)
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. FACS (2015)
Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini
Improving the Analysis of Context-Aware Information via Marker-Based Stigmergy and Differential Evolution. ICAISC (2015)
Paolo Barsocchi, Mario G. C. A. Cimino, Erina Ferro, Alessandro Lazzeri, Filippo Palumbo, Gigliola Vaglini
Monitoring elderly behavior via indoor position-based stigmergy. Pervasive Mob. Comput. 23 (2015)
Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini
Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search. IISA (2015)
Mario G. C. A. Cimino, Nedo Celandroni, Erina Ferro, Davide La Rosa, Filippo Palumbo, Gigliola Vaglini
Wireless communication, identification and sensing technologies enabling integrated logistics: a study in the harbor environment. CoRR (2015)
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. 23 (3) (2014)
Antonella Santone, Gigliola Vaglini
Model Checking Properties on Reduced Trace Systems. Algorithms 7 (3) (2014)
Mario G. C. A. Cimino, Gigliola Vaglini
An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN. Inf. 5 (2) (2014)
Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
Incremental construction of systems: An efficient characterization of the lacking sub-system. Sci. Comput. Program. 78 (9) (2013)
Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks. Comput. Networks 57 (11) (2013)
Mario G. C. A. Cimino, Gigliola Vaglini
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web. Algorithms 6 (3) (2013)
Antonella Santone, Gigliola Vaglini
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. ICSOFT (2013)
Antonella Santone, Gigliola Vaglini
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. ICSOFT (2012)
Antonella Santone, Gigliola Vaglini
Abstract reduction in directed model checking CCS processes. Acta Informatica 49 (5) (2012)
Federico Calzolari, Silvia Arezzini, Alberto Ciampa, Enrico Mazzoni, Andrea Domenici, Gigliola Vaglini
High availability using virtualization - 3RC CoRR (2012)
Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini
Efficient link scheduling for online admission control of real-time traffic in wireless mesh networks. Comput. Commun. 34 (8) (2011)
Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
Ant Colony Optimization for Deadlock Detection in Concurrent Systems. COMPSAC (2011)
Alessandro Lori, Giovanni Stea, Gigliola Vaglini
Towards Resource-Optimal Routing Plans for Real-Time Traffic. ISoLA (1) (2010)
Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini
Optimal link scheduling for real-time traffic in wireless mesh networks in both per-flow and per-path frameworks. WOWMOM (2010)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini
Partial model checking via abstract interpretation. Inf. Process. Lett. 110 (3) (2010)
Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) (2009)
Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini
Link scheduling with end-to-end delay constraints in Wireless Mesh Networks. WOWMOM (2009)
Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
Modular formal verification of specifications of concurrent systems. Softw. Test. Verification Reliab. 18 (1) (2008)
Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177 (1) (2007)
Antonella Santone, Gigliola Vaglini
A local approach for temporal model checking of Java bytecode. J. Comput. Syst. Sci. 70 (2) (2005)
Antonella Santone, Gigliola Vaglini
Compositionality and locality for improving model checking in the selective mu-calculus. Sci. Comput. Program. 54 (2-3) (2005)
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Reduced Models for Efficient CCS Verification. Formal Methods Syst. Des. 26 (3) (2005)
Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
Model Checking Multithreaded Programs by Means of Reduced Models. Electron. Notes Theor. Comput. Sci. 110 (2004)
Antonella Santone, Gigliola Vaglini
Formula-based abstractions and symbolic execution for model checking programs. Microprocess. Microsystems 28 (2) (2004)
Antonella Santone, Gigliola Vaglini
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. J. Autom. Reason. 30 (1) (2003)
Antonella Santone, Gigliola Vaglini
A Tableau-Based Procedure for Model Checking Programs. COMPSAC (2002)
Antonella Santone, Gigliola Vaglini
Local model checking of Java bytecode. SEKE (2002)
Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test. Verification Reliab. 12 (1) (2002)

Gigliola Vaglini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gigliola Vaglini