Tag: Best Paper
The paper “Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2”, coauthored with Hamed Arshad, Ross Horne, Olaf Owe, and Tim Willemse, wins the Best Artifact Award at the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
My work with Håkon Normann and Thomas Hildebrandt was published in Elsevier’s Journal of Logical and Algebraic Methods in Programming and became the 5th most downloaded paper of 2016. The paper is entitled “Declarative event based models of concurrency and refinement in psi-calculi”.
My work with Bjørnar Luteberget and Martin Steffen (from PSY and ConSeRNS groups at UiO) won the Best Paper Award at the 12th International Conference on Integrated Formal Methods, which was held in Iceland in June 2016.