| 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 | 59 | 2019 |
| 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 | 38 | 2015 |
| 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 | 32 | 2022 |
| 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 | 22* | 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 | 21 | 2020 |
| 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 | 20 | 2018 |
| 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 | 20 | 2014 |
| Conformance Relations for Labeled Event Structures. H Ponce de León, S Haar, D Longuet TAP, 83-98, 2012 | 19 | 2012 |
| 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 | 18 | 2020 |
| 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 | 17 | 2018 |
| 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 | 16 | 2013 |
| 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 | 14 | 2016 |
| 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 | 11 | 2014 |
| 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 | 9 | 2022 |
| 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 | 9 | 2015 |
| 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 | 8 | 2022 |
| 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 | 8 | 2017 |
| 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 | 7 | 2021 |
| Distributed analysis for diagnosability in concurrent systems H Ponce de León, G Bonigo, LB Briones arXiv preprint arXiv:1502.07466, 2015 | 7 | 2015 |
Roland MeyerProfessor of Theoretical Computer ScienceVerified email at tu-bs.de
