9 citations · 16 across the 5 of their papers we have counts for
5 papers
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
Hernán Ponce-de-León, Johannes Kinder
The Spectre family of speculative execution attacks have required a rethinking of formal methods for security. Approaches based on operational speculative semantics have made initi…
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models
Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko +1
We present Porthos, the first tool that discovers porting bugs in performance-critical code. Porthos takes as input a program and the memory models of the source architecture for w…
Unfolding-Based Process Discovery
Hernán Ponce-de-León, César Rodríguez, Josep Carmona +2
This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two addi…
Distributed Diagnosability Analysis with Petri Nets
Laura Brandán-Briones, Agnes Madalinski, Hernán Ponce-de-León
We propose a framework to distributed diagnos- ability analysis of concurrent systems modeled with Petri nets as a collection of components synchronizing on common observable trans…
Distributed Analysis for Diagnosability in Concurrent Systems
Hernán Ponce de León, Gonzalo Bonigo, Laura Brandán Briones
Complex systems often exhibit unexpected faults that are difficult to handle. Such systems are desirable to be diagnosable, i.e. faults can be automatically detected as they occur…