Luca de Alfaro

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman: Code aware resource management. Formal Methods in System Design 42(2): 146-174 (2013)

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy improvement for concurrent reachability and turn-based stochastic safety games. J. Comput. Syst. Sci. 79(5): 640-657 (2013)

Benjamin M. Good, Erik L. Clarke, Luca de Alfaro, Andrew I. Su: The Gene Wiki in 2011: community intelligence applied to human gene annotation. Nucleic Acids Research 40(Database-Issue): 1255-1261 (2012)

Ali Adabi, Luca de Alfaro: Toward a Social Graph Recommendation Algorithm: Do We Trust Our Friends in Movie Recommendations? OTM Workshops 2012: 637-647

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Reachability and Safety Games. CoRR abs/1201.2834 (2012)

Luca de Alfaro, Ashutosh Kulshreshtha, Ian Pye, B. Thomas Adler: Reputation systems for open collaboration. Commun. ACM 54(8): 81-87 (2011)

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Qualitative concurrent parity games. ACM Trans. Comput. Log. 12(4): 28 (2011)

B. Thomas Adler, Luca de Alfaro, Santiago Moisés Mola-Velasco, Paolo Rosso, Andrew G. West: Wikipedia Vandalism Detection: Combining Natural Language, Metadata, and Reputation Features. CICLing (2) 2011: 277-288

Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy: Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives. CoRR abs/1107.2132 (2011)

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics (Full Version). Logical Methods in Computer Science 6(3) (2010)

Luca de Alfaro, Pritam Roy: Solving games via three-valued abstraction refinement. Inf. Comput. 208(6): 666-676 (2010)

B. Thomas Adler, Luca de Alfaro, Ian Pye: Detecting Wikipedia Vandalism using WikiTrust - Lab Report for PAN at CLEF 2010. CLEF (Notebook Papers/LABs/Workshops) 2010

Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez: Analyzing the Impact of Change in Multi-threaded Programs. FASE 2010: 293-307

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science 5(2) (2009)

Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching System Metrics. IEEE Trans. Software Eng. 35(2): 258-273 (2009)

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination criteria for solving concurrent safety and reachability games. SODA 2009: 197-206

Luca de Alfaro, Felipe Ortega: Measuring Wikipedia: a hands-on tutorial. Int. Sym. Wikis 2009

Luca de Alfaro (Ed.): 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. Lecture Notes in Computer Science 5504, Springer 2009, isbn 978-3-642-00595-4

Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics. Logical Methods in Computer Science 4(3) (2008)

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage. APLAS 2008: 91-106

Krishnendu Chatterjee, Luca de Alfaro, Ian Pye: Robust content-driven reputation. AISec 2008: 33-42

Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg: Stochastic Games with Lossy Channels. FoSSaCS 2008: 35-49

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics. FSTTCS 2008: 107-118

Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro: Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112

B. Thomas Adler, Luca de Alfaro, Ian Pye, Vishwanath Raman: Measuring author contributions to the Wikipedia. Int. Sym. Wikis 2008

B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman: Assigning trust to Wikipedia content. Int. Sym. Wikis 2008

Luca de Alfaro, Jens Palsberg (Eds.): Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008. ACM 2008, isbn 978-1-60558-468-3

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage. CoRR abs/0804.4525 (2008)

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Safety Games. CoRR abs/0804.4530 (2008)

Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics. CoRR abs/0806.4956 (2008)

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination Criteria for Solving Concurrent Safety and Reachability Games. CoRR abs/0809.4017 (2008)

Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007)

Luca de Alfaro, Marco Faella: An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV 2007: 108-120

Luca de Alfaro, Pritam Roy: Magnifying-Lens Abstraction for Markov Decision Processes. CAV 2007: 325-338

Luca de Alfaro, Pritam Roy: Solving Games Via Three-Valued Abstraction Refinement. CONCUR 2007: 74-89

Luca de Alfaro: The Symbolic Approach to Repeated Games (Abstract). CSL 2007: 3

Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Relations and Metrics. LICS 2007: 99-108

Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248

B. Thomas Adler, Luca de Alfaro: A content-driven reputation system for the wikipedia. WWW 2007: 261-270

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

Axel Legay, Luca de Alfaro, Marco Faella: An Introduction to the Tool Ticc. Trustworthy Software 2006

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The complexity of quantitative concurrent parity games. SODA 2006: 678-687

Luca de Alfaro: Preface. Electr. Notes Theor. Comput. Sci. 119(1): 1-2 (2005)

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)

Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar: Code aware resource management. EMSOFT 2005: 191-202

B. Thomas Adler, Luca de Alfaro, Marco Faella: Average Reward Timed Games. FORMATS 2005: 65-80

Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCoS 2005: 81-105

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The Complexity of Stochastic Rabin and Streett Games'. ICALP 2005: 878-890

Martín Abadi, Luca de Alfaro (Eds.): CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Lecture Notes in Computer Science 3653, Springer 2005, isbn 3-540-28309-9

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)

Luca de Alfaro, Rupak Majumdar: Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2): 374-397 (2004)

Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching Metrics for Quantitative Transition Systems. ICALP 2004: 97-109

Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan: Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS 2004: 170-179

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Trading Memory for Randomness. QEST 2004: 206-217

Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92

Luca de Alfaro, Arjun Kapur: Hybrid diagrams. Theor. Comput. Sci. 290(1): 565-597 (2003)

Luca de Alfaro: Game Models for Open Systems. Verification: Theory and Practice 2003: 269-289

Luca de Alfaro: Quantitative Verification and Control via the Mu-Calculus. CONCUR 2003: 102-126

Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Resource Interfaces. EMSOFT 2003: 117-133

Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Discounting the Future in Systems Theory. ICALP 2003: 1022-1037

Luca de Alfaro, Marco Faella: Information Flow in Concurrent Games. ICALP 2003: 1038-1053

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang: Interface Compatibility Checking for Software Modules. CAV 2002: 428-441

Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Timed Interfaces. EMSOFT 2002: 108-122

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

Luca de Alfaro: Model Checking the World Wide Web. CAV 2001: 337-349

Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala: Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365

Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems, Part II. CONCUR 2001: 566-582

Luca de Alfaro, Thomas A. Henzinger: Interface Theories for Component-Based Design. EMSOFT 2001: 148-165

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

Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290

Luca de Alfaro, Thomas A. Henzinger: Interface automata. ESEC / SIGSOFT FSE 2001: 109-120

Luca de Alfaro, Rupak Majumdar: Quantitative solution of omega-regular games. STOC 2001: 675-683

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters 2001

Luca de Alfaro, Stephen Gilmore (Eds.): Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings. Lecture Notes in Computer Science 2165, Springer 2001, isbn 3-540-42556-X

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Detecting Errors Before Reaching Them. CAV 2000: 186-201

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems. CONCUR 2000: 458-473

Luca de Alfaro, Thomas A. Henzinger: Concurrent Omega-Regular Games. LICS 2000: 141-154

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

Luca de Alfaro: From Fairness to Chance. Electr. Notes Theor. Comput. Sci. 22: 55-87 (1999)

Luca de Alfaro: Computing Minimum and Maximum Reachability Times in Probabilistic Systems. CONCUR 1999: 66-81

Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Automating Modular Verification. CONCUR 1999: 82-97

Luca de Alfaro: Stochastic Transition Systems. CONCUR 1998: 423-438

Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent Reachability Games. FOCS 1998: 564-575

Luca de Alfaro: How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. LICS 1998: 454-465

Luca de Alfaro, Arjun Kapur, Zohar Manna: Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS 1997: 153-164

Luca de Alfaro: Temporal Logics for the Specification of Performance and Reliability. STACS 1997: 165-176

Luca de Alfaro, Zohar Manna: Visual Verification of Reactive Systems. TACAS 1997: 334-350

Luca de Alfaro, Zohar Manna: Temporal Verification by Diagram Transformations. CAV 1996: 288-299

Luca de Alfaro, Zohar Manna: Verification in Continuous Time by Discrete Reasoning. AMAST 1995: 292-306

Andrea Bianco, Luca de Alfaro: Model Checking of Probabalistic and Nondeterministic Systems. FSTTCS 1995: 499-513

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

Luca de Alfaro, Angelo Raffaele Meo: Codes for second and third order GH-ARQ schemes. IEEE Transactions on Communications 42(234): 899-910 (1994)