MURANO, ANIELLO
MURANO, ANIELLO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Strategic Reasoning in Formal Verification (invited talk)
2013 Murano, Aniello
Pushdown Module checking for Branching-time Temporal Logics
2006 Murano, Aniello
Timed games with branching-time winning conditions
2003 Murano, Aniello
The Pushdown Module Checking Saga
2008 Murano, Aniello
Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013
2013 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014
2014 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Guest editor
2012 Murano, Aniello
Polo delle Scienze e delle Tecnologie dell'Università di Napoli Federico II
2008 Murano, Aniello
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012
2012 Murano, Aniello
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Prefazione)
2013 Murano, Aniello
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012)
2012 Faella, Marco; Murano, Aniello
Hierarchical games and their applications in reasoning about reactive systems
2010 Murano, Aniello; O., Kupferman
Rete oncologica pediatrica in Campania
2008 Murano, Aniello
Balanced Paths in Colored Graph
2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems
2003 Murano, Aniello
Automata-theoretic Decision of Timed Games
2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Synthesis of Hierarchical Systems
2012 Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello
Model-checking the Secure Release of a Time-locked Secret over a Network
2004 LA TORRE, Salvatore; Murano, Aniello; Parente, M.
Quantitative Fairness Games
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Exploring the Boundary of Half Positionality
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
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 | |
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 | |
The Pushdown Module Checking Saga | 4.1 Articoli in Atti di convegno | 2008 | 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 | |
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014 | 7.1 Curatore o Editor di Libri Scientifici | 2014 | Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi | |
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 | |
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012 | 8.04 Convegni organizzati dalla struttura | 2012 | Murano, Aniello | |
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Prefazione) | 2.2 Prefazione/Postfazione | 2013 | 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 | |
Hierarchical games and their applications in reasoning about reactive systems | 5.08 Concorsi di Progettazione | 2010 | Murano, Aniello; O., Kupferman | |
Rete oncologica pediatrica in Campania | 8.03 Conv. e contr. di ricerca di Enti Pubblici/Privati | 2008 | Murano, Aniello | |
Balanced Paths in Colored Graph | 4.1 Articoli in Atti di convegno | 2009 | A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio | |
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems | 8.10 Tesi di Dottorato | 2003 | Murano, Aniello | |
Automata-theoretic Decision of Timed Games | 4.1 Articoli in Atti di convegno | 2002 | Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
Synthesis of Hierarchical Systems | 4.1 Articoli in Atti di convegno | 2012 | Benjamin, Aminof; Mogavero, Fabio; 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. | |
Quantitative Fairness Games | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
Exploring the Boundary of Half Positionality | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello |