Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 34
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
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
On the path-width of integer linear programming 1-gen-2014 Enea, C; Habermehl, P; 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
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 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
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
Verifying Concurrent Programs by Memory Unwinding 1-gen-2015 Tomasco, E; Inverso, O; 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
On the path-width of integer linear programming 1-gen-2017 Enea, C; Habermehl, P; Inverso, O; Parlato, G
Verifying properties of systems relying on attribute-based communication 1-gen-2017 De Nicola, R; Duong, T; Inverso, O; Mazzanti, F
AErlang at Work 1-gen-2017 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
AErlang: Empowering Erlang with Attribute-Based Communication 1-gen-2017 De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia
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-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
Mostrati risultati da 1 a 20 di 34
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