|
Search the dblp DataBase
Antonella Santone:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Antonella Santone, Gigliola Vaglini
A Tableau-Based Procedure for Model Checking Programs. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:723-730 [Conf]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Formula Based Abstractions of Transition Systems for Real-Time Model Checking. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:289-306 [Conf]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. [Citation Graph (0, 0)][DBLP] FORTE, 1997, pp:519-534 [Conf]
- Antonella Santone
Compositionality for Improving Model Checking. [Citation Graph (0, 0)][DBLP] FORTE, 2000, pp:105-120 [Conf]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
Modeling OR-Parallel Execution of Prolog using CHOCS. [Citation Graph (0, 0)][DBLP] ICLP, 1995, pp:547-561 [Conf]
- Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
A Non-Standard Semantics for Generating Reduced Transition Systems. [Citation Graph (0, 0)][DBLP] LOMAPS, 1996, pp:370-387 [Conf]
- Nicoletta De Francesco, Antonella Santone
Unfold/Fold Transformations of Concurrent Processes. [Citation Graph (0, 0)][DBLP] PLILP, 1996, pp:167-181 [Conf]
- Antonella Santone, Gigliola Vaglini
Local model checking of Java bytecode. [Citation Graph (0, 0)][DBLP] SEKE, 2002, pp:383-389 [Conf]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
Algebraic Computational Models of OR-Parallel Execution of Prolog. [Citation Graph (0, 0)][DBLP] Acta Inf., 1997, v:34, n:6, pp:449-489 [Journal]
- Nicoletta De Francesco, Antonella Santone
A Transformation System for Concurrent Processes. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:12, pp:1037-1073 [Journal]
- Antonella Santone
Automatic verification of concurrent systems using a formula-based compositional approach. [Citation Graph (0, 0)][DBLP] Acta Inf., 2002, v:38, n:8, pp:531-564 [Journal]
- Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone
Efficient Verification of a Multicast Protocol for Mobile Computing. [Citation Graph (0, 0)][DBLP] Comput. J., 2001, v:44, n:1, pp:21-30 [Journal]
- Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
Model Checking Multithreaded Programs by Means of Reduced Models. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:110, n:, pp:55-74 [Journal]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Logic Based Abstractions of Real-Time Systems. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:17, n:3, pp:201-220 [Journal]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Reduced Models for Efficient CCS Verification. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2005, v:26, n:3, pp:319-350 [Journal]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
A Notion of Non-Interference for Timed Automata. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2002, v:51, n:1-2, pp:1-11 [Journal]
- Nicoletta De Francesco, Antonella Santone, Luca Tesei
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2003, v:54, n:2-3, pp:195-211 [Journal]
- Sara Gradara, Antonella Santone, Maria Luisa Villani
Using heuristic search for finding deadlocks in concurrent systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:202, n:2, pp:191-226 [Journal]
- Nicoletta De Francesco, Antonella Santone
A Formula-Driven Modular Attack on State Explosion. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2002, v:13, n:5, pp:719-731 [Journal]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Abstract Interpretation of Trace Semantics for Concurrent Calculi. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1999, v:70, n:2, pp:69-78 [Journal]
- Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
A user-friendly interface to specify temporal properties of concurrent systems. [Citation Graph (0, 0)][DBLP] Inf. Sci., 2007, v:177, n:1, pp:299-311 [Journal]
- Antonella Santone, Gigliola Vaglini
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:30, n:1, pp:33-58 [Journal]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1999, v:59, n:3, pp:537-556 [Journal]
- Antonella Santone, Gigliola Vaglini
A local approach for temporal model checking of Java bytecode. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 2005, v:70, n:2, pp:258-281 [Journal]
- Sara Gradara, Antonella Santone, Maria Luisa Villani
DELFIN+: An efficient deadlock detection tool for CCS processes. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 2006, v:72, n:8, pp:1397-1412 [Journal]
- Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
Towards a Logical Semantics for Pure Prolog. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1998, v:32, n:1-3, pp:145-176 [Journal]
- Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
State Space Reduction by Non-Standard Semantics for Deadlock Analysis. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1998, v:30, n:3, pp:309-338 [Journal]
- Antonella Santone, Gigliola Vaglini
Compositionality and locality for improving model checking in the selective mu-calculus. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:54, n:2-3, pp:291-311 [Journal]
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1999, v:29, n:12, pp:1123-1147 [Journal]
- Nicoletta De Francesco, Antonella Santone
Syntactic reductions for efficient deadlock analysis. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2002, v:12, n:3, pp:173-186 [Journal]
- Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
Efficient model checking of properties of a distributed application: a multimedia case study. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:3-21 [Journal]
- Antonella Santone
Heuristic Search + Local Model Checking in Selective mu-Calculus. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2003, v:29, n:6, pp:510-523 [Journal]
- Antonella Santone, Gigliola Vaglini
Formula-based abstractions and symbolic execution for model checking programs. [Citation Graph (0, 0)][DBLP] Microprocessors and Microsystems, 2004, v:28, n:2, pp:69-76 [Journal]
- Sara Gradara, Antonella Santone, Maria Luisa Villani
Formal Verification of Concurrent Systems via Directed Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:93-105 [Journal]
- Nicoletta De Francesco, Antonella Santone
A tool supporting efficient model checking of concurrent specifications. [Citation Graph (0, 0)][DBLP] Microprocessors and Microsystems, 2002, v:25, n:9-10, pp:401-407 [Journal]
- Antonella Santone, Gigliola Vaglini
Reusing LOTOS specifications. [Citation Graph (0, 0)][DBLP] Microprocessors and Microsystems, 2001, v:25, n:6, pp:309-314 [Journal]
A Formula Driven Incremental Construction of Web Service Compositions. [Citation Graph (, )][DBLP]
Discovery of SOA patterns via model checking. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.305secs
|