Publications
Most of the following papers appear in print,
and the corresponding copyright is held by the publisher.
They are provided here for personal use.
Redistribution or reprinting for commercial purposes is prohibited.
Journal Papers
-
A. Bianco, M. Faella, F. Mogavero, and A. Murano
"Quantitatively Fair Scheduling",
Theoretical Computer Science, 413(1), p. 160-175.
Elsevier, 2012.
DOI: 10.1016/j.tcs.2011.06.029
Download:
PDF
-
P.A. Bonatti, M. Faella, L. Sauro
"Defeasible Inclusions in Low-complexity DLs",
Journal of Artificial Intelligence Research, 42.
AAAI Press, 2011.
-
A. Bianco, M. Faella, F. Mogavero, and A. Murano
"Exploring the Boundary of Half Positionality",
Annals of Mathematics and Artificial Intelligence, 62(1), p. 55-77.
Springer, 2011.
DOI: 10.1007/s10472-011-9250-1.
Download:
PDF
-
M. Faella, M. Napoli, and M. Parente
"Graded Alternating-Time Temporal Logic",
Fundamenta Informaticae, 105(1-2), p.
189-210.
IOS Press, 2010.
Download:
PDF
-
L. de Alfaro, K. Chatterjee, M. Faella, and A. Legay,
"Qualitative Logics and Equivalences
for Probabilistic Systems",
Logical Methods in Computer Science
5(2), 2009.
-
L. de Alfaro, M. Faella, and M. Stoelinga,
"Linear and Branching System Metrics",
IEEE Transactions on Software Engineering
35(2), p. 258-273, IEEE 2009.
-
L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar and
M. Stoelinga,
"Model Checking Discounted Temporal Properties",
Theoretical Computer Science
345(1), p. 139-170, Elsevier 2005.
International Conference Papers
-
M. Benerecetti, M. Faella, S. Minopoli
"Reachability Games for Linear Hybrid Systems",
HSCC 2012,
15th International Conference on Hybrid Systems: Computation and Control.
Beijing, China, April 2012.
-
M. Benerecetti, M. Faella, S. Minopoli
"Revisiting Synthesis of Switching Controllers for Linear Hybrid Systems",
CDC 2011,
50th IEEE Conference on Decision and Control.
Orlando, FL, USA, December 2011.
Download:
PDF
An extended version is available as a
technical report.
-
P. Bonatti, M. Faella, C. Galdi, L. Sauro
"Towards a Mechanism for Incentivating Privacy",
ESORICS 2011, European Symposium on
Research in Computer Security.
Leuven, Belgium, September 2011.
LNCS 6879, p. 472-488, Springer 2011.
Download updated version:
PDF
-
M. Benerecetti, M. Faella, S. Minopoli
"Towards Efficient Exact Synthesis for Linear Hybrid Systems",
GandALF 2011, Second International Symposium on
Games, Automata, Logics and Formal Verification.
Minori, Salerno, Italy, June 2011.
EPTCS 54.
DOI: 10.4204/EPTCS.54.19.
Download:
PDF
-
P.A. Bonatti, M. Faella, L. Sauro
"Adding Default Attributes to EL++"
AAAI-11, 25th AAAI Conference on Artificial
Intelligence.
San Francisco, USA, August 2011.
-
P.A. Bonatti, M. Faella, L. Sauro
"On the Complexity of EL with Defeasible
Inclusions"
IJCAI 2011, 21st International Joint Conference
on Artificial Intelligence,
Barcelona, Spain, 2011.
-
P.A. Bonatti, M. Faella, L. Sauro
"EL with Default Attributes and Overriding"
ISWC 2010,
9th International Semantic Web Conference,
Shanghai, China, November 2010.
LNCS 6496, p. 64-79, Springer 2010.
-
A. Bianco, M. Faella, F. Mogavero, A. Murano
"Exploring the boundary of half-positionality"
CLIMA XI, 11th International Workshop on
Computational Logic in Multi-Agent Systems,
Lisboa, Portugal, August 2010.
LNCS 6245, p. 171-185, Springer 2010.
Download extended version:
PDF
-
M. Faella, M. Napoli, M. Parente
"Graded alternating-time temporal logic"
LPAR-16, 16th International Conference on Logic for
Programming Artificial Intelligence and Reasoning
Dakar, Senegal, April 2010.
LNCS 6355, p. 192-211, Springer 2010.
Download extended version:
PDF
-
A. Bianco, M. Faella, F. Mogavero, A. Murano
"Quantitative fairness games"
QAPL10, 8th Workshop on Quantitative Aspects
of Programming Languages,
Paphos, Cyprus, March 2010.
Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 28, 2010.
Download extended version:
PDF
-
M. Faella
"Admissible Strategies in Infinite Games over Graphs"
MFCS09, 34th International Symposium on
Mathematical Foundations of Computer Science,
Novy Smokovec, Slovakia, August 2009.
LNCS 5734, Springer 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.
LNCS 5734, Springer 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 available 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, Springer 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 available 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 available 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. Benerecetti, M. Faella, S. Minopoli
"Automatic Synthesis of Switching Controllers for Linear Hybrid Automata",
Technical report CoRR 1103.4584.
Università di Napoli "Federico II". August 2011.
-
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.
|
|
|