Follow
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
2982008
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
1422003
Linear and branching system metrics
L De Alfaro, M Faella, M Stoelinga
IEEE Transactions on Software Engineering 35 (2), 258-273, 2008
1182008
Model checking discounted temporal properties
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
Theoretical Computer Science 345 (1), 139-170, 2005
1062005
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
1062004
A new semantics for overriding in description logics
PA Bonatti, M Faella, IM Petrova, L Sauro
Artificial Intelligence 222, 1-48, 2015
982015
Defeasible inclusions in low-complexity DLs
PA Bonatti, M Faella, L Sauro
Journal of Artificial Intelligence Research 42, 719-764, 2011
802011
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
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
562006
Dense real-time games
M Faella, S La Torre, A Murano
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 167-176, 2002
562002
The element of surprise in timed games
L de Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
CONCUR 3, 142-156, 0
55
Model checking quantitative linear time logic
M Faella, A Legay, M Stoelinga
Electronic Notes in Theoretical Computer Science 220 (3), 61-77, 2008
462008
Admissible strategies in infinite games over graphs
M Faella
International Symposium on Mathematical Foundations of Computer Science, 307-318, 2009
382009
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
352004
with default attributes and overriding
PA Bonatti, M Faella, L Sauro
International Semantic Web Conference, 64-79, 2010
322010
e-Auctions for multi-cloud service provisioning
M Anisetti, CA Ardagna, PA Bonatti, E Damiani, M Faella, C Galdi, ...
2014 IEEE International Conference on Services Computing, 35-42, 2014
272014
An accelerated algorithm for 3-color parity games with an application to timed games
L de Alfaro, M Faella
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
272007
Compositional quantitative reasoning
M Stoelinga, R Majumdar, TA Henzinger, M Faella, L de Alfaro, ...
Third International Conference on the Quantitative Evaluation of Systems …, 2006
262006
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes.
PA Bonatti, M Faella, L Sauro
IJCAI, 696-701, 2009
252009
Code aware resource management
L de Alfaro, M Faella, R Majumdar, V Raman
Proceedings of the 5th ACM international conference on Embedded software …, 2005
252005
The system can't perform the operation now. Try again later.
Articles 1–20