SANTONE, ANTONELLA Statistiche
SANTONE, ANTONELLA
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
Model checking for malicious family detection and phylogenetic analysis in mobile environment
2020-01-01 Cimino, M. G. C. A.; De Francesco, N.; Mercaldo, F.; Santone, A.; Vaglini, G.
GreASE: A Tool for Efficient "Nonequivalence" Checking
2014-01-01 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, Antonella; Vaglini, Gigliola
Model checking safety properties through simulation and heuristic search
2013-01-01 De Francesco, Nicoletta; Lettieri, Giuseppe; Santone, Antonella; Vaglini, Gigliola
A Notion of Non-Interference for Timed Automata
2002-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Tesei, L.
A Notion of Non-Interference for Timed Automata
2001-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
Timed Automata with non-Instantaneous Actions
2001-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
Abstract Interpretation of Trace Semantics for Concurrent Calculi
1999-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs
1999-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Selective Mu-calculus and formula-based equivalence of transition systems
1999-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Towards a Logical Semantics fo Prolog
1998-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Mancarella, PAOLO MARIA; Santone, Antonella
Algebraic Computational Models of OR-parallel Execution of Prolog
1997-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems
1997-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Modeling OR-Parallel Execution of Prolog using CHOCS
1995-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Model checking for malicious family detection and phylogenetic analysis in mobile environment | 1-gen-2020 | Cimino, M. G. C. A.; De Francesco, N.; Mercaldo, F.; Santone, A.; Vaglini, G. | |
| GreASE: A Tool for Efficient "Nonequivalence" Checking | 1-gen-2014 | DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, Antonella; Vaglini, Gigliola | |
| Model checking safety properties through simulation and heuristic search | 1-gen-2013 | De Francesco, Nicoletta; Lettieri, Giuseppe; Santone, Antonella; Vaglini, Gigliola | |
| A Notion of Non-Interference for Timed Automata | 1-gen-2002 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Tesei, L. | |
| A Notion of Non-Interference for Timed Automata | 1-gen-2001 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei | |
| Timed Automata with non-Instantaneous Actions | 1-gen-2001 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei | |
| Abstract Interpretation of Trace Semantics for Concurrent Calculi | 1-gen-1999 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola | |
| LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs | 1-gen-1999 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola | |
| Selective Mu-calculus and formula-based equivalence of transition systems | 1-gen-1999 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola | |
| Towards a Logical Semantics fo Prolog | 1-gen-1998 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Mancarella, PAOLO MARIA; Santone, Antonella | |
| Algebraic Computational Models of OR-parallel Execution of Prolog | 1-gen-1997 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella | |
| Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems | 1-gen-1997 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola | |
| Modeling OR-Parallel Execution of Prolog using CHOCS | 1-gen-1995 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella |