IRIS

MURANO, ANIELLO

MURANO, ANIELLO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 223 (tempo di esecuzione: 0.038 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
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
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems 8.10 Tesi di Dottorato 2003 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
A Sketch-Based System for Teaching Geometry 4.1 Articoli in Atti di convegno 2011 Gennaro, Costagliola; Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio
Slide Test Maker An Educational Software Tool for Test Composition 4.1 Articoli in Atti di convegno 2012 Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio
Checking interval properties of computations 4.1 Articoli in Atti di convegno 2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
Quantitative Fairness Games 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Substructure Temporal Logic 4.1 Articoli in Atti di convegno 2013 Benerecetti, Massimo; Mogavero, Fabio; 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
Automata-theoretic decision of timed games 1.1 Articolo in rivista 2014 Faella, Marco; Salvatore La, Torre; Murano, Aniello
Strategic Reasoning in Formal Verification (invited talk) 8.02 Comunicazioni a Convegni o Seminari 2013 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
Synthesis of Hierarchical Systems 4.1 Articoli in Atti di convegno 2012 Benjamin, Aminof; Mogavero, Fabio; 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
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
Hierarchical games and their applications in reasoning about reactive systems 5.08 Concorsi di Progettazione 2010 Murano, Aniello; O., Kupferman
Rete oncologica pediatrica in Campania 8.03 Conv. e contr. di ricerca di Enti Pubblici/Privati 2008 Murano, Aniello