FAELLA, MARCO
FAELLA, MARCO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Decidability of Circumscribed Description Logics Revisited
2014 Bonatti, PIERO ANDREA; Faella, Marco; Carsten, Lutz; Sauro, Luigi; Frank, Wolter
Model Checking Discounted Temporal Properties
2004 L., de Alfaro; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga
TICC: A Tool for Interface Compatibility and Composition
2006 B. T., Adler; L., de Alfaro; L., Dias Da Silva; Faella, Marco; A., Legay; V., Raman; P., Roy
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
2013 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Revisiting synthesis of switching controllers for Linear Hybrid systems
2011 Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
Graded Alternating-Time Temporal Logic
2010 Faella, Marco; M., Napoli; M., Parente
Auctions for Partial Heterogeneous Preferences
2013 Bonatti, PIERO ANDREA; Faella, Marco; Galdi, Clemente; Sauro, Luigi
Quantitative Fairness Games
2010 A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Compositional Quantitative Reasoning
2006 K., Chatterjee; L., de Alfaro; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga
The Element of Surprise in Timed Games
2003 L., DE ALFARO; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga
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
Exploring the Boundary of Half Positionality
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Admissible Strategies in Infinite Games over Graphs
2009 Faella, Marco
Quantitative Fairness Games
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
An Integrated Formal Approach to Usage Control
2013 Bonatti, PIERO ANDREA; Sauro, Luigi; Faella, Marco; Galdi, Clemente
Partial Preferences for Mediated Bargaining
2014 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Linear and Branching Metrics for Quantitative Transition Systems
2004 L., de Alfaro; Faella, Marco; M., Stoelinga
Automata-theoretic Decision of Timed Games
2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
On interoperable trust negotiation strategies
2007 Bonatti, PIERO ANDREA; S., Baselice; Faella, Marco
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
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 | |
Model Checking Discounted Temporal Properties | 4.1 Articoli in Atti di convegno | 2004 | L., de Alfaro; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga | |
TICC: A Tool for Interface Compatibility and Composition | 4.1 Articoli in Atti di convegno | 2006 | B. T., Adler; L., de Alfaro; L., Dias Da Silva; Faella, Marco; A., Legay; V., Raman; P., Roy | |
Automatic synthesis of switching controllers for linear hybrid systems: Safety control | 1.1 Articolo in rivista | 2013 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
Revisiting synthesis of switching controllers for Linear Hybrid systems | 4.1 Articoli in Atti di convegno | 2011 | Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano | |
Graded Alternating-Time Temporal Logic | 1.1 Articolo in rivista | 2010 | Faella, Marco; M., Napoli; M., Parente | |
Auctions for Partial Heterogeneous Preferences | 4.1 Articoli in Atti di convegno | 2013 | Bonatti, PIERO ANDREA; Faella, Marco; Galdi, Clemente; Sauro, Luigi | |
Quantitative Fairness Games | 1.1 Articolo in rivista | 2010 | A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
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 | |
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 | |
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 | |
Exploring the Boundary of Half Positionality | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
Admissible Strategies in Infinite Games over Graphs | 4.1 Articoli in Atti di convegno | 2009 | Faella, Marco | |
Quantitative Fairness Games | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; 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 | |
Partial Preferences for Mediated Bargaining | 4.1 Articoli in Atti di convegno | 2014 | 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 | |
Automata-theoretic Decision of Timed Games | 4.1 Articoli in Atti di convegno | 2002 | Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
On interoperable trust negotiation strategies | 2.1 Contributo in volume (Capitolo o Saggio) | 2007 | Bonatti, PIERO ANDREA; S., Baselice; Faella, Marco |