Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Luca de Alfaro: Home Page
Formal methods for system design and verification.
Interface specifications for component-based design.
Embedded software design.
Modeling and analysis of systems: reactive, hybrid, and stochastic.
Model checking.
System interaction: game theory, concurrency theory.
Research
Recent Work
K. Chatterjee, L. de Alfaro, and T.A. Henzinger.
Trading Memory for Randomness
In QEST 04: 1st International Conference on the Quantitative
Evaluation of Systems, 2004.
Postscript,PDF.
L. de Alfaro, P. Godefroid, R. Jagadeesan.
Three-Valued Abstractions of Games:
Uncertainty, but with Precision.
In LICS 04: Proceedings of 19th IEEE Symposium on Logic in
Computer Science, 2004.
Postscript,PDF.
L. de Alfaro, M. Faella, M. Stoelinga.
Linear and Branching Metrics
for Quantitative Transition Systems.
In ICALP 04: 31st International Colloquium on Automata, Languages,
and Programming, LNCS, Springer-Verlag, 2004.
Postscript,PDF.
L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar,
M. Stoelinga.
Model Checking Discounted Temporal
Properties.
In TACAS 2004: 10th International Conference on Tools and
Algorithms for the Construction and Analysis of Systems, LNCS,
Springer-Verlag, 2004.
Postscript,PDF.
L. de Alfaro, R. Majumdar.
Quantitative Solution of Omega-Regular Games.
In Journal of Computer and System Sciences68, pages
374-397, 2004.
Postscript,PDF.
A preliminary version of this paper appeared in
STOC 01: 33rd Annual ACM Symposium on Theory of Computing, 2001.