Gigliola Vaglini

According to our database1, Gigliola Vaglini
  • authored at least 58 papers between 1983 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




Stigmergy-based modeling to discover urban activity patterns from positioning data.
CoRR, 2017

Heuristic search for equivalence checking.
Software and System Modeling, 2016

Conformance Checking using Formal Methods.
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.
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.
Proceedings of the 5th International Conference on Pattern Recognition Applications and Methods, 2016

Monitoring elderly behavior via indoor position-based stigmergy.
Pervasive and Mobile Computing, 2015

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

On the Schedulability of Deadline-Constrained Traffic in TDMA Wireless Mesh Networks.
Comput. J., 2015

Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search.
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.
Proceedings of the 6th International Conference on Information, 2015

Improving the Analysis of Context-Aware Information via Marker-Based Stigmergy and Differential Evolution.
Proceedings of the Artificial Intelligence and Soft Computing, 2015

k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

GreASE: A Tool for Efficient "Nonequivalence" Checking.
ACM Trans. Softw. Eng. Methodol., 2014

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

Model Checking Properties on Reduced Trace Systems.
Algorithms, 2014

Incremental construction of systems: An efficient characterization of the lacking sub-system.
Sci. Comput. Program., 2013

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

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

Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic.
Proceedings of the ICSOFT 2013, 2013

High availability using virtualization - 3RC
CoRR, 2012

Abstract reduction in directed model checking CCS processes.
Acta Inf., 2012

Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

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

Ant Colony Optimization for Deadlock Detection in Concurrent Systems.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Partial model checking via abstract interpretation.
Inf. Process. Lett., 2010

Optimal link scheduling for real-time traffic in wireless mesh networks in both per-flow and per-path frameworks.
Proceedings of the 11th IEEE International Symposium on a World of Wireless, 2010

Towards Resource-Optimal Routing Plans for Real-Time Traffic.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Link scheduling with end-to-end delay constraints in Wireless Mesh Networks.
Proceedings of the 10th IEEE International Symposium on a World of Wireless, 2009

A Formula Driven Incremental Construction of Web Service Compositions.
Proceedings of the ICSOFT 2009, 2009

Modular formal verification of specifications of concurrent systems.
Softw. Test., Verif. Reliab., 2008

A user-friendly interface to specify temporal properties of concurrent systems.
Inf. Sci., 2007

Compositionality and locality for improving model checking in the selective mu-calculus.
Sci. Comput. Program., 2005

A local approach for temporal model checking of Java bytecode.
J. Comput. Syst. Sci., 2005

Reduced Models for Efficient CCS Verification.
Formal Methods in System Design, 2005

Formula-based abstractions and symbolic execution for model checking programs.
Microprocessors and Microsystems, 2004

Model Checking Multithreaded Programs by Means of Reduced Models.
Electr. Notes Theor. Comput. Sci., 2004

Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations.
J. Autom. Reasoning, 2003

Efficient model checking of properties of a distributed application: a multimedia case study.
Softw. Test., Verif. Reliab., 2002

Local model checking of Java bytecode.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

A Tableau-Based Procedure for Model Checking Programs.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Reusing LOTOS specifications.
Microprocessors and Microsystems, 2001

An approach to system design based on P/T net simulation.
Information & Software Technology, 2001

Logic Based Abstractions of Real-Time Systems.
Formal Methods in System Design, 2000

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.
Softw., Pract. Exper., 1999

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems.
J. Comput. Syst. Sci., 1999

Abstract Interpretation of Trace Semantics for Concurrent Calculi.
Inf. Process. Lett., 1999

Formula Based Abstractions of Transition Systems for Real-Time Model Checking.
Proceedings of the FM'99 - Formal Methods, 1999

State Space Reduction by Non-Standard Semantics for Deadlock Analysis.
Sci. Comput. Program., 1998

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

A Non-Standard Semantics for Generating Reduced Transition Systems.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

A Petri Nets Semantics for Data Flow Networks.
Acta Inf., 1995

Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases.
Distributed and Parallel Databases, 1994

Specification of Concurrency Control in Persistent Programming Languages.
Proceedings of the Persistent Object Systems, 1992

Shared Abstract Data Types: An Algebraic Methodology for Their Specification.
Proceedings of the MFDBS 89, 1989

Description of a Tool for Specifying and Prototyping Concurrent Programs.
IEEE Trans. Software Eng., 1988

Development of a Debugger for a Concurrent Language.
IEEE Trans. Software Eng., 1986

An Interactive Debugger for a Concurrent Language.
Proceedings of the Proceedings, 1985

Development of a debugger for a concurrent language.
SIGPLAN Notices, 1983