Sfoglia per Autore
From Quasi-Dominions to Progress Measures
2023 Benerecetti, Massimo; Dell'Erba, Daniele; Faella, Marco; Mogavero, Fabio
Alternating (In)Dependence-Friendly Logic
2023 Bellier, D.; Benerecetti, M.; Della Monica, D.; Mogavero, F.
Taming Strategy Logic: Non-Recurrent Fragments
2023 Benerecetti, Massimo; Mogavero, Fabio; Peron, Adriano
Quantifying Over Trees in Monadic Second-Order Logic
2023 Benerecetti, Massimo; Bozzelli, Laura; Mogavero, Fabio; Peron, Adriano
Good-for-Game QPTL: An Alternating Hodges Semantics
2023 Bellier, D.; Benerecetti, M.; Monica, D. D.; Mogavero, F.
Taming Strategy Logic: Non-Recurrent Fragments
2022 Benerecetti, Massimo; Mogavero, Fabio; Peron, Adriano
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project
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
2021 Benerecetti, M.; Mogavero, F.; Peron, A.; Starace, L. L. L.
Robust worst cases for parity games algorithms
2020 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers
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.
Solving Mean-Payoff Games via Quasi Dominions
2020 Benerecetti, M.; Dell'Erba, D.; Mogavero, F.
Satisfiability in Strategy Logic can be Easier than Model Checking
2019 Acar, Erman; Benerecetti, Massimo; Mogavero, Fabio
From Dynamic State Machines to Promela
2019 Benerecetti, Massimo; Gentile, Ugo; Nardone, Roberto; Peron, Adriano; Starace, LUIGI LIBERO LUCIO; Vittorini, Valeria; Marrone, Stefano
Solving parity games via priority promotion
2018 Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
A delayed promotion policy for parity games
2018 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games
2017 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Dynamic state machines for modelling railway control systems
2017 Benerecetti, Massimo; DE GUGLIELMO, MARIA LUISA; Gentile, U.; Marrone, S.; Mazzocca, Nicola; Nardone, Roberto; Peron, Adriano; Velardi, L.; Vittorini, Valeria
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control
2017 Benerecetti, Massimo; Faella, Marco
Tracking smooth trajectories in linear hybrid systems
2017 Benerecetti, Massimo; Faella, Marco
Timed recursive state machines: Expressiveness and complexity
2016 Benerecetti, Massimo; Peron, Adriano
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
From Quasi-Dominions to Progress Measures | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Benerecetti, Massimo; Dell'Erba, Daniele; Faella, Marco; Mogavero, Fabio | |
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 | 1.1 Articolo in rivista | 2023 | Benerecetti, Massimo; Mogavero, Fabio; Peron, Adriano | |
Quantifying Over Trees in Monadic Second-Order Logic | 4.1 Articoli in Atti di convegno | 2023 | Benerecetti, Massimo; Bozzelli, Laura; 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. | |
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 | |
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. | |
Solving Mean-Payoff Games via Quasi Dominions | 2.1 Contributo in volume (Capitolo o Saggio) | 2020 | Benerecetti, M.; Dell'Erba, D.; Mogavero, F. | |
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 | |
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 | |
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 | |
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 | |
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 | |
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control | 1.1 Articolo in rivista | 2017 | Benerecetti, Massimo; Faella, Marco | |
Tracking smooth trajectories in linear hybrid systems | 1.1 Articolo in rivista | 2017 | Benerecetti, Massimo; Faella, Marco | |
Timed recursive state machines: Expressiveness and complexity | 1.1 Articolo in rivista | 2016 | Benerecetti, Massimo; Peron, Adriano |
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