Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.401 a 1.420 di 4.751
Application of Equivalence Checking in a Loan Origination Process in Banking Industry
2013-01-01 Santone, Antonella; Intilangelo, V; Raucci, D.
How Discover a Malware using Model Checking
2017-01-01 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella
Identification of Android Malware Families with Model Checking
2016-01-01 Battista, P; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Model Checking to Improve Precision of Design Patterns Instances Identification in OO Systems
2015-01-01 Bernardi, Ml; Cimitile, M; De Ruvo, G; Di Lucca, Ga; Santone, Antonella
Conformance Checking using Formal Methods
2016-01-01 Santone, Antonella; Vaglini, G.
k-bisimulation: a new bisimulation for defining the dissimilarity between processes
2015-01-01 De Ruvo, G; Lettieri, G; Martino, D; Santone, Antonella; Vaglini, G.
Efficient Model Checking of Properties of a Multimedia Application
1999-01-01 Mazzocca, N; Santone, Antonella; Vaglini, G; Vittorini, V.
Local Model Checking of Java Bytecode
2002-01-01 Santone, Antonella; Vaglini, G.
Download Malware? No, thanks. How Formal Methods can Block Update Attacks
2016-01-01 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Model Checking for Mobile Android Malware Evolution
2017-01-01 Cimitile, A.; Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Vaglini, G.
Compositionality for Improving Model Checking
2000-01-01 Santone, Antonella
A Notion of Non-Interference for Timed Automata
2001-01-01 Barbuti, R; De Francesco, N; Santone, Antonella; Tesei, L.
Formula Based Abstractions of Transition Systems for Real-time Model Checking
1999-01-01 Barbuti, R; De Francesco, R; Santone, Antonella; Vaglini, G.
Automated Verification of Fault Tolerance Mechanism
1998-01-01 Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella
Formal Validation of Fault-tolerance Mechanisms
1998-01-01 Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems
1997-01-01 Barbuti, R; De Francesco, N; Santone, Antonella; Vaglini, G.
A Non-Standard Semantics for Generating Reduced Transition Systems
1996-01-01 De Francesco, N; Santone, Antonella; Vaglini, G.
Unfold/Fold Transformations of Concurrent Processes
1996-01-01 De Francesco, N; Santone, Antonella
Modelling OR-parallel Execution of Prolog using CHOCS
1995-01-01 Barbuti, R; De Francesco, N; Santone, Antonella
Innesco del piping nei rilevati arginali.
2016-01-01 Covelli, C.; Cozzolino, L.; Cimorelli, L.; Della Morte, R.; Molino, B.; Pianese, D.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Application of Equivalence Checking in a Loan Origination Process in Banking Industry | 1-gen-2013 | Santone, Antonella; Intilangelo, V; Raucci, D. | |
| How Discover a Malware using Model Checking | 1-gen-2017 | Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella | |
| Identification of Android Malware Families with Model Checking | 1-gen-2016 | Battista, P; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca | |
| Model Checking to Improve Precision of Design Patterns Instances Identification in OO Systems | 1-gen-2015 | Bernardi, Ml; Cimitile, M; De Ruvo, G; Di Lucca, Ga; Santone, Antonella | |
| Conformance Checking using Formal Methods | 1-gen-2016 | Santone, Antonella; Vaglini, G. | |
| k-bisimulation: a new bisimulation for defining the dissimilarity between processes | 1-gen-2015 | De Ruvo, G; Lettieri, G; Martino, D; Santone, Antonella; Vaglini, G. | |
| Efficient Model Checking of Properties of a Multimedia Application | 1-gen-1999 | Mazzocca, N; Santone, Antonella; Vaglini, G; Vittorini, V. | |
| Local Model Checking of Java Bytecode | 1-gen-2002 | Santone, Antonella; Vaglini, G. | |
| Download Malware? No, thanks. How Formal Methods can Block Update Attacks | 1-gen-2016 | Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca | |
| Model Checking for Mobile Android Malware Evolution | 1-gen-2017 | Cimitile, A.; Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Vaglini, G. | |
| Compositionality for Improving Model Checking | 1-gen-2000 | Santone, Antonella | |
| A Notion of Non-Interference for Timed Automata | 1-gen-2001 | Barbuti, R; De Francesco, N; Santone, Antonella; Tesei, L. | |
| Formula Based Abstractions of Transition Systems for Real-time Model Checking | 1-gen-1999 | Barbuti, R; De Francesco, R; Santone, Antonella; Vaglini, G. | |
| Automated Verification of Fault Tolerance Mechanism | 1-gen-1998 | Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella | |
| Formal Validation of Fault-tolerance Mechanisms | 1-gen-1998 | Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella | |
| Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems | 1-gen-1997 | Barbuti, R; De Francesco, N; Santone, Antonella; Vaglini, G. | |
| A Non-Standard Semantics for Generating Reduced Transition Systems | 1-gen-1996 | De Francesco, N; Santone, Antonella; Vaglini, G. | |
| Unfold/Fold Transformations of Concurrent Processes | 1-gen-1996 | De Francesco, N; Santone, Antonella | |
| Modelling OR-parallel Execution of Prolog using CHOCS | 1-gen-1995 | Barbuti, R; De Francesco, N; Santone, Antonella | |
| Innesco del piping nei rilevati arginali. | 1-gen-2016 | Covelli, C.; Cozzolino, L.; Cimorelli, L.; Della Morte, R.; Molino, B.; Pianese, D. |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.401 a 1.420 di 4.751
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno (Proceeding)4751
Data di pubblicazione
- In corso di stampa20
- 2020 - 2026602
- 2010 - 20191495
- 2000 - 20091921
- 1990 - 1999613
- 1980 - 198998
- 1978 - 19791
Editore
- Institute of Electrical and Electronics Engineers Inc.112
- IEEE67
- Springer Science and Business Media Deutschland GmbH32
- Springer29
- IEEE Computer Society28
- Edizioni Scientifiche Italiane26
- SciTePress23
- Giuffrè21
- R. Cudabba, E. Marconi18
- Chiriotti Editori17
Rivista
- ISTISAN CONGRESSI15
- PROCEDIA COMPUTER SCIENCE14
- ATTI CONFERENZA NAZIONALE ASITA13
- JOURNAL OF PHYSICS. CONFERENCE SERIES9
- GIORNALE BOTANICO ITALIANO7
- PANORAMA DELLA SANITÀ7
- PROCEDIA STRUCTURAL INTEGRITY7
- ACTA HORTICULTURAE6
- ITALIAN JOURNAL OF ANIMAL SCIENCE6
- THE FEBS JOURNAL5
Serie
- LECTURE NOTES IN COMPUTER SCIENCE41
- LECTURE NOTES IN CIVIL ENGINEERING21
- PROCEEDINGS OF SPIE, THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING14
- COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE8
- CONFERENCE PROCEEDINGS - IEEE INSTRUMENTATION/MEASUREMENT TECHNOLOGY CONFERENCE8
- PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING7
- CEUR WORKSHOP PROCEEDINGS6
- PROCEEDINGS OF ... INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS5
- ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING4
- IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS4
Keyword
- Android34
- Security25
- suicide21
- Software20
- Machine Learning17
- Malware17
- suicidio16
- deep learning13
- machine learning13
- Machine learning12
Lingua
- eng2246
- ita1832
- fre33
- ger16
- und15
- spa14
- por3
- grc2
- lat2
- cze1
Accesso al fulltext
- no fulltext4747
- open2
- reserved2
Appartenenza
- DIPARTIMENTO AGRICOLTURA, AMBIENTE E ALIMENTI1186
- DIPARTIMENTO DI BIOSCIENZE E TERRITORIO1806
- DIPARTIMENTO DI ECONOMIA283
- DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE916
- DIPARTIMENTO DI SCIENZE UMANISTICHE, SOCIALI E DELLA FORMAZIONE540
- DIPARTIMENTO GIURIDICO135