| 2008 |
|---|
| 67 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Luca de Alfaro,
Richard Mayr,
Sven Sandberg:
Stochastic Games with Lossy Channels.
FoSSaCS 2008: 35-49 |
| 66 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar:
The Complexity of Coverage
CoRR abs/0804.4525: (2008) |
| 65 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Thomas A. Henzinger:
Strategy Improvement for Concurrent Safety Games
CoRR abs/0804.4530: (2008) |
| 2007 |
|---|
| 64 | EE | Luca de Alfaro,
Marco Faella:
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.
CAV 2007: 108-120 |
| 63 | EE | Luca de Alfaro,
Pritam Roy:
Magnifying-Lens Abstraction for Markov Decision Processes.
CAV 2007: 325-338 |
| 62 | EE | Luca de Alfaro,
Pritam Roy:
Solving Games Via Three-Valued Abstraction Refinement.
CONCUR 2007: 74-89 |
| 61 | EE | Luca de Alfaro:
The Symbolic Approach to Repeated Games (Abstract).
CSL 2007: 3 |
| 60 | EE | Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman,
Mariëlle Stoelinga:
Game Relations and Metrics.
LICS 2007: 99-108 |
| 59 | EE | B. Thomas Adler,
Luca de Alfaro:
A content-driven reputation system for the wikipedia.
WWW 2007: 261-270 |
| 58 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Orna Kupferman:
Concurrent reachability games.
Theor. Comput. Sci. 386(3): 188-217 (2007) |
| 2006 |
|---|
| 57 | EE | B. Thomas Adler,
Luca de Alfaro,
Leandro Dias da Silva,
Marco Faella,
Axel Legay,
Vishwanath Raman,
Pritam Roy:
Ticc: A Tool for Interface Compatibility and Composition.
CAV 2006: 59-62 |
| 56 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Marco Faella,
Thomas A. Henzinger,
Rupak Majumdar,
Mariëlle Stoelinga:
Compositional Quantitative Reasoning.
QEST 2006: 179-188 |
| 55 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability Games.
QEST 2006: 291-300 |
| 54 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Thomas A. Henzinger:
The complexity of quantitative concurrent parity games.
SODA 2006: 678-687 |
| 53 | EE | Axel Legay,
Luca de Alfaro,
Marco Faella:
An Introduction to the Tool Ticc.
Trustworthy Software 2006 |
| 2005 |
|---|
| 52 | | Martín Abadi,
Luca de Alfaro:
CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Springer 2005 |
| 51 | EE | Luca de Alfaro,
Vishwanath Raman,
Marco Faella,
Rupak Majumdar:
Code aware resource management.
EMSOFT 2005: 191-202 |
| 50 | EE | Bo Adler,
Luca de Alfaro,
Marco Faella:
Average Reward Timed Games.
FORMATS 2005: 65-80 |
| 49 | EE | Luca de Alfaro,
Leandro Dias da Silva,
Marco Faella,
Axel Legay,
Pritam Roy,
Maria Sorea:
Sociable Interfaces.
FroCos 2005: 81-105 |
| 48 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Thomas A. Henzinger:
The Complexity of Stochastic Rabin and Streett Games'.
ICALP 2005: 878-890 |
| 47 | EE | Luca de Alfaro:
Preface.
Electr. Notes Theor. Comput. Sci. 119(1): 1-2 (2005) |
| 46 | EE | Luca de Alfaro,
Marco Faella,
Thomas A. Henzinger,
Rupak Majumdar,
Mariëlle Stoelinga:
Model checking discounted temporal properties.
Theor. Comput. Sci. 345(1): 139-170 (2005) |
| 2004 |
|---|
| 45 | EE | Luca de Alfaro,
Marco Faella,
Mariëlle Stoelinga:
Linear and Branching Metrics for Quantitative Transition Systems.
ICALP 2004: 97-109 |
| 44 | EE | Luca de Alfaro,
Patrice Godefroid,
Radha Jagadeesan:
Three-Valued Abstractions of Games: Uncertainty, but with Precision.
LICS 2004: 170-179 |
| 43 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Thomas A. Henzinger:
Trading Memory for Randomness.
QEST 2004: 206-217 |
| 42 | EE | Luca de Alfaro,
Marco Faella,
Thomas A. Henzinger,
Rupak Majumdar,
Mariëlle Stoelinga:
Model Checking Discounted Temporal Properties.
TACAS 2004: 77-92 |
| 41 | EE | Luca de Alfaro,
Mariëlle Stoelinga:
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems.
Electr. Notes Theor. Comput. Sci. 97: 3-23 (2004) |
| 40 | EE | Luca de Alfaro,
Rupak Majumdar:
Quantitative solution of omega-regular games.
J. Comput. Syst. Sci. 68(2): 374-397 (2004) |
| 2003 |
|---|
| 39 | EE | Luca de Alfaro:
Quantitative Verification and Control via the Mu-Calculus.
CONCUR 2003: 102-126 |
| 38 | EE | Luca de Alfaro,
Marco Faella,
Thomas A. Henzinger,
Rupak Majumdar,
Mariëlle Stoelinga:
The Element of Surprise in Timed Games.
CONCUR 2003: 142-156 |
| 37 | EE | Arindam Chakrabarti,
Luca de Alfaro,
Thomas A. Henzinger,
Mariëlle Stoelinga:
Resource Interfaces.
EMSOFT 2003: 117-133 |
| 36 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Rupak Majumdar:
Discounting the Future in Systems Theory.
ICALP 2003: 1022-1037 |
| 35 | EE | Luca de Alfaro,
Marco Faella:
Information Flow in Concurrent Games.
ICALP 2003: 1038-1053 |
| 34 | EE | Luca de Alfaro:
Game Models for Open Systems.
Verification: Theory and Practice 2003: 269-289 |
| 33 | | Luca de Alfaro,
Arjun Kapur:
Hybrid diagrams.
Theor. Comput. Sci. 290(1): 565-597 (2003) |
| 2002 |
|---|
| 32 | EE | Arindam Chakrabarti,
Luca de Alfaro,
Thomas A. Henzinger,
Freddy Y. C. Mang:
Synchronous and Bidirectional Component Interfaces.
CAV 2002: 414-427 |
| 31 | EE | Arindam Chakrabarti,
Luca de Alfaro,
Thomas A. Henzinger,
Marcin Jurdzinski,
Freddy Y. C. Mang:
Interface Compatibility Checking for Software Modules.
CAV 2002: 428-441 |
| 30 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Mariëlle Stoelinga:
Timed Interfaces.
EMSOFT 2002: 108-122 |
| 29 | EE | Roberto Passerone,
Luca de Alfaro,
Thomas A. Henzinger,
Alberto L. Sangiovanni-Vincentelli:
Convertibility verification and converter synthesis: two faces of the same coin.
ICCAD 2002: 132-139 |
| 2001 |
|---|
| 28 | | Luca de Alfaro,
Stephen Gilmore:
Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings
Springer 2001 |
| 27 | EE | Luca de Alfaro:
Model Checking the World Wide Web.
CAV 2001: 337-349 |
| 26 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Ranjit Jhala:
Compositional Methods for Probabilistic Systems.
CONCUR 2001: 351-365 |
| 25 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Rupak Majumdar:
Symbolic Algorithms for Infinite-State Games.
CONCUR 2001: 536-550 |
| 24 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Freddy Y. C. Mang:
The Control of Synchronous Systems, Part II.
CONCUR 2001: 566-582 |
| 23 | EE | Luca de Alfaro,
Thomas A. Henzinger:
Interface Theories for Component-Based Design.
EMSOFT 2001: 148-165 |
| 22 | EE | Luca de Alfaro,
Thomas A. Henzinger:
Interface automata.
ESEC / SIGSOFT FSE 2001: 109-120 |
| 21 | | Rajeev Alur,
Luca de Alfaro,
Radu Grosu,
Thomas A. Henzinger,
M. Kang,
Christoph M. Kirsch,
Rupak Majumdar,
Freddy Y. C. Mang,
Bow-Yaw Wang:
JMOCHA: A Model Checking Tool that Exploits Design Structure.
ICSE 2001: 835-836 |
| 20 | | Luca de Alfaro,
Thomas A. Henzinger,
Rupak Majumdar:
From Verification to Control: Dynamic Programs for Omega-Regular Objectives.
LICS 2001: 279-290 |
| 19 | EE | Luca de Alfaro,
Rupak Majumdar:
Quantitative solution of omega-regular games.
STOC 2001: 675-683 |
| 18 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Freddy Y. C. Mang:
MCWEB: A Model-Checking Tool for Web Site Debugging.
WWW Posters 2001 |
| 2000 |
|---|
| 17 | | Luca de Alfaro,
Thomas A. Henzinger,
Freddy Y. C. Mang:
Detecting Errors Before Reaching Them.
CAV 2000: 186-201 |
| 16 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Freddy Y. C. Mang:
The Control of Synchronous Systems.
CONCUR 2000: 458-473 |
| 15 | EE | Luca de Alfaro,
Thomas A. Henzinger:
Concurrent Omega-Regular Games.
LICS 2000: 141-154 |
| 14 | EE | Luca de Alfaro,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Roberto Segala:
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.
TACAS 2000: 395-410 |
| 1999 |
|---|
| 13 | EE | Luca de Alfaro:
Computing Minimum and Maximum Reachability Times in Probabilistic Systems.
CONCUR 1999: 66-81 |
| 12 | EE | Rajeev Alur,
Luca de Alfaro,
Thomas A. Henzinger,
Freddy Y. C. Mang:
Automating Modular Verification.
CONCUR 1999: 82-97 |
| 11 | EE | Luca de Alfaro:
From Fairness to Chance.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 1998 |
|---|
| 10 | EE | Luca de Alfaro:
Stochastic Transition Systems.
CONCUR 1998: 423-438 |
| 9 | EE | Luca de Alfaro,
Thomas A. Henzinger,
Orna Kupferman:
Concurrent Reachability Games.
FOCS 1998: 564-575 |
| 8 | | Luca de Alfaro:
How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems.
LICS 1998: 454-465 |
| 1997 |
|---|
| 7 | | Luca de Alfaro,
Arjun Kapur,
Zohar Manna:
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.
STACS 1997: 153-164 |
| 6 | | Luca de Alfaro:
Temporal Logics for the Specification of Performance and Reliability.
STACS 1997: 165-176 |
| 5 | | Luca de Alfaro,
Zohar Manna:
Visual Verification of Reactive Systems.
TACAS 1997: 334-350 |
| 1996 |
|---|
| 4 | | Luca de Alfaro,
Zohar Manna:
Temporal Verification by Diagram Transformations.
CAV 1996: 288-299 |
| 1995 |
|---|
| 3 | | Luca de Alfaro,
Zohar Manna:
Verification in Continuous Time by Discrete Reasoning.
AMAST 1995: 292-306 |
| 2 | | Andrea Bianco,
Luca de Alfaro:
Model Checking of Probabalistic and Nondeterministic Systems.
FSTTCS 1995: 499-513 |
| 1 | | Zohar Manna,
Nikolaj Bjørner,
Anca Browne,
Edward Y. Chang,
Michael Colón,
Luca de Alfaro,
Harish Devarajan,
Arjun Kapur,
Jaejin Lee,
Henny Sipma,
Tomás E. Uribe:
STeP: The Stanford Temporal Prover.
TAPSOFT 1995: 793-794 |
