|
|
Luca de Alfaro
Ph.D. Stanford University, 1998 Associate Professor, Computer Engineering Baskin School of Engineering University of California, Santa Cruz Web: http://www.soe.ucsc.edu/~luca (mirror) Email: my_first_name@soe.ucsc.edu Office: Engineering 2 Bldg, Rm. 339A Lab: Engineering 2 Bldg, Rm. 307 Phone: +1-831-459-4982 Fax: +1-831-459-4829 Mailing address GnuPG public key Office hours, travel schedule, weekly schedule Directions to the School of Engineering SOE Web Cam Directions to the Silicon Valley Center |
Research Interests
Game theory and system design.
Embedded and real-time software design.
Formal methods, concurrency theory, system modeling and analysis.
Curriculum vitae: Postscript PDF
Recent Publications
- B.T. Adler, L. de Alfaro. A Content-Driven Reputation System for the Wikipedia. Technical report ucsc-crl-06-18, School of Engineering, University of California, Santa Cruz, November 2006. Abstract Postscript PDF Errata Corrige: Postscript PDF
- L. de Alfaro, P. Roy. Magnifying-Lens Abstraction for Markov Decision Processes. Technical report ucsc-crl-06-15, School of Engineering, University of California, Santa Cruz, 2006. Abstract Postscript PDF
- L. de Alfaro, M. Faella, A. Legay. An Introduction to the Tool Ticc. Technical report ucsc-crl-06-14, School of Engineering, University of California, Santa Cruz, 2006. Also to appear in Proc. of Trustworthy Workshop Software, Saarbrücken, August 2006, to be published in Dagstuhl online proceedings. Postscript PDF
- K. Chatterjee, L. de Alfaro, T.A. Henzinger. Strategy Improvement for Concurrent Reachability Games. In QEST 06: International Conference on Quantitative Evaluation of Systems, pages 291-300, IEEE Computer Society Press, 2006. Abstract Postscript PDF
- K. Chatterjee, L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga. Compositonal Quantitative Reasoning. In QEST 06: International Conference on Quantitative Evaluation of Systems, pages 157-166, IEEE Computer Society Press, 2006. Postscript 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.
In CAV 06: Computer-Aided Verification,
Lecture Notes in Computer Science 4144, pages 59-62, Springer-Verlag, 2006.
Postscript
PDF
An extended version of this paper has been published as the Technical Report ucsc-crl-06-01, School of Engineering, University of California, Santa Cruz, 2006. Postscript PDF - K. Chatterjee, L. de Alfaro, T.A. Henzinger.
The Complexity of Quantitative Concurrent Parity Games.
In SODA 06: ACM-SIAM Symposium on Discrete Algorithms,
pages 678-687, ACM Press, 2006.
Postscript
PDF
Research
Ticc: A Tool for Interface Compatibility and Composition. Ticc is a tool for the prototyping and verification of distributed designs. Ticc provides the following features:
Modeling of design components and their interaction.
Compatibility checking of components in a design.
Design simulation and verification.
Design and Verification Lab (Dvlab), my lab at UCSC. Follow the link to find information on current research directions, tools, and more.
Interested in research at UCSC? Here is some information for prospective students, postdocs, and visitors.
Conferences
I am involved in the following upcoming conferences:
CONCUR 2007: 18th International Conference on Concurrency Theory, Lisboa, Portugal, September 3-8, 2007.
HSCC 2007: Hybrid Systems: Computation and Control, Pisa, Italy, April 3-5, 2007.
Some of the conferences I helped organize
UCSC
CMPS 280G: Software Engineering Seminar Calendar, with iCal feed.
CIC: I am chair of the Computing Infrastructure Committee of the School of Engineering. You can find the meeting schedule in ical or web format. Email me if there are issues you feel should be discussed.
CCT: I am chair of CCT, the faculty senate committee on Computing and Telecommunications. Email me if there are any issues you feel should be discussed.