Marco Faella
Title
Cited by
Cited by
Year
Assigning trust to Wikipedia content
BT Adler, K Chatterjee, L De Alfaro, M Faella, I Pye, V Raman
Proceedings of the 4th International Symposium on Wikis, 1-12, 2008
2552008
The element of surprise in timed games
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
International Conference on Concurrency Theory, 144-158, 2003
1602003
Linear and branching metrics for quantitative transition systems
L De Alfaro, M Faella, M Stoelinga
International Colloquium on Automata, Languages, and Programming, 97-109, 2004
932004
Linear and branching system metrics
L De Alfaro, M Faella, M Stoelinga
IEEE Transactions on Software Engineering 35 (2), 258-273, 2008
912008
Model checking discounted temporal properties
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
Theoretical Computer Science 345 (1), 139-170, 2005
892005
A new semantics for overriding in description logics
PA Bonatti, M Faella, IM Petrova, L Sauro
Artificial Intelligence 222, 1-48, 2015
742015
Sociable interfaces
L de Alfaro, LD da Silva, M Faella, A Legay, P Roy, M Sorea
International Workshop on Frontiers of Combining Systems, 81-105, 2005
722005
Defeasible inclusions in low-complexity DLs
PA Bonatti, M Faella, L Sauro
Journal of Artificial Intelligence Research 42, 719-764, 2011
642011
Dense real-time games
M Faella, S La Torre, A Murano
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 167-176, 2002
552002
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
International Conference on Computer Aided Verification, 59-62, 2006
542006
Model checking quantitative linear time logic
M Faella, A Legay, M Stoelinga
Electronic Notes in Theoretical Computer Science 220 (3), 61-77, 2008
342008
Model checking discounted temporal properties
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
International Conference on Tools and Algorithms for the Construction and …, 2004
312004
An accelerated algorithm for 3-color parity games with an application to timed games
L De Alfaro, M Faella
International Conference on Computer Aided Verification, 108-120, 2007
282007
with Default Attributes and Overriding
PA Bonatti, M Faella, L Sauro
International Semantic Web Conference, 64-79, 2010
262010
Code aware resource management
L De Alfaro, M Faella, R Majumdar, V Raman
Proceedings of the 5th ACM international conference on Embedded software …, 2005
262005
Pritam Roy, Maria Sorea, Invited contribution: sociable interfaces
L de Alfaro, LD da Silva, M Faella, A Legay
Proceedings of the 5th international conference on Frontiers of Combining …, 2005
252005
Admissible strategies in infinite games over graphs
M Faella
International Symposium on Mathematical Foundations of Computer Science, 307-318, 2009
242009
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes.
PA Bonatti, M Faella, L Sauro
IJCAI, 696-701, 2009
242009
Compositional quantitative reasoning
M Stoelinga, R Majumdar, TA Henzinger, M Faella, L de Alfaro, ...
Third International Conference on the Quantitative Evaluation of Systems …, 2006
242006
On interoperable trust negotiation strategies
S Baselice, PA Bonatti, M Faella
Eighth IEEE International Workshop on Policies for Distributed Systems and …, 2007
232007
The system can't perform the operation now. Try again later.
Articles 1–20