Christian Johansen

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2021

Languages of higher-dimensional automata.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2021

Sculptures in Concurrency.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

SAT modulo discrete event simulation applied to railway design capacity analysis.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Drawing with SAT: four methods and A tool for producing railway infrastructure schematics.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Posets with Interfaces for Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

CoRR, 2021

lr-Multisemigroups and Modal Convolution Algebras.

[BibT_eX]

[DOI]

CoRR, 2021

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

A Methodology for Security Classification applied to Smart Grid Infrastructures.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructure Prot., 2020

Privacy Labelling and the Story of Princess Privacy and the Seven Helpers.

[BibT_eX]

[DOI]

Johanna Johansen

Simone Fischer-Hübner

Anders Jakob Sivesind

Josef Noll

CoRR, 2020

Domain Semirings United.

[BibT_eX]

[DOI]

CoRR, 2020

Studying the Transfer of Biases from Programmers to Programs.

[BibT_eX]

[DOI]

Johanna Johansen

CoRR, 2020

Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference.

[BibT_eX]

[DOI]

AI Soc., 2020

Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT.

[BibT_eX]

[DOI]

Manish Shrestha

Thomas Troels Hildebrandt

Josef Noll

Proceedings of the Fifth International Conference on Fog and Mobile Edge Computing, 2020

Generating Posets Beyond N.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

A stable non-interleaving early operational semantics for the pi-calculus.

[BibT_eX]

[DOI]

Håkon Normann

J. Log. Algebraic Methods Program., 2019

Dynamic structural operational semantics.

[BibT_eX]

[DOI]

Olaf Owe

J. Log. Algebraic Methods Program., 2019

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT.

[BibT_eX]

[DOI]

Koen Claessen

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Summary of: Dynamic Structural Operational Semantics.

[BibT_eX]

[DOI]

Olaf Owe

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Synthesis of Railway Signaling Layout from Local Capacity Specifications.

[BibT_eX]

[DOI]

Martin Steffen

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Behavioural Computer Science: an agenda for combining modelling of human and system behaviours.

[BibT_eX]

[DOI]

Hum. centric Comput. Inf. Sci., 2018

Efficient verification of railway infrastructure designs against standard regulations.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 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).

[BibT_eX]

[DOI]

Johanna Johansen

Josef Noll

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation.

[BibT_eX]

[DOI]

Koen Claessen

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

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

[BibT_eX]

[DOI]

Sergiu Bursuc

Shiwei Xu

CoRR, 2017

Offline Trusted Device and Proxy Architecture Based on a new TLS Switching Technique.

[BibT_eX]

[DOI]

Denis Migdal

Proceedings of the 2017 International Workshop on Secure Internet of Things, 2017

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Automated Verification of Dynamic Root of Trust Protocols.

[BibT_eX]

[DOI]

Sergiu Bursuc

Shiwei Xu

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016

Declarative event based models of concurrency and refinement in psi-calculi.

[BibT_eX]

[DOI]

Håkon Normann

Thomas T. Hildebrandt

J. Log. Algebraic Methods Program., 2016

ST-structures.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Rule-Based Consistency Checking of Railway Infrastructure Designs.

[BibT_eX]

[DOI]

Martin Steffen

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Towards Behavioural Computer Science.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking.

[BibT_eX]

[DOI]

Denis Migdal

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015

2014

Extensions of Configuration Structures.

[BibT_eX]

[DOI]

CoRR, 2014

Higher Dimensional Modal Logic.

[BibT_eX]

[DOI]

CoRR, 2014

Actor Network Procedures as Psi-calculi for Security Ceremonies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Graphical Models for Security, 2014

Concurrency Models with Causality and Events as Psi-calculi.

[BibT_eX]

[DOI]

Håkon Normann

Thomas T. Hildebrandt

Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Probabilistic Modelling of Humans in Security Ceremonies.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 2014

2013

Compositional Reasoning for Multi-modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012

A dynamic deontic logic for complex contracts.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

The Glory of the Past and Geometrical Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Turing-100, 2012

2010

Synchronous Kleene algebra.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Modal Logic over Higher Dimensional Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

: An Action-Based Logic for Reasoning about Contracts.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

Abstract specification of legal contracts.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Artificial Intelligence and Law, 2009

2008

Run-Time Monitoring of Electronic Contracts.

[BibT_eX]

[DOI]

Marcel Kyas

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

A Formal Language for Electronic Contracts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Model Checking Contracts - A Case Study.

[BibT_eX]

[DOI]

Gordon J. Pace

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Coordination by Timers for Channel-Based Anonymous Communications.

[BibT_eX]

[DOI]

Gabriel Ciobanu

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Timers for Distributed Systems.

[BibT_eX]

[DOI]

Gabriel Ciobanu