Christian Johansen

According to our database1, Christian Johansen authored at least 33 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
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).
CoRR, 2018

The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version).
CoRR, 2018

2017
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

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

ST-structures.
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

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

2014
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

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

2012
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

2010
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

2009
: 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

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

2007
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

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


  Loading...