IRIS

MURANO, ANIELLO

MURANO, ANIELLO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 224 (tempo di esecuzione: 0.019 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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
Strategic Reasoning in Formal Verification (invited talk) 8.02 Comunicazioni a Convegni o Seminari 2013 Murano, Aniello
Full Formative Assessment based on Educational Video Games 4.1 Articoli in Atti di convegno 2010 Cuomo, Salvatore; V., Fuccella; Murano, Aniello
Quantitatively Fair Scheduling 1.1 Articolo in rivista 2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Checking interval properties of computations 4.1 Articoli in Atti di convegno 2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
\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
An Interdisciplinary Science Learning Envirnoment. 4.1 Articoli in Atti di convegno 2009 Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E.
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
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.
Graded Computation Tree Logic with Binary Coding 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello
Branching-Time Temporal Logics with Minimal Model Quantifiers 4.1 Articoli in Atti di convegno 2009 Mogavero, F.; Murano, Aniello
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems 8.10 Tesi di Dottorato 2003 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
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
Reasoning About Strategies: On the Model-Checking Problem 1.1 Articolo in rivista 2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
Hierarchical games and their applications in reasoning about reactive systems 5.08 Concorsi di Progettazione 2010 Murano, Aniello; O., Kupferman
The Pushdown Module Checking Saga 4.1 Articoli in Atti di convegno 2008 Murano, Aniello