Luca de Alfaro

According to our database, Luca de Alfaro authored at least 128 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Towards Comprehensive Subgroup Performance Analysis in Speech Models.

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

IEEE ACM Trans. Audio Speech Lang. Process., 2024

A Synthetic Benchmark to Explore Limitations of Localized Drift Detections.

Flavio Giobergia, Eliana Pastor, Luca de Alfaro, Elena Baralis

CoRR, 2024

Detecting Interpretable Subgroup Drifts.

Flavio Giobergia, Eliana Pastor, Luca de Alfaro, Elena Baralis

CoRR, 2024

Leveraging Confidence Models for Identifying Challenging Data Subgroups in Speech Models.

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

Proceedings of the IEEE International Conference on Acoustics, 2024

Prioritizing Data Acquisition for end-to-end Speech Model Improvement.

Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Luca de Alfaro, Elena Baralis

Proceedings of the IEEE International Conference on Acoustics, 2024

2023

A Hierarchical Approach to Anomalous Subgroup Discovery.

Eliana Pastor, Elena Baralis, Luca de Alfaro

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

Exploring Subgroup Performance in End-to-End Speech Models.

Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Vittorio Mazzia, Manuel Giollo, Thomas Gueudré, Luca Cagliero, Luca de Alfaro, Elena Baralis, Daniele Amberti

Proceedings of the IEEE International Conference on Acoustics, 2023

2022

Conjugate Natural Selection.

Reilly Raab, Luca de Alfaro, Yang Liu

CoRR, 2022

Making slotted ALOHA efficient and fair using reinforcement learning.

Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves

Comput. Commun., 2022

2021

How Divergent Is Your Data?

Eliana Pastor, Andrew Gavgavian, Elena Baralis, Luca de Alfaro

Proc. VLDB Endow., 2021

Identifying Biased Subgroups in Ranking and Classification.

Eliana Pastor, Luca de Alfaro, Elena Baralis

CoRR, 2021

Looking for Trouble: Analyzing Classifier Behavior via Pattern Divergence.

Eliana Pastor, Luca de Alfaro, Elena Baralis

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

CONCUR Test-Of-Time Award 2021 (Invited Paper).

Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

An Adaptive Tree Algorithm to Approach Collision-Free Transmission in Slotted ALOHA.

Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves

Proceedings of the 2020 Workshop on Network Meets AI & ML, 2020

Approaching Fair Collision-Free Channel Access with Slotted ALOHA Using Collaborative Policy-Based Reinforcement Learning.

Luca de Alfaro, Molly Zhang, J. J. Garcia-Luna-Aceves

Proceedings of the 2020 IFIP Networking Conference, 2020

Using Reinforcement Learning in Slotted Aloha for Ad-Hoc Networks.

Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves

Proceedings of the MSWiM '20: 23rd International ACM Conference on Modeling, 2020

Adaptive Policy Tree Algorithm to Approach Collision-Free Transmissions in Slotted ALOHA.

Molly Zhang, Luca de Alfaro, Marc Mosko, Colin Funai, Tim Upthegrove, Bishal Thapa, Daniel Javorsek, J. J. Garcia-Luna-Aceves

Proceedings of the 17th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2020

Online Top-K Selection in Crowdsourcing Environments.

Shenshen Liang, Luca de Alfaro

Proceedings of the ICCDE 2020: The 6th International Conference on Computing and Data Engineering, 2020

2019

Identifying Fake News from Twitter Sharing Data: A Large-Scale Study.

Rakshit Agrawal, Luca de Alfaro, Gabriele Ballarin, Stefano Moret, Massimo Di Pierro, Eugenio Tacchini, Marco L. Della Vedova

CoRR, 2019

A New Family of Neural Networks Provably Resistant to Adversarial Attacks.

Rakshit Agrawal, Luca de Alfaro, David P. Helmbold

CoRR, 2019

Learning Edge Properties in Graphs from Path Aggregations.

Rakshit Agrawal, Luca de Alfaro

Proceedings of the World Wide Web Conference, 2019

2018

Model Checking Probabilistic Systems.

Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska

Proceedings of the Handbook of Model Checking., 2018

Neural Networks with Structural Resistance to Adversarial Attacks.

Luca de Alfaro

CoRR, 2018

Reputation Systems for News on Twitter: A Large-Scale Study.

Luca de Alfaro, Massimo Di Pierro, Eugenio Tacchini, Gabriele Ballarin, Marco L. Della Vedova, Stefano Moret

CoRR, 2018

Automated Audience Segmentation Using Reputation Signals.

Maria Daltayanni, Ali Dasdan, Luca de Alfaro

Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2018

Automatic Online Fake News Detection Combining Content and Social Signals.

Marco L. Della Vedova, Eugenio Tacchini, Stefano Moret, Gabriele Ballarin, Massimo Di Pierro, Luca de Alfaro

Proceedings of the 22nd Conference of Open Innovations Association, 2018

2017

Some Like it Hoax: Automated Fake News Detection in Social Networks.

Eugenio Tacchini, Gabriele Ballarin, Marco L. Della Vedova, Stefano Moret, Luca de Alfaro

CoRR, 2017

Efficient Techniques for Crowdsourced Top-k Lists.

Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Learning from Graph Neighborhoods Using LSTMs.

Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Incentives for Truthful Peer Grading.

Luca de Alfaro, Michael Shavlovsky, Vassilis Polychronopoulos

CoRR, 2016

Incentives for Truthful Evaluations.

Luca de Alfaro, Marco Faella, Vassilis Polychronopoulos, Michael Shavlovsky

CoRR, 2016

TrueReview: A Platform for Post-Publication Peer Review.

Luca de Alfaro, Marco Faella

CoRR, 2016

Predicting the quality of user contributions via LSTMs.

Rakshit Agrawal, Luca de Alfaro

Proceedings of the 12th International Symposium on Open Collaboration, 2016

Dynamics of Peer Grading: An Empirical Study.

Luca de Alfaro, Michael Shavlovsky

Proceedings of the 9th International Conference on Educational Data Mining, 2016

2015

WorkerRank: Using Employer Implicit Judgements to Infer Worker Reputation.

Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou

Proceedings of the Eighth ACM International Conference on Web Search and Data Mining, 2015

Reliable Aggregation of Boolean Crowdsourced Tasks.

Luca de Alfaro, Vassilis Polychronopoulos, Michael Shavlovsky

Proceedings of the Third AAAI Conference on Human Computation and Crowdsourcing, 2015

2014

CrowdGrader: a tool for crowdsourcing the evaluation of homework assignments.

Luca de Alfaro, Michael Shavlovsky

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

On Assigning Implicit Reputation Scores in an Online Labor Marketplace.

Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou, Panayiotis Tsaparas

Proceedings of the 17th International Conference on Extending Database Technology, 2014

2013

Strategy improvement for concurrent reachability and turn-based stochastic safety games.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

J. Comput. Syst. Sci., 2013

The Complexity of Coverage.

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar

Int. J. Found. Comput. Sci., 2013

Code aware resource management.

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman

Formal Methods Syst. Des., 2013

CrowdGrader: Crowdsourcing the Evaluation of Homework Assignments.

Luca de Alfaro, Michael Shavlovsky

CoRR, 2013

Attributing authorship of revisioned content.

Luca de Alfaro, Michael Shavlovsky

Proceedings of the 22nd International World Wide Web Conference, 2013

Human-Powered Top-k Lists.

Vassilis Polychronopoulos, Luca de Alfaro, James Davis, Hector Garcia-Molina, Neoklis Polyzotis

Proceedings of the 16th International Workshop on the Web and Databases 2013, 2013

Content-Driven Reputation for Collaborative Systems.

Luca de Alfaro, B. Thomas Adler

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2012

The Gene Wiki in 2011: community intelligence applied to human gene annotation.

Benjamin M. Good, Erik L. Clarke, Luca de Alfaro, Andrew I. Su

Nucleic Acids Res., 2012

Strategy Improvement for Concurrent Reachability and Safety Games

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

CoRR, 2012

Toward a Social Graph Recommendation Algorithm: Do We Trust Our Friends in Movie Recommendations?

Ali Adabi, Luca de Alfaro

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

2011

Qualitative concurrent parity games.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

ACM Trans. Comput. Log., 2011

Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives

Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy

CoRR, 2011

Reputation systems for open collaboration.

Luca de Alfaro, Ashutosh Kulshreshtha, Ian Pye, B. Thomas Adler

Commun. ACM, 2011

Wikipedia Vandalism Detection: Combining Natural Language, Metadata, and Reputation Features.

B. Thomas Adler, Luca de Alfaro, Santiago Moisés Mola-Velasco, Paolo Rosso, Andrew G. West

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2011

2010

Solving games via three-valued abstraction refinement.

Luca de Alfaro, Pritam Roy

Inf. Comput., 2010

Algorithms for Game Metrics (Full Version)

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman

Log. Methods Comput. Sci., 2010

Analyzing the Impact of Change in Multi-threaded Programs.

Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Detecting Wikipedia Vandalism using WikiTrust - Lab Report for PAN at CLEF 2010.

B. Thomas Adler, Luca de Alfaro, Ian Pye

Proceedings of the CLEF 2010 LABs and Workshops, 2010

2009

Linear and Branching System Metrics.

Luca de Alfaro, Marco Faella, Mariëlle Stoelinga

IEEE Trans. Software Eng., 2009

Qualitative Logics and Equivalences for Probabilistic Systems

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay

Log. Methods Comput. Sci., 2009

Measuring Wikipedia: a hands-on tutorial.

Luca de Alfaro, Felipe Ortega

Proceedings of the 2009 International Symposium on Wikis, 2009

Termination criteria for solving concurrent safety and reachability games.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2009

2008

Game Refinement Relations and Metrics.

Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga

Log. Methods Comput. Sci., 2008

Strategy Improvement for Concurrent Safety Games

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

CoRR, 2008

Assigning trust to Wikipedia content.

B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman

Proceedings of the 2008 International Symposium on Wikis, 2008

Measuring author contributions to the Wikipedia.

B. Thomas Adler, Luca de Alfaro, Ian Pye, Vishwanath Raman

Proceedings of the 2008 International Symposium on Wikis, 2008

Symbolic Magnifying Lens Abstraction in Markov Decision Processes.

Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Algorithms for Game Metrics.

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Stochastic Games with Lossy Channels.

Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Robust content-driven reputation.

Krishnendu Chatterjee, Luca de Alfaro, Ian Pye

Proceedings of the 1st ACM Workshop on Security and Artificial Intelligence, 2008

2007

Concurrent reachability games.

Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman

Theor. Comput. Sci., 2007

A content-driven reputation system for the wikipedia.

B. Thomas Adler, Luca de Alfaro

Proceedings of the 16th International Conference on World Wide Web, 2007

Game Relations and Metrics.

Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

The Symbolic Approach to Repeated Games (Abstract).

Luca de Alfaro

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

Magnifying-Lens Abstraction for Markov Decision Processes.

Luca de Alfaro, Pritam Roy

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.

Luca de Alfaro, Marco Faella

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

The complexity of quantitative concurrent parity games.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2006

Strategy Improvement for Concurrent Reachability Games.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Compositional Quantitative Reasoning.

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

An Introduction to the Tool Ticc.

Axel Legay, Luca de Alfaro, Marco Faella

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Ticc: A Tool for Interface Compatibility and Composition.

B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Model checking discounted temporal properties.

Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga

Theor. Comput. Sci., 2005

The Complexity of Stochastic Rabin and Streett Games'.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Sociable Interfaces.

Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

Average Reward Timed Games.

B. Thomas Adler, Luca de Alfaro, Marco Faella

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Code aware resource management.

Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar

Proceedings of the EMSOFT 2005, 2005

2004

Quantitative solution of omega-regular games.

Luca de Alfaro, Rupak Majumdar

J. Comput. Syst. Sci., 2004

Preface.

Luca de Alfaro

Proceedings of the Workshop on Games in Design and Verification, 2004

Trading Memory for Randomness.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Three-Valued Abstractions of Games: Uncertainty, but with Precision.

Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Linear and Branching Metrics for Quantitative Transition Systems.

Luca de Alfaro, Marco Faella, Mariëlle Stoelinga

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003

Hybrid diagrams.

Luca de Alfaro, Arjun Kapur

Theor. Comput. Sci., 2003

Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems.

Luca de Alfaro, Mariëlle Stoelinga

Proceedings of FOCLASA 2003, 2003

Discounting the Future in Systems Theory.

Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Information Flow in Concurrent Games.

Luca de Alfaro, Marco Faella

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Resource Interfaces.

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga

Proceedings of the Embedded Software, Third International Conference, 2003

The Element of Surprise in Timed Games.

Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga

Proceedings of the CONCUR 2003, 2003

Quantitative Verification and Control via the Mu-Calculus.

Luca de Alfaro

Proceedings of the CONCUR 2003, 2003

Game Models for Open Systems.

Luca de Alfaro

Proceedings of the Verification: Theory and Practice, 2003

2002

Convertibility verification and converter synthesis: two faces of the same coin.

Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Timed Interfaces.

Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga

Proceedings of the Embedded Software, Second International Conference, 2002

Synchronous and Bidirectional Component Interfaces.

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Interface Compatibility Checking for Software Modules.

Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

MCWEB: A Model-Checking Tool for Web Site Debugging.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001

Interface automata.

Luca de Alfaro, Thomas A. Henzinger

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

From Verification to Control: Dynamic Programs for Omega-Regular Objectives.

Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.

Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang

Proceedings of the 23rd International Conference on Software Engineering, 2001

Interface Theories for Component-Based Design.

Luca de Alfaro, Thomas A. Henzinger

Proceedings of the Embedded Software, First International Workshop, 2001

The Control of Synchronous Systems, Part II.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the CONCUR 2001, 2001

Symbolic Algorithms for Infinite-State Games.

Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar

Proceedings of the CONCUR 2001, 2001

Compositional Methods for Probabilistic Systems.

Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala

Proceedings of the CONCUR 2001, 2001

Model Checking the World Wide Web.

Luca de Alfaro

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.

Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Concurrent Omega-Regular Games.

Luca de Alfaro, Thomas A. Henzinger

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

The Control of Synchronous Systems.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the CONCUR 2000, 2000

Detecting Errors Before Reaching Them.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Automating Modular Verification.

Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Proceedings of the CONCUR '99: Concurrency Theory, 1999

Computing Minimum and Maximum Reachability Times in Probabilistic Systems.

Luca de Alfaro

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

From Fairness to Chance.

Luca de Alfaro

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems.

Luca de Alfaro

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Stochastic Transition Systems.

Luca de Alfaro

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Formal verification of probabilistic systems.

Luca de Alfaro

PhD thesis, 1997

Visual Verification of Reactive Systems.

Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.

Luca de Alfaro, Arjun Kapur, Zohar Manna

Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

Temporal Logics for the Specification of Performance and Reliability.

Luca de Alfaro

Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

1996

Temporal Verification by Diagram Transformations.

Luca de Alfaro, Zohar Manna

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

STeP: The Stanford Temporal Prover.

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

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Model Checking of Probabalistic and Nondeterministic Systems.

Andrea Bianco, Luca de Alfaro

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Verification in Continuous Time by Discrete Reasoning.

Luca de Alfaro, Zohar Manna

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Codes for second and third order GH-ARQ schemes.

Luca de Alfaro, Angelo Raffaele Meo

IEEE Trans. Commun., 1994