MURANO, ANIELLO
MURANO, ANIELLO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Synthesis of Hierarchical Systems
2012 Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello
MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications
2015 Petr, Cermak; Alessio, Lomuscio; Murano, Aniello
Balanced Paths in Colored Graph
2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Weak Muller Tree Automata
2004 Murano, Aniello
Quantitatively Fair Scheduling
2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Checking interval properties of computations
2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
Full Formative Assessment based on Educational Video Games
2010 Cuomo, Salvatore; V., Fuccella; Murano, Aniello
Substructure Temporal Logic
2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Strategic Reasoning in Formal Verification (invited talk)
2013 Murano, Aniello
MCMAS-SLK: A model checker for the verification of strategy logic specifications.
2014 Petr, Cermak; Alessio, Lomuscio; 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
On Promptness in Parity Games
2013 Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014
2014 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Exploring the Boundary of Half Positionality
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Slide Test Maker An Educational Software Tool for Test Composition
2012 Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio
Guest editor
2012 Murano, Aniello
Polo delle Scienze e delle Tecnologie dell'Università di Napoli Federico II
2008 Murano, Aniello
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 |