Christian Johansen

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 52

Top Topics

Subpixel Registration

Operational Semantics

Top Venues

J. Log. Algebraic Methods Program.

Publications

Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. 232 (2024)
Johanna Johansen, Tore Pedersen, Christian Johansen
Studying human-to-computer bias transference. AI Soc. 38 (4) (2023)
Hamed Arshad, Pablo Picazo-Sanchez, Christian Johansen, Gerardo Schneider
Attribute-based encryption with enforceable obligations. J. Cryptogr. Eng. 13 (3) (2023)
Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Inf. Sci. 616 (2022)
Clément Aubert, Ross Horne, Christian Johansen
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. CONCUR (2022)
Clément Aubert, Ross Horne, Christian Johansen
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. EXPRESS/SOS (2022)
Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE (2022)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
A Kleene Theorem for Higher-Dimensional Automata. CoRR (2022)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Posets with interfaces as a model for concurrency. Inf. Comput. 285 (Part) (2022)
Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll
A multidisciplinary definition of privacy labels. Inf. Comput. Secur. 30 (3) (2022)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
A Kleene Theorem for Higher-Dimensional Automata. CONCUR (2022)
Hamed Arshad, Christian Johansen, Olaf Owe
Semantic Attribute-Based Access Control: A review on current status and future perspectives. J. Syst. Archit. 129 (2022)
Bjørnar Luteberget, Christian Johansen
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. Formal Aspects Comput. 33 (6) (2021)
Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31 (5) (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Posets with Interfaces for Concurrent Kleene Algebra. CoRR (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
lr-Multisemigroups and Modal Convolution Algebras. CoRR (2021)
Christian Johansen, Aulon Mujaj, Hamed Arshad, Josef Noll
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications. Secur. Commun. Networks 2021 (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Languages of Higher-Dimensional Automata. CoRR (2021)
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
Sculptures in Concurrency. Log. Methods Comput. Sci. 17 (2) (2021)
Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen
SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods Syst. Des. 57 (2) (2021)
Manish Shrestha, Christian Johansen, Josef Noll
Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT. FMEC (2020)
Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll
Privacy Labelling and the Story of Princess Privacy and the Seven Helpers. CoRR (2020)
Tore Pedersen, Christian Johansen, Johanna Johansen
Studying the Transfer of Biases from Programmers to Programs. CoRR (2020)
Tore Pedersen, Christian Johansen
Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference. AI Soc. 35 (3) (2020)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi
Domain Semirings United. CoRR (2020)
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
Generating Posets Beyond N. RAMiCS (2020)
Manish Shrestha, Christian Johansen, Josef Noll, Davide Roverso
A Methodology for Security Classification applied to Smart Grid Infrastructures. Int. J. Crit. Infrastructure Prot. 28 (2020)
Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann
A stable non-interleaving early operational semantics for the pi-calculus. J. Log. Algebraic Methods Program. 104 (2019)
Christian Johansen, Olaf Owe
Dynamic structural operational semantics. J. Log. Algebraic Methods Program. 107 (2019)
Bjørnar Luteberget, Koen Claessen, Christian Johansen
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. IFM (2019)
Bjørnar Luteberget, Christian Johansen, Martin Steffen
Synthesis of Railway Signaling Layout from Local Capacity Specifications. FM (2019)
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
Generating Posets Beyond N. CoRR (2019)
Christian Johansen, Olaf Owe
Summary of: Dynamic Structural Operational Semantics. IFM (2019)
Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski
Sculptures in Concurrency. CoRR (2018)
Bjørnar Luteberget, Koen Claessen, Christian Johansen
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. FMCAD (2018)
Tore Pedersen, Christian Johansen, Audun Jøsang
Behavioural Computer Science: an agenda for combining modelling of human and system behaviours. Hum. centric Comput. Inf. Sci. 8 (2018)
Christian Johansen, Aulon Mujaj, Hamed Arshad, Josef Noll
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version). CoRR (2018)
Johanna Johansen, Christian Johansen, Josef Noll
InfoInternet for Education in the Global South: A Study of Applications Enabled by Free Information-only Internet Access in Technologically Disadvantaged Areas (authors' version). CoRR (2018)
Bjørnar Luteberget, Christian Johansen
Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des. 52 (1) (2018)
Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. SEFM (2017)
Denis Migdal, Christian Johansen, Audun Jøsang
Offline Trusted Device and Proxy Architecture Based on a new TLS Switching Technique. SIoT (2017)
Sergiu Bursuc, Christian Johansen, Shiwei Xu
Automated verification of dynamic root of trust protocols (long version). CoRR (2017)
Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. LATA (2017)
Sergiu Bursuc, Christian Johansen, Shiwei Xu
Automated Verification of Dynamic Root of Trust Protocols. POST (2017)
Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. FM (2016)
Christian Johansen
ST-structures. J. Log. Algebraic Methods Program. 85 (6) (2016)
Denis Migdal, Christian Johansen, Audun Jøsang
DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. CCS (2016)
Bjørnar Luteberget, Christian Johansen, Martin Steffen
Rule-Based Consistency Checking of Railway Infrastructure Designs. IFM (2016)
Christian Johansen, Olaf Owe
Dynamic Structural Operational Semantics. CoRR (2016)
Christian Johansen, Tore Pedersen, Audun Jøsang
Towards Behavioural Computer Science. IFIPTM (2016)
Håkon Normann, Christian Johansen, Thomas T. Hildebrandt
Declarative event based models of concurrency and refinement in psi-calculi. J. Log. Algebraic Methods Program. 85 (3) (2016)
Amir Taherkordi, Christian Johansen, Frank Eliassen, Kay Römer
Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions. DCOSS (2015)
Christian Johansen, Audun Jøsang
Probabilistic Modelling of Humans in Security Ceremonies. DPM/SETOP/QASA (2014)