IRIS

BENERECETTI, MASSIMO

BENERECETTI, MASSIMO  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 68 (tempo di esecuzione: 0.021 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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
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.
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.
Robust worst cases for parity games algorithms 1.1 Articolo in rivista 2020 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
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
Reasoning about substructures and games 1.1 Articolo in rivista 2015 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
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
Tracking smooth trajectories in linear hybrid systems 1.1 Articolo in rivista 2017 Benerecetti, Massimo; Faella, Marco
A Delayed Promotion Policy for Parity Games 4.1 Articoli in Atti di convegno 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Improving Priority Promotion for Parity Games 2.1 Contributo in volume (Capitolo o Saggio) 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
A distributed architecture to integrate ontological knowledge into information extraction 1.1 Articolo in rivista 2016 Alicante, Anita; Benerecetti, Massimo; Corazza, Anna; Silvestri, Stefano
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
Timed recursive state machines: Expressiveness and complexity 1.1 Articolo in rivista 2016 Benerecetti, Massimo; Peron, Adriano
Solving parity games via priority promotion 2.1 Contributo in volume (Capitolo o Saggio) 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
A Distributed Information Extraction System Integrating Ontological Knowledge and Probabilistic Classifiers 4.1 Articoli in Atti di convegno 2014 Anita, Alicante; Benerecetti, Massimo; Corazza, Anna; Stefano, Silvestri
Modeling railway control systems in promela 2.1 Contributo in volume (Capitolo o Saggio) 2016 Nardone, Roberto; Gentile, Ugo; Benerecetti, Massimo; Peron, Adriano; Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola
Dynamic State Machines for Formalizing Railway Control System Specifications 4.1 Articoli in Atti di convegno 2015 Nardone, Roberto; Gentile, Ugo; Peron, Adriano; Benerecetti, Massimo; Vittorini, Valeria; Marrone, Stefano; De Guglielmo, Renato; Mazzocca, Nicola; Velardi, Luigi