Johannes ┼man Pohjola
Cited by
Cited by
Broadcast psi-calculi with an application to wireless protocols
J Borgstr÷m, S Huang, M Johansson, P Raabjerg, B Victor, ...
Software & Systems Modeling 14 (1), 201-216, 2015
Higher-order psi-calculi
J Parrow, J Borgstr÷m, P Raabjerg, J┼ Pohjola
Mathematical Structures in Computer Science 24 (2), 2014
A verified generational garbage collector for CakeML
A Sandberg Ericsson, MO Myreen, J ┼man Pohjola
Journal of Automated Reasoning 63 (2), 463-488, 2019
A sorted semantic framework for applied process calculi
J┼ Pohjola, B Victor, J Parrow, R Gutkovas, J Borgstr÷m
Logical Methods in Computer Science 12, 2016
Characteristic formulae for liveness properties of non-terminating CakeML programs
J ┼man Pohjola, H Rostedt, MO Myreen
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
Do you have space for dessert? a verified space cost semantics for CakeML programs
A Gˇmez-Londo˝o, J ┼man Pohjola, HT Syeda, MO Myreen, YK Tan
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
A mechanised semantics for HOL with ad-hoc overloading
J┼ Pohjola, A Gengelbach
arXiv preprint arXiv:2002.10212, 2020
Program Verification in the Presence of I/O
H FÚrÚe, J ┼man Pohjola, R Kumar, S Owens, MO Myreen, S Ho
Working Conference on Verified Software: Theories, Tools, and Experimentsá…, 2018
Negative premises in applied process calculi
J┼ Pohjola, J Borgstr÷m, J Parrow, P Raabjerg, I Rodhe
Department of Information Technology, Uppsala University, Tech. Rep 14, 2013
Synthesis of verified architectural components for autonomy hosted on a verified microkernel
K Slind, DS Hardin, J┼ Pohjola, M Sproul
Draft, 2019
Into the infinite-theory exploration for coinduction
SH Einarsdˇttir, M Johansson, J ┼man Pohjola
International Conference on Artificial Intelligence and Symbolic Computationá…, 2018
Bisimulation up-to techniques for psi-calculi
J ┼man Pohjola, J Parrow
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs andá…, 2016
Priorities without priorities: representing preemption in Psi-calculi
J┼ Pohjola, J Parrow
arXiv preprint arXiv:1408.1453, 2014
Verifying psi-calculi
J┼ Pohjola
M. Sc. thesis IT 10, 052, 2010
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading
A Gengelbach, J┼ Pohjola, T Weber
arXiv preprint arXiv:2101.03807, 2021
Connecting choreography languages with verified stacks
A Gˇmez-Londono, J┼ Pohjola
Procs. of the Nordic Workshop on Programming Theory, 31-33, 2018
The expressive power of monotonic parallel composition
J ┼man Pohjola, J Parrow
European Symposium on Programming, 780-803, 2016
Sorted psi-calculi with generalised pattern matching
J Borgstr÷m, R Gutkovas, J Parrow, B Victor, JA Pohjola
Submitted, 2012
Modelling and analysing a wsn secure aggregation protocol: A comparison of languages and tool support
V Cambazoglu, R Gutkovas, J ┼man Pohjola, B Victor
A Sorted Semantic Framework for High-Level Concurrency
J Borgstr÷m, R Gutkovas, J Parrow, B Victor, J ┼man Pohjola
Submitted, 2013
The system can't perform the operation now. Try again later.
Articles 1–20