| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
Ant Colony Optimization for Deadlock Detection in Concurrent Systems.  |
COMPSAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone |
Clone detection through process algebras and Java bytecode. |
IWSC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
A Formula Driven Incremental Construction of Web Service Compositions. |
ICSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
Modular formal verification of specifications of concurrent systems. |
Softw. Test., Verif. Reliab. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
A user-friendly interface to specify temporal properties of concurrent systems. |
Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Gradara, Antonella Santone, Maria Luisa Villani |
Formal Verification of Concurrent Systems via Directed Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani |
Discovery of SOA patterns via model checking. |
IW-SOSWE |
2007 |
DBLP DOI BibTeX RDF |
SOA patterns, comprehension of service-oriented systems, model checking, pattern discovery |
| 1 | Sara Gradara, Antonella Santone, Maria Luisa Villani |
DELFIN+: An efficient deadlock detection tool for CCS processes. |
J. Comput. Syst. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
Compositionality and locality for improving model checking in the selective mu-calculus. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Gradara, Antonella Santone, Maria Luisa Villani |
Using heuristic search for finding deadlocks in concurrent systems. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
A local approach for temporal model checking of Java bytecode. |
J. Comput. Syst. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Reduced Models for Efficient CCS Verification. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
model checking, CCS, state explosion problem |
| 1 | Antonella Santone, Gigliola Vaglini |
Formula-based abstractions and symbolic execution for model checking programs. |
Microprocessors and Microsystems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini |
Model Checking Multithreaded Programs by Means of Reduced Models. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone |
Heuristic Search + Local Model Checking in Selective mu-Calculus. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
local model checking, model checking, temporal logic, heuristic search, State explosion, AND/OR graph |
| 1 | Nicoletta De Francesco, Antonella Santone, Luca Tesei |
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone |
A tool supporting efficient model checking of concurrent specifications. |
Microprocessors and Microsystems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone |
A Formula-Driven Modular Attack on State Explosion. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone |
Automatic verification of concurrent systems using a formula-based compositional approach. |
Acta Inf. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei |
A Notion of Non-Interference for Timed Automata. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone |
Syntactic reductions for efficient deadlock analysis. |
Softw. Test., Verif. Reliab. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
A Tableau-Based Procedure for Model Checking Programs. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone, Gigliola Vaglini |
Local model checking of Java bytecode. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, software systems, tableau system |
| 1 | Antonella Santone, Gigliola Vaglini |
Reusing LOTOS specifications. |
Microprocessors and Microsystems |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone |
Efficient Verification of a Multicast Protocol for Mobile Computing. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Logic Based Abstractions of Real-Time Systems. |
Formal Methods in System Design |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Santone |
Compositionality for Improving Model Checking. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Abstract Interpretation of Trace Semantics for Concurrent Calculi. |
Inf. Process. Lett. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. |
Softw., Pract. Exper. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. |
J. Comput. Syst. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone |
Towards a Logical Semantics for Pure Prolog. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
State Space Reduction by Non-Standard Semantics for Deadlock Analysis. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone |
A Transformation System for Concurrent Processes. |
Acta Inf. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |
Algebraic Computational Models of OR-Parallel Execution of Prolog. |
Acta Inf. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Selective ยต-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
A Non-Standard Semantics for Generating Reduced Transition Systems. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone |
Unfold/Fold Transformations of Concurrent Processes. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |
Modeling OR-Parallel Execution of Prolog using CHOCS. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")