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.
    Download:    postscript    PDF    Bibtex   
  • 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.
    Download:    postscript    PDF    Bibtex   
  • 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.
    Download:    postscript    PDF    Bibtex   

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.
    Download:    PDF   
  • 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.
    Download:    PDF   
  • 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.
    Download:    postscript    PDF   
  • M. Faella
    "Games You Cannot Win",
    Workshop on Games and Automata for Synthesis and Validation,
    Lausanne, Switzerland, September 2007.
    Download:    postscript    PDF   

    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.
    Download:    postscript    PDF   
  • 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.
    Download:    postscript    PDF    Bibtex entry    talk at EPFL (Nov 2008)
  • 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.
    Download:    PDF    Bibtex entry   
  • 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.
    Download:    postscript    PDF    Bibtex entry   
  • L. de Alfaro, M. Faella, A. Legay
    "An Introduction to the Tool TICC",
    Workshop Trustworthy Software 2006,
    Dagstuhl, Germany.
    Download:    postscript    PDF    Bibtex entry   
  • 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.
    Download:    postscript    PDF    Bibtex entry   
  • M. Faella, A. Legay
    "Some Models and Tools for Open Systems",
    FIT05,
    San Francisco, USA. Invited paper.
    Download:    postscript   
  • 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.
    Download:    postscript    Bibtex entry   
  • L. de Alfaro, M. Faella, B. Adler
    "Average Reward Timed Games",
    FORMATS05,
    Uppsala, Sweden.
    LNCS 3829, 2005.
    Download:    postscript    PDF    Bibtex entry   
  • L. de Alfaro, M. Faella, R. Majumdar, and V. Raman
    "Code Aware Resource Management",
    EMSOFT05,
    Jersey City, USA.
    ACM Press, 2005.
    Download:    postscript    PDF    Bibtex entry   
  • 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.
    Download:    postscript    Bibtex entry   

    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.
    Download:    postscript    Bibtex entry    presentation (pdf, 6Mb)

    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.
    Download:    postscript    Bibtex entry
  • 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.
    Download:    postscript    Bibtex entry
  • 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.
    Download:    postscript    Bibtex entry
  • 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.
    Download:    postscript    Bibtex entry

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.
    Download:    PDF    Bibtex   

Technical Reports

  • M. Faella
    "Best-Effort Strategies for Losing States",
    Technical report CoRR 0811.1664.
    Dept. of Physics, Università di Napoli "Federico II". November 2008.
    Download:    PDF
  • 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.
    Download:    PDF   
  • 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.
    Download:    postscript    PDF
  • 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.
    Download:    postscript    PDF   
  • 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.
    Download:    postscript   
 
 
  e-mail: mfaella @ na.infn.it