Hernán Ponce de León

According to our database, Hernán Ponce de León authored at least 30 papers between 2012 and 2023.

Collaborative distances:

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

2023

Static Analysis of Memory Models for SMT Encodings.

Thomas Haas, René Pascasl Maseli, Roland Meyer, Hernán Ponce de León

Proc. ACM Program. Lang., October, 2023

Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

Hernán Ponce de León, Stefan Winter

Dagstuhl Artifacts Ser., 2023

2022

CAAT: consistency as a theory.

Thomas Haas, Roland Meyer, Hernán Ponce de León

Proc. ACM Program. Lang., 2022

Dartagnan: SMT-based Violation Witness Validation (Competition Contribution).

Hernán Ponce de León, Thomas Haas, Roland Meyer

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

Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks.

Hernán Ponce de León, Johannes Kinder

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

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

CoRR, 2021

Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution).

Hernán Ponce de León, Thomas Haas, Roland Meyer

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

2020

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution).

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

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

Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account.

Pierre Bouvier, Hubert Garavel, Hernán Ponce de León

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Incorporating negative information to process discovery of complex systems.

Hernán Ponce de León, Lucio Nardelli, Josep Carmona, Seppe K. L. M. vanden Broucke

Inf. Sci., 2018

Compact and efficiently verifiable models for concurrent systems.

Hernán Ponce de León, Andrey Mokhov

Formal Methods Syst. Des., 2018

BMC with Memory Models as Modules.

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

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

Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models.

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

CoRR, 2017

Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models.

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

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

2015

Distributed Analysis for Diagnosability in Concurrent Systems.

Hernán Ponce de León, Gonzalo Bonigo, Laura Brandán Briones

CoRR, 2015

Distributed Diagnosability Analysis with Petri Nets.

Laura Brandán Briones, Agnes Madalinski, Hernán Ponce de León

CoRR, 2015

Test Case Generation for Concurrent Systems Using Event Structures.

Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Building Bridges Between Sets of Partial Orders.

Hernán Ponce de León, Andrey Mokhov

Proceedings of the Language and Automata Theory and Applications, 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

Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Incorporating Negative Information in Process Discovery.

Hernán Ponce de León, Josep Carmona, Seppe K. L. M. vanden Broucke

Proceedings of the Business Process Management - 13th International Conference, 2015

Unfolding-Based Process Discovery.

Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar

Proceedings of the Automated Technology for Verification and Analysis, 2015

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

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

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

PhD thesis, 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

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue.

Hernán Ponce de León, Stefan Haar, Delphine Longuet

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Unfolding-Based Test Selection for Concurrent Conformance.

Hernán Ponce de León, Stefan Haar, Delphine Longuet

Proceedings of the Testing Software and Systems, 2013

2012

Conformance Relations for Labeled Event Structures.

Hernán Ponce de León, Stefan Haar, Delphine Longuet

Proceedings of the Tests and Proofs - 6th International Conference, 2012