2008 |
38 | 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 |
37 | EE | Massimiliano Di Penta,
Antonella Santone,
Maria Luisa Villani:
Discovery of SOA patterns via model checking.
IW-SOSWE 2007: 8-14 |
36 | EE | Sara Gradara,
Antonella Santone,
Maria Luisa Villani:
Formal Verification of Concurrent Systems via Directed Model Checking.
Electr. Notes Theor. Comput. Sci. 185: 93-105 (2007) |
35 | 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) |
2006 |
34 | EE | Sara Gradara,
Antonella Santone,
Maria Luisa Villani:
DELFIN+: An efficient deadlock detection tool for CCS processes.
J. Comput. Syst. Sci. 72(8): 1397-1412 (2006) |
2005 |
33 | 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) |
32 | EE | Sara Gradara,
Antonella Santone,
Maria Luisa Villani:
Using heuristic search for finding deadlocks in concurrent systems.
Inf. Comput. 202(2): 191-226 (2005) |
31 | EE | Antonella Santone,
Gigliola Vaglini:
A local approach for temporal model checking of Java bytecode.
J. Comput. Syst. Sci. 70(2): 258-281 (2005) |
30 | 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 |
29 | 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) |
28 | EE | Antonella Santone,
Gigliola Vaglini:
Formula-based abstractions and symbolic execution for model checking programs.
Microprocessors and Microsystems 28(2): 69-76 (2004) |
2003 |
27 | EE | Nicoletta De Francesco,
Antonella Santone,
Luca Tesei:
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
Fundam. Inform. 54(2-3): 195-211 (2003) |
26 | EE | Antonella Santone:
Heuristic Search + Local Model Checking in Selective mu-Calculus.
IEEE Trans. Software Eng. 29(6): 510-523 (2003) |
25 | | Antonella Santone,
Gigliola Vaglini:
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations.
J. Autom. Reasoning 30(1): 33-58 (2003) |
2002 |
24 | EE | Antonella Santone,
Gigliola Vaglini:
A Tableau-Based Procedure for Model Checking Programs.
COMPSAC 2002: 723-730 |
23 | EE | Antonella Santone,
Gigliola Vaglini:
Local model checking of Java bytecode.
SEKE 2002: 383-389 |
22 | EE | Antonella Santone:
Automatic verification of concurrent systems using a formula-based compositional approach.
Acta Inf. 38(8): 531-564 (2002) |
21 | | Roberto Barbuti,
Nicoletta De Francesco,
Antonella Santone,
Luca Tesei:
A Notion of Non-Interference for Timed Automata.
Fundam. Inform. 51(1-2): 1-11 (2002) |
20 | EE | Nicoletta De Francesco,
Antonella Santone:
A Formula-Driven Modular Attack on State Explosion.
Int. J. Found. Comput. Sci. 13(5): 719-731 (2002) |
19 | EE | Nicoletta De Francesco,
Antonella Santone:
A tool supporting efficient model checking of concurrent specifications.
Microprocessors and Microsystems 25(9-10): 401-407 (2002) |
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) |
17 | | Nicoletta De Francesco,
Antonella Santone:
Syntactic reductions for efficient deadlock analysis.
Softw. Test., Verif. Reliab. 12(3): 173-186 (2002) |
2001 |
16 | EE | Giuseppe Anastasi,
Alberto Bartoli,
Nicoletta De Francesco,
Antonella Santone:
Efficient Verification of a Multicast Protocol for Mobile Computing.
Comput. J. 44(1): 21-30 (2001) |
15 | EE | Antonella Santone,
Gigliola Vaglini:
Reusing LOTOS specifications.
Microprocessors and Microsystems 25(6): 309-314 (2001) |
2000 |
14 | | Antonella Santone:
Compositionality for Improving Model Checking.
FORTE 2000: 105-120 |
13 | | 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 |
12 | 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 |
11 | 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) |
10 | | 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) |
9 | | 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 |
8 | EE | Nicoletta De Francesco,
Antonella Santone:
A Transformation System for Concurrent Processes.
Acta Inf. 35(12): 1037-1073 (1998) |
7 | | 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) |
6 | | Roberto Barbuti,
Nicoletta De Francesco,
Paolo Mancarella,
Antonella Santone:
Towards a Logical Semantics for Pure Prolog.
Sci. Comput. Program. 32(1-3): 145-176 (1998) |
1997 |
5 | | 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 |
4 | | Roberto Barbuti,
Nicoletta De Francesco,
Antonella Santone:
Algebraic Computational Models of OR-Parallel Execution of Prolog.
Acta Inf. 34(6): 449-489 (1997) |
1996 |
3 | | Nicoletta De Francesco,
Antonella Santone,
Gigliola Vaglini:
A Non-Standard Semantics for Generating Reduced Transition Systems.
LOMAPS 1996: 370-387 |
2 | | Nicoletta De Francesco,
Antonella Santone:
Unfold/Fold Transformations of Concurrent Processes.
PLILP 1996: 167-181 |
1995 |
1 | | Roberto Barbuti,
Nicoletta De Francesco,
Antonella Santone:
Modeling OR-Parallel Execution of Prolog using CHOCS.
ICLP 1995: 547-561 |