FAELLA, MARCO
FAELLA, MARCO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Adding default attributes to EL++
2011 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
2007 Faella, Marco; L., DE ALFARO
Qualitative Logics and Equivalences for Probabilistic Systems
2007 L., DE ALFARO; K., Chatterjee; Faella, Marco; A., Legay
Code Aware Resource Management
2005 L., DE ALFARO; Faella, Marco; R., Majumdar; V., Raman
Code aware resource management
2013 Krishnendu, Chatterjee; Luca de, Alfaro; Faella, Marco; Rupak, Majumdar; Vishwanath, Raman
Quantitative Fairness Games
2010 A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello
An Integrated Formal Approach to Usage Control
2013 Bonatti, PIERO ANDREA; Sauro, Luigi; Faella, Marco; Galdi, Clemente
Towards Efficient Exact Synthesis for Linear Hybrid Systems
2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Automata-theoretic decision of timed games
2014 Faella, Marco; Salvatore La, Torre; Murano, Aniello
Defeasible inclusions in low-complexity DLs: preliminary notes
2009 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Linear and Branching Metrics for Quantitative Transition Systems
2004 L., de Alfaro; Faella, Marco; M., Stoelinga
Sociable Interfaces
2005 L., de Alfaro; L., Dias da Silva; Faella, Marco; A., Legay; P., Roy; M., Sorea
Assigning trust to Wikipedia content
2008 B. T., Adler; K., Chatterjee; L., de Alfaro; Faella, Marco; I., Pye; V., Raman
Reachability games for linear hybrid systems.
2012 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Average Reward Timed Games
2005 L., de Alfaro; Faella, Marco; B., Adler
The Element of Surprise in Timed Games
2003 L., DE ALFARO; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga
Tracking differentiable trajectories across polyhedra boundaries
2013 Benerecetti, Massimo; Faella, Marco
Quantitative Fairness Games
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Automata-theoretic Decision of Timed Games
2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Linear and Branching System Metrics
2009 L., de Alfaro; Faella, Marco; M., Stoelinga
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Adding default attributes to EL++ | 4.1 Articoli in Atti di convegno | 2011 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi | |
| An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games | 4.1 Articoli in Atti di convegno | 2007 | Faella, Marco; L., DE ALFARO | |
| Qualitative Logics and Equivalences for Probabilistic Systems | 4.1 Articoli in Atti di convegno | 2007 | L., DE ALFARO; K., Chatterjee; Faella, Marco; A., Legay | |
| Code Aware Resource Management | 4.1 Articoli in Atti di convegno | 2005 | L., DE ALFARO; Faella, Marco; R., Majumdar; V., Raman | |
| Code aware resource management | 1.1 Articolo in rivista | 2013 | Krishnendu, Chatterjee; Luca de, Alfaro; Faella, Marco; Rupak, Majumdar; Vishwanath, Raman | |
| Quantitative Fairness Games | 1.1 Articolo in rivista | 2010 | A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
| An Integrated Formal Approach to Usage Control | 4.1 Articoli in Atti di convegno | 2013 | Bonatti, PIERO ANDREA; Sauro, Luigi; Faella, Marco; Galdi, Clemente | |
| Towards Efficient Exact Synthesis for Linear Hybrid Systems | 4.1 Articoli in Atti di convegno | 2011 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
| Automata-theoretic decision of timed games | 1.1 Articolo in rivista | 2014 | Faella, Marco; Salvatore La, Torre; Murano, Aniello | |
| Defeasible inclusions in low-complexity DLs: preliminary notes | 2.1 Contributo in volume (Capitolo o Saggio) | 2009 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi | |
| Linear and Branching Metrics for Quantitative Transition Systems | 4.1 Articoli in Atti di convegno | 2004 | L., de Alfaro; Faella, Marco; M., Stoelinga | |
| Sociable Interfaces | 4.1 Articoli in Atti di convegno | 2005 | L., de Alfaro; L., Dias da Silva; Faella, Marco; A., Legay; P., Roy; M., Sorea | |
| Assigning trust to Wikipedia content | 4.1 Articoli in Atti di convegno | 2008 | B. T., Adler; K., Chatterjee; L., de Alfaro; Faella, Marco; I., Pye; V., Raman | |
| Reachability games for linear hybrid systems. | 4.1 Articoli in Atti di convegno | 2012 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
| Average Reward Timed Games | 4.1 Articoli in Atti di convegno | 2005 | L., de Alfaro; Faella, Marco; B., Adler | |
| The Element of Surprise in Timed Games | 4.1 Articoli in Atti di convegno | 2003 | L., DE ALFARO; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga | |
| Tracking differentiable trajectories across polyhedra boundaries | 4.1 Articoli in Atti di convegno | 2013 | Benerecetti, Massimo; Faella, Marco | |
| Quantitative Fairness Games | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
| Automata-theoretic Decision of Timed Games | 4.1 Articoli in Atti di convegno | 2002 | Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
| Linear and Branching System Metrics | 1.1 Articolo in rivista | 2009 | L., de Alfaro; Faella, Marco; M., Stoelinga |