Christian Johansen

According to our database1, Christian Johansen
  • authored at least 31 papers between 2006 and 2018.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 





Efficient verification of railway infrastructure designs against standard regulations.
Formal Methods in System Design, 2018

Automated verification of dynamic root of trust protocols (long version).
CoRR, 2017

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Automated Verification of Dynamic Root of Trust Protocols.
Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus.
Proceedings of the Language and Automata Theory and Applications, 2017

Declarative event based models of concurrency and refinement in psi-calculi.
J. Log. Algebr. Meth. Program., 2016

J. Log. Algebr. Meth. Program., 2016

Dynamic Structural Operational Semantics.
CoRR, 2016

Rule-Based Consistency Checking of Railway Infrastructure Designs.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Towards Behavioural Computer Science.
Proceedings of the Trust Management X - 10th IFIP WG 11.11 International Conference, 2016

Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.
Proceedings of the FM 2016: Formal Methods, 2016

DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions.
Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015

Extensions of Configuration Structures.
CoRR, 2014

Higher Dimensional Modal Logic.
CoRR, 2014

Actor Network Procedures as Psi-calculi for Security Ceremonies.
Proceedings of the Proceedings First International Workshop on Graphical Models for Security, 2014

Concurrency Models with Causality and Events as Psi-calculi.
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Probabilistic Modelling of Humans in Security Ceremonies.
Proceedings of the Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 2014

Compositional Reasoning for Multi-modal Logics.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

A dynamic deontic logic for complex contracts.
J. Log. Algebr. Program., 2012

The Glory of the Past and Geometrical Concurrency
CoRR, 2012

The Glory of the Past and Geometrical Concurrency.
Proceedings of the Turing-100, 2012

Synchronous Kleene algebra.
J. Log. Algebr. Program., 2010

Modal Logic over Higher Dimensional Automata.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

: An Action-Based Logic for Reasoning about Contracts.
Proceedings of the Logic, 2009

Abstract specification of legal contracts.
Proceedings of the 12th International Conference on Artificial Intelligence and Law, 2009

Run-Time Monitoring of Electronic Contracts.
Proceedings of the Automated Technology for Verification and Analysis, 2008

Coordination by Timers for Channel-Based Anonymous Communications.
Electr. Notes Theor. Comput. Sci., 2007

A Formal Language for Electronic Contracts.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Model Checking Contracts - A Case Study.
Proceedings of the Automated Technology for Verification and Analysis, 2007

Timers for Distributed Systems.
Electr. Notes Theor. Comput. Sci., 2006