Christian Johansen
Title
Cited by
Cited by
Year
A formal language for electronic contracts
C Prisacariu, G Schneider
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
1132007
Timers for distributed systems
G Ciobanu, C Prisacariu
Electronic Notes in Theoretical Computer Science 164 (3), 81-99, 2006
662006
A dynamic deontic logic for complex contracts
C Prisacariu, G Schneider
The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012
492012
Run-time monitoring of electronic contracts
M Kyas, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2008
452008
CL: An Action-Based Logic for Reasoning about Contracts
C Prisacariu, G Schneider
International Workshop on Logic, Language, Information, and Computation, 335-349, 2009
412009
Synchronous kleene algebra
C Prisacariu
The Journal of Logic and Algebraic Programming 79 (7), 608-635, 2010
36*2010
Model checking contracts–a case study
G Pace, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2007
362007
Behavioural Computer Science: an agenda for combining modelling of human and system behaviours
T Pedersen, C Johansen, A Jøsang
Human-centric Computing and Information Sciences 8 (1), 7, 2018
25*2018
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
International Conference on Integrated Formal Methods, 491-507, 2016
222016
Efficient verification of railway infrastructure designs against standard regulations
B Luteberget, C Johansen
Formal Methods in System Design 52 (1), 1-32, 2018
192018
A methodology for security classification applied to smart grid infrastructures
M Shrestha, C Johansen, J Noll, D Roverso
International Journal of Critical Infrastructure Protection 28, 100342, 2020
17*2020
A dynamic deontic logic over synchronous actions
C Prisacariu
University of Oslo (PhD thesis), 2010
15*2010
Probabilistic modelling of humans in security ceremonies
C Johansen, A Jøsang
Data Privacy Management, Autonomous Spontaneous Security, and Security …, 2014
142014
Abstract specification of legal contracts
C Prisacariu, G Schneider
Proceedings of the 12th International Conference on Artificial Intelligence …, 2009
13*2009
Barbed Bisimulations for Timed Distributed π-calculus
G Ciobanu, C Prisacariu
2nd Int’l Conference on Intelligent Computer Communication and Processing …, 2006
12*2006
Design-time railway capacity verification using SAT modulo discrete event simulation
B Luteberget, K Claessen, C Johansen
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
102018
The Glory of the Past and Geometrical Concurrency
C Prisacariu
The Alan Turing Centenary (Turing-100), EPiC Series in Computing, 10, 252-267, 2012
10*2012
A stable non-interleaving early operational semantics for the pi-calculus
TT Hildebrandt, C Johansen, H Normann
Journal of Logical and Algebraic Methods in Programming 104, 227-253, 2019
92019
Participatory verification of railway infrastructure by representing regulations in railcnl
B Luteberget, JJ Camilleri, C Johansen, G Schneider
International Conference on Software Engineering and Formal Methods, 87-103, 2017
9*2017
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications
C Johansen, A Mujaj, H Arshad, J Noll
arXiv preprint arXiv:1807.07952, 2018
8*2018
The system can't perform the operation now. Try again later.
Articles 1–20