| 2009 |
|---|
| 80 | EE | Luca de Alfaro:
Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Springer 2009 |
| 79 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Thomas A. Henzinger:
Termination criteria for solving concurrent safety and reachability games.
SODA 2009: 197-206 |
| 78 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Marco Faella,
Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems
CoRR abs/0903.2445: (2009) |
| 77 | EE | Luca de Alfaro,
Marco Faella,
Mariëlle Stoelinga:
Linear and Branching System Metrics.
IEEE Trans. Software Eng. 35(2): 258-273 (2009) |
| 2008 |
|---|
| 76 | | Luca de Alfaro,
Jens Palsberg:
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
ACM 2008 |
| 75 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Ian Pye:
Robust content-driven reputation.
AISec 2008: 33-42 |
| 74 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar:
The Complexity of Coverage.
APLAS 2008: 91-106 |
| 73 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman:
Algorithms for Game Metrics.
FSTTCS 2008 |
| 72 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Luca de Alfaro,
Richard Mayr,
Sven Sandberg:
Stochastic Games with Lossy Channels.
FoSSaCS 2008: 35-49 |
| 71 | EE | Pritam Roy,
David Parker,
Gethin Norman,
Luca de Alfaro:
Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
QEST 2008: 103-112 |
| 70 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar:
The Complexity of Coverage
CoRR abs/0804.4525: (2008) |
| 69 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Thomas A. Henzinger:
Strategy Improvement for Concurrent Safety Games
CoRR abs/0804.4530: (2008) |
| 68 | EE | Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman,
Mariëlle Stoelinga:
Game Refinement Relations and Metrics
CoRR abs/0806.4956: (2008) |
| 67 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Thomas A. Henzinger:
Termination Criteria for Solving Concurrent Safety and Reachability Games
CoRR abs/0809.4017: (2008) |
| 66 | EE | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman:
Algorithms for Game Metrics (Full Version)
CoRR abs/0809.4326: (2008) |
| 2007 |
|---|
| 65 | EE | Luca de Alfaro,
Marco Faella:
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.
CAV 2007: 108-120 |
| 64 | EE | Luca de Alfaro,
Pritam Roy:
Magnifying-Lens Abstraction for Markov Decision Processes.
CAV 2007: 325-338 |
| 63 | EE | Luca de Alfaro,
Pritam Roy:
Solving Games Via Three-Valued Abstraction Refinement.
CONCUR 2007: 74-89 |
| 62 | EE | Luca de Alfaro:
The Symbolic Approach to Repeated Games (Abstract).
CSL 2007: 3 |
| 61 | EE | Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman,
Mariëlle Stoelinga:
Game Relations and Metrics.
LICS 2007: 99-108 |
| 60 | EE | Luca de Alfaro,
Krishnendu Chatterjee,
Marco Faella,
Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems.
QEST 2007: 237-248 |
| 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 | B. Thomas 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 |
