Sfoglia per Serie
Hierarchical and Recursive State Machines with Context-Dependent Properties
2003-01-01 SALVATORE LA, Torre; Margherita, Napoli; Mimmo, Parente; Parlato, G.
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
2005-01-01 Alessandro, Ferrante; Parlato, G; F RANCESCO, Sorrentino; Carmine, Ventre
An Infinite Automaton Characterization of Double Exponential Time
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Joint Use of GPR Surveys, Terrestrial and Aerial Photogrammetry for the Study of the Portico of the Cathedral of S. Pietro (Isernia, Italy)
2022-01-01 Cozzolino, Marilena; Gentile, Vincenzo; Mauriello, Paolo; Zullo, Enza
The Language Theory of Bounded Context-Switching
2010-01-01 SALVATORE LA, Torre; 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
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
Lazy-CSeq: A Lazy Sequentialization Tool for C
2014-01-01 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis
2021-01-01 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
2010-01-01 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
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
MU-CSeq 0.4: Individual Memory Location Unwindings
2016-01-01 Ermenegildo, Tomasco; Truc L., Nguyen; Omar, Inverso; 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
A Neural-Network-Based Framework for Supporting Driver Classification and Analysis
2021-01-01 Cuzzocrea, A.; Mercaldo, F.; Martinelli, F.
On Sequentializing Concurrent Programs
2011-01-01 Bouajjani, A; Emmi, M; Parlato, G
On the Complexity of Ltl Model-Checking of Recursive State Machines
2007-01-01 SALVATORE LA, Torre; Parlato, G
Policy analysis for self-administrated role-based access control
2013-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
2013-01-01 Pranav, Garg; P., Madhusudan; Parlato, G
Reducing Context-bounded Concurrent Reachability to Sequential Reachability
2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Smart Cities as "EnvironMental" Cities
2013-01-01 DE BONIS, Luciano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Hierarchical and Recursive State Machines with Context-Dependent Properties | 1-gen-2003 | SALVATORE LA, Torre; Margherita, Napoli; Mimmo, Parente; Parlato, G. | |
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents | 1-gen-2005 | Alessandro, Ferrante; Parlato, G; F RANCESCO, Sorrentino; Carmine, Ventre | |
An Infinite Automaton Characterization of Double Exponential Time | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Joint Use of GPR Surveys, Terrestrial and Aerial Photogrammetry for the Study of the Portico of the Cathedral of S. Pietro (Isernia, Italy) | 1-gen-2022 | Cozzolino, Marilena; Gentile, Vincenzo; Mauriello, Paolo; Zullo, Enza | |
The Language Theory of Bounded Context-Switching | 1-gen-2010 | SALVATORE LA, Torre; 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 | |
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 | |
Lazy-CSeq: A Lazy Sequentialization Tool for C | 1-gen-2014 | Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis | 1-gen-2021 | Cuzzocrea, A.; Mercaldo, F.; Martinelli, F. | |
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces | 1-gen-2010 | LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
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 | |
MU-CSeq 0.4: Individual Memory Location Unwindings | 1-gen-2016 | Ermenegildo, Tomasco; Truc L., Nguyen; Omar, Inverso; 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 | |
A Neural-Network-Based Framework for Supporting Driver Classification and Analysis | 1-gen-2021 | Cuzzocrea, A.; Mercaldo, F.; Martinelli, F. | |
On Sequentializing Concurrent Programs | 1-gen-2011 | Bouajjani, A; Emmi, M; Parlato, G | |
On the Complexity of Ltl Model-Checking of Recursive State Machines | 1-gen-2007 | SALVATORE LA, Torre; Parlato, G | |
Policy analysis for self-administrated role-based access control | 1-gen-2013 | Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro | |
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists | 1-gen-2013 | Pranav, Garg; P., Madhusudan; Parlato, G | |
Reducing Context-bounded Concurrent Reachability to Sequential Reachability | 1-gen-2009 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Smart Cities as "EnvironMental" Cities | 1-gen-2013 | DE BONIS, Luciano |
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