Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.381 a 1.400 di 4.742
Formal Methods Meet Mobile Code Obfuscation
2017-01-01 Cimitile, A.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Analysing Wiki Quality using Probabilistic Model Checking
2015-01-01 De Ruvo, G; Santone, Antonella
Identifying Mobile Repackaged Applications through Formal Methods
2017-01-01 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, C. A.
Improving Design Patterns Finder precision Using a Model Checking Approach
2015-01-01 Bernardi, Ml; Cimitile, M; De Ruvo, G; Di Lucca, Ga; Santone, Antonella
A novel approach based on formal methods for clone detection
2012-01-01 Cuomo, A; Santone, Antonella; Villano, U.
Clone detection through Process Algebras and Java Bytecode
2011-01-01 Santone, Antonella
Model Checking to support Action Controls in the Purchasing Process
2016-01-01 Raucci, D; Nardone, V; Santone, Antonella
Partial order interpretation of a mu-calculus-like temporal logic
2013-01-01 Santone, Antonella; Vaglini, G.
Equivalence-based Selection of Best-fit Models to Support Wiki Design
2015-01-01 De Ruvo, G; Santone, Antonella
Ransomware Steals your Phone. Formal Methods Rescue it
2016-01-01 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, C. A.
Infer Gene Regulatory Networks from Time Series Data with Formal Methods
2013-01-01 Ceccarelli, M; Cerulo, L; Santone, Antonella
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal Methods Meet Mobile Code Obfuscation | 1-gen-2017 | Cimitile, A.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A. | |
| Analysing Wiki Quality using Probabilistic Model Checking | 1-gen-2015 | De Ruvo, G; Santone, Antonella | |
| Identifying Mobile Repackaged Applications through Formal Methods | 1-gen-2017 | Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, C. A. | |
| Improving Design Patterns Finder precision Using a Model Checking Approach | 1-gen-2015 | Bernardi, Ml; Cimitile, M; De Ruvo, G; Di Lucca, Ga; Santone, Antonella | |
| A novel approach based on formal methods for clone detection | 1-gen-2012 | Cuomo, A; Santone, Antonella; Villano, U. | |
| Clone detection through Process Algebras and Java Bytecode | 1-gen-2011 | Santone, Antonella | |
| Model Checking to support Action Controls in the Purchasing Process | 1-gen-2016 | Raucci, D; Nardone, V; Santone, Antonella | |
| Partial order interpretation of a mu-calculus-like temporal logic | 1-gen-2013 | Santone, Antonella; Vaglini, G. | |
| Equivalence-based Selection of Best-fit Models to Support Wiki Design | 1-gen-2015 | De Ruvo, G; Santone, Antonella | |
| Ransomware Steals your Phone. Formal Methods Rescue it | 1-gen-2016 | Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, C. A. | |
| Infer Gene Regulatory Networks from Time Series Data with Formal Methods | 1-gen-2013 | Ceccarelli, M; Cerulo, L; Santone, Antonella | |
| 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 |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.381 a 1.400 di 4.742
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)4742
Data di pubblicazione
- In corso di stampa20
- 2020 - 2026593
- 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
- ACTA HORTICULTURAE6
- ITALIAN JOURNAL OF ANIMAL SCIENCE6
- PROCEDIA STRUCTURAL INTEGRITY5
- 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
- eng2240
- ita1830
- fre33
- ger16
- und15
- spa14
- por3
- grc2
- lat2
- cze1
Accesso al fulltext
- no fulltext4738
- open2
- reserved2
Appartenenza
- DIPARTIMENTO AGRICOLTURA, AMBIENTE E ALIMENTI1186
- DIPARTIMENTO DI BIOSCIENZE E TERRITORIO1802
- DIPARTIMENTO DI ECONOMIA280
- DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE916
- DIPARTIMENTO DI SCIENZE UMANISTICHE, SOCIALI E DELLA FORMAZIONE538
- DIPARTIMENTO GIURIDICO135