| 2022 | CONCUR | Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. | Clment Aubert, Ross Horne, Christian Johansen |
| 2022 | CONCUR | A Kleene Theorem for Higher-Dimensional Automata. | Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |
| 2022 | FORTE | Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. | Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse |
| 2019 | FM | Synthesis of Railway Signaling Layout from Local Capacity Specifications. | Bjrnar Luteberget, Christian Johansen, Martin Steffen |
| 2019 | IFM | Summary of: Dynamic Structural Operational Semantics. | Christian Johansen, Olaf Owe |
| 2019 | IFM | Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. | Bjrnar Luteberget, Koen Claessen, Christian Johansen |
| 2018 | FMCAD | Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. | Bjrnar Luteberget, Koen Claessen, Christian Johansen |
| 2017 | LATA | A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. | Thomas Troels Hildebrandt, Christian Johansen, Hkon Normann |
| 2017 | SEFM | Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. | Bjrnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider |
| 2016 | CCS | DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. | Denis Migdal, Christian Johansen, Audun Jsang |
| 2016 | FM | Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. | Bjrnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen |
| 2016 | IFM | Rule-Based Consistency Checking of Railway Infrastructure Designs. | Bjrnar Luteberget, Christian Johansen, Martin Steffen |
| 2015 | DCOSS | Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions. | Amir Taherkordi, Christian Johansen, Frank Eliassen, Kay Rmer |
| 2014 | ESORICS | Probabilistic Modelling of Humans in Security Ceremonies. | Christian Johansen, Audun Jsang |