The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luca de Alfaro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  61. The Complexity of Coverage. [Citation Graph (, )][DBLP]


  62. Robust content-driven reputation. [Citation Graph (, )][DBLP]


  63. Detecting Wikipedia Vandalism using WikiTrust - Lab Report for PAN at CLEF 2010. [Citation Graph (, )][DBLP]


  64. An Introduction to the Tool Ticc. [Citation Graph (, )][DBLP]


  65. Analyzing the Impact of Change in Multi-threaded Programs. [Citation Graph (, )][DBLP]


  66. Stochastic Games with Lossy Channels. [Citation Graph (, )][DBLP]


  67. Algorithms for Game Metrics. [Citation Graph (, )][DBLP]


  68. Qualitative Logics and Equivalences for Probabilistic Systems. [Citation Graph (, )][DBLP]


  69. Symbolic Magnifying Lens Abstraction in Markov Decision Processes. [Citation Graph (, )][DBLP]


  70. Termination criteria for solving concurrent safety and reachability games. [Citation Graph (, )][DBLP]


  71. Assigning trust to Wikipedia content. [Citation Graph (, )][DBLP]


  72. Measuring Wikipedia: a hands-on tutorial. [Citation Graph (, )][DBLP]


  73. Measuring author contributions to the Wikipedia. [Citation Graph (, )][DBLP]


  74. The Complexity of Coverage [Citation Graph (, )][DBLP]


  75. Strategy Improvement for Concurrent Safety Games [Citation Graph (, )][DBLP]


  76. Game Refinement Relations and Metrics [Citation Graph (, )][DBLP]


  77. Termination Criteria for Solving Concurrent Safety and Reachability Games [Citation Graph (, )][DBLP]


  78. Algorithms for Game Metrics (Full Version) [Citation Graph (, )][DBLP]


  79. Qualitative Logics and Equivalences for Probabilistic Systems [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002