MURANO, ANIELLO
MURANO, ANIELLO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
\mu-calculus Pushdown Module Checking with Imperfect State Information
2008 B., Aminof; A., Legay; Murano, Aniello; O., Serre
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems
2003 Murano, Aniello
The Pushdown Module Checking Saga
2008 Murano, Aniello
Pushdown Module checking for Branching-time Temporal Logics
2006 Murano, Aniello
Timed games with branching-time winning conditions
2003 Murano, Aniello
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012)
2012 Faella, Marco; Murano, Aniello
Substructure Temporal Logic
2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science
2009 Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio
MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications
2015 Petr, Cermak; Alessio, Lomuscio; Murano, Aniello
Weak Muller Tree Automata
2004 Murano, Aniello
A Sketch-Based System for Teaching Geometry
2011 Gennaro, Costagliola; Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio
Graded Computation Tree Logic with Binary Coding
2010 Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello
Balanced Paths in Colored Graph
2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Quantitatively Fair Scheduling
2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Synthesis of Hierarchical Systems
2012 Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello
Quantitative Fairness Games
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Hierarchical games and their applications in reasoning about reactive systems
2010 Murano, Aniello; O., Kupferman
Full Formative Assessment based on Educational Video Games
2010 Cuomo, Salvatore; V., Fuccella; Murano, Aniello
INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche
2010 Masucci, Melania; Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio
An Interdisciplinary Science Learning Envirnoment.
2009 Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E.
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
\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 | |
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems | 8.10 Tesi di Dottorato | 2003 | Murano, Aniello | |
The Pushdown Module Checking Saga | 4.1 Articoli in Atti di convegno | 2008 | 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 | |
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 | |
Substructure Temporal Logic | 4.1 Articoli in Atti di convegno | 2013 | Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello | |
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science | 1.1 Articolo in rivista | 2009 | Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio | |
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 | |
Weak Muller Tree Automata | 4.1 Articoli in Atti di convegno | 2004 | Murano, Aniello | |
A Sketch-Based System for Teaching Geometry | 4.1 Articoli in Atti di convegno | 2011 | Gennaro, Costagliola; Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio | |
Graded Computation Tree Logic with Binary Coding | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello | |
Balanced Paths in Colored Graph | 4.1 Articoli in Atti di convegno | 2009 | A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio | |
Quantitatively Fair Scheduling | 1.1 Articolo in rivista | 2012 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
Synthesis of Hierarchical Systems | 4.1 Articoli in Atti di convegno | 2012 | Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello | |
Quantitative Fairness Games | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
Hierarchical games and their applications in reasoning about reactive systems | 5.08 Concorsi di Progettazione | 2010 | Murano, Aniello; O., Kupferman | |
Full Formative Assessment based on Educational Video Games | 4.1 Articoli in Atti di convegno | 2010 | Cuomo, Salvatore; V., Fuccella; 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 | |
An Interdisciplinary Science Learning Envirnoment. | 4.1 Articoli in Atti di convegno | 2009 | Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E. |