MURANO, ANIELLO
MURANO, ANIELLO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Hierarchical games and their applications in reasoning about reactive systems
2010 Murano, Aniello; O., Kupferman
Strategic Reasoning in Formal Verification (invited talk)
2013 Murano, Aniello
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems
2003 Murano, Aniello
Model-checking the Secure Release of a Time-locked Secret over a Network
2004 LA TORRE, Salvatore; Murano, Aniello; Parente, M.
Reasoning About Strategies: On the Model-Checking Problem
2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012
2012 Murano, Aniello
Guest editor
2012 Murano, Aniello
Polo delle Scienze e delle Tecnologie dell'Università di Napoli Federico II
2008 Murano, Aniello
Weak Muller Tree Automata
2004 Murano, Aniello
An Interdisciplinary Science Learning Envirnoment.
2009 Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E.
MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications
2015 Petr, Cermak; Alessio, Lomuscio; Murano, Aniello
Synthesis of Hierarchical Systems
2012 Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello
Substructure Temporal Logic
2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Pushdown module checking with imperfect information
2013 Benjamin, Aminof; Axel, Legay; Murano, Aniello; Olivier, Serre; Moshe Y., Vardi
Slide Test Maker An Educational Software Tool for Test Composition
2012 Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012)
2012 Faella, Marco; Murano, Aniello
Quantitatively Fair Scheduling
2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Full Formative Assessment based on Educational Video Games
2010 Cuomo, Salvatore; V., Fuccella; Murano, Aniello
Pushdown Module checking for Branching-time Temporal Logics
2006 Murano, Aniello
Timed games with branching-time winning conditions
2003 Murano, Aniello
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Hierarchical games and their applications in reasoning about reactive systems | 5.08 Concorsi di Progettazione | 2010 | Murano, Aniello; O., Kupferman | |
| Strategic Reasoning in Formal Verification (invited talk) | 8.02 Comunicazioni a Convegni o Seminari | 2013 | Murano, Aniello | |
| Tecision Problems on Tree Automata and Synthesis of Open Timed Systems | 8.10 Tesi di Dottorato | 2003 | Murano, Aniello | |
| Model-checking the Secure Release of a Time-locked Secret over a Network | 1.1 Articolo in rivista | 2004 | LA TORRE, Salvatore; Murano, Aniello; Parente, M. | |
| Reasoning About Strategies: On the Model-Checking Problem | 1.1 Articolo in rivista | 2014 | Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi | |
| Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012 | 8.04 Convegni organizzati dalla struttura | 2012 | Murano, Aniello | |
| Guest editor | 8.06 Partecip. Editorial Board di riviste scientifiche | 2012 | Murano, Aniello | |
| Polo delle Scienze e delle Tecnologie dell'Università di Napoli Federico II | 8.05 Partecip. Consigli Scientifici/Direttivi | 2008 | Murano, Aniello | |
| Weak Muller Tree Automata | 4.1 Articoli in Atti di convegno | 2004 | Murano, Aniello | |
| An Interdisciplinary Science Learning Envirnoment. | 4.1 Articoli in Atti di convegno | 2009 | Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E. | |
| MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications | 5.13 Software | 2015 | Petr, Cermak; Alessio, Lomuscio; Murano, Aniello | |
| Synthesis of Hierarchical Systems | 4.1 Articoli in Atti di convegno | 2012 | Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello | |
| Substructure Temporal Logic | 4.1 Articoli in Atti di convegno | 2013 | Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello | |
| Pushdown module checking with imperfect information | 1.1 Articolo in rivista | 2013 | Benjamin, Aminof; Axel, Legay; Murano, Aniello; Olivier, Serre; Moshe Y., Vardi | |
| Slide Test Maker An Educational Software Tool for Test Composition | 4.1 Articoli in Atti di convegno | 2012 | Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio | |
| Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012) | 7.1 Curatore o Editor di Libri Scientifici | 2012 | Faella, Marco; Murano, Aniello | |
| Quantitatively Fair Scheduling | 1.1 Articolo in rivista | 2012 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
| Full Formative Assessment based on Educational Video Games | 4.1 Articoli in Atti di convegno | 2010 | Cuomo, Salvatore; V., Fuccella; Murano, Aniello | |
| Pushdown Module checking for Branching-time Temporal Logics | 4.1 Articoli in Atti di convegno | 2006 | Murano, Aniello | |
| Timed games with branching-time winning conditions | 4.1 Articoli in Atti di convegno | 2003 | Murano, Aniello |