IRIS

MURANO, ANIELLO

MURANO, ANIELLO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 224 (tempo di esecuzione: 0.041 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Prefazione) 2.2 Prefazione/Postfazione 2013 Murano, Aniello
The Pushdown Module Checking Saga 4.1 Articoli in Atti di convegno 2008 Murano, Aniello
Strategic Reasoning in Formal Verification (invited talk) 8.02 Comunicazioni a Convegni o Seminari 2013 Murano, Aniello
Automata-theoretic Decision of Timed Games 4.1 Articoli in Atti di convegno 2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Pushdown Module checking for Branching-time Temporal Logics 4.1 Articoli in Atti di convegno 2006 Murano, Aniello
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
Graded Computation Tree Logic with Binary Coding 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello
Automata-theoretic decision of timed games 1.1 Articolo in rivista 2014 Faella, Marco; Salvatore La, Torre; Murano, Aniello
Quantitative Fairness Games 1.1 Articolo in rivista 2010 A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Quantitative Fairness Games 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
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
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
Timed games with branching-time winning conditions 4.1 Articoli in Atti di convegno 2003 Murano, Aniello
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
Branching-Time Temporal Logics with Minimal Model Quantifiers 4.1 Articoli in Atti di convegno 2009 Mogavero, F.; Murano, Aniello
\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
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.