Sfoglia per Autore
CSeq: A concurrency pre-processor for sequential C verification tools
2013-01-01 Fischer, B; Inverso, O; Parlato, G
CSeq: A Sequentialization Tool for C
2013-01-01 Fischer, B; Inverso, O; Parlato, G
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution)
2014-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
On the path-width of integer linear programming
2014-01-01 Enea, C; Habermehl, P; Inverso, O; Parlato, G
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution)
2014-01-01 Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014-01-01 Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution)
2015-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Verifying Concurrent Programs by Memory Unwinding
2015-01-01 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs
2015-01-01 Inverso, O; Nguyen, Tl; Fischer, B; La Torre, S; Parlato, G
Lazy sequentialization for TSO and PSO via shared memory abstractions
2016-01-01 Tomasco, E; Nguyen, T L; Inverso, O; Fischer, B; La Torre, S; Parlato, G
MU-CSeq 0.4: Individual memory location unwindings
2016-01-01 Tomasco, E; Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Verifying properties of systems relying on attribute-based communication
2017-01-01 De Nicola, R; Duong, T; Inverso, O; Mazzanti, F
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation
2017-01-01 Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G
AErlang: Empowering Erlang with Attribute-Based Communication
2017-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia
On the path-width of integer linear programming
2017-01-01 Enea, C; Habermehl, P; Inverso, O; Parlato, G
AErlang at Work
2017-01-01 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
AErlang: Empowering Erlang with attribute-based communication
2018-01-01 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
Toward formal models and languages for verifiable multi-robot systems
2018-01-01 De Nicola, R; Di Stefano, L; Inverso, O
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems
2018-01-01 Inverso, O; Bemporad, A; Tribastone, M
Multi-agent systems with virtual stigmergy
2018-01-01 De Nicola, R; Di Stefano, L; Inverso, O
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
CSeq: A concurrency pre-processor for sequential C verification tools | 1-gen-2013 | Fischer, B; Inverso, O; Parlato, G | |
CSeq: A Sequentialization Tool for C | 1-gen-2013 | Fischer, B; Inverso, O; Parlato, G | |
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) | 1-gen-2014 | Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
On the path-width of integer linear programming | 1-gen-2014 | Enea, C; Habermehl, P; Inverso, O; Parlato, G | |
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) | 1-gen-2014 | Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G | |
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization | 1-gen-2014 | Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G | |
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) | 1-gen-2015 | Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
Verifying Concurrent Programs by Memory Unwinding | 1-gen-2015 | Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs | 1-gen-2015 | Inverso, O; Nguyen, Tl; Fischer, B; La Torre, S; Parlato, G | |
Lazy sequentialization for TSO and PSO via shared memory abstractions | 1-gen-2016 | Tomasco, E; Nguyen, T L; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
MU-CSeq 0.4: Individual memory location unwindings | 1-gen-2016 | Tomasco, E; Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
Verifying properties of systems relying on attribute-based communication | 1-gen-2017 | De Nicola, R; Duong, T; Inverso, O; Mazzanti, F | |
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation | 1-gen-2017 | Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G | |
AErlang: Empowering Erlang with Attribute-Based Communication | 1-gen-2017 | De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia | |
On the path-width of integer linear programming | 1-gen-2017 | Enea, C; Habermehl, P; Inverso, O; Parlato, G | |
AErlang at Work | 1-gen-2017 | De Nicola, R; Duong, T; Inverso, O; Trubiani, C | |
AErlang: Empowering Erlang with attribute-based communication | 1-gen-2018 | De Nicola, R; Duong, T; Inverso, O; Trubiani, C | |
Toward formal models and languages for verifiable multi-robot systems | 1-gen-2018 | De Nicola, R; Di Stefano, L; Inverso, O | |
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems | 1-gen-2018 | Inverso, O; Bemporad, A; Tribastone, M | |
Multi-agent systems with virtual stigmergy | 1-gen-2018 | De Nicola, R; Di Stefano, L; Inverso, O |
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