IRIS

MURANO, ANIELLO

MURANO, ANIELLO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 210 (tempo di esecuzione: 0.036 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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.
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
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
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
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Prefazione) 2.2 Prefazione/Postfazione 2013 Murano, Aniello
Checking interval properties of computations 4.1 Articoli in Atti di convegno 2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
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
Full Formative Assessment based on Educational Video Games 4.1 Articoli in Atti di convegno 2010 Cuomo, Salvatore; V., Fuccella; 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
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science 1.1 Articolo in rivista 2009 Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio
Graded Computation Tree Logic with Binary Coding 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems 8.10 Tesi di Dottorato 2003 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
Weak Muller Tree Automata 4.1 Articoli in Atti di convegno 2004 Murano, Aniello
An Interdisciplinary Science Learning Envirnoment. 4.1 Articoli in Atti di convegno 2009 Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E.
Quantitatively Fair Scheduling 1.1 Articolo in rivista 2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello