Sfoglia per Autore
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width
2012-01-01 La Torre, S; Parlato, G
Security Analysis of Role-Based Access Control through Program Verification
2012-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, G
Analyzing temporal role based access control models
2012-01-01 Uzun, E; Atluri, V; Sural, S; Vaidya, J; Parlato, G; Ferrara, Anna Lisa; Madhusudan, P.
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
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
2013-01-01 Pranav, Garg; P., Madhusudan; Parlato, G
CSeq: A concurrency pre-processor for sequential C verification tools
2013-01-01 Bernd, Fischer; Omar, Inverso; Parlato, G
Policy analysis for self-administrated role-based access control
2013-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro
CSeq: A Sequentialization Tool for C
2013-01-01 Bernd, Fischer; Omar, Inverso; Parlato, G
Context-Bounded Analysis of TSO Systems
2014-01-01 Mohamed Faouzi, Atig; Ahmed, Bouajjani; Parlato, G
On the Path-Width of Integer Linear Programming
2014-01-01 Constantin, Enea; Peter, Habermehl; Omar, Inverso; Parlato, G
Lazy-CSeq: A Lazy Sequentialization Tool for C
2014-01-01 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Unifying Approach for Multistack Pushdown Automata
2014-01-01 Salvatore La, Torre; Margherita, Napoli; Parlato, G
Vac - Verifier of administrative role-based access control policies
2014-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014-01-01 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Scope-Bounded Pushdown Languages.
2014-01-01 Salvatore La, Torre; Margherita, Napoli; Parlato, G
Security analysis for temporal role based access control
2014-01-01 Uzun, Emre; Atluri, Vijayalakshmi; Vaidya, Jaideep; Sural, Shamik; Ferrara, Anna Lisa; Parlato, Gennaro; Madhusudan, P.
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings
2014-01-01 Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; 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
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
Verifying Concurrent Programs by Memory Unwinding
2015-01-01 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width | 1-gen-2012 | La Torre, S; Parlato, G | |
| Security Analysis of Role-Based Access Control through Program Verification | 1-gen-2012 | Ferrara, Anna Lisa; Madhusudan, P.; Parlato, G | |
| Analyzing temporal role based access control models | 1-gen-2012 | Uzun, E; Atluri, V; Sural, S; Vaidya, J; Parlato, G; Ferrara, Anna Lisa; Madhusudan, P. | |
| 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 | |
| Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists | 1-gen-2013 | Pranav, Garg; P., Madhusudan; Parlato, G | |
| CSeq: A concurrency pre-processor for sequential C verification tools | 1-gen-2013 | Bernd, Fischer; Omar, Inverso; Parlato, G | |
| Policy analysis for self-administrated role-based access control | 1-gen-2013 | Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro | |
| CSeq: A Sequentialization Tool for C | 1-gen-2013 | Bernd, Fischer; Omar, Inverso; Parlato, G | |
| Context-Bounded Analysis of TSO Systems | 1-gen-2014 | Mohamed Faouzi, Atig; Ahmed, Bouajjani; Parlato, G | |
| On the Path-Width of Integer Linear Programming | 1-gen-2014 | Constantin, Enea; Peter, Habermehl; Omar, Inverso; Parlato, G | |
| Lazy-CSeq: A Lazy Sequentialization Tool for C | 1-gen-2014 | Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
| Unifying Approach for Multistack Pushdown Automata | 1-gen-2014 | Salvatore La, Torre; Margherita, Napoli; Parlato, G | |
| Vac - Verifier of administrative role-based access control policies | 1-gen-2014 | Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro | |
| Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization | 1-gen-2014 | Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
| Scope-Bounded Pushdown Languages. | 1-gen-2014 | Salvatore La, Torre; Margherita, Napoli; Parlato, G | |
| Security analysis for temporal role based access control | 1-gen-2014 | Uzun, Emre; Atluri, Vijayalakshmi; Vaidya, Jaideep; Sural, Shamik; Ferrara, Anna Lisa; Parlato, Gennaro; Madhusudan, P. | |
| MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings | 1-gen-2014 | Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; Salvatore La, Torre; 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 | |
| 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 | |
| Verifying Concurrent Programs by Memory Unwinding | 1-gen-2015 | Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro |
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