Gigliola Vaglini

119 papers A* 2B 2C 17Misc 3Journal 66Unranked 28

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