Gigliola Vaglini

According to our database, Gigliola Vaglini authored at least 106 papers between 1983 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Using Deep Learning-based Object Detection to Extract Structure Information from Scanned Documents.

Alice Nannini, Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini

Proceedings of the 24th International Conference on Enterprise Information Systems, 2022

Zero-shot Mathematical Problem Solving via Generative Pre-trained Transformers.

Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini

Proceedings of the 24th International Conference on Enterprise Information Systems, 2022

Structural Damage Localization via Deep Learning and IoT Enabled Digital Twin.

Marco Parola, Federico A. Galatolo, Matteo Torzoni, Mario G. C. A. Cimino, Gigliola Vaglini

Proceedings of the 3rd International Conference on Deep Learning Theory and Applications, 2022

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

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2022

2021

Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation.

Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini

Neural Process. Lett., 2021

Technological troubleshooting based on sentence embedding with deep transformers.

Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini

J. Intell. Manuf., 2021

Solving the scalarization issues of Advantage-based Reinforcement Learning algorithms.

Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini

Comput. Electr. Eng., 2021

A hyper-heuristic methodology for coordinating swarms of robots in target search.

Mario G. C. A. Cimino, Domenico Minici, Manilo Monaco, Stefano Petrocchi, Gigliola Vaglini

Comput. Electr. Eng., 2021

Noise Boosted Neural Receptive Fields.

Federico A. Galatolo, Mario G. C. A. Cimino, Alessandro Marincioni, Gigliola Vaglini

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

Generating Images from Caption and Vice Versa via CLIP-Guided Generative Latent Space Search.

Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini

Proceedings of the International Conference on Image Processing and Vision Engineering, 2021

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

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

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

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture.

Antonio L. Alfeo, Vincenzo Catrambone, Mario G. C. A. Cimino, Gigliola Vaglini, Gaetano Valenza

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

2020

Model checking and machine learning techniques for <i>HummingBad</i> mobile malware detection and mitigation.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Simul. Model. Pract. Theory, 2020

Using an autoencoder in the design of an anomaly detector for smart manufacturing.

Antonio L. Alfeo, Mario G. C. A. Cimino, Giuseppe Manco, Ettore Ritacco, Gigliola Vaglini

Pattern Recognit. Lett., 2020

Model checking for malicious family detection and phylogenetic analysis in mobile environment.

Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini

Comput. Secur., 2020

2019

Assessing Refugees' Integration via Spatio-Temporal Similarities of Mobility and Calling Behaviors.

Antonio Luca Alfeo, Mario G. C. A. Cimino, Bruno Lepri, Alex 'Sandy' Pentland, Gigliola Vaglini

IEEE Trans. Comput. Soc. Syst., 2019

A "pay-how-you-drive" car insurance approach through cluster analysis.

Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini

Soft Comput., 2019

Model Checking Based Approach for Compliance Checking.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini

Inf. Technol. Control., 2019

Enhancing biologically inspired swarm behavior: Metaheuristics to foster the optimization of UAVs coordination in target search.

Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini

Comput. Oper. Res., 2019

Detecting User's Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons.

Paolo Barsocchi, Nicola Carbonaro, Mario G. C. A. Cimino, Davide La Rosa, Filippo Palumbo, Alessandro Tognetti, Gigliola Vaglini

Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019

Model Checking to Detect the Hummingbad Malware.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Proceedings of the Intelligent Distributed Computing XIII, 2019

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

Proceedings of the International Conference on Robotics and Automation, 2019

Using Stigmergy as a Computational Memory in the Design of Recurrent Neural Networks.

Federico A. Galatolo, Mario G. C. A. Cimino, Gigliola Vaglini

Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019

Adaptive Exploration of a UAVs Swarm for Distributed Targets Detection and Tracking.

Mario G. C. A. Cimino, Massimiliano Lega, Manilo Monaco, Gigliola Vaglini

Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019

Detecting Permanent and Intermittent Purchase Hotspots via Computational Stigmergy.

Antonio L. Alfeo, Mario G. C. A. Cimino, Bruno Lepri, Alex Pentland, Gigliola Vaglini

Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019

Using Call Data and Stigmergic Similarity to Assess the Integration of Syrian Refugees in Turkey.

Antonio Luca Alfeo, Mario G. C. A. Cimino, Bruno Lepri, Gigliola Vaglini

Proceedings of the Guide to Mobile Data Analytics in Refugee Scenarios, 2019

2018

A Stigmergy-Based Analysis of City Hotspots to Discover Trends and Anomalies in Urban Transportation Usage.

Antonio Luca Alfeo, Mario G. C. A. Cimino, Sara Egidi, Bruno Lepri, Gigliola Vaglini

IEEE Trans. Intell. Transp. Syst., 2018

Using Stigmergy to Distinguish Event-Specific Topics in Social Discussions.

Mario G. C. A. Cimino, Alessandro Lazzeri, Witold Pedrycz, Gigliola Vaglini

Sensors, 2018

Smart Shoe-Assisted Evaluation of Using a Single Trunk/Pocket-Worn Accelerometer to Detect Gait Phases.

Marco Avvenuti, Nicola Carbonaro, Mario G. C. A. Cimino, Guglielmo Cola, Alessandro Tognetti, Gigliola Vaglini

Sensors, 2018

Sleep behavior assessment via smartwatch and stigmergic receptive fields.

Antonio L. Alfeo, Paolo Barsocchi, Mario G. C. A. Cimino, Davide La Rosa, Filippo Palumbo, Gigliola Vaglini

Pers. Ubiquitous Comput., 2018

Design and simulation of the emergent behavior of small drones swarming for distributed target localization.

Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Massimiliano Lega, Gigliola Vaglini

J. Comput. Sci., 2018

Fostering distributed business logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination.

Francesco Paolo Appio, Mario G. C. A. Cimino, Alessandro Lazzeri, Antonella Martini, Gigliola Vaglini

Inf. Syst. Frontiers, 2018

Swarm coordination of mini-UAVs for target search using imperfect sensors.

Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Alessandro Lazzeri, Massimiliano Lega, Gigliola Vaglini

Intell. Decis. Technol., 2018

Safety Critical Systems Formal Verification Using Execution Traces.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Proceedings of the Computer Safety, Reliability, and Security, 2018

Using Stigmergy to Incorporate the Time into Artificial Neural Networks.

Federico A. Galatolo, Mario Giovanni C. A. Cimino, Gigliola Vaglini

Proceedings of the Mining Intelligence and Knowledge Exploration, 2018

Stock Price Forecasting Over Adaptive Timescale Using Supervised Learning and Receptive Fields.

Mario G. C. A. Cimino, Federico Dalla Bona, Pierfrancesco Foglia, Manilo Monaco, Cosimo Antonio Prete, Gigliola Vaglini

Proceedings of the Mining Intelligence and Knowledge Exploration, 2018

Detection and Mapping of a Toxic Cloud Using UAVs and Emergent Techniques.

Marco Avvenuti, Mario Giovanni C. A. Cimino, Guglielmo Cola, Gigliola Vaglini

Proceedings of the Mining Intelligence and Knowledge Exploration, 2018

2017

Evaluating the impact of smart technologies on harbor's logistics via BPMN modeling and simulation.

Mario G. C. A. Cimino, Filippo Palumbo, Gigliola Vaglini, Erina Ferro, Nedo Celandroni, Davide La Rosa

Inf. Technol. Manag., 2017

Detecting urban road congestion via parametric adaptation of position-based stigmergy.

Antonio L. Alfeo, Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini

Intell. Decis. Technol., 2017

Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data.

Antonio Luca Alfeo, Mario Giovanni C. A. Cimino, Sara Egidi, Bruno Lepri, Alex Pentland, Gigliola Vaglini

Proceedings of the Social, Cultural, and Behavioral Modeling, 2017

Smart Shoe-Based Evaluation of Gait Phase Detection Accuracy Using Body-Worn Accelerometers.

Marco Avvenuti, Nicola Carbonaro, Mario G. C. A. Cimino, Guglielmo Cola, Alessandro Tognetti, Gigliola Vaglini

Proceedings of the Wireless Mobile Communication and Healthcare, 2017

Model Checking for Mobile Android Malware Evolution.

Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Spikiness Assessment of Term Occurrences in Microblogs: An Approach based on Computational Stigmergy.

Mario G. C. A. Cimino, Federico Galatolo, Alessandro Lazzeri, Witold Pedrycz, Gigliola Vaglini

Proceedings of the 6th International Conference on Pattern Recognition Applications and Methods, 2017

Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields.

Antonio L. Alfeo, Mario G. C. A. Cimino, Gigliola Vaglini

Proceedings of the 6th International Conference on Pattern Recognition Applications and Methods, 2017

Localization and Inhibition of Malicious Behaviors through a Model Checking based Methodology.

Mario Giovanni C. A. Cimino, Gigliola Vaglini

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

2016

Heuristic search for equivalence checking.

Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini

Softw. Syst. Model., 2016

Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning.

Cinzia Bernardeschi, Mario G. C. A. Cimino, Andrea Domenici, Gigliola Vaglini

Proceedings of the Wireless Mobile Communication and Healthcare, 2016

Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields.

Marco Avvenuti, Cinzia Bernardeschi, Mario G. C. A. Cimino, Guglielmo Cola, Andrea Domenici, Gigliola Vaglini

Proceedings of the Wireless Mobile Communication and Healthcare, 2016

Conformance Checking using Formal Methods.

Antonella Santone, Gigliola Vaglini

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

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

Proceedings of the 5th International Conference on Pattern Recognition Applications and Methods, 2016

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

Proceedings of the 5th International Conference on Pattern Recognition Applications and Methods, 2016

2015

Monitoring elderly behavior via indoor position-based stigmergy.

Paolo Barsocchi, Mario G. C. A. Cimino, Erina Ferro, Alessandro Lazzeri, Filippo Palumbo, Gigliola Vaglini

Pervasive Mob. Comput., 2015

Wireless communication, identification and sensing technologies enabling integrated logistics: a study in the harbor environment.

Mario G. C. A. Cimino, Nedo Celandroni, Erina Ferro, Davide La Rosa, Filippo Palumbo, Gigliola Vaglini

CoRR, 2015

On the Schedulability of Deadline-Constrained Traffic in TDMA Wireless Mesh Networks.

Paola Cappanera, Alessandro Lori, Giovanni Stea, Gigliola Vaglini

Comput. J., 2015

Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search.

Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini

Proceedings of the 6th International Conference on Information, 2015

Enabling swarm aggregation of position data via adaptive stigmergy: A case study in urban traffic flows.

Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini

Proceedings of the 6th International Conference on Information, 2015

Improving the Analysis of Context-Aware Information via Marker-Based Stigmergy and Differential Evolution.

Mario G. C. A. Cimino, Alessandro Lazzeri, Gigliola Vaglini

Proceedings of the Artificial Intelligence and Soft Computing, 2015

k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes.

Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

GreASE: A Tool for Efficient "Nonequivalence" Checking.

Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini

ACM Trans. Softw. Eng. Methodol., 2014

An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN.

Mario G. C. A. Cimino, Gigliola Vaglini

Inf., 2014

Model Checking Properties on Reduced Trace Systems.

Antonella Santone, Gigliola Vaglini

Algorithms, 2014

2013

Incremental construction of systems: An efficient characterization of the lacking sub-system.

Antonella Santone, Gigliola Vaglini, Maria Luisa Villani

Sci. Comput. Program., 2013

Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks.

Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini

Comput. Networks, 2013

An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web.

Mario G. C. A. Cimino, Gigliola Vaglini

Algorithms, 2013

Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic.

Antonella Santone, Gigliola Vaglini

Proceedings of the ICSOFT 2013, 2013

2012

High availability using virtualization - 3RC

Federico Calzolari, Silvia Arezzini, Alberto Ciampa, Enrico Mazzoni, Andrea Domenici, Gigliola Vaglini

CoRR, 2012

Abstract reduction in directed model checking CCS processes.

Antonella Santone, Gigliola Vaglini

Acta Informatica, 2012

Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches.

Antonella Santone, Gigliola Vaglini

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

Efficient link scheduling for online admission control of real-time traffic in wireless mesh networks.

Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini

Comput. Commun., 2011

Ant Colony Optimization for Deadlock Detection in Concurrent Systems.

Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Partial model checking via abstract interpretation.

Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini

Inf. Process. Lett., 2010

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

Proceedings of the 11th IEEE International Symposium on a World of Wireless, 2010

Towards Resource-Optimal Routing Plans for Real-Time Traffic.

Alessandro Lori, Giovanni Stea, Gigliola Vaglini

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Link scheduling with end-to-end delay constraints in Wireless Mesh Networks.

Paola Cappanera, Luciano Lenzini, Alessandro Lori, Giovanni Stea, Gigliola Vaglini

Proceedings of the 10th IEEE International Symposium on a World of Wireless, 2009

A Formula Driven Incremental Construction of Web Service Compositions.

Antonella Santone, Gigliola Vaglini, Maria Luisa Villani

Proceedings of the ICSOFT 2009, 2009

2008

Modular formal verification of specifications of concurrent systems.

Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani

Softw. Test. Verification Reliab., 2008

2007

A user-friendly interface to specify temporal properties of concurrent systems.

Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Inf. Sci., 2007

2005

Compositionality and locality for improving model checking in the selective mu-calculus.

Antonella Santone, Gigliola Vaglini

Sci. Comput. Program., 2005

A local approach for temporal model checking of Java bytecode.

Antonella Santone, Gigliola Vaglini

J. Comput. Syst. Sci., 2005

Reduced Models for Efficient CCS Verification.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Formal Methods Syst. Des., 2005

2004

Formula-based abstractions and symbolic execution for model checking programs.

Antonella Santone, Gigliola Vaglini

Microprocess. Microsystems, 2004

Model Checking Multithreaded Programs by Means of Reduced Models.

Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini

Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

2003

Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations.

Antonella Santone, Gigliola Vaglini

J. Autom. Reason., 2003

2002

Efficient model checking of properties of a distributed application: a multimedia case study.

Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini

Softw. Test. Verification Reliab., 2002

Local model checking of Java bytecode.

Antonella Santone, Gigliola Vaglini

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

A Tableau-Based Procedure for Model Checking Programs.

Antonella Santone, Gigliola Vaglini

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Reusing LOTOS specifications.

Antonella Santone, Gigliola Vaglini

Microprocess. Microsystems, 2001

An approach to system design based on P/T net simulation.

Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini

Inf. Softw. Technol., 2001

2000

Logic Based Abstractions of Real-Time Systems.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Formal Methods Syst. Des., 2000

1999

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Softw. Pract. Exp., 1999

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

J. Comput. Syst. Sci., 1999

Abstract Interpretation of Trace Semantics for Concurrent Calculi.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Inf. Process. Lett., 1999

Formula Based Abstractions of Transition Systems for Real-Time Model Checking.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Proceedings of the FM'99 - Formal Methods, 1999

1998

State Space Reduction by Non-Standard Semantics for Deadlock Analysis.

Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Sci. Comput. Program., 1998

1997

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

A Non-Standard Semantics for Generating Reduced Transition Systems.

Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995

A Petri Nets Semantics for Data Flow Networks.

Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini

Acta Informatica, 1995

1994

Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases.

Nicoletta De Francesco, Gigliola Vaglini

Distributed Parallel Databases, 1994

1992

Specification of Concurrency Control in Persistent Programming Languages.

Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz

Proceedings of the Persistent Object Systems, 1992

1989

Shared Abstract Data Types: An Algebraic Methodology for Their Specification.

Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini

Proceedings of the MFDBS 89, 1989

1988

Description of a Tool for Specifying and Prototyping Concurrent Programs.

Nicoletta De Francesco, Gigliola Vaglini

IEEE Trans. Software Eng., 1988

1986

Development of a Debugger for a Concurrent Language.

Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini

IEEE Trans. Software Eng., 1986

1985

An Interactive Debugger for a Concurrent Language.

Nicoletta De Francesco, Diego Latella, Gigliola Vaglini

Proceedings of the Proceedings, 1985

1983

Development of a debugger for a concurrent language.

Fabrizio Baiardi, Nicoletta De Francesco, E. Matteoli, S. Stefanini, Gigliola Vaglini

Proceedings of the symposium on High-level debugging, 1983