Artikler med mandater om offentlig tilgang - Christian JohansenLes mer
Tilgjengelige et eller annet sted: 24
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
Mandater: Norges forskningsråd
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
Mandater: Norges forskningsråd
Efficient verification of railway infrastructure designs against standard regulations
B Luteberget, C Johansen
Formal Methods in System Design 52, 1-32, 2018
Mandater: Norges forskningsråd
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
Mandater: Norges forskningsråd
Studying human-to-computer bias transference
J Johansen, T Pedersen, C Johansen
AI & SOCIETY 38 (4), 1659-1683, 2023
Mandater: Norges forskningsråd
Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference
T Pedersen, C Johansen
AI & SOCIETY 35 (3), 519-532, 2020
Mandater: Norges forskningsråd
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
Mandater: Swedish Research Council, Norges forskningsråd
Generating Posets Beyond N
U Fahrenberg, C Johansen, G Struth, RB Thapa
International Conference on Relational and Algebraic Methods in Computer …, 2020
Mandater: UK Engineering and Physical Sciences Research Council
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
Mandater: Norges forskningsråd
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
Mandater: Norges forskningsråd
Posets with interfaces as a model for concurrency
U Fahrenberg, C Johansen, G Struth, K Ziemiański
Information and Computation 285, 104914, 2022
Mandater: UK Engineering and Physical Sciences Research Council
InfoInternet for Education in the Global South: A Study of Applications Enabled by Free Information-only Internet Access in Technologically Disadvantaged Areas
J Johansen, C Johansen, J Noll
African Journal of Science, Technology, Innovation and Development, 2021
Mandater: Norges forskningsråd
SAT modulo discrete event simulation applied to railway design capacity analysis
B Luteberget, K Claessen, C Johansen, M Steffen
Formal Methods in System Design 57 (2), 211-245, 2021
Mandater: Norges forskningsråd
Declarative event based models of concurrency and refinement in psi-calculi
H Normann, C Johansen, T Hildebrandt
Journal of logical and algebraic methods in programming 85 (3), 368-398, 2016
Mandater: Norges forskningsråd
Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT
M Shrestha, C Johansen, J Noll
5th International Conference on Fog and Mobile Edge Computing (FMEC), 244-249, 2020
Mandater: Norges forskningsråd
Rule-based incremental verification tools applied to railway designs and regulations
B Luteberget, C Johansen, C Feyling, M Steffen
International Symposium on Formal Methods, 772-778, 2016
Mandater: Norges forskningsråd
Offline Trusted Device and Proxy Architecture Based on a new TLS Switching Technique
D Migdal, C Johansen, A Jøsang
2017 International Workshop on Secure Internet of Things (SIoT), 10-19, 2017
Mandater: Norges forskningsråd
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics
B Luteberget, C Johansen
Formal Aspects of Computing 33, 829-854, 2021
Mandater: Norges forskningsråd
Automated drawing of railway schematics using numerical optimization in SAT
B Luteberget, K Claessen, C Johansen
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
Mandater: Norges forskningsråd
Synthesis of railway signaling layout from local capacity specifications
B Luteberget, C Johansen, M Steffen
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
Mandater: Norges forskningsråd
Informasjon om publisering og finansiering fastsettes automatisk av et datamaskinprogram