Publications
Most of the following papers appear in print,
and the corresponding copyright is held by the publisher.
While the papers can be used for personal use,
redistribution or reprinting for commercial purposes is prohibited.
Journal Papers
-
L. de Alfaro, K. Chatterjee, M. Faella, and A. Legay,
"Qualitative Logics and Equivalences
for Probabilistic Systems",
Logical Methods in Computer Science.
Vol. 5(2), 2009.
-
L. de Alfaro, M. Faella, and M. Stoelinga,
"Linear and Branching System Metrics",
IEEE Transactions on Software Engineering.
Vol. 35(2), p. 258-273, 2009.
-
L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar and
M. Stoelinga,
"Model Checking Discounted Temporal Properties",
Theoretical Computer Science.
Vol. 345(1), p. 139-170, 2005.
International Conference Papers
-
M. Faella
"Admissible Strategies in Infinite Games over Graphs"
MFCS09, 34th International Symposium on
Mathematical Foundations of Computer Science,
Novy Smokovec, Slovakia, August 2009.
Download extended version:
PDF
-
-
A. Bianco, M. Faella, F. Mogavero, A. Murano
"Balanced Paths in Colored Graphs"
MFCS09, 34th International Symposium on
Mathematical Foundations of Computer Science,
Novy Smokovec, Slovakia, August 2009.
Download extended version:
PDF
-
-
P.A. Bonatti, M. Faella, L. Sauro
"Defeasible inclusions in low-complexity DLs: Preliminary notes"
IJCAI09, 21st International Joint Conference
on Artificial Intelligence,
Pasadena, USA, July 2009.
-
-
B.T. Adler, K. Chatterjee, L. de Alfaro, M. Faella, I. Pye, V. Raman
"Assigning Trust to Wikipedia Content"
WikiSym08, 4th International Symposium on Wikis,
Porto, Portugal, September 2008.
-
M. Faella, A. Legay, M. Stoelinga
"Model Checking Quantitative Linear Time Logic",
QAPL08, 6th Workshop on Quantitative Aspects of Programming Languages,
Budapest, Hungary, March 2008.
Electronic Notes on Theoretical Computer Science, 220(3), 2008.
-
M. Faella
"Games You Cannot Win",
Workshop on Games and Automata for Synthesis and Validation,
Lausanne, Switzerland, September 2007.
An extended version is avaliable as a
technical report.
-
L. de Alfaro, K. Chatterjee, M. Faella, A. Legay
"Qualitative Logics and Equivalences
for Probabilistic Systems",
QEST07, 4th International Conference on
Quantitative Evaluation of Systems,
Edimburgh, UK.
IEEE Computer Society, 2007.
-
L. de Alfaro, M. Faella
"An Accelerated Algorithm for 3-Color Parity Games
with an Application to Timed Games",
CAV07, 19th International Conference on
Computer Aided Verification,
Berlin, Germany.
LNCS 4590, 2007.
-
S. Baselice, P.A. Bonatti, M. Faella
"On interoperable trust negotiation strategies",
POLICY07, 8th IEEE International Workshop
on Policies for Distributed Systems and Networks,
Bologna, Italy.
IEEE Computer Society, 2007.
-
K. Chatterjee, L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga
"Compositional Quantitative Reasoning",
QEST06, Third International Conference on the
Quantitative Evaluation of Systems,
Riverside, USA.
IEEE Computer Society, 2006.
-
L. de Alfaro, M. Faella, A. Legay
"An Introduction to the Tool TICC",
Workshop Trustworthy Software 2006,
Dagstuhl, Germany.
-
B.T. Adler, L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, V. Raman, P. Roy
"TICC: A Tool for Interface Compatibility and Composition",
CAV06,
Seattle, USA.
LNCS 4144, 2006.
-
M. Faella, A. Legay
"Some Models and Tools for Open Systems",
FIT05,
San Francisco, USA. Invited paper.
-
L. de Alfaro, L. Dias da Silva, M. Faella, A. Legay, P. Roy, M. Sorea
"Sociable Interfaces",
FROCOS05,
Wien, Austria. Invited paper.
LNCS 3717, 2005.
-
L. de Alfaro, M. Faella, B. Adler
"Average Reward Timed Games",
FORMATS05,
Uppsala, Sweden.
LNCS 3829, 2005.
-
L. de Alfaro, M. Faella, R. Majumdar, and V. Raman
"Code Aware Resource Management",
EMSOFT05,
Jersey City, USA.
ACM Press, 2005.
-
L. de Alfaro, M. Faella, and M. Stoelinga,
"Linear and Branching Metrics for Quantitative Transition Systems",
ICALP04,
Turku, Finland, July 12-16, 2004.
LNCS 3142, p. 97-109.
An extended version is avaliable as a
technical report.
-
L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar and
M. Stoelinga,
"Model Checking Discounted Temporal Properties",
TACAS04, Tenth International Conference on Tools and Algorithms for
the Construction and Analysis of Systems,
Barcelona, Spain, March 29 - April 2, 2004.
LNCS 2988.
An extended version is avaliable as a
technical report.
-
L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar and
M. Stoelinga,
"The Element of Surprise in Timed Games",
CONCUR03, Fourteenth
International Conference on Concurrency Theory,
Marseille, France, 3-5 September 2003.
LNCS 2761.
-
L. de Alfaro, M. Faella,
"Information Flow in Concurrent Games",
ICALP03, Thirtieth International Colloquium on Automata, Languages
and Programming,
Eindhoven, The Netherlands, July 2003.
LNCS 2719.
-
M. Faella, S. La Torre, A. Murano,
"Dense Real-time Games",
LICS02, Seventeenth Annual IEEE Symposium on
Logic in Computer Science,
Copenhagen, Denmark, 22-25 July 2002.
-
M. Faella, S. La Torre, A. Murano,
"Automata-theoretic Decision of Timed Games",
VMCAI02, Third International Workshop on
Verification, Model Checking and Abstract Interpretation,
Venice, Italy, 21-22 January 2002.
LNCS 2294.
National Conference Papers
-
M. Faella, A. Legay
"On the Design and the Implementation of a Game-based
Model for Open Systems: Current Status and Perspectives",
Approches Formelles dans l'Assistance
au Développement de Logiciels (AFADL07)
Namur, Belgium, June 13-15 2007.
-
M. Faella
"Best-Effort Strategies for Losing States",
Technical report CoRR 0811.1664.
Dept. of Physics,
Università di Napoli "Federico II". November 2008.
-
-
B.T. Adler, K. Chatterjee, L. de Alfaro,
M. Faella, I. Pye, V. Raman
"Assigning Trust to Wikipedia Content",
Technical report UCSC-SOE-08-07.
School of Engineering, University of California,
Santa Cruz. May 2008.
-
B. T. Adler, L. de Alfaro, L. Dias da Silva, M. Faella, A. Legay, V. Raman, P. Roy
"Ticc: A Tool for Interface Compatibility and Composition",
Technical report UCSC-CRL-06-01.
University of California, Santa Cruz, 2006.
-
L. de Alfaro, M. Faella, and M. Stoelinga,
"Linear and Branching System Metrics",
Technical report UCSC-CRL-05-01.
University of California, Santa Cruz, 2005.
-
L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar and
M. Stoelinga,
"Model Checking Discounted Temporal Properties",
Technical report UCSC-CRL-03-12.
University of California, Santa Cruz, 2003.
|
|
|