Hernan Ponce De Leon

Hernan Ponce De Leon

Universität der Bundeswehr München - Neubiberg / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4572080
University of the Federal Armed Forces Munich
person_outline Hernan Ponce De Leon's MOST POPULAR ARTICLES
1-) BMC for weak memory models: Relation analysis for compact SMT encodingsN Gavrilenko, H Ponce-de-León, F Furbach, K Heljanko, R MeyerComputer Aided Verification: 31st International Conference, CAV 2019, New …, 2019372019
2-) Unfolding-based process discoveryH Ponce de León, C Rodríguez, J Carmona, K Heljanko, S HaarInternational Symposium on Automated Technology for Verification and …, 2015372015
3-) Cats vs. spectre: An axiomatic approach to modeling speculative execution attacksH Ponce-de-León, J Kinder2022 IEEE Symposium on Security and Privacy (SP), 235-248, 2022272022
4-) Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all ModelsH Ponce de León, F Furbach, K Heljanko, R MeyerarXiv preprint arXiv:1702.06704, 201722*2017
5-) Automatic decomposition of Petri nets into automata networks–a synthetic accountP Bouvier, H Garavel, H Ponce-de-LeónApplication and Theory of Petri Nets and Concurrency: 41st International …, 2020212020