MURANO, ANIELLO

MURANO, ANIELLO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 208 (tempo di esecuzione: 0.039 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Synthesis of Hierarchical Systems 4.1 Articoli in Atti di convegno 2012 Benjamin, Aminof; 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
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
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
Full Formative Assessment based on Educational Video Games 4.1 Articoli in Atti di convegno 2010 Cuomo, Salvatore; V., Fuccella; Murano, Aniello
Substructure Temporal Logic 4.1 Articoli in Atti di convegno 2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Strategic Reasoning in Formal Verification (invited talk) 8.02 Comunicazioni a Convegni o Seminari 2013 Murano, Aniello
MCMAS-SLK: A model checker for the verification of strategy logic specifications. 5.13 Software 2014 Petr, Cermak; Alessio, Lomuscio; 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
On Promptness in Parity Games 4.1 Articoli in Atti di convegno 2013 Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
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
Exploring the Boundary of Half Positionality 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Slide Test Maker An Educational Software Tool for Test Composition 4.1 Articoli in Atti di convegno 2012 Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio
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