Folgen
Christian Johansen
Christian Johansen
Professor at NTNU - Norwegian University of Science and Technology
Bestätigte E-Mail-Adresse bei ntnu.no - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A formal language for electronic contracts
C Prisacariu, G Schneider
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
1392007
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
942020
A dynamic deontic logic for complex contracts
C Prisacariu, G Schneider
The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012
702012
Timers for distributed systems
G Ciobanu, C Prisacariu
Electronic Notes in Theoretical Computer Science 164 (3), 81-99, 2006
702006
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
53*2018
Run-time monitoring of electronic contracts
M Kyas, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2008
492008
Synchronous kleene algebra
C Prisacariu
The Journal of Logic and Algebraic Programming 79 (7), 608-635, 2010
47*2010
CL: An Action-Based Logic for Reasoning about Contracts
C Prisacariu, G Schneider
International Workshop on Logic, Language, Information, and Computation, 335-349, 2009
462009
Model checking contracts–a case study
G Pace, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2007
442007
Efficient verification of railway infrastructure designs against standard regulations
B Luteberget, C Johansen
Formal Methods in System Design 52, 1-32, 2018
382018
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
29*2016
Studying human-to-computer bias transference
J Johansen, T Pedersen, C Johansen
AI & SOCIETY 38 (4), 1659-1683, 2023
28*2023
Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference
T Pedersen, C Johansen
AI & SOCIETY 35 (3), 519-532, 2020
262020
Probabilistic modelling of humans in security ceremonies
C Johansen, A Jøsang
Data Privacy Management, Autonomous Spontaneous Security, and Security …, 2015
262015
Languages of higher-dimensional automata
U Fahrenberg, C Johansen, G Struth, K Ziemiański
Mathematical Structures in Computer Science, 1-39, 2021
242021
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications
C Johansen, A Mujaj, H Arshad, J Noll
Security and Communication Networks, 2018
23*2018
Generating Posets Beyond N
U Fahrenberg, C Johansen, G Struth, RB Thapa
International Conference on Relational and Algebraic Methods in Computer …, 2020
212020
Participatory verification of railway infrastructure by representing regulations in RailCNL
B Luteberget, JJ Camilleri, C Johansen, G Schneider
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
212017
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
192018
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
172019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20