default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGigliola Vaglini
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c52]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: 104-110- [c51]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: 199-206 - [c50]Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini:
Zero-shot Mathematical Problem Solving via Generative Pre-trained Transformers. ICEIS (1) 2022: 479-483 - [c49]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: 610-615 - 2021
- [j51]Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini:
Solving the scalarization issues of Advantage-based Reinforcement Learning algorithms. Comput. Electr. Eng. 92: 107117 (2021) - [j50]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: 107420 (2021) - [j49]Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini:
Technological troubleshooting based on sentence embedding with deep transformers. J. Intell. Manuf. 32(6): 1699-1710 (2021) - [j48]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): 1963-1978 (2021) - [c48]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: 5983-5986 - [c47]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: 8344-8347 - [c46]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: 8624-8627 - [c45]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: 166-174 - [c44]Federico A. Galatolo, Mario G. C. A. Cimino, Alessandro Marincioni, Gigliola Vaglini:
Noise Boosted Neural Receptive Fields. SSCI 2021: 1-6 - [i15]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 abs/2102.01645 (2021) - 2020
- [j47]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: 101691 (2020) - [j46]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: 272-278 (2020) - [j45]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation. Simul. Model. Pract. Theory 105: 102169 (2020) - [i14]Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini:
Solving the scalarization issues of Advantage-based Reinforcement Learning Algorithms. CoRR abs/2004.04120 (2020)
2010 – 2019
- 2019
- [j44]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: 34-47 (2019) - [j43]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. 48(2): 278-298 (2019) - [j42]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): 2863-2875 (2019) - [j41]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): 726-738 (2019) - [c43]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: 822-829 - [c42]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: 830-836 - [c41]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: 837-844 - [c40]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: 4233-4240 - [c39]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking to Detect the Hummingbad Malware. IDC 2019: 485-494 - [c38]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: 265-268 - [p1]Antonio Luca Alfeo, Mario G. C. A. Cimino, Bruno Lepri, Gigliola Vaglini:
Using Call Data and Stigmergic Similarity to Assess the Integration of Syrian Refugees in Turkey. Data for Refugees Challenge 2019: 165-178 - [i13]Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini:
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields. CoRR abs/1901.00552 (2019) - [i12]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 abs/1901.00553 (2019) - [i11]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 abs/1901.02885 (2019) - [i10]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 abs/1902.01601 (2019) - [i9]Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini:
Using stigmergy as a computational memory in the design of recurrent neural networks. CoRR abs/1903.01341 (2019) - [i8]Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini:
Formal derivation of Mesh Neural Networks with their Forward-Only gradient Propagation. CoRR abs/1905.06684 (2019) - [i7]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 abs/1907.06929 (2019) - 2018
- [j40]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): 149-162 (2018) - [j39]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): 589-616 (2018) - [j38]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: 19-33 (2018) - [j37]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): 227-243 (2018) - [j36]Mario G. C. A. Cimino, Alessandro Lazzeri, Witold Pedrycz, Gigliola Vaglini:
Using Stigmergy to Distinguish Event-Specific Topics in Social Discussions. Sensors 18(7): 2117 (2018) - [j35]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): 3811 (2018) - [j34]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): 2258-2267 (2018) - [c37]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: 215-224 - [c36]Federico A. Galatolo, Mario Giovanni C. A. Cimino, Gigliola Vaglini:
Using Stigmergy to Incorporate the Time into Artificial Neural Networks. MIKE 2018: 248-258 - [c35]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: 279-288 - [c34]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops 2018: 374-386 - [c33]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Safety Critical Systems Formal Verification Using Execution Traces. WETICE 2018: 247-250 - [i6]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 abs/1804.05697 (2018) - [i5]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 abs/1810.07910 (2018) - [i4]Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini:
Using stigmergy to incorporate the time into artificial neural networks. CoRR abs/1811.10574 (2018) - 2017
- [j33]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): 465-475 (2017) - [j32]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): 223-239 (2017) - [c32]Mario Giovanni C. A. Cimino, Gigliola Vaglini:
Localization and Inhibition of Malicious Behaviors through a Model Checking based Methodology. ICISSP 2017: 644-652 - [c31]Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini:
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields. ICPRAM 2017: 724-730 - [c30]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: 731-737 - [c29]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE 2017: 24-30 - [c28]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: 250-257 - [c27]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: 292-301 - [i3]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 abs/1704.03667 (2017) - 2016
- [j31]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
Heuristic search for equivalence checking. Softw. Syst. Model. 15(2): 513-530 (2016) - [c26]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: 497-502 - [c25]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: 605-610 - [c24]Antonella Santone, Gigliola Vaglini:
Conformance Checking using Formal Methods. ICSOFT-EA 2016: 258-263 - [c23]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: 251-259 - [c22]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: 398-405 - 2015
- [j30]Paola Cappanera, Alessandro Lori, Giovanni Stea, Gigliola Vaglini:
On the Schedulability of Deadline-Constrained Traffic in TDMA Wireless Mesh Networks. Comput. J. 58(2): 215-233 (2015) - [j29]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: 26-42 (2015) - [c21]Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini:
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. FACS 2015: 181-198 - [c20]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: 341-352 - [c19]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: 1-6 - [c18]Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini:
Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search. IISA 2015: 1-6 - [i2]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 abs/1510.06175 (2015) - 2014
- [j28]Antonella Santone, Gigliola Vaglini:
Model Checking Properties on Reduced Trace Systems. Algorithms 7(3): 339-362 (2014) - [j27]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): 319-356 (2014) - [j26]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. 23(3): 24:1-24:26 (2014) - 2013
- [j25]Mario G. C. A. Cimino, Gigliola Vaglini:
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web. Algorithms 6(3): 565-590 (2013) - [j24]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): 2301-2312 (2013) - [j23]Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Incremental construction of systems: An efficient characterization of the lacking sub-system. Sci. Comput. Program. 78(9): 1346-1367 (2013) - [c17]Antonella Santone, Gigliola Vaglini:
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. ICSOFT 2013: 233-238 - 2012
- [j22]Antonella Santone, Gigliola Vaglini:
Abstract reduction in directed model checking CCS processes. Acta Informatica 49(5): 313-341 (2012) - [c16]Antonella Santone, Gigliola Vaglini:
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. ICSOFT 2012: 336-339 - [i1]Federico Calzolari, Silvia Arezzini, Alberto Ciampa, Enrico Mazzoni, Andrea Domenici, Gigliola Vaglini:
High availability using virtualization - 3RC. CoRR abs/1205.0483 (2012) - 2011
- [j21]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): 922-934 (2011) - [c15]Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Ant Colony Optimization for Deadlock Detection in Concurrent Systems. COMPSAC 2011: 108-117 - 2010
- [j20]Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini:
Partial model checking via abstract interpretation. Inf. Process. Lett. 110(3): 99-103 (2010) - [c14]Alessandro Lori, Giovanni Stea, Gigliola Vaglini:
Towards Resource-Optimal Routing Plans for Real-Time Traffic. ISoLA (1) 2010: 214-227 - [c13]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: 1-9
2000 – 2009
- 2009
- [c12]Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) 2009: 13-22 - [c11]Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini:
Link scheduling with end-to-end delay constraints in Wireless Mesh Networks. WOWMOM 2009: 1-9 - 2008
- [j19]Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Modular formal verification of specifications of concurrent systems. Softw. Test. Verification Reliab. 18(1): 5-28 (2008) - 2007
- [j18]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177(1): 299-311 (2007) - 2005
- [j17]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Reduced Models for Efficient CCS Verification. Formal Methods Syst. Des. 26(3): 319-350 (2005) - [j16]Antonella Santone, Gigliola Vaglini:
A local approach for temporal model checking of Java bytecode. J. Comput. Syst. Sci. 70(2): 258-281 (2005) - [j15]Antonella Santone, Gigliola Vaglini:
Compositionality and locality for improving model checking in the selective mu-calculus. Sci. Comput. Program. 54(2-3): 291-311 (2005) - 2004
- [j14]Antonella Santone, Gigliola Vaglini:
Formula-based abstractions and symbolic execution for model checking programs. Microprocess. Microsystems 28(2): 69-76 (2004) - [c10]Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini:
Model Checking Multithreaded Programs by Means of Reduced Models. LDTA@ETAPS 2004: 55-74 - 2003
- [j13]Antonella Santone, Gigliola Vaglini:
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. J. Autom. Reason. 30(1): 33-58 (2003) - 2002
- [j12]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): 3-21 (2002) - [c9]Antonella Santone, Gigliola Vaglini:
A Tableau-Based Procedure for Model Checking Programs. COMPSAC 2002: 723-730 - [c8]Antonella Santone, Gigliola Vaglini:
Local model checking of Java bytecode. SEKE 2002: 383-389 - 2001
- [j11]Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini:
An approach to system design based on P/T net simulation. Inf. Softw. Technol. 43(10): 591-605 (2001) - [j10]Antonella Santone, Gigliola Vaglini:
Reusing LOTOS specifications. Microprocess. Microsystems 25(6): 309-314 (2001) - 2000
- [j9]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Logic Based Abstractions of Real-Time Systems. Formal Methods Syst. Des. 17(3): 201-220 (2000)
1990 – 1999
- 1999
- [j8]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70(2): 69-78 (1999) - [j7]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. J. Comput. Syst. Sci. 59(3): 537-556 (1999) - [j6]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw. Pract. Exp. 29(12): 1123-1147 (1999) - [c7]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Formula Based Abstractions of Transition Systems for Real-Time Model Checking. World Congress on Formal Methods 1999: 289-306 - 1998
- [j5]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
State Space Reduction by Non-Standard Semantics for Deadlock Analysis. Sci. Comput. Program. 30(3): 309-338 (1998) - 1997
- [c6]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE 1997: 519-534 - 1996
- [c5]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS 1996: 370-387 - 1995
- [j4]Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini:
A Petri Nets Semantics for Data Flow Networks. Acta Informatica 32(4): 347-374 (1995) - 1994
- [j3]Nicoletta De Francesco, Gigliola Vaglini:
Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. Distributed Parallel Databases 2(1): 33-58 (1994) - 1992
- [c4]Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz:
Specification of Concurrency Control in Persistent Programming Languages. POS 1992: 126-143
1980 – 1989
- 1989
- [c3]Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini:
Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67 - 1988
- [j2]Nicoletta De Francesco, Gigliola Vaglini:
Description of a Tool for Specifying and Prototyping Concurrent Programs. IEEE Trans. Software Eng. 14(11): 1554-1564 (1988) - 1986
- [j1]Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini:
Development of a Debugger for a Concurrent Language. IEEE Trans. Software Eng. 12(4): 547-553 (1986) - 1985
- [c2]Nicoletta De Francesco, Diego Latella, Gigliola Vaglini:
An Interactive Debugger for a Concurrent Language. ICSE 1985: 320-329 - 1983
- [c1]Fabrizio Baiardi, Nicoletta De Francesco, E. Matteoli, S. Stefanini, Gigliola Vaglini:
Development of a debugger for a concurrent language. SIGSOFT 1983: 98-106
Coauthor Index
Antonio L. Alfeo
aka: Antonio Luca Alfeo
aka: Antonio Luca Alfeo
Mario G. C. A. Cimino
aka: Mario Giovanni C. A. Cimino
aka: Mario Giovanni C. A. Cimino
[c52] [c51] [c50] [c49] [j51] [j50] [j49] [j48] [c48] [c47] [c46] [c45] [c44] [i15] [j47] [j46] [i14] [j44] [j41] [c43] [c42] [c41] [c40] [c38] [p1] [i13] [i12] [i11] [i10] [i9] [i8] [i7] [j40] [j39] [j38] [j37] [j36] [j35] [j34] [c37] [c36] [c35] [i6] [i5] [i4] [j33] [j32] [c32] [c31] [c30] [c28] [c27] [i3] [c26] [c25] [c23] [c22] [j29] [c20] [c19] [c18] [i2] [j27] [j25]
Federico Galatolo
aka: Federico A. Galatolo
aka: Federico A. Galatolo
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
