Gigliola Vaglini Vis

*	2009
29		Antonella Santone, Gigliola Vaglini, Maria Luisa Villani: A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) 2009: 13-22
	2008
28	EE	Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani: Modular formal verification of specifications of concurrent systems. Softw. Test., Verif. Reliab. 18(1): 5-28 (2008)
	2007
27	EE	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
26	EE	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Reduced Models for Efficient CCS Verification. Formal Methods in System Design 26(3): 319-350 (2005)
25	EE	Antonella Santone, Gigliola Vaglini: A local approach for temporal model checking of Java bytecode. J. Comput. Syst. Sci. 70(2): 258-281 (2005)
24	EE	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
23	EE	Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini: Model Checking Multithreaded Programs by Means of Reduced Models. Electr. Notes Theor. Comput. Sci. 110: 55-74 (2004)
22	EE	Antonella Santone, Gigliola Vaglini: Formula-based abstractions and symbolic execution for model checking programs. Microprocessors and Microsystems 28(2): 69-76 (2004)
	2003
21		Antonella Santone, Gigliola Vaglini: Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. J. Autom. Reasoning 30(1): 33-58 (2003)
	2002
20	EE	Antonella Santone, Gigliola Vaglini: A Tableau-Based Procedure for Model Checking Programs. COMPSAC 2002: 723-730
19	EE	Antonella Santone, Gigliola Vaglini: Local model checking of Java bytecode. SEKE 2002: 383-389
18		Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini: Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test., Verif. Reliab. 12(1): 3-21 (2002)
	2001
17		Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: An approach to system design based on P/T net simulation. Information & Software Technology 43(10): 591-605 (2001)
16	EE	Antonella Santone, Gigliola Vaglini: Reusing LOTOS specifications. Microprocessors and Microsystems 25(6): 309-314 (2001)
	2000
15		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Logic Based Abstractions of Real-Time Systems. Formal Methods in System Design 17(3): 201-220 (2000)
	1999
14	EE	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
13	EE	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)
12		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)
11		Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw., Pract. Exper. 29(12): 1123-1147 (1999)
	1998
10		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
9		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
8	EE	Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS 1996: 370-387
	1995
7		Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: A Petri Nets Semantics for Data Flow Networks Acta Inf. 32(4): 347-374 (1995)
	1994
6	EE	Nicoletta De Francesco, Gigliola Vaglini: Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. Distributed and Parallel Databases 2(1): 33-58 (1994)
	1992
5	EE	Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz: Specification of Concurrency Control in Persistent Programming Languages. POS 1992: 126-143
	1989
4	EE	Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
	1988
3	EE	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
2		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
1		Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: An Interactive Debugger for a Concurrent Language. ICSE 1985: 320-329

Coauthor Index

1	Fabrizio Baiardi	[2]
2	Roberto Barbuti	[9] [11] [12] [13] [14] [15] [26]
3	Cinzia Bernardeschi	[7] [17]
4	Andrea Bondavalli	[4]
5	Nicoletta De Francesco	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [26] [27]
6	Sara Gradara	[23] [28]
7	Diego Latella	[1] [4]
8	Luigi V. Mancini	[5]
9	Nicola Mazzocca	[18]
10	A. Pereira Paz	[5]
11	Antonella Santone	[8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29]
12	Maria Luisa Villani	[23] [28] [29]
13	Valeria Vittorini	[18]