Sfoglia per Autore
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
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions
2016-01-01 Tomasco, E.; Nguyen, T. L.; Inverso, O.; Fischer, B.; LA TORRE, Salvatore; Parlato, Gennaro
MU-CSeq 0.4: Individual memory location unwindings
2016-01-01 Tomasco, Ermenegildo; Nguyen, Truc L.; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Scope-Bounded Pushdown Languages
2016-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Lazy sequentialization for the safety verification of unbounded concurrent programs
2016-01-01 Nguyen, Truc L; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
2017-01-01 Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Parallel bug-finding in concurrent programs via reduced interleaving instances
2017-01-01 Nguyen, Truc L.; Schrammel, Peter; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation
2017-01-01 Nguyen, Truc L.; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Using shared memory abstractions to design eager sequentializations for weak memory models
2017-01-01 Tomasco, Ermenegildo; Nguyen, Truc Lam; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq
2019-01-01 Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro
Model Checking BDI Logics over Finite-state Worlds
2019-01-01 LA TORRE, Salvatore; Parlato, Gennaro
Reachability of scope-bounded multistack pushdown systems
2020-01-01 La Torre, S.; Napoli, M.; Parlato, G.
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities
2020-01-01 La Torre, S.; Parlato, G.
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds
2020-01-01 LA TORRE, Salvatore; Parlato, Gennaro
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
2022-01-01 Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G.
The Tree Width of Automata with Auxiliary Storage.
In corso di stampa P., Madhusudan; Parlato, Gennaro
Sequentializing Parameterized Programs
In corso di stampa SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
Sequentializing Parameterized Programs
In corso di stampa SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
Sequentializing Parameterized Programs
In corso di stampa SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions | 1-gen-2016 | Tomasco, E.; Nguyen, T. L.; Inverso, O.; Fischer, B.; LA TORRE, Salvatore; Parlato, Gennaro | |
MU-CSeq 0.4: Individual memory location unwindings | 1-gen-2016 | Tomasco, Ermenegildo; Nguyen, Truc L.; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
Scope-Bounded Pushdown Languages | 1-gen-2016 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
Lazy sequentialization for the safety verification of unbounded concurrent programs | 1-gen-2016 | Nguyen, Truc L; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis | 1-gen-2017 | Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
Parallel bug-finding in concurrent programs via reduced interleaving instances | 1-gen-2017 | Nguyen, Truc L.; Schrammel, Peter; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation | 1-gen-2017 | Nguyen, Truc L.; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
Using shared memory abstractions to design eager sequentializations for weak memory models | 1-gen-2017 | Tomasco, Ermenegildo; Nguyen, Truc Lam; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro | |
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq | 1-gen-2019 | Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro | |
Model Checking BDI Logics over Finite-state Worlds | 1-gen-2019 | LA TORRE, Salvatore; Parlato, Gennaro | |
Reachability of scope-bounded multistack pushdown systems | 1-gen-2020 | La Torre, S.; Napoli, M.; Parlato, G. | |
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities | 1-gen-2020 | La Torre, S.; Parlato, G. | |
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds | 1-gen-2020 | LA TORRE, Salvatore; Parlato, Gennaro | |
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization | 1-gen-2022 | Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G. | |
The Tree Width of Automata with Auxiliary Storage. | In corso di stampa | P., Madhusudan; Parlato, Gennaro | |
Sequentializing Parameterized Programs | In corso di stampa | SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro | |
Sequentializing Parameterized Programs | In corso di stampa | SALVATORE LA, Torre; P., Madhusudan; Parlato, Gennaro | |
Sequentializing Parameterized Programs | In corso di stampa | SALVATORE LA, Torre; P., Madhusudan; 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