Follow
Hernan Ponce de Leon
Hernan Ponce de Leon
Huawei Dresden Research Center
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
BMC for weak memory models: Relation analysis for compact SMT encodings
N Gavrilenko, H Ponce-de-León, F Furbach, K Heljanko, R Meyer
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
622019
Unfolding-based process discovery
H Ponce de León, C Rodríguez, J Carmona, K Heljanko, S Haar
International Symposium on Automated Technology for Verification and …, 2015
382015
Cats vs. spectre: An axiomatic approach to modeling speculative execution attacks
H Ponce-de-León, J Kinder
2022 IEEE Symposium on Security and Privacy (SP), 235-248, 2022
352022
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models
H Ponce de León, F Furbach, K Heljanko, R Meyer
arXiv preprint arXiv:1702.06704, 2017
23*2017
Automatic decomposition of Petri nets into automata networks–a synthetic account
P Bouvier, H Garavel, H Ponce-de-León
Application and Theory of Petri Nets and Concurrency: 41st International …, 2020
222020
BMC with memory models as modules
H Ponce-de-León, F Furbach, K Heljanko, R Meyer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
212018
Model‐based testing for concurrent systems with labelled event structures
H Ponce de León, S Haar, D Longuet
Software Testing, Verification and Reliability 24 (7), 558-590, 2014
202014
Conformance Relations for Labeled Event Structures.
H Ponce de León, S Haar, D Longuet
TAP, 83-98, 2012
192012
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)
H Ponce-de-León, F Furbach, K Heljanko, R Meyer
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
182020
Incorporating negative information to process discovery of complex systems
HP De León, L Nardelli, J Carmona, SKLM vanden Broucke
Information Sciences 422, 480-496, 2018
182018
Unfolding-based test selection for concurrent conformance
H Ponce de León, S Haar, D Longuet
IFIP International Conference on Testing Software and Systems, 98-113, 2013
162013
Model-based testing for concurrent systems: unfolding-based test selection
H Ponce de León, S Haar, D Longuet
International Journal on Software Tools for Technology Transfer 18 (3), 305-318, 2016
142016
Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)
H Ponce-de-León, T Haas, R Meyer
International Conference on Tools and Algorithms for the Construction and …, 2022
112022
Distributed testing of concurrent systems: vector clocks to the rescue
H Ponce de León, S Haar, D Longuet
International Colloquium on Theoretical Aspects of Computing, 369-387, 2014
112014
Minimizing Test Suites with Unfoldings of Multithreaded Programs
O Saarikivi, H Ponce de León, K Kähkönen, K Heljanko, J Esparza
ACM Transactions on Embedded Computing Systems (TECS) 16 (2), 45, 2017
92017
Incorporating negative information in process discovery
H Ponce de Léon, J Carmona, SKLM Vanden Broucke
International Conference on Business Process Management, 126-143, 2015
92015
Unfolding based minimal test suites for testing multithreaded programs
H Ponce de León, O Saarikivi, K Kähkönen, K Heljanko, J Esparza
Application of Concurrency to System Design (ACSD), 2015 15th International …, 2015
9*2015
CAAT: Consistency as a Theory
T Haas, R Meyer, H Ponce de León
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 114-144, 2022
82022
Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)
H Ponce-de-León, T Haas, R Meyer
International Conference on Tools and Algorithms for the Construction and …, 2021
72021
Distributed analysis for diagnosability in concurrent systems
H Ponce de León, G Bonigo, LB Briones
arXiv preprint arXiv:1502.07466, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20