MURANO, ANIELLO
MURANO, ANIELLO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Strategic Reasoning in Formal Verification (invited talk)
2013 Murano, Aniello
Balanced Paths in Colored Graph
2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Weak Muller Tree Automata
2004 Murano, Aniello
Branching-Time Temporal Logics with Minimal Model Quantifiers
2009 Mogavero, F.; Murano, Aniello
Full Formative Assessment based on Educational Video Games
2010 Cuomo, Salvatore; V., Fuccella; Murano, Aniello
Hierarchical games and their applications in reasoning about reactive systems
2010 Murano, Aniello; O., Kupferman
Model-checking the Secure Release of a Time-locked Secret over a Network
2004 LA TORRE, Salvatore; Murano, Aniello; Parente, M.
\mu-calculus Pushdown Module Checking with Imperfect State Information
2008 B., Aminof; A., Legay; Murano, Aniello; O., Serre
INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche
2010 Masucci, Melania; Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012
2012 Murano, Aniello
Polo delle Scienze e delle Tecnologie dell'Università di Napoli Federico II
2008 Murano, Aniello
Guest editor
2012 Murano, Aniello
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012)
2012 Faella, Marco; Murano, Aniello
Synthesis of Hierarchical Systems
2012 Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello
Timed games with branching-time winning conditions
2003 Murano, Aniello
Reasoning About Strategies: On the Model-Checking Problem
2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
The Pushdown Module Checking Saga
2008 Murano, Aniello
Rete oncologica pediatrica in Campania
2008 Murano, Aniello
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems
2003 Murano, Aniello
Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013
2013 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Strategic Reasoning in Formal Verification (invited talk) | 8.02 Comunicazioni a Convegni o Seminari | 2013 | Murano, Aniello | |
| Balanced Paths in Colored Graph | 4.1 Articoli in Atti di convegno | 2009 | A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio | |
| Weak Muller Tree Automata | 4.1 Articoli in Atti di convegno | 2004 | Murano, Aniello | |
| Branching-Time Temporal Logics with Minimal Model Quantifiers | 4.1 Articoli in Atti di convegno | 2009 | Mogavero, F.; Murano, Aniello | |
| Full Formative Assessment based on Educational Video Games | 4.1 Articoli in Atti di convegno | 2010 | Cuomo, Salvatore; V., Fuccella; Murano, Aniello | |
| Hierarchical games and their applications in reasoning about reactive systems | 5.08 Concorsi di Progettazione | 2010 | Murano, Aniello; O., Kupferman | |
| 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. | |
| \mu-calculus Pushdown Module Checking with Imperfect State Information | 4.1 Articoli in Atti di convegno | 2008 | B., Aminof; A., Legay; Murano, Aniello; O., Serre | |
| INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche | 1.1 Articolo in rivista | 2010 | Masucci, Melania; Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio | |
| Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012 | 8.04 Convegni organizzati dalla struttura | 2012 | Murano, Aniello | |
| Polo delle Scienze e delle Tecnologie dell'Università di Napoli Federico II | 8.05 Partecip. Consigli Scientifici/Direttivi | 2008 | Murano, Aniello | |
| Guest editor | 8.06 Partecip. Editorial Board di riviste scientifiche | 2012 | Murano, Aniello | |
| 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 | |
| Synthesis of Hierarchical Systems | 4.1 Articoli in Atti di convegno | 2012 | Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello | |
| Timed games with branching-time winning conditions | 4.1 Articoli in Atti di convegno | 2003 | Murano, Aniello | |
| Reasoning About Strategies: On the Model-Checking Problem | 1.1 Articolo in rivista | 2014 | Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi | |
| The Pushdown Module Checking Saga | 4.1 Articoli in Atti di convegno | 2008 | Murano, Aniello | |
| Rete oncologica pediatrica in Campania | 8.03 Conv. e contr. di ricerca di Enti Pubblici/Privati | 2008 | Murano, Aniello | |
| Tecision Problems on Tree Automata and Synthesis of Open Timed Systems | 8.10 Tesi di Dottorato | 2003 | Murano, Aniello | |
| Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013 | 7.1 Curatore o Editor di Libri Scientifici | 2013 | Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi |