Concepedia

Hernán Ponce-de-León

HP

Statistics

Publications

6

Citations

88

H-Index

6

Active since

2014

Affiliations

Technische Universität Braunschweig(Current)

Aalto University

Hernán Ponce-de-León is an author at Technische Universität Braunschweig specializing in computer science, formal methods, and computing.

Publications per year

2014–2022

6

Publications

6

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

Hernán Ponce-de-León, Johannes Kinder · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 25 citations

Computing, Computer Science, Computer Systems +17

BMC with Memory Models as Modules

Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko et al. · 2018 · 17 citations · Full text

Computing, Computer Engineering, Computer Science +13

Incorporating negative information to process discovery of complex systems

Hernán Ponce-de-León, Lucio Nardelli, Josep Carmona et al. · Information Sciences · 2017 · 14 citations

Engineering, Computer Science, Complex Systems +10

Model-based testing for concurrent systems: unfolding-based test selection

Hernán Ponce-de-León, Stefan Haar, Delphine Longuet · International Journal on Software Tools for Technology Transfer · 2014 · 11 citations · Full text

Computing, Computer Science, Computer Systems +14

CAAT: consistency as a theory

Thomas Haas, Roland Meyer, Hernán Ponce-de-León · Proceedings of the ACM on Programming Languages · 2022 · 11 citations · Full text

Computing, Computer Science, Computer Systems +14

1–5 of 6