IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 76
Titolo Tipologia Data di pubblicazione Autore(i) File
Taming Strategy Logic: Non-Recurrent Fragments 1.1 Articolo in rivista 2023 Benerecetti, Massimo; Mogavero, Fabio; Peron, Adriano
Good-for-Game QPTL: An Alternating Hodges Semantics 1.1 Articolo in rivista 2023 Bellier, D.; Benerecetti, M.; Monica, D. D.; Mogavero, F.
From Quasi-Dominions to Progress Measures 2.1 Contributo in volume (Capitolo o Saggio) 2023 Benerecetti, Massimo; Dell'Erba, Daniele; Faella, Marco; Mogavero, Fabio
Quantifying Over Trees in Monadic Second-Order Logic 4.1 Articoli in Atti di convegno 2023 Benerecetti, Massimo; Bozzelli, Laura; Mogavero, Fabio; Peron, Adriano
Alternating (In)Dependence-Friendly Logic 1.1 Articolo in rivista 2023 Bellier, D.; Benerecetti, M.; Della Monica, D.; Mogavero, F.
Taming Strategy Logic: Non-Recurrent Fragments 4.1 Articoli in Atti di convegno 2022 Benerecetti, Massimo; Mogavero, Fabio; Peron, Adriano
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 4.1 Articoli in Atti di convegno 2022 Saddem-Yagoubi, Rim; Sanwal, Muhammad Usman; Libutti, Simone; Benerecetti, Massimo; Beugin, Julie; Flammini, Francesco; Ghazel, Mohamed; Janssen, Bob; Marrone, Stefano; Mogavero, Fabio; Nardone, Roberto; Peron, Adriano; Seceleanu, Cristina
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 4.1 Articoli in Atti di convegno 2021 Benerecetti, M.; Mogavero, F.; Peron, A.; Starace, L. L. L.
Robust worst cases for parity games algorithms 1.1 Articolo in rivista 2020 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Solving Mean-Payoff Games via Quasi Dominions 2.1 Contributo in volume (Capitolo o Saggio) 2020 Benerecetti, M.; Dell'Erba, D.; Mogavero, F.
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 1.1 Articolo in rivista 2020 Nardone, R.; Marrone, S.; Gentile, U.; Amato, A.; Barberio, G.; Benerecetti, M.; De Guglielmo, R.; Di Martino, B.; Mazzocca, N.; Peron, A.; Pisani, G.; Velardi, L.; Vittorini, V.
From Dynamic State Machines to Promela 2.1 Contributo in volume (Capitolo o Saggio) 2019 Benerecetti, Massimo; Gentile, Ugo; Nardone, Roberto; Peron, Adriano; Starace, LUIGI LIBERO LUCIO; Vittorini, Valeria; Marrone, Stefano
Satisfiability in Strategy Logic can be Easier than Model Checking 2.1 Contributo in volume (Capitolo o Saggio) 2019 Acar, Erman; Benerecetti, Massimo; Mogavero, Fabio
Solving parity games via priority promotion 1.1 Articolo in rivista 2018 Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
A delayed promotion policy for parity games 1.1 Articolo in rivista 2018 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control 1.1 Articolo in rivista 2017 Benerecetti, Massimo; Faella, Marco
Dynamic state machines for modelling railway control systems 1.1 Articolo in rivista 2017 Benerecetti, Massimo; DE GUGLIELMO, MARIA LUISA; Gentile, U.; Marrone, S.; Mazzocca, Nicola; Nardone, Roberto; Peron, Adriano; Velardi, L.; Vittorini, Valeria
Tracking smooth trajectories in linear hybrid systems 1.1 Articolo in rivista 2017 Benerecetti, Massimo; Faella, Marco
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games 4.1 Articoli in Atti di convegno 2017 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
A Delayed Promotion Policy for Parity Games 4.1 Articoli in Atti di convegno 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Mostrati risultati da 1 a 20 di 76
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