Hernán Ponce de León

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 26

Top Venues

CoRR

TACAS (2)

Proc. ACM Program. Lang.

Petri Nets

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Hernán Ponce de León, Stefan Winter
Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 9 (2) (2023)
Thomas Haas, René Pascasl Maseli, Roland Meyer, Hernán Ponce de León
Static Analysis of Memory Models for SMT Encodings. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Hernán Ponce de León, Thomas Haas, Roland Meyer
Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). TACAS (2) (2022)
Hernán Ponce de León, Johannes Kinder
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. IEEE Symposium on Security and Privacy (2022)
Thomas Haas, Roland Meyer, Hernán Ponce de León
CAAT: consistency as a theory. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Hernán Ponce de León, Johannes Kinder
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. CoRR (2021)
Hernán Ponce de León, Thomas Haas, Roland Meyer
Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). TACAS (2) (2021)
Pierre Bouvier, Hubert Garavel, Hernán Ponce de León
Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. Petri Nets (2020)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). TACAS (2) (2020)
Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. CAV (1) (2019)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
BMC with Memory Models as Modules. FMCAD (2018)
Hernán Ponce de León, Andrey Mokhov
Compact and efficiently verifiable models for concurrent systems. Formal Methods Syst. Des. 53 (3) (2018)
Hernán Ponce de León, Lucio Nardelli, Josep Carmona, Seppe K. L. M. vanden Broucke
Incorporating negative information to process discovery of complex systems. Inf. Sci. 422 (2018)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. SAS (2017)
Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. CoRR (2017)
Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza
Minimizing Test Suites with Unfoldings of Multithreaded Programs. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Model-based testing for concurrent systems: unfolding-based test selection. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza
Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. ACSD (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. CoRR (2015)
Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon
Test Case Generation for Concurrent Systems Using Event Structures. TAP@STAF (2015)
Hernán Ponce de León, Andrey Mokhov
Building Bridges Between Sets of Partial Orders. LATA (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. ATVA (2015)
Hernán Ponce de León, Josep Carmona, Seppe K. L. M. vanden Broucke
Incorporating Negative Information in Process Discovery. BPM (2015)
Laura Brandán Briones, Agnes Madalinski, Hernán Ponce de León
Distributed Diagnosability Analysis with Petri Nets. CoRR (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona
POD - A Tool For Process Discovery Using Partial Orders and Independence Information. BPM (Demos) (2015)
Hernán Ponce de León, Gonzalo Bonigo, Laura Brandán Briones
Distributed Analysis for Diagnosability in Concurrent Systems. CoRR (2015)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Model-based testing for concurrent systems with labelled event structures. Softw. Test. Verification Reliab. 24 (7) (2014)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. ICTAC (2014)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Unfolding-Based Test Selection for Concurrent Conformance. ICTSS (2013)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Conformance Relations for Labeled Event Structures. TAP@TOOLS (2012)

Hernán Ponce de León.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hernán Ponce de León