| 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 | | 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 |
