Sfoglia per Autore
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
2005-01-01 Alessandro, Ferrante; Parlato, Gennaro; F., RANCESCO SORRENTINO; Carmine, Ventre
On the Complexity of Ltl Model-Checking of Recursive State Machines
2007-01-01 SALVATORE LA, Torre; Parlato, Gennaro
A Robust Class of Context-Sensitive Languages
2007-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro; LA TORRE, Salvatore
A Robust Class of Context-Sensitive Languages
2007-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
Context-Bounded Analysis of Concurrent Queue Systems
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time
2008-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
Verification of Scope-dependent Hierarchical State Machines
2008-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro
Context-Bounded Analysis of Concurrent Queue Systems
2008-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
Fast payment schemes for truthful mechanisms with verification
2009-01-01 Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre
Model-checking parameterized concurrent programs using linear interfaces.
2010-01-01 SALVATORE LA, Torre; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces.
2010-01-01 SALVATORE LA, Torre; Parlato, Gennaro
Model-checking parameterized concurrent programs using linear interfaces.
2010-01-01 SALVATORE LA, Torre; Parlato, Gennaro
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
2010-01-01 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
The Language Theory of Bounded Context-Switching
2010-01-01 LA TORRE, Salvatore; Parthasarathy, Madhusudan; Parlato, Gennaro
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
2012-01-01 LA TORRE, Salvatore; Parlato, Gennaro
Sequentializing Parameterized Programs
2012-01-01 LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
A Unifying Approach for Multistack Pushdown Automata
2014-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Scope-Bounded Pushdown Languages
2014-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Verifying Concurrent Programs by Memory Unwinding
2015-01-01 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs
2015-01-01 Inverso, Omar; Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents | 1-gen-2005 | Alessandro, Ferrante; Parlato, Gennaro; F., RANCESCO SORRENTINO; Carmine, Ventre | |
On the Complexity of Ltl Model-Checking of Recursive State Machines | 1-gen-2007 | SALVATORE LA, Torre; Parlato, Gennaro | |
A Robust Class of Context-Sensitive Languages | 1-gen-2007 | SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro; LA TORRE, Salvatore | |
A Robust Class of Context-Sensitive Languages | 1-gen-2007 | LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
Context-Bounded Analysis of Concurrent Queue Systems | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro | |
An Infinite Automaton Characterization of Double Exponential Time | 1-gen-2008 | SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro | |
Verification of Scope-dependent Hierarchical State Machines | 1-gen-2008 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro | |
Context-Bounded Analysis of Concurrent Queue Systems | 1-gen-2008 | LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
Fast payment schemes for truthful mechanisms with verification | 1-gen-2009 | Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre | |
Model-checking parameterized concurrent programs using linear interfaces. | 1-gen-2010 | SALVATORE LA, Torre; Parlato, Gennaro | |
Model-checking parameterized concurrent programs using linear interfaces. | 1-gen-2010 | SALVATORE LA, Torre; Parlato, Gennaro | |
Model-checking parameterized concurrent programs using linear interfaces. | 1-gen-2010 | SALVATORE LA, Torre; Parlato, Gennaro | |
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces | 1-gen-2010 | LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
The Language Theory of Bounded Context-Switching | 1-gen-2010 | LA TORRE, Salvatore; Parthasarathy, Madhusudan; Parlato, Gennaro | |
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width | 1-gen-2012 | LA TORRE, Salvatore; Parlato, Gennaro | |
Sequentializing Parameterized Programs | 1-gen-2012 | LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
A Unifying Approach for Multistack Pushdown Automata | 1-gen-2014 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
Scope-Bounded Pushdown Languages | 1-gen-2014 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
Verifying Concurrent Programs by Memory Unwinding | 1-gen-2015 | Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs | 1-gen-2015 | Inverso, Omar; Nguyen, Truc L.; 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