Hernán Ponce de León

34 papers A* 1A 1B 4C 3Journal 15Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models. Proc. ACM Program. Lang. Thomas Haas, Roland Meyer, Hernán Ponce de León, Andrés Lomelí Garduño
2024	—	`conf`	Towards Unified Analysis of GPU Consistency. ASPLOS (4) Haining Tong, Natalia Gavrilenko, Hernán Ponce de León, Keijo Heljanko
2023	J	`jnl`	Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Hernán Ponce de León, Stefan Winter
2023	J	`jnl`	Static Analysis of Memory Models for SMT Encodings. Proc. ACM Program. Lang. Thomas Haas, René Pascasl Maseli, Roland Meyer, Hernán Ponce de León
2022	J	`jnl`	CAAT: consistency as a theory. Proc. ACM Program. Lang. Thomas Haas, Roland Meyer, Hernán Ponce de León
2022	A*	`conf`	Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. SP Hernán Ponce de León, Johannes Kinder
2022	—	`conf`	Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). TACAS (2) Hernán Ponce de León, Thomas Haas, Roland Meyer
2021	J	`jnl`	Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. CoRR Hernán Ponce de León, Johannes Kinder
2021	—	`conf`	Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). TACAS (2) Hernán Ponce de León, Thomas Haas, Roland Meyer
2021	J	`jnl`	Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models. CoRR Antonio Paolillo, Hernán Ponce de León, Thomas Haas, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu, Roland Meyer
2020	B	`conf`	Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. Petri Nets Pierre Bouvier, Hubert Garavel, Hernán Ponce de León
2020	—	`conf`	Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). TACAS (2) Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2019	—	`conf`	BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. CAV (1) Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2018	B	`conf`	BMC with Memory Models as Modules. FMCAD Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2018	J	`jnl`	Compact and efficiently verifiable models for concurrent systems. Formal Methods Syst. Des. Hernán Ponce de León, Andrey Mokhov
2018	J	`jnl`	Incorporating negative information to process discovery of complex systems. Inf. Sci. Hernán Ponce de León, Lucio Nardelli, Josep Carmona, Seppe K. L. M. vanden Broucke
2017	J	`jnl`	Minimizing Test Suites with Unfoldings of Multithreaded Programs. ACM Trans. Embed. Comput. Syst. Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza
2017	J	`jnl`	Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. CoRR Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2017	B	`conf`	Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. SAS Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2016	J	`jnl`	Model-based testing for concurrent systems: unfolding-based test selection. Int. J. Softw. Tools Technol. Transf. Hernán Ponce de León, Stefan Haar, Delphine Longuet
2015	C	`conf`	Building Bridges Between Sets of Partial Orders. LATA Hernán Ponce de León, Andrey Mokhov
2015	J	`jnl`	Distributed Analysis for Diagnosability in Concurrent Systems. CoRR Hernán Ponce de León, Gonzalo Bonigo, Laura Brandán Briones
2015	J	`jnl`	Distributed Diagnosability Analysis with Petri Nets. CoRR Laura Brandán Briones, Agnes Madalinski, Hernán Ponce de León
2015	A	`conf`	Incorporating Negative Information in Process Discovery. BPM Hernán Ponce de León, Josep Carmona, Seppe K. L. M. vanden Broucke
2015	—	`conf`	POD - A Tool For Process Discovery Using Partial Orders and Independence Information. BPM (Demos) Hernán Ponce de León, César Rodríguez, Josep Carmona
2015	—	`conf`	Test Case Generation for Concurrent Systems Using Event Structures. TAP@STAF Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon
2015	—	`conf`	Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. ACSD Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza
2015	B	`conf`	Unfolding-Based Process Discovery. ATVA Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
2015	J	`jnl`	Unfolding-Based Process Discovery. CoRR Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
2014	C	`conf`	Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. ICTAC Hernán Ponce de León, Stefan Haar, Delphine Longuet
2014	J	`jnl`	Model-based testing for concurrent systems with labelled event structures. Softw. Test. Verification Reliab. Hernán Ponce de León, Stefan Haar, Delphine Longuet
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
2013	C	`conf`	Unfolding-Based Test Selection for Concurrent Conformance. ICTSS Hernán Ponce de León, Stefan Haar, Delphine Longuet
2012	—	`conf`	Conformance Relations for Labeled Event Structures. TAP@TOOLS Hernán Ponce de León, Stefan Haar, Delphine Longuet