Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.361 a 1.380 di 4.742
Modular verification of abstract software descriptions
2004-01-01 Gradara, S; Santone, Antonella; Vaglini, G; Villani, Ml
Ant Colony Optimization for Deadlock Detection in Concurrent Systems
2011-01-01 Francesca, G; Santone, Antonella; Vaglini, G; Villani, Ml
A* for Deadlock Detection in CCS processes
2003-01-01 Gradara, S; Santone, Antonella; Villani, Ml
Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking
2002-01-01 De Francesco, N; Santone, Antonella
Efficient Formal Verification in Banking Processes
2013-01-01 Santone, Antonella; Intilangelo, V; Raucci, D.
Checking Safety Proprieties through Simulation and Heuristic Search
2013-01-01 De Francesco, N; Lettieri, G; Santone, Antonella; Vaglini, G.
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking
2015-01-01 Ceccarelli, M; Cerulo, L; De Ruvo, G; Nardone, V; Santone, Antonella
Car Hacking Identification through Fuzzy Logic Algorithms
2017-01-01 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella
Automatable Integrations for the Reuse of Concurrent Specifications
2001-01-01 Santone, Antonella; Vaglini, G.
Heuristic for Simulation Checking
2011-01-01 Santone, Antonella
Probabilistic Model Checking applied to Spacecraft Reconfiguration
2016-01-01 Nardone, V; Santone, Antonella; Tipaldi, M; Glielmo, L.
Powerful Equivalence Checking in the Bank Supply Process
2014-01-01 De Ruvo, G; Santone, Antonella; Raucci, D.
A Tableau-based Procedure for Model Checking Programs
2002-01-01 Santone, Antonella; Vaglini, G.
An Eclipse-based Editor to Support LOTOS Newcomers
2014-01-01 De Ruvo, G; Santone, Antonella
Hey Malware, I can Find You!
2016-01-01 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Ransomware Inside Out
2016-01-01 Mercaldo, F; Nardone, V; Santone, Antonella
A formula driven incremental construction of web service compositions
2009-01-01 Santone, Antonella; Vaglini, G; Villani, Ml
A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis
2014-01-01 De Ruvo, G; Santone, Antonella
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches
2012-01-01 Santone, Antonella; Vaglini, G.
Discovery of SOA Patterns via Model Checking
2007-01-01 Di Penta, M; Santone, Antonella; Villani, Ml
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Modular verification of abstract software descriptions | 1-gen-2004 | Gradara, S; Santone, Antonella; Vaglini, G; Villani, Ml | |
| Ant Colony Optimization for Deadlock Detection in Concurrent Systems | 1-gen-2011 | Francesca, G; Santone, Antonella; Vaglini, G; Villani, Ml | |
| A* for Deadlock Detection in CCS processes | 1-gen-2003 | Gradara, S; Santone, Antonella; Villani, Ml | |
| Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking | 1-gen-2002 | De Francesco, N; Santone, Antonella | |
| Efficient Formal Verification in Banking Processes | 1-gen-2013 | Santone, Antonella; Intilangelo, V; Raucci, D. | |
| Checking Safety Proprieties through Simulation and Heuristic Search | 1-gen-2013 | De Francesco, N; Lettieri, G; Santone, Antonella; Vaglini, G. | |
| Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking | 1-gen-2015 | Ceccarelli, M; Cerulo, L; De Ruvo, G; Nardone, V; Santone, Antonella | |
| Car Hacking Identification through Fuzzy Logic Algorithms | 1-gen-2017 | Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella | |
| Automatable Integrations for the Reuse of Concurrent Specifications | 1-gen-2001 | Santone, Antonella; Vaglini, G. | |
| Heuristic for Simulation Checking | 1-gen-2011 | Santone, Antonella | |
| Probabilistic Model Checking applied to Spacecraft Reconfiguration | 1-gen-2016 | Nardone, V; Santone, Antonella; Tipaldi, M; Glielmo, L. | |
| Powerful Equivalence Checking in the Bank Supply Process | 1-gen-2014 | De Ruvo, G; Santone, Antonella; Raucci, D. | |
| A Tableau-based Procedure for Model Checking Programs | 1-gen-2002 | Santone, Antonella; Vaglini, G. | |
| An Eclipse-based Editor to Support LOTOS Newcomers | 1-gen-2014 | De Ruvo, G; Santone, Antonella | |
| Hey Malware, I can Find You! | 1-gen-2016 | Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca | |
| Ransomware Inside Out | 1-gen-2016 | Mercaldo, F; Nardone, V; Santone, Antonella | |
| A formula driven incremental construction of web service compositions | 1-gen-2009 | Santone, Antonella; Vaglini, G; Villani, Ml | |
| A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis | 1-gen-2014 | De Ruvo, G; Santone, Antonella | |
| Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches | 1-gen-2012 | Santone, Antonella; Vaglini, G. | |
| Discovery of SOA Patterns via Model Checking | 1-gen-2007 | Di Penta, M; Santone, Antonella; Villani, Ml |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.361 a 1.380 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