Conformance Relations for Labeled Event Structures. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (TAP@TOOLS, 2012)

Unfolding-Based Test Selection for Concurrent Conformance. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (ICTSS, 2013)

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (ICTAC, 2014)

Model-based testing for concurrent systems with labelled event structures. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (Softw. Test. Verification Reliab., 2014)

Testing concurrent systems through event structures. (Test de systèmes concurrents à l'aide de structures d'événements). - Hernán Ponce de León (2014)

Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. - Hernán Ponce de León; Olli Saarikivi; Kari Kähkönen; Keijo Heljanko; Javier Esparza (ACSD, 2015)

Unfolding-Based Process Discovery. - Hernán Ponce de León; César Rodríguez; Josep Carmona 001; Keijo Heljanko; Stefan Haar (ATVA, 2015)

Incorporating Negative Information in Process Discovery. - Hernán Ponce de León; Josep Carmona 001; Seppe K. L. M. vanden Broucke (BPM, 2015)

POD - A Tool For Process Discovery Using Partial Orders and Independence Information. - Hernán Ponce de León; César Rodríguez; Josep Carmona 001 (BPM (Demos), 2015)

Building Bridges Between Sets of Partial Orders. - Hernán Ponce de León; Andrey Mokhov (LATA, 2015)

Test Case Generation for Concurrent Systems Using Event Structures. - Konstantinos Athanasiou; Hernán Ponce de León; Stefan Schwoon (TAP@STAF, 2015)

Distributed Diagnosability Analysis with Petri Nets. - Laura Brandán Briones; Agnes Madalinski; Hernán Ponce de León (CoRR, 2015)

Distributed Analysis for Diagnosability in Concurrent Systems. - Hernán Ponce de León; Gonzalo Bonigo; Laura Brandán Briones (CoRR, 2015)

Model-based testing for concurrent systems: unfolding-based test selection. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (Int. J. Softw. Tools Technol. Transf., 2016)

Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. - Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (SAS, 2017)

Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. - Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (CoRR, 2017)

Minimizing Test Suites with Unfoldings of Multithreaded Programs. - Olli Saarikivi; Hernán Ponce de León; Kari Kähkönen; Keijo Heljanko; Javier Esparza (ACM Trans. Embed. Comput. Syst., 2017)

BMC with Memory Models as Modules. - Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (FMCAD, 2018)

Compact and efficiently verifiable models for concurrent systems. - Hernán Ponce de León; Andrey Mokhov (Formal Methods Syst. Des., 2018)

Incorporating negative information to process discovery of complex systems. - Hernán Ponce de León; Lucio Nardelli; Josep Carmona 001; Seppe K. L. M. vanden Broucke (Inf. Sci., 2018)

BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. - Natalia Gavrilenko; Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (CAV (1), 2019)

Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. - Pierre Bouvier; Hubert Garavel; Hernán Ponce de León (Petri Nets, 2020)

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). - Hernán Ponce de León; Florian Furbach; Keijo Heljanko; Roland Meyer 001 (TACAS (2), 2020)

Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). - Hernán Ponce de León; Thomas Haas; Roland Meyer 001 (TACAS (2), 2021)

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models. - Antonio Paolillo; Hernán Ponce de León; Thomas Haas; Diogo Behrens; Rafael Lourenco de Lima Chehab; Ming Fu; Roland Meyer 001 (CoRR, 2021)

Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. - Hernán Ponce de León; Johannes Kinder (SP, 2022)

Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). - Hernán Ponce de León; Thomas Haas; Roland Meyer 001 (TACAS (2), 2022)

CAAT: consistency as a theory. - Thomas Haas; Roland Meyer 001; Hernán Ponce de León (Proc. ACM Program. Lang., 2022)

Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. - Hernán Ponce de León; Stefan Winter 001 (Dagstuhl Artifacts Ser., 2023)

Static Analysis of Memory Models for SMT Encodings. - Thomas Haas; René Pascasl Maseli; Roland Meyer 001; Hernán Ponce de León (Proc. ACM Program. Lang., 2023)

Towards Unified Analysis of GPU Consistency. - Haining Tong; Natalia Gavrilenko; Hernán Ponce de León; Keijo Heljanko (ASPLOS (4), 2024)