SANTONE, ANTONELLA Statistiche

SANTONE, ANTONELLA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.019 secondi).
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
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