Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.021 a 1.040 di 4.751
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
2017-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings
2014-01-01 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Reducing Context-bounded Concurrent Reachability to Sequential Reachability
2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
2013-01-01 Pranav, Garg; P., Madhusudan; Parlato, G
On Sequentializing Concurrent Programs
2011-01-01 Bouajjani, A; Emmi, M; Parlato, G
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs
2015-01-01 Omar, Inverso; Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Analyzing temporal role based access control models
2012-01-01 Emre, Uzun; Vijayalakshmi, Atluri; Shamik, Sural; Jaideep, Vaidya; Parlato, G; Ferrara, Anna Lisa; Parthasarathy, Madhusudan
Verifying Concurrent Programs by Memory Unwinding
2015-01-01 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
A Robust Class of Context-Sensitive Languages
2007-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
The Language Theory of Bounded Context-Switching
2010-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation
2017-01-01 Nguyen Truc, L.; Inverso, Omar; Fischer, Bernd; La Torre, Salvatore; Parlato, G
CSeq: A concurrency pre-processor for sequential C verification tools
2013-01-01 Bernd, Fischer; Omar, Inverso; Parlato, G
CSeq: A Sequentialization Tool for C
2013-01-01 Bernd, Fischer; Omar, Inverso; Parlato, G
The Tree Width of Auxiliary Storage
2011-01-01 P, Madhusudan; Parlato, G
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs
2016-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Security Analysis of Role-Based Access Control through Program Verification
2012-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, G
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
2005-01-01 Alessandro, Ferrante; Parlato, G; F RANCESCO, Sorrentino; Carmine, Ventre
Context-Bounded Analysis of Concurrent Queue Systems
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings
2015-01-01 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G
On the Path-Width of Integer Linear Programming
2014-01-01 Constantin, Enea; Peter, Habermehl; Omar, Inverso; Parlato, G
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Concurrent Program Verification with Lazy Sequentialization and Interval Analysis | 1-gen-2017 | Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
| MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings | 1-gen-2014 | Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
| Reducing Context-bounded Concurrent Reachability to Sequential Reachability | 1-gen-2009 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
| Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists | 1-gen-2013 | Pranav, Garg; P., Madhusudan; Parlato, G | |
| On Sequentializing Concurrent Programs | 1-gen-2011 | Bouajjani, A; Emmi, M; Parlato, G | |
| Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs | 1-gen-2015 | Omar, Inverso; Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
| Analyzing temporal role based access control models | 1-gen-2012 | Emre, Uzun; Vijayalakshmi, Atluri; Shamik, Sural; Jaideep, Vaidya; Parlato, G; Ferrara, Anna Lisa; Parthasarathy, Madhusudan | |
| Verifying Concurrent Programs by Memory Unwinding | 1-gen-2015 | Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| A Robust Class of Context-Sensitive Languages | 1-gen-2007 | LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
| The Language Theory of Bounded Context-Switching | 1-gen-2010 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
| Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation | 1-gen-2017 | Nguyen Truc, L.; Inverso, Omar; Fischer, Bernd; La Torre, Salvatore; Parlato, G | |
| CSeq: A concurrency pre-processor for sequential C verification tools | 1-gen-2013 | Bernd, Fischer; Omar, Inverso; Parlato, G | |
| CSeq: A Sequentialization Tool for C | 1-gen-2013 | Bernd, Fischer; Omar, Inverso; Parlato, G | |
| The Tree Width of Auxiliary Storage | 1-gen-2011 | P, Madhusudan; Parlato, G | |
| Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs | 1-gen-2016 | Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
| Security Analysis of Role-Based Access Control through Program Verification | 1-gen-2012 | Ferrara, Anna Lisa; Madhusudan, P.; Parlato, G | |
| Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents | 1-gen-2005 | Alessandro, Ferrante; Parlato, G; F RANCESCO, Sorrentino; Carmine, Ventre | |
| Context-Bounded Analysis of Concurrent Queue Systems | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
| MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings | 1-gen-2015 | Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
| On the Path-Width of Integer Linear Programming | 1-gen-2014 | Constantin, Enea; Peter, Habermehl; Omar, Inverso; Parlato, G |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.021 a 1.040 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