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

Antonella Santone

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

2008
38EESara 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
37EEMassimiliano Di Penta, Antonella Santone, Maria Luisa Villani: Discovery of SOA patterns via model checking. IW-SOSWE 2007: 8-14
36EESara Gradara, Antonella Santone, Maria Luisa Villani: Formal Verification of Concurrent Systems via Directed Model Checking. Electr. Notes Theor. Comput. Sci. 185: 93-105 (2007)
35EENicoletta 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
34EESara 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
33EERoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Reduced Models for Efficient CCS Verification. Formal Methods in System Design 26(3): 319-350 (2005)
32EESara Gradara, Antonella Santone, Maria Luisa Villani: Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput. 202(2): 191-226 (2005)
31EEAntonella Santone, Gigliola Vaglini: A local approach for temporal model checking of Java bytecode. J. Comput. Syst. Sci. 70(2): 258-281 (2005)
30EEAntonella 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
29EESara 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)
28EEAntonella Santone, Gigliola Vaglini: Formula-based abstractions and symbolic execution for model checking programs. Microprocessors and Microsystems 28(2): 69-76 (2004)
2003
27EENicoletta 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)
26EEAntonella 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
24EEAntonella Santone, Gigliola Vaglini: A Tableau-Based Procedure for Model Checking Programs. COMPSAC 2002: 723-730
23EEAntonella Santone, Gigliola Vaglini: Local model checking of Java bytecode. SEKE 2002: 383-389
22EEAntonella 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)
20EENicoletta De Francesco, Antonella Santone: A Formula-Driven Modular Attack on State Explosion. Int. J. Found. Comput. Sci. 13(5): 719-731 (2002)
19EENicoletta 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
16EEGiuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone: Efficient Verification of a Multicast Protocol for Mobile Computing. Comput. J. 44(1): 21-30 (2001)
15EEAntonella 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
12EERoberto 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
11EERoberto 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
8EENicoletta 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

Coauthor Index

1Giuseppe Anastasi [16]
2Roberto Barbuti [1] [4] [5] [6] [9] [10] [11] [12] [13] [21] [33]
3Alberto Bartoli [16]
4Nicoletta De Francesco [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [16] [17] [19] [20] [21] [27] [33] [35]
5Sara Gradara [29] [32] [34] [36] [38]
6Paolo Mancarella [6]
7Nicola Mazzocca [18]
8Massimiliano Di Penta [37]
9Luca Tesei [21] [27]
10Gigliola Vaglini [3] [5] [7] [9] [10] [11] [12] [13] [15] [18] [23] [24] [25] [28] [29] [30] [31] [33] [35] [38]
11Maria Luisa Villani [29] [32] [34] [36] [37] [38]
12Valeria Vittorini [18]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)