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
2872008
The element of surprise in timed games
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
1782003
Linear and branching system metrics
L De Alfaro, M Faella, M Stoelinga
IEEE Transactions on Software Engineering 35 (2), 258-273, 2008
1132008
Model checking discounted temporal properties
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
Theoretical Computer Science 345 (1), 139-170, 2005
1042005
Linear and branching metrics for quantitative transition systems
L De Alfaro, M Faella, M Stoelinga
Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004
982004
A new semantics for overriding in description logics
PA Bonatti, M Faella, IM Petrova, L Sauro
Artificial Intelligence 222, 1-48, 2015
922015
Defeasible inclusions in low-complexity DLs
PA Bonatti, M Faella, L Sauro
Journal of Artificial Intelligence Research 42, 719-764, 2011
742011
Sociable interfaces
L de Alfaro, LD da Silva, M Faella, A Legay, P Roy, M Sorea
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005
742005
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
582006
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
Model checking quantitative linear time logic
M Faella, A Legay, M Stoelinga
Electronic Notes in Theoretical Computer Science 220 (3), 61-77, 2008
472008
Model checking discounted temporal properties
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
Tools and Algorithms for the Construction and Analysis of Systems: 10th …, 2004
322004
Admissible strategies in infinite games over graphs
M Faella
Mathematical Foundations of Computer Science 2009: 34th International …, 2009
312009
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
312007
with Default Attributes and Overriding
PA Bonatti, M Faella, L Sauro
The Semantic Web–ISWC 2010: 9th International Semantic Web Conference, ISWC …, 2010
292010
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
Compositional quantitative reasoning
M Stoelinga, R Majumdar, TA Henzinger, M Faella, L de Alfaro, ...
Third International Conference on the Quantitative Evaluation of Systems …, 2006
272006
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
On interoperable trust negotiation strategies
S Baselice, PA Bonatti, M Faella
Eighth IEEE International Workshop on Policies for Distributed Systems and …, 2007
242007
The system can't perform the operation now. Try again later.
Articles 1–20