| 2024 | ASPLOS | Towards Unified Analysis of GPU Consistency. | Haining Tong, Natalia Gavrilenko, Hernn Ponce de Len, Keijo Heljanko |
| 2022 | SP | Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. | Hernn Ponce de Len, Johannes Kinder |
| 2022 | TACAS | Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). | Hernn Ponce de Len, Thomas Haas, Roland Meyer |
| 2021 | TACAS | Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). | Hernn Ponce de Len, Thomas Haas, Roland Meyer |
| 2020 | TACAS | Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). | Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2019 | CAV | BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. | Natalia Gavrilenko, Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2018 | FMCAD | BMC with Memory Models as Modules. | Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2017 | SAS | Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. | Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2015 | ATVA | Unfolding-Based Process Discovery. | Hernn Ponce de Len, Csar Rodrguez, Josep Carmona, Keijo Heljanko, Stefan Haar |
| 2015 | BPM | Incorporating Negative Information in Process Discovery. | Hernn Ponce de Len, Josep Carmona, Seppe K. L. M. vanden Broucke |
| 2015 | BPM | POD - A Tool For Process Discovery Using Partial Orders and Independence Information. | Hernn Ponce de Len, Csar Rodrguez, Josep Carmona |
| 2015 | LATA | Building Bridges Between Sets of Partial Orders. | Hernn Ponce de Len, Andrey Mokhov |
| 2015 | TAP | Test Case Generation for Concurrent Systems Using Event Structures. | Konstantinos Athanasiou, Hernn Ponce de Len, Stefan Schwoon |
| 2014 | ICTAC | Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. | Hernn Ponce de Len, Stefan Haar, Delphine Longuet |
| 2012 | TAP | Conformance Relations for Labeled Event Structures. | Hernn Ponce de Len, Stefan Haar, Delphine Longuet |