According to our database1, Christian Johansen authored at least 33 papers between 2006 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Efficient verification of railway infrastructure designs against standard regulations.
Formal Methods in System Design, 2018
InfoInternet for Education in the Global South: A Study of Applications Enabled by Free Information-only Internet Access in Technologically Disadvantaged Areas (authors' version).
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version).
Automated verification of dynamic root of trust protocols (long version).
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.
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.
Higher Dimensional Modal Logic.
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
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