Luca de Alfaro

148 papers A* 28A 9B 23C 1Misc 8Journal 40Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Detecting Interpretable Subgroup Drifts. KDD (1) Flavio Giobergia, Eliana Pastor, Luca de Alfaro, Elena Baralis
2025	—	`conf`	Privacy Preserving Data Selection for Bias Mitigation in Speech Models. ACL (6) Alkis Koudounas, Eliana Pastor, Vittorio Mazzia, Manuel Giollo, Thomas Gueudré, Elisa Reale, Luca Cagliero, Sandro Cumani, Luca de Alfaro, Elena Baralis, Daniele Amberti
2024	—	`conf`	A Synthetic Benchmark to Explore Limitations of Localized Drift Detections. DELTA Flavio Giobergia, Eliana Pastor, Luca de Alfaro, Elena Baralis
2024	J	`jnl`	A Synthetic Benchmark to Explore Limitations of Localized Drift Detections. CoRR Flavio Giobergia, Eliana Pastor, Luca de Alfaro, Elena Baralis
2024	J	`jnl`	Detecting Interpretable Subgroup Drifts. CoRR Flavio Giobergia, Eliana Pastor, Luca de Alfaro, Elena Baralis
2024	—	`conf`	Leveraging Confidence Models for Identifying Challenging Data Subgroups in Speech Models. ICASSP Workshops Alkis Koudounas, Eliana Pastor, Vittorio Mazzia, Manuel Giollo, Thomas Gueudré, Elisa Reale, Giuseppe Attanasio, Luca Cagliero, Sandro Cumani, Luca de Alfaro, Elena Baralis, Daniele Amberti
2024	Misc	`conf`	Prioritizing Data Acquisition for end-to-end Speech Model Improvement. ICASSP Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Luca de Alfaro, Elena Baralis
2024	J	`jnl`	Towards Comprehensive Subgroup Performance Analysis in Speech Models. IEEE ACM Trans. Audio Speech Lang. Process. 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
2023	A*	`conf`	A Hierarchical Approach to Anomalous Subgroup Discovery. ICDE Eliana Pastor, Elena Baralis, Luca de Alfaro
2023	Misc	`conf`	Exploring Subgroup Performance in End-to-End Speech Models. ICASSP Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Vittorio Mazzia, Manuel Giollo, Thomas Gueudré, Luca Cagliero, Luca de Alfaro, Elena Baralis, Daniele Amberti
2022	J	`jnl`	Conjugate Natural Selection. CoRR Reilly Raab, Luca de Alfaro, Yang Liu
2022	J	`jnl`	Making slotted ALOHA efficient and fair using reinforcement learning. Comput. Commun. Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves
2021	B	`conf`	CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
2021	J	`jnl`	How Divergent Is Your Data? Proc. VLDB Endow. Eliana Pastor, Andrew Gavgavian, Elena Baralis, Luca de Alfaro
2021	J	`jnl`	Identifying Biased Subgroups in Ranking and Classification. CoRR Eliana Pastor, Luca de Alfaro, Elena Baralis
2021	—	`conf`	Looking for Trouble: Analyzing Classifier Behavior via Pattern Divergence. SIGMOD Conference Eliana Pastor, Luca de Alfaro, Elena Baralis
2020	B	`conf`	Adaptive Policy Tree Algorithm to Approach Collision-Free Transmissions in Slotted ALOHA. MASS Molly Zhang, Luca de Alfaro, Marc Mosko, Colin Funai, Tim Upthegrove, Bishal Thapa, Daniel Javorsek, J. J. Garcia-Luna-Aceves
2020	—	`conf`	An Adaptive Tree Algorithm to Approach Collision-Free Transmission in Slotted ALOHA. NetAI@SIGCOMM Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves
2020	B	`conf`	Approaching Fair Collision-Free Channel Access with Slotted ALOHA Using Collaborative Policy-Based Reinforcement Learning. Networking Luca de Alfaro, Molly Zhang, J. J. Garcia-Luna-Aceves
2020	—	`conf`	Online Top-K Selection in Crowdsourcing Environments. ICCDE Shenshen Liang, Luca de Alfaro
2020	A	`conf`	Using Reinforcement Learning in Slotted Aloha for Ad-Hoc Networks. MSWiM Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves
2019	J	`jnl`	A New Family of Neural Networks Provably Resistant to Adversarial Attacks. CoRR Rakshit Agrawal, Luca de Alfaro, David P. Helmbold
2019	J	`jnl`	Identifying Fake News from Twitter Sharing Data: A Large-Scale Study. CoRR Rakshit Agrawal, Luca de Alfaro, Gabriele Ballarin, Stefano Moret, Massimo Di Pierro, Eugenio Tacchini, Marco L. Della Vedova
2019	A*	`conf`	Learning Edge Properties in Graphs from Path Aggregations. WWW Rakshit Agrawal, Luca de Alfaro
2019	J	`jnl`	Learning Edge Properties in Graphs from Path Aggregations. CoRR Rakshit Agrawal, Luca de Alfaro
2018	A*	`conf`	Automated Audience Segmentation Using Reputation Signals. KDD Maria Daltayanni, Ali Dasdan, Luca de Alfaro
2018	Misc	`conf`	Automatic Online Fake News Detection Combining Content and Social Signals. FRUCT Marco L. Della Vedova, Eugenio Tacchini, Stefano Moret, Gabriele Ballarin, Massimo Di Pierro, Luca de Alfaro
2018	—	`ch.`	Model Checking Probabilistic Systems. Handbook of Model Checking Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska
2018	J	`jnl`	Neural Networks with Structural Resistance to Adversarial Attacks. CoRR Luca de Alfaro
2018	J	`jnl`	Reputation Systems for News on Twitter: A Large-Scale Study. CoRR Luca de Alfaro, Massimo Di Pierro, Eugenio Tacchini, Gabriele Ballarin, Marco L. Della Vedova, Stefano Moret
2017	A*	`conf`	Efficient Techniques for Crowdsourced Top-k Lists. IJCAI Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis
2017	—	`conf`	Learning from Graph Neighborhoods Using LSTMs. AAAI Workshops Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos
2017	J	`jnl`	Some Like it Hoax: Automated Fake News Detection in Social Networks. CoRR Eugenio Tacchini, Gabriele Ballarin, Marco L. Della Vedova, Stefano Moret, Luca de Alfaro
2016	B	`conf`	Dynamics of Peer Grading: An Empirical Study. EDM Luca de Alfaro, Michael Shavlovsky
2016	B	`conf`	Efficient Techniques for Crowdsourced Top-k Lists. HCOMP Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis
2016	J	`jnl`	Incentives for Truthful Evaluations. CoRR Luca de Alfaro, Marco Faella, Vassilis Polychronopoulos, Michael Shavlovsky
2016	J	`jnl`	Incentives for Truthful Peer Grading. CoRR Luca de Alfaro, Michael Shavlovsky, Vassilis Polychronopoulos
2016	J	`jnl`	Learning From Graph Neighborhoods Using LSTMs. CoRR Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos
2016	C	`conf`	Predicting the quality of user contributions via LSTMs. OpenSym Rakshit Agrawal, Luca de Alfaro
2016	J	`jnl`	TrueReview: A Platform for Post-Publication Peer Review. CoRR Luca de Alfaro, Marco Faella
2015	B	`conf`	Reliable Aggregation of Boolean Crowdsourced Tasks. HCOMP Luca de Alfaro, Vassilis Polychronopoulos, Michael Shavlovsky
2015	A	`conf`	WorkerRank: Using Employer Implicit Judgements to Infer Worker Reputation. WSDM Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou
2014	A	`conf`	CrowdGrader: a tool for crowdsourcing the evaluation of homework assignments. SIGCSE Luca de Alfaro, Michael Shavlovsky
2014	B	`conf`	On Assigning Implicit Reputation Scores in an Online Labor Marketplace. EDBT Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou, Panayiotis Tsaparas
2013	A*	`conf`	Attributing authorship of revisioned content. WWW Luca de Alfaro, Michael Shavlovsky
2013	J	`jnl`	Code aware resource management. Formal Methods Syst. Des. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman
2013	—	`conf`	Content-Driven Reputation for Collaborative Systems. TGC Luca de Alfaro, B. Thomas Adler
2013	J	`jnl`	CrowdGrader: Crowdsourcing the Evaluation of Homework Assignments. CoRR Luca de Alfaro, Michael Shavlovsky
2013	—	`conf`	Human-Powered Top-k Lists. WebDB Vassilis Polychronopoulos, Luca de Alfaro, James Davis, Hector Garcia-Molina, Neoklis Polyzotis
2013	J	`jnl`	Strategy improvement for concurrent reachability and turn-based stochastic safety games. J. Comput. Syst. Sci. Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2013	J	`jnl`	The Complexity of Coverage. Int. J. Found. Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
2012	J	`jnl`	Strategy Improvement for Concurrent Reachability and Safety Games CoRR Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2012	J	`jnl`	The Gene Wiki in 2011: community intelligence applied to human gene annotation. Nucleic Acids Res. Benjamin M. Good, Erik L. Clarke, Luca de Alfaro, Andrew I. Su
2012	—	`conf`	Toward a Social Graph Recommendation Algorithm: Do We Trust Our Friends in Movie Recommendations? OTM Workshops Ali Adabi, Luca de Alfaro
2011	J	`jnl`	Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives CoRR Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy
2011	J	`jnl`	Qualitative concurrent parity games. ACM Trans. Comput. Log. Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2011	J	`jnl`	Reputation systems for open collaboration. Commun. ACM Luca de Alfaro, Ashutosh Kulshreshtha, Ian Pye, B. Thomas Adler
2011	—	`conf`	Wikipedia Vandalism Detection: Combining Natural Language, Metadata, and Reputation Features. CICLing (2) B. Thomas Adler, Luca de Alfaro, Santiago Moisés Mola-Velasco, Paolo Rosso, Andrew G. West
2010	J	`jnl`	Algorithms for Game Metrics (Full Version) Log. Methods Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
2010	B	`conf`	Analyzing the Impact of Change in Multi-threaded Programs. FASE Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
2010	—	`conf`	Detecting Wikipedia Vandalism using WikiTrust - Lab Report for PAN at CLEF 2010. CLEF (Notebook Papers/LABs/Workshops) B. Thomas Adler, Luca de Alfaro, Ian Pye
2010	J	`jnl`	Solving games via three-valued abstraction refinement. Inf. Comput. Luca de Alfaro, Pritam Roy
2009	B	`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 FoSSaCS Luca de Alfaro
2009	J	`jnl`	Linear and Branching System Metrics. IEEE Trans. Software Eng. Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
2009	—	`conf`	Measuring Wikipedia: a hands-on tutorial. Int. Sym. Wikis Luca de Alfaro, Felipe Ortega
2009	J	`jnl`	Qualitative Logics and Equivalences for Probabilistic Systems Log. Methods Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay
2009	A*	`conf`	Termination criteria for solving concurrent safety and reachability games. SODA Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2008	—	`conf`	Algorithms for Game Metrics. FSTTCS Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
2008	—	`conf`	Assigning trust to Wikipedia content. Int. Sym. Wikis B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman
2008	J	`jnl`	Game Refinement Relations and Metrics CoRR Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
2008	J	`jnl`	Game Refinement Relations and Metrics. Log. Methods Comput. Sci. Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
2008	—	`conf`	Measuring author contributions to the Wikipedia. Int. Sym. Wikis B. Thomas Adler, Luca de Alfaro, Ian Pye, Vishwanath Raman
2008	Misc	`ed.`	Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 EMSOFT Luca de Alfaro, Jens Palsberg
2008	—	`conf`	Robust content-driven reputation. AISec Krishnendu Chatterjee, Luca de Alfaro, Ian Pye
2008	B	`conf`	Stochastic Games with Lossy Channels. FoSSaCS Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
2008	J	`jnl`	Strategy Improvement for Concurrent Safety Games CoRR Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2008	—	`conf`	Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro
2008	J	`jnl`	Termination Criteria for Solving Concurrent Safety and Reachability Games CoRR Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2008	J	`jnl`	The Complexity of Coverage CoRR Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
2008	B	`conf`	The Complexity of Coverage. APLAS Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
2007	A*	`conf`	A content-driven reputation system for the wikipedia. WWW B. Thomas Adler, Luca de Alfaro
2007	A*	`conf`	An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV Luca de Alfaro, Marco Faella
2007	J	`jnl`	Concurrent reachability games. Theor. Comput. Sci. Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman
2007	A*	`conf`	Game Relations and Metrics. LICS Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
2007	A*	`conf`	Magnifying-Lens Abstraction for Markov Decision Processes. CAV Luca de Alfaro, Pritam Roy
2007	—	`conf`	Qualitative Logics and Equivalences for Probabilistic Systems. QEST Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay
2007	B	`conf`	Solving Games Via Three-Valued Abstraction Refinement. CONCUR Luca de Alfaro, Pritam Roy
2007	B	`conf`	The Symbolic Approach to Repeated Games (Abstract). CSL Luca de Alfaro
2006	—	`conf`	An Introduction to the Tool Ticc. Trustworthy Software Axel Legay, Luca de Alfaro, Marco Faella
2006	—	`conf`	Compositional Quantitative Reasoning. QEST Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2006	—	`conf`	Strategy Improvement for Concurrent Reachability Games. QEST Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2006	A*	`conf`	The complexity of quantitative concurrent parity games. SODA Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2006	A*	`conf`	Ticc: A Tool for Interface Compatibility and Composition. CAV B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
2005	—	`conf`	Average Reward Timed Games. FORMATS B. Thomas Adler, Luca de Alfaro, Marco Faella
2005	B	`ed.`	CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings CONCUR Martín Abadi, Luca de Alfaro
2005	Misc	`conf`	Code aware resource management. EMSOFT Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
2005	J	`jnl`	Model checking discounted temporal properties. Theor. Comput. Sci. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2005	—	`ed.`	Proceedings of the Workshop on Games in Design and Verification, GDV@CAV 2004, Boston, MA, USA, June 18, 2004 GDV@CAV Luca de Alfaro
2005	—	`conf`	Sociable Interfaces. FroCoS Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
2005	A*	`conf`	The Complexity of Stochastic Rabin and Streett Games'. ICALP Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2004	A*	`conf`	Linear and Branching Metrics for Quantitative Transition Systems. ICALP Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
2004	A	`conf`	Model Checking Discounted Temporal Properties. TACAS Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2004	—	`conf`	Preface. GDV@CAV Luca de Alfaro
2004	J	`jnl`	Quantitative solution of omega-regular games. J. Comput. Syst. Sci. Luca de Alfaro, Rupak Majumdar
2004	A*	`conf`	Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan
2004	—	`conf`	Trading Memory for Randomness. QEST Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
2003	A*	`conf`	Discounting the Future in Systems Theory. ICALP Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
2003	—	`conf`	Game Models for Open Systems. Verification: Theory and Practice Luca de Alfaro
2003	J	`jnl`	Hybrid diagrams. Theor. Comput. Sci. Luca de Alfaro, Arjun Kapur
2003	A*	`conf`	Information Flow in Concurrent Games. ICALP Luca de Alfaro, Marco Faella
2003	—	`conf`	Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. FOCLASA Luca de Alfaro, Mariëlle Stoelinga
2003	B	`conf`	Quantitative Verification and Control via the Mu-Calculus. CONCUR Luca de Alfaro
2003	Misc	`conf`	Resource Interfaces. EMSOFT Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
2003	B	`conf`	The Element of Surprise in Timed Games. CONCUR Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2002	A	`conf`	Convertibility verification and converter synthesis: two faces of the same coin. ICCAD Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
2002	A*	`conf`	Interface Compatibility Checking for Software Modules. CAV Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang
2002	A*	`conf`	Synchronous and Bidirectional Component Interfaces. CAV Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
2002	Misc	`conf`	Timed Interfaces. EMSOFT Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
2001	B	`conf`	Compositional Methods for Probabilistic Systems. CONCUR Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
2001	A*	`conf`	From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
2001	Misc	`conf`	Interface Theories for Component-Based Design. EMSOFT Luca de Alfaro, Thomas A. Henzinger
2001	—	`conf`	Interface automata. ESEC / SIGSOFT FSE Luca de Alfaro, Thomas A. Henzinger
2001	A*	`conf`	JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
2001	—	`conf`	MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
2001	A*	`conf`	Model Checking the World Wide Web. CAV Luca de Alfaro
2001	—	`ed.`	Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings PAPM-PROBMIV Luca de Alfaro, Stephen Gilmore
2001	A*	`conf`	Quantitative solution of omega-regular games. STOC Luca de Alfaro, Rupak Majumdar
2001	B	`conf`	Symbolic Algorithms for Infinite-State Games. CONCUR Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
2001	B	`conf`	The Control of Synchronous Systems, Part II. CONCUR Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
2000	A*	`conf`	Concurrent Omega-Regular Games. LICS Luca de Alfaro, Thomas A. Henzinger
2000	A*	`conf`	Detecting Errors Before Reaching Them. CAV Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
2000	A	`conf`	Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. TACAS Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala
2000	B	`conf`	The Control of Synchronous Systems. CONCUR Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
1999	B	`conf`	Automating Modular Verification. CONCUR Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
1999	B	`conf`	Computing Minimum and Maximum Reachability Times in Probabilistic Systems. CONCUR Luca de Alfaro
1998	A*	`conf`	Concurrent Reachability Games. FOCS Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman
1998	—	`conf`	From Fairness to Chance. PROBMIV Luca de Alfaro
1998	A*	`conf`	How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. LICS Luca de Alfaro
1998	B	`conf`	Stochastic Transition Systems. CONCUR Luca de Alfaro
1997	—	`—`	Formal verification of probabilistic systems. Luca de Alfaro
1997	A	`conf`	Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS Luca de Alfaro, Arjun Kapur, Zohar Manna
1997	A	`conf`	Temporal Logics for the Specification of Performance and Reliability. STACS Luca de Alfaro
1997	A	`conf`	Visual Verification of Reactive Systems. TACAS Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
1996	A*	`conf`	Temporal Verification by Diagram Transformations. CAV Luca de Alfaro, Zohar Manna
1995	—	`conf`	Model Checking of Probabalistic and Nondeterministic Systems. FSTTCS Andrea Bianco, Luca de Alfaro
1995	—	`conf`	STeP: The Stanford Temporal Prover. TAPSOFT 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
1995	—	`conf`	Verification in Continuous Time by Discrete Reasoning. AMAST Luca de Alfaro, Zohar Manna
1994	J	`jnl`	Codes for second and third order GH-ARQ schemes. IEEE Trans. Commun. Luca de Alfaro, Angelo Raffaele Meo