![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Luca de Alfaro
Person information
- affiliation: University of California, Santa Cruz, Computer Science and Engineering, CA, USA
- affiliation (PhD 1998): Stanford University, CA, USA
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]Alkis Koudounas
, Eliana Pastor
, Giuseppe Attanasio
, Vittorio Mazzia
, Manuel Giollo
, Thomas Gueudré
, Elisa Reale
, Luca Cagliero
, Sandro Cumani
, Luca de Alfaro
, Elena Baralis
, Daniele Amberti
:
Towards Comprehensive Subgroup Performance Analysis in Speech Models. IEEE ACM Trans. Audio Speech Lang. Process. 32: 1468-1480 (2024) - [c97]Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Luca de Alfaro, Elena Baralis:
Prioritizing Data Acquisition for end-to-end Speech Model Improvement. ICASSP 2024: 7000-7004 - 2023
- [c96]Alkis Koudounas
, Eliana Pastor
, Giuseppe Attanasio, Vittorio Mazzia
, Manuel Giollo, Thomas Gueudré, Luca Cagliero
, Luca de Alfaro, Elena Baralis, Daniele Amberti:
Exploring Subgroup Performance in End-to-End Speech Models. ICASSP 2023: 1-5 - [c95]Eliana Pastor
, Elena Baralis, Luca de Alfaro:
A Hierarchical Approach to Anomalous Subgroup Discovery. ICDE 2023: 2647-2659 - 2022
- [j18]Molly Zhang
, Luca de Alfaro
, J. J. Garcia-Luna-Aceves:
Making slotted ALOHA efficient and fair using reinforcement learning. Comput. Commun. 181: 58-68 (2022) - [i19]Reilly Raab, Luca de Alfaro, Yang Liu:
Conjugate Natural Selection. CoRR abs/2208.13898 (2022) - 2021
- [j17]Eliana Pastor
, Andrew Gavgavian, Elena Baralis, Luca de Alfaro:
How Divergent Is Your Data? Proc. VLDB Endow. 14(12): 2835-2838 (2021) - [c94]Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
:
CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR 2021: 1:1-1:3 - [c93]Eliana Pastor
, Luca de Alfaro, Elena Baralis:
Looking for Trouble: Analyzing Classifier Behavior via Pattern Divergence. SIGMOD Conference 2021: 1400-1412 - [i18]Eliana Pastor, Luca de Alfaro, Elena Baralis:
Identifying Biased Subgroups in Ranking and Classification. CoRR abs/2108.07450 (2021) - 2020
- [c92]Shenshen Liang, Luca de Alfaro:
Online Top-K Selection in Crowdsourcing Environments. ICCDE 2020: 252-259 - [c91]Molly Zhang
, Luca de Alfaro, Marc Mosko
, Colin Funai, Tim Upthegrove, Bishal Thapa, Daniel Javorsek, J. J. Garcia-Luna-Aceves:
Adaptive Policy Tree Algorithm to Approach Collision-Free Transmissions in Slotted ALOHA. MASS 2020: 138-146 - [c90]Molly Zhang
, Luca de Alfaro, J. J. Garcia-Luna-Aceves:
Using Reinforcement Learning in Slotted Aloha for Ad-Hoc Networks. MSWiM 2020: 245-252 - [c89]Luca de Alfaro, Molly Zhang, J. J. Garcia-Luna-Aceves:
Approaching Fair Collision-Free Channel Access with Slotted ALOHA Using Collaborative Policy-Based Reinforcement Learning. Networking 2020: 262-270 - [c88]Molly Zhang
, Luca de Alfaro, J. J. Garcia-Luna-Aceves:
An Adaptive Tree Algorithm to Approach Collision-Free Transmission in Slotted ALOHA. NetAI@SIGCOMM 2020: 56-61
2010 – 2019
- 2019
- [c87]Rakshit Agrawal, Luca de Alfaro:
Learning Edge Properties in Graphs from Path Aggregations. WWW 2019: 15-25 - [i17]Rakshit Agrawal, Luca de Alfaro, David P. Helmbold:
A New Family of Neural Networks Provably Resistant to Adversarial Attacks. CoRR abs/1902.01208 (2019) - [i16]Rakshit Agrawal, Luca de Alfaro, Gabriele Ballarin, Stefano Moret, Massimo Di Pierro, Eugenio Tacchini, Marco L. Della Vedova:
Identifying Fake News from Twitter Sharing Data: A Large-Scale Study. CoRR abs/1902.07207 (2019) - [i15]Rakshit Agrawal, Luca de Alfaro:
Learning Edge Properties in Graphs from Path Aggregations. CoRR abs/1903.04613 (2019) - 2018
- [c86]Marco L. Della Vedova
, Eugenio Tacchini, Stefano Moret
, Gabriele Ballarin, Massimo Di Pierro, Luca de Alfaro:
Automatic Online Fake News Detection Combining Content and Social Signals. FRUCT 2018: 272-279 - [c85]Maria Daltayanni, Ali Dasdan, Luca de Alfaro:
Automated Audience Segmentation Using Reputation Signals. KDD 2018: 186-195 - [p1]Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska:
Model Checking Probabilistic Systems. Handbook of Model Checking 2018: 963-999 - [i14]Luca de Alfaro, Massimo Di Pierro, Eugenio Tacchini, Gabriele Ballarin, Marco L. Della Vedova, Stefano Moret:
Reputation Systems for News on Twitter: A Large-Scale Study. CoRR abs/1802.08066 (2018) - [i13]Luca de Alfaro:
Neural Networks with Structural Resistance to Adversarial Attacks. CoRR abs/1809.09262 (2018) - 2017
- [c84]Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos:
Learning from Graph Neighborhoods Using LSTMs. AAAI Workshops 2017 - [c83]Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis:
Efficient Techniques for Crowdsourced Top-k Lists. IJCAI 2017: 4801-4805 - [i12]Eugenio Tacchini, Gabriele Ballarin, Marco L. Della Vedova, Stefano Moret, Luca de Alfaro:
Some Like it Hoax: Automated Fake News Detection in Social Networks. CoRR abs/1704.07506 (2017) - 2016
- [c82]Luca de Alfaro, Michael Shavlovsky:
Dynamics of Peer Grading: An Empirical Study. EDM 2016: 62-69 - [c81]Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis:
Efficient Techniques for Crowdsourced Top-k Lists. HCOMP 2016: 22-31 - [c80]Rakshit Agrawal, Luca de Alfaro:
Predicting the quality of user contributions via LSTMs. OpenSym 2016: 19:1-19:10 - [i11]Luca de Alfaro, Michael Shavlovsky, Vassilis Polychronopoulos:
Incentives for Truthful Peer Grading. CoRR abs/1604.03178 (2016) - [i10]Luca de Alfaro, Marco Faella:
TrueReview: A Platform for Post-Publication Peer Review. CoRR abs/1608.07878 (2016) - [i9]Luca de Alfaro, Marco Faella, Vassilis Polychronopoulos, Michael Shavlovsky:
Incentives for Truthful Evaluations. CoRR abs/1608.07886 (2016) - [i8]Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos:
Learning From Graph Neighborhoods Using LSTMs. CoRR abs/1611.06882 (2016) - 2015
- [c79]Luca de Alfaro, Vassilis Polychronopoulos, Michael Shavlovsky:
Reliable Aggregation of Boolean Crowdsourced Tasks. HCOMP 2015: 42-51 - [c78]Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou:
WorkerRank: Using Employer Implicit Judgements to Infer Worker Reputation. WSDM 2015: 263-272 - 2014
- [c77]Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou, Panayiotis Tsaparas
:
On Assigning Implicit Reputation Scores in an Online Labor Marketplace. EDBT 2014: 724-725 - [c76]Luca de Alfaro, Michael Shavlovsky:
CrowdGrader: a tool for crowdsourcing the evaluation of homework assignments. SIGCSE 2014: 415-420 - 2013
- [j16]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman:
Code aware resource management. Formal Methods Syst. Des. 42(2): 146-174 (2013) - [j15]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. Int. J. Found. Comput. Sci. 24(2): 165-186 (2013) - [j14]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) - [c75]Luca de Alfaro, B. Thomas Adler:
Content-Driven Reputation for Collaborative Systems. TGC 2013: 3-13 - [c74]Vassilis Polychronopoulos, Luca de Alfaro, James Davis, Hector Garcia-Molina, Neoklis Polyzotis:
Human-Powered Top-k Lists. WebDB 2013: 25-30 - [c73]Luca de Alfaro, Michael Shavlovsky:
Attributing authorship of revisioned content. WWW 2013: 343-354 - [i7]Luca de Alfaro, Michael Shavlovsky:
CrowdGrader: Crowdsourcing the Evaluation of Homework Assignments. CoRR abs/1308.5273 (2013) - 2012
- [j13]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 Res. 40(Database-Issue): 1255-1261 (2012) - [c72]Ali Adabi, Luca de Alfaro:
Toward a Social Graph Recommendation Algorithm: Do We Trust Our Friends in Movie Recommendations? OTM Workshops 2012: 637-647 - [i6]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability and Safety Games. CoRR abs/1201.2834 (2012) - 2011
- [j12]Luca de Alfaro, Ashutosh Kulshreshtha, Ian Pye, B. Thomas Adler:
Reputation systems for open collaboration. Commun. ACM 54(8): 81-87 (2011) - [j11]Krishnendu Chatterjee
, Luca de Alfaro, Thomas A. Henzinger:
Qualitative concurrent parity games. ACM Trans. Comput. Log. 12(4): 28:1-28:51 (2011) - [c71]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 - [i5]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) - 2010
- [j10]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman:
Algorithms for Game Metrics (Full Version). Log. Methods Comput. Sci. 6(3) (2010) - [j9]Luca de Alfaro, Pritam Roy:
Solving games via three-valued abstraction refinement. Inf. Comput. 208(6): 666-676 (2010) - [c70]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 - [c69]Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
:
Analyzing the Impact of Change in Multi-threaded Programs. FASE 2010: 293-307
2000 – 2009
- 2009
- [j8]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems. Log. Methods Comput. Sci. 5(2) (2009) - [j7]Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
:
Linear and Branching System Metrics. IEEE Trans. Software Eng. 35(2): 258-273 (2009) - [c68]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Termination criteria for solving concurrent safety and reachability games. SODA 2009: 197-206 - [c67]Luca de Alfaro, Felipe Ortega:
Measuring Wikipedia: a hands-on tutorial. Int. Sym. Wikis 2009 - [e5]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. Lecture Notes in Computer Science 5504, Springer 2009, ISBN 978-3-642-00595-4 [contents] - 2008
- [j6]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
:
Game Refinement Relations and Metrics. Log. Methods Comput. Sci. 4(3) (2008) - [c66]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. APLAS 2008: 91-106 - [c65]Krishnendu Chatterjee, Luca de Alfaro, Ian Pye:
Robust content-driven reputation. AISec 2008: 33-42 - [c64]Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg:
Stochastic Games with Lossy Channels. FoSSaCS 2008: 35-49 - [c63]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman:
Algorithms for Game Metrics. FSTTCS 2008: 107-118 - [c62]Pritam Roy, David Parker
, Gethin Norman
, Luca de Alfaro:
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112 - [c61]B. Thomas Adler, Luca de Alfaro, Ian Pye, Vishwanath Raman:
Measuring author contributions to the Wikipedia. Int. Sym. Wikis 2008 - [c60]B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman:
Assigning trust to Wikipedia content. Int. Sym. Wikis 2008 - [e4]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, ISBN 978-1-60558-468-3 [contents] - [i4]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. CoRR abs/0804.4525 (2008) - [i3]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Safety Games. CoRR abs/0804.4530 (2008) - [i2]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
Game Refinement Relations and Metrics. CoRR abs/0806.4956 (2008) - [i1]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Termination Criteria for Solving Concurrent Safety and Reachability Games. CoRR abs/0809.4017 (2008) - 2007
- [j5]Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman:
Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007) - [c59]Luca de Alfaro, Marco Faella:
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV 2007: 108-120 - [c58]Luca de Alfaro, Pritam Roy:
Magnifying-Lens Abstraction for Markov Decision Processes. CAV 2007: 325-338 - [c57]Luca de Alfaro, Pritam Roy:
Solving Games Via Three-Valued Abstraction Refinement. CONCUR 2007: 74-89 - [c56]Luca de Alfaro:
The Symbolic Approach to Repeated Games (Abstract). CSL 2007: 3 - [c55]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
:
Game Relations and Metrics. LICS 2007: 99-108 - [c54]Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248 - [c53]B. Thomas Adler, Luca de Alfaro:
A content-driven reputation system for the wikipedia. WWW 2007: 261-270 - 2006
- [c52]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 - [c51]Axel Legay, Luca de Alfaro, Marco Faella:
An Introduction to the Tool Ticc. Trustworthy Software 2006 - [c50]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
:
Compositional Quantitative Reasoning. QEST 2006: 179-188 - [c49]Krishnendu Chatterjee
, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300 - [c48]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
The complexity of quantitative concurrent parity games. SODA 2006: 678-687 - 2005
- [j4]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) - [c47]Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar:
Code aware resource management. EMSOFT 2005: 191-202 - [c46]B. Thomas Adler, Luca de Alfaro, Marco Faella:
Average Reward Timed Games. FORMATS 2005: 65-80 - [c45]Luca de Alfaro, Leandro Dias da Silva
, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea:
Sociable Interfaces. FroCoS 2005: 81-105 - [c44]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
The Complexity of Stochastic Rabin and Streett Games'. ICALP 2005: 878-890 - [e3]Luca de Alfaro:
Proceedings of the Workshop on Games in Design and Verification, GDV@CAV 2004, Boston, MA, USA, June 18, 2004. Electronic Notes in Theoretical Computer Science 119(1), Elsevier 2005 [contents] - [e2]Martín Abadi, Luca de Alfaro:
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 [contents] - 2004
- [j3]Luca de Alfaro, Rupak Majumdar:
Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2): 374-397 (2004) - [c43]Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
:
Linear and Branching Metrics for Quantitative Transition Systems. ICALP 2004: 97-109 - [c42]Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan:
Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS 2004: 170-179 - [c41]Krishnendu Chatterjee
, Luca de Alfaro, Thomas A. Henzinger:
Trading Memory for Randomness. QEST 2004: 206-217 - [c40]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model Checking Discounted Temporal Properties. TACAS 2004: 77-92 - [c39]Luca de Alfaro:
Preface. GDV@CAV 2004: 1-2 - 2003
- [j2]Luca de Alfaro, Arjun Kapur:
Hybrid diagrams. Theor. Comput. Sci. 290(1): 565-597 (2003) - [c38]Luca de Alfaro:
Game Models for Open Systems. Verification: Theory and Practice 2003: 269-289 - [c37]Luca de Alfaro:
Quantitative Verification and Control via the Mu-Calculus. CONCUR 2003: 102-126 - [c36]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
The Element of Surprise in Timed Games. CONCUR 2003: 142-156 - [c35]Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Resource Interfaces. EMSOFT 2003: 117-133 - [c34]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Discounting the Future in Systems Theory. ICALP 2003: 1022-1037 - [c33]Luca de Alfaro, Marco Faella:
Information Flow in Concurrent Games. ICALP 2003: 1038-1053 - [c32]Luca de Alfaro, Mariëlle Stoelinga:
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. FOCLASA 2003: 3-23 - 2002
- [c31]Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427 - [c30]Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang:
Interface Compatibility Checking for Software Modules. CAV 2002: 428-441 - [c29]Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Timed Interfaces. EMSOFT 2002: 108-122 - [c28]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
- [c27]Luca de Alfaro:
Model Checking the World Wide Web. CAV 2001: 337-349 - [c26]Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala:
Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365 - [c25]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550 - [c24]Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
The Control of Synchronous Systems, Part II. CONCUR 2001: 566-582 - [c23]Luca de Alfaro, Thomas A. Henzinger:
Interface Theories for Component-Based Design. EMSOFT 2001: 148-165 - [c22]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 - [c21]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290 - [c20]Luca de Alfaro, Thomas A. Henzinger:
Interface automata. ESEC / SIGSOFT FSE 2001: 109-120 - [c19]Luca de Alfaro, Rupak Majumdar:
Quantitative solution of omega-regular games. STOC 2001: 675-683 - [c18]Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters 2001 - [e1]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. Lecture Notes in Computer Science 2165, Springer 2001, ISBN 3-540-42556-X [contents] - 2000
- [c17]Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Detecting Errors Before Reaching Them. CAV 2000: 186-201 - [c16]Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
The Control of Synchronous Systems. CONCUR 2000: 458-473 - [c15]Luca de Alfaro, Thomas A. Henzinger:
Concurrent Omega-Regular Games. LICS 2000: 141-154 - [c14]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
1990 – 1999
- 1999
- [c13]Luca de Alfaro:
Computing Minimum and Maximum Reachability Times in Probabilistic Systems. CONCUR 1999: 66-81 - [c12]Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Automating Modular Verification. CONCUR 1999: 82-97 - 1998
- [c11]Luca de Alfaro:
Stochastic Transition Systems. CONCUR 1998: 423-438 - [c10]Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman:
Concurrent Reachability Games. FOCS 1998: 564-575 - [c9]Luca de Alfaro:
How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. LICS 1998: 454-465 - [c8]Luca de Alfaro:
From Fairness to Chance. PROBMIV 1998: 55-87 - 1997
- [b1]Luca de Alfaro:
Formal verification of probabilistic systems. Stanford University, USA, 1997 - [c7]Luca de Alfaro, Arjun Kapur, Zohar Manna:
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS 1997: 153-164 - [c6]Luca de Alfaro:
Temporal Logics for the Specification of Performance and Reliability. STACS 1997: 165-176 - [c5]Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe:
Visual Verification of Reactive Systems. TACAS 1997: 334-350 - 1996
- [c4]Luca de Alfaro, Zohar Manna:
Temporal Verification by Diagram Transformations. CAV 1996: 288-299 - 1995
- [c3]Luca de Alfaro, Zohar Manna:
Verification in Continuous Time by Discrete Reasoning. AMAST 1995: 292-306 - [c2]Andrea Bianco
, Luca de Alfaro:
Model Checking of Probabalistic and Nondeterministic Systems. FSTTCS 1995: 499-513 - [c1]Zohar Manna, Nikolaj S. 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 - 1994
- [j1]Luca de Alfaro, Angelo Raffaele Meo:
Codes for second and third order GH-ARQ schemes. IEEE Trans. Commun. 42(234): 899-910 (1994)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint