2 citations · 2 across the 2 of their papers we have counts for
4 papers
Verifying Device Drivers with Pancake
Junming Zhao, Miki Tanaka, Johannes Åman Pohjola +10
Device driver bugs are the leading cause of OS compromises, and their formal verification is therefore highly desirable. To the best of our knowledge, no realistic and performant d…
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading
Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber
Definitions of new symbols merely abbreviate expressions in logical frameworks, and no new facts (regarding previously defined symbols) should hold because of a new definition. In…
A Mechanised Semantics for HOL with Ad-hoc Overloading
Johannes Åman Pohjola, Arve Gengelbach
Isabelle/HOL augments classical higher-order logic with ad-hoc overloading of constant definitions---that is, one constant may have several definitions for non-overlapping types. I…
Psi-Calculi Revisited: Connectivity and Compositionality
Johannes Åman Pohjola
Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calcul…