| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Strategy Improvement for Concurrent Reachability and Safety Games  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Ashutosh Kulshreshtha, Ian Pye, B. Thomas Adler |
Reputation systems for open collaboration. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy |
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Qualitative concurrent parity games. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Pritam Roy |
Solving games via three-valued abstraction refinement. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman |
Algorithms for Game Metrics (Full Version) |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez |
Analyzing the Impact of Change in Multi-threaded Programs. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching System Metrics. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay |
Qualitative Logics and Equivalences for Probabilistic Systems |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Termination criteria for solving concurrent safety and reachability games. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Felipe Ortega |
Measuring Wikipedia: a hands-on tutorial. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
WikiTrust, WikiXRay, data mining, measurements, Wikipedia, empirical research |
| 1 | Luca de Alfaro (eds.) |
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 |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga |
Game Refinement Relations and Metrics. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Termination Criteria for Solving Concurrent Safety and Reachability Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
The Complexity of Coverage |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Strategy Improvement for Concurrent Safety Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga |
Game Refinement Relations and Metrics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
EMSOFT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
The Complexity of Coverage. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman |
Assigning trust to Wikipedia content. |
Int. Sym. Wikis |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Thomas Adler, Luca de Alfaro, Ian Pye, Vishwanath Raman |
Measuring author contributions to the Wikipedia. |
Int. Sym. Wikis |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro |
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg |
Stochastic Games with Lossy Channels. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman |
Algorithms for Game Metrics. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Ian Pye |
Robust content-driven reputation. |
AISec |
2008 |
DBLP DOI BibTeX RDF |
wikipedia, reputation, user-generated content |
| 1 | Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman |
Concurrent reachability games. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Pritam Roy |
Solving Games Via Three-Valued Abstraction Refinement. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Thomas Adler, Luca de Alfaro |
A content-driven reputation system for the wikipedia. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
Wikipedia, reputation, user-generated content |
| 1 | Luca de Alfaro, Pritam Roy |
Magnifying-Lens Abstraction for Markov Decision Processes. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella |
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay |
Qualitative Logics and Equivalences for Probabilistic Systems. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga |
Game Relations and Metrics. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro |
The Symbolic Approach to Repeated Games (Abstract). |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
The complexity of quantitative concurrent parity games. |
SODA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay, Luca de Alfaro, Marco Faella |
An Introduction to the Tool Ticc. |
Trustworthy Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Strategy Improvement for Concurrent Reachability Games. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
Compositional Quantitative Reasoning. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
Model checking discounted temporal properties. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
CONCUR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |
Code aware resource management. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, deadlock avoidance, code analysis |
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
The Complexity of Stochastic Rabin and Streett Games'. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Thomas Adler, Luca de Alfaro, Marco Faella |
Average Reward Timed Games. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea |
Sociable Interfaces. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Mariëlle Stoelinga |
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Rupak Majumdar |
Quantitative solution of omega-regular games. |
J. Comput. Syst. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
Model Checking Discounted Temporal Properties. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching Metrics for Quantitative Transition Systems. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Trading Memory for Randomness. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan |
Three-Valued Abstractions of Games: Uncertainty, but with Precision. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Arjun Kapur |
Hybrid diagrams. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
The Element of Surprise in Timed Games. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro |
Quantitative Verification and Control via the Mu-Calculus. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga |
Resource Interfaces. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
Discounting the Future in Systems Theory. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Marco Faella |
Information Flow in Concurrent Games. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro |
Game Models for Open Systems. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga |
Timed Interfaces. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
Synchronous and Bidirectional Component Interfaces. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang |
Interface Compatibility Checking for Software Modules. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala |
Compositional Methods for Probabilistic Systems. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
Symbolic Algorithms for Infinite-State Games. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
The Control of Synchronous Systems, Part II. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger |
Interface Theories for Component-Based Design. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
MCWEB: A Model-Checking Tool for Web Site Debugging. |
WWW Posters |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
PAPM-PROBMIV |
2001 |
DBLP BibTeX RDF |
|
| 1 | Luca de Alfaro |
Model Checking the World Wide Web. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
From Verification to Control: Dynamic Programs for Omega-Regular Objectives. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger |
Interface automata. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Rupak Majumdar |
Quantitative solution of omega-regular games. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
The Control of Synchronous Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
Detecting Errors Before Reaching Them. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger |
Concurrent Omega-Regular Games. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro |
From Fairness to Chance. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro |
Computing Minimum and Maximum Reachability Times in Probabilistic Systems. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
Automating Modular Verification. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro |
Stochastic Transition Systems. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro |
How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman |
Concurrent Reachability Games. |
FOCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Zohar Manna |
Visual Verification of Reactive Systems. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro |
Temporal Logics for the Specification of Performance and Reliability. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Arjun Kapur, Zohar Manna |
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Zohar Manna |
Temporal Verification by Diagram Transformations. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca de Alfaro, Zohar Manna |
Verification in Continuous Time by Discrete Reasoning. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bianco, Luca de Alfaro |
Model Checking of Probabalistic and Nondeterministic Systems. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")