dblp.uni-trier.dewww.uni-trier.de

Gigliola Vaglini Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
29 Antonella Santone, Gigliola Vaglini, Maria Luisa Villani: A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) 2009: 13-22
2008
28EESara 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
27EENicoletta 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
26EERoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Reduced Models for Efficient CCS Verification. Formal Methods in System Design 26(3): 319-350 (2005)
25EEAntonella Santone, Gigliola Vaglini: A local approach for temporal model checking of Java bytecode. J. Comput. Syst. Sci. 70(2): 258-281 (2005)
24EEAntonella 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
23EESara 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)
22EEAntonella 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
20EEAntonella Santone, Gigliola Vaglini: A Tableau-Based Procedure for Model Checking Programs. COMPSAC 2002: 723-730
19EEAntonella 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)
16EEAntonella 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
14EERoberto 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
13EERoberto 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
8EENicoletta 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
6EENicoletta 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
5EENicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz: Specification of Concurrency Control in Persistent Programming Languages. POS 1992: 126-143
1989
4EEAndrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
1988
3EENicoletta 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)