FAELLA, MARCO
FAELLA, MARCO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Automata-theoretic decision of timed games
2014 Faella, Marco; Salvatore La, Torre; Murano, Aniello
Qualitative Logics and Equivalences for Probabilistic Systems
2007 L., DE ALFARO; K., Chatterjee; Faella, Marco; A., Legay
Defeasible inclusions in low-complexity DLs: preliminary notes
2009 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012)
2012 Faella, Marco; Murano, Aniello
Adding default attributes to EL++
2011 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Linear and Branching System Metrics
2009 L., de Alfaro; Faella, Marco; M., Stoelinga
On the complexity of EL with defeasible inclusions
2011 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Decidability of Circumscribed Description Logics Revisited
2014 Bonatti, PIERO ANDREA; Faella, Marco; Carsten, Lutz; Sauro, Luigi; Frank, Wolter
Code Aware Resource Management
2005 L., DE ALFARO; Faella, Marco; R., Majumdar; V., Raman
Quantitatively Fair Scheduling
2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Quantitative Fairness Games
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Quantitative Fairness Games
2010 A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Model checking quantitative linear time logic
2008 Faella, Marco; A., Legay; M., Stoelinga
Model Checking Discounted Temporal Properties
2005 L., DE ALFARO; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga
Balanced Paths in Colored Graph
2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Revisiting synthesis of switching controllers for Linear Hybrid systems
2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Compositional Quantitative Reasoning
2006 K., Chatterjee; L., de Alfaro; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga
EL with Default Attributes and Overriding
2010 Faella, Marco; Bonatti, PIERO ANDREA; Sauro, Luigi
On interoperable trust negotiation strategies
2007 Bonatti, PIERO ANDREA; S., Baselice; Faella, Marco
Partial Preferences for Mediated Bargaining
2014 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Automata-theoretic decision of timed games | 1.1 Articolo in rivista | 2014 | Faella, Marco; Salvatore La, Torre; Murano, Aniello | |
| Qualitative Logics and Equivalences for Probabilistic Systems | 4.1 Articoli in Atti di convegno | 2007 | L., DE ALFARO; K., Chatterjee; Faella, Marco; A., Legay | |
| Defeasible inclusions in low-complexity DLs: preliminary notes | 2.1 Contributo in volume (Capitolo o Saggio) | 2009 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi | |
| 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 | |
| Adding default attributes to EL++ | 4.1 Articoli in Atti di convegno | 2011 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi | |
| Linear and Branching System Metrics | 1.1 Articolo in rivista | 2009 | L., de Alfaro; Faella, Marco; M., Stoelinga | |
| On the complexity of EL with defeasible inclusions | 4.1 Articoli in Atti di convegno | 2011 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi | |
| Decidability of Circumscribed Description Logics Revisited | 4.1 Articoli in Atti di convegno | 2014 | Bonatti, PIERO ANDREA; Faella, Marco; Carsten, Lutz; Sauro, Luigi; Frank, Wolter | |
| Code Aware Resource Management | 4.1 Articoli in Atti di convegno | 2005 | L., DE ALFARO; Faella, Marco; R., Majumdar; V., Raman | |
| Quantitatively Fair Scheduling | 1.1 Articolo in rivista | 2012 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
| Quantitative Fairness Games | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
| Quantitative Fairness Games | 1.1 Articolo in rivista | 2010 | A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
| Model checking quantitative linear time logic | 1.1 Articolo in rivista | 2008 | Faella, Marco; A., Legay; M., Stoelinga | |
| Model Checking Discounted Temporal Properties | 1.1 Articolo in rivista | 2005 | L., DE ALFARO; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga | |
| Balanced Paths in Colored Graph | 4.1 Articoli in Atti di convegno | 2009 | A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio | |
| Revisiting synthesis of switching controllers for Linear Hybrid systems | 4.1 Articoli in Atti di convegno | 2011 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
| Compositional Quantitative Reasoning | 4.1 Articoli in Atti di convegno | 2006 | K., Chatterjee; L., de Alfaro; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga | |
| EL with Default Attributes and Overriding | 2.1 Contributo in volume (Capitolo o Saggio) | 2010 | Faella, Marco; Bonatti, PIERO ANDREA; Sauro, Luigi | |
| On interoperable trust negotiation strategies | 2.1 Contributo in volume (Capitolo o Saggio) | 2007 | Bonatti, PIERO ANDREA; S., Baselice; Faella, Marco | |
| Partial Preferences for Mediated Bargaining | 4.1 Articoli in Atti di convegno | 2014 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi |