gigliola vaglini
gigliola vaglini
Professore di Ingegneria informatica, UniversitÓ di pisa
Email verificata su iet.unipi.it
Titolo
Citata da
Citata da
Anno
Development of a Debugger for a Concurrent Language
F Baiardi, N De Francesco, G Vaglini
IEEE Transactions on Software Engineering, 547-553, 1986
1331986
Selective mu-calculus and formula-based equivalence of transition systems
R Barbuti, N De Francesco, A Santone, G Vaglini
Journal of Computer and System Sciences 59 (3), 537-556, 1999
731999
Monitoring elderly behavior via indoor position-based stigmergy
P Barsocchi, MGCA Cimino, E Ferro, A Lazzeri, F Palumbo, G Vaglini
Pervasive and Mobile Computing 23, 26-42, 2015
662015
Abstract reduction in directed model checking ccs processes
A Santone, G Vaglini
Acta informatica 49 (5), 313-341, 2012
372012
Ant colony optimization for deadlock detection in concurrent systems
G Francesca, A Santone, G Vaglini, ML Villani
2011 IEEE 35th Annual Computer Software and Applications Conference, 108-117, 2011
362011
Optimal joint routing and link scheduling for real-time traffic in TDMA wireless mesh networks
P Cappanera, L Lenzini, A Lori, G Stea, G Vaglini
Computer Networks 57 (11), 2301-2312, 2013
352013
Sleep behavior assessment via smartwatch and stigmergic receptive fields
AL Alfeo, P Barsocchi, MGCA Cimino, D La Rosa, F Palumbo, G Vaglini
Personal and ubiquitous computing 22 (2), 227-243, 2018
322018
Heuristic search for equivalence checking
N De Francesco, G Lettieri, A Santone, G Vaglini
Software & Systems Modeling 15 (2), 513-530, 2016
272016
Improving the analysis of context-aware information via marker-based stigmergy and differential evolution
MGCA Cimino, A Lazzeri, G Vaglini
International Conference on Artificial Intelligence and Soft Computing, 341-352, 2015
252015
Incremental construction of systems: An efficient characterization of the lacking sub-system
A Santone, G Vaglini, ML Villani
Science of Computer Programming 78 (9), 1346-1367, 2013
252013
Swarm coordination of mini-UAVs for target search using imperfect sensors
AL Alfeo, MGCA Cimino, N De Francesco, A Lazzeri, M Lega, G Vaglini
Intelligent Decision Technologies 12 (2), 149-162, 2018
242018
Reduced models for efficient CCS verification
R Barbuti, N De Francesco, A Santone, G Vaglini
Formal Methods in System Design 26 (3), 319-350, 2005
232005
Selective mu-calculus: New modal operators for proving properties on reduced transition systems
R Barbuti, N De Francesco, A Santone, G Vaglini
Formal Description Techniques and Protocol Specification, Testing andá…, 1997
231997
Evaluating the impact of smart technologies on harbor’s logistics via BPMN modeling and simulation
MGCA Cimino, F Palumbo, G Vaglini, E Ferro, N Celandroni, D La Rosa
Information Technology and Management 18 (3), 223-239, 2017
212017
Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search
MGCA Cimino, A Lazzeri, G Vaglini
2015 6th International Conference on Information, Intelligence, Systems andá…, 2015
212015
LORETO: a tool for reducing state explosion in verification of LOTOS programs
R Barbuti, N De Francesco, A Santone, G Vaglini
Software: Practice and Experience 29 (12), 1123-1147, 1999
201999
GreASE: a tool for efficient “Nonequivalence” checking
N Francesco, G Lettieri, A Santone, G Vaglini
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (3), 1-26, 2014
182014
A “pay-how-you-drive” car insurance approach through cluster analysis
MF Carfora, F Martinelli, F Mercaldo, V Nardone, A Orlando, A Santone, ...
Soft Computing 23 (9), 2863-2875, 2019
172019
Link scheduling with end-to-end delay constraints in wireless mesh networks
P Cappanera, L Lenzini, A Lori, G Stea, G Vaglini
2009 IEEE International Symposium on a World of Wireless, Mobile andá…, 2009
162009
State space reduction by non-standard semantics for deadlock analysis
N De Francesco, A Santone, G Vaglini
Science of computer programming 30 (3), 309-338, 1998
161998
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20