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 Reykjavik, Iceland in June 2016. The paper was selected from 99 papers.
The paper is on automatically verifying railway regulations against railway designs, and contains an associated tool that was integrated in the RailComplete railway design engineering tool set.
The talk of Bjørnar Luteberget was equally praised and made one of the highlights of the conference. Other highlights included the talks of Turing laureate Tony Hoare on “Unifying Theories of Concurrency” part of UTP 2016 symposium and the talk of Danish Knight Kim G. Larsen on the amazing verification tool Uppaal part of the PrePost workshop.
A more realistic screenshot from the presented tool.
