Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-50 of 67 << Previous 1 2    Next >>

2020
1 Shrestha, Manish; Johansen, Christian; Noll, Josef; Roverso, Davide.
A Methodology for Security Classification applied to Smart Grid Infrastructures. International Journal of Critical Infrastructure Protection 2020 ;Volume 28. p. 100342-
UiO Untitled
 
2 Shrestha, Manish; Johansen, Christian; Noll, Josef.
Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT (long version). Universitetet i Oslo 2020 (ISBN 978-82-7368-458-5) 22 p.
UiO Untitled
 
3 Tokas, Shukun; Owe, Olaf; Johansen, Christian.
Code Diversification Mechanisms for Internet of Things (Revised Version 2). Oslo: University of Oslo 2020 (ISBN 978-82-7368-438-7) 31 p.
UiO Untitled
 
2019
4 Hildebrandt, Thomas; Johansen, Christian; Norman, Håkon.
A stable non-interleaving early operational semantics for the pi-calculus. Journal of Logical and Algebraic Methods in Programming 2019 ;Volume 104. p. 227-253
UiO Untitled
 
5 Johansen, Christian; Owe, Olaf.
Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming 2019 ;Volume 107. p. 79-107
UiO Untitled
 
6 Johansen, Christian; Owe, Olaf.
Summary of: Dynamic Structural Operational Semantics. Lecture Notes in Computer Science (LNCS) 2019 ;Volume 11918. p. 525-528
UiO Untitled
 
7 Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin.
Synthesis of railway signaling layout from local capacity specifications. Lecture Notes in Computer Science (LNCS) 2019 ;Volume 11800 LNCS. p. 121-137
UiO Untitled
 
8 Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian.
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. Lecture Notes in Computer Science (LNCS) 2019 ;Volume 11918 LNCS. p. 341-359
UiO Untitled
 
9 Pedersen, Tore; Johansen, Christian.
Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference. AI & Society: The Journal of Human-Centred Systems and Machine Intelligence 2019 p. -
BJORKNES UiO Untitled
 
10 Shrestha, Manish; Johansen, Christian; Noll, Josef.
Criteria for Security Classification of Smart Home Energy Management Systems (long version). Universitetet i Oslo 2019 (ISBN 978-82-7368-457-8) 22 p.
UiO Untitled
 
2018
11 Karami, Farzane; Owe, Olaf; Schneider, Gerardo; Johansen, Christian.
The Future Mechanism and Information Flow Security. The 30th Nordic Workshop on Programming Theory, Oslo; 2018-10-24 - 2018-10-26
UiO Untitled
 
12 Noll, Josef; Garitano, Iñaki; Johansen, Christian; Del Ser, Javier; Arenaza-Nuno, Ignacio.
Perspectives in Secure SMART Environments. I: Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems : The SHIELD Methodology. CRC Press 2018 ISBN 9781138042759. p. 337-358
UiO Untitled
 
13 Pedersen, Tore; Johansen, Christian; Jøsang, Audun.
Behavioural Computer Science: an agenda for combining modelling of human and system behaviours. Human-centric Computing and Information Sciences 2018 ;Volume 8:7. p. -
BJORKNES FORSV UiO Untitled
 
2017
14 Bursuc, Sergiu; Johansen, Christian; Xu, Shiwei.
Automated verification of dynamic root of trust protocols. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10204 LNCS. p. 95-116
UiO Untitled
 
15 Hildebrandt, Thomas; Johansen, Christian; Normann, Håkon.
A stable non-interleaving early operational semantics for the Pi-calculus. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10168 LNCS. p. 51-63
UiO Untitled
 
16 Johansen, Christian; Mujaj, Aulon; Arshad, Hamed; Noll, Josef.
Comparing Implementations of Secure Messaging Protocols (long version). Universitetet i Oslo 2017 (ISBN 978-82-7368-440-0) 62 p.
UiO Untitled
 
17 Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo.
Participatory verification of railway infrastructure by representing regulations in RailCNL. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10469 LNCS. p. 87-103
UiO Untitled
 
18 Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo.
Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version). Oslo: Universitetet i Oslo 2017 (ISBN 978-82-7368-430-1) 33 p.
UiO Untitled
 
19 Luteberget, Bjørnar Steinnes; Johansen, Christian.
Efficient verification of railway infrastructure designs against standard regulations. Formal methods in system design 2017 ;Volume 52.(1) p. 1-32
UiO Untitled
 
20 Pedersen, Tore; Johansen, Christian; Jøsang, Audun.
Intelligence Analysis: Reflections on the Future Human - Machine Analytic Enterprise from a Behavioral Computer Science Perspective. AF Security Seminar Series; 2017-06-16 - 2017-06-16
UiO Untitled
 
21 Shrestha, Manish; Johansen, Christian; Noll, Josef.
Security Classification for Smart Grid Infra structures (long version). Universitetet i Oslo 2017 (ISBN 978-82-7368-441-7) 44 p.
UiO Untitled
 
22 Tokas, Shukun; Owe, Olaf; Johansen, Christian.
Code Diversification Mechanisms for Securing the Internet of Things. 29th Nordic Workshop on Programming Theory (NWPT'17); 2017-11-01 - 2017-11-03
UiO Untitled
 
23 Tokas, Shukun; Owe, Olaf; Johansen, Christian.
Code Diversification Mechanisms for Securing the Internet of Things. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. p. 10-12
UiO Untitled
 
2016
24 Johansen, Christian.
ST-structures. Journal of Logical and Algebraic Methods in Programming 2016 ;Volume 85.(6) p. 1201-1233
UiO Untitled
 
25 Johansen, Christian; Jøsang, Audun; Migdal, Denis.
Offpad: Offline personal authenticating device: implementations and applications. Department of Informatics: University of Oslo 2016 (ISBN 978-82-7368-419-6) 54 p.
UiO Untitled
 
26 Johansen, Christian; Jøsang, Audun; Migdal, Denis.
Usable Authentication with an Offline Trusted Device Proxy Architecture (long version). Department of Informatics: University of Oslo 2016 (ISBN 978-82-7368-418-9) 27 p.
UiO Untitled
 
27 Johansen, Christian; Norman, Håkon; Hildebrandt, Thomas.
Non-interleaving Operational Semantics for the Pi-calculus -- technicalities. Universitetet i Oslo 2016 (ISBN 978-82-7368-416-5) 34 p.
UiO Untitled
 
28 Johansen, Christian; Pedersen, Tore; Jøsang, Audun.
Reflections on Behavioural Computer Science. Oslo: Universitetet i Oslo 2016 (ISBN 978-82-7368-417-2) 23 p.
FORSV UiO Untitled
 
29 Johansen, Christian; Pedersen, Tore; Jøsang, Audun.
Towards Behavioural Computer Science. IFIP Advances in Information and Communication Technology 2016 ;Volume 473. p. 154-163
FORSV UiO Untitled
 
30 Luteberget, Bjørnar Steinnes; Johansen, Christian; Feyling, C; Steffen, Martin.
Rule-based incremental verification tools applied to railway designs and regulations. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9995 LNCS. p. 772-778
UiO Untitled
 
31 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin.
Rule-Based Consistency Checking of Railway Infrastructure Designs. Universitetet i Oslo 2016 31 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(450)
UiO Untitled
 
32 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin.
Rule-based consistency checking of railway infrastructure designs. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9681. p. 491-507
UiO Untitled
 
33 Migdal, Denis; Johansen, Christian; Jøsang, Audun.
DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. I: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-4139-4. p. 1847-1849
UiO Untitled
 
34 Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas.
Declarative event based models of concurrency and refinement in psi-calculi. Journal of Logical and Algebraic Methods in Programming 2016 ;Volume 85.(3) p. 368-398
UiO Untitled
 
2015
35 Johansen, Christian; Jøsang, Audun.
Probabilistic Modeling of Humans in Security Ceremonies. I: Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Springer Publishing Company 2015 ISBN 978-3-319-17016-9. p. -
UiO Untitled
 
36 Johansen, Christian; Jøsang, Audun.
Probabilistic modelling of humans in security ceremonies. Lecture Notes in Computer Science (LNCS) 2015 ;Volume 8872. p. 277-292
UiO Untitled
 
37 Taherkordi, Amirhosein; Johansen, Christian; Eliassen, Frank; Römer, Kay.
Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions. I: Distributed Computing in Sensor Systems (DCOSS). IEEE 2015 ISBN 978-1-4799-8856-3. p. 52-61
UiO Untitled
 
2014
38 Johansen, Christian.
Actor network procedures as Psi-calculi for security ceremonies. Electronic Proceedings in Theoretical Computer Science 2014 ;Volume 148. p. 63-77
UiO Untitled
 
39 Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas.
Concurrency models with causality and events as psi-calculi. Electronic Proceedings in Theoretical Computer Science 2014 ;Volume 166. p. 4-20
UiO Untitled
 
2013
40 Aceto, Luca; Ingolfsdottir, Anna; Prisacariu, Cristian; Sack, Joshua.
Compositional Reasoning for Multi-modal Logics. I: Symposium on Logical Foundations of Computer Science (LFCS13). Springer 2013 ISBN 978-3-642-35721-3. p. 1-15
UiO Untitled
 
2012
41 Johansen, Christian; Owe, Olaf.
Dynamic Structural Operational Semantics (preliminary version). Universitetet i Oslo 2012 38 p.
UiO Untitled
 
42 Prisacariu, Cristian.
The Glory of the Past and Geometrical Concurrency. The Alan Turing Centenary Conference (Turing-100); 2012-06-18
UiO Untitled
 
43 Prisacariu, Cristian.
The Glory of the Past and Geometrical Concurrency. EasyChair Proceedings in Computing 2012 ;Volume 10. p. 252-267
UiO Untitled
 
44 Prisacariu, Cristian; Schneider, Gerardo.
A dynamic deontic logic for complex contracts. Journal of Logic and Algebraic Programming 2012 ;Volume 81.(4) p. 458-490
UiO Untitled
 
2010
45 Prisacariu, Cristian.
A Dynamic Deontic Logic over Synchronous Actions. Unipub forlag 2010 153 p.
UiO Untitled
 
46 Prisacariu, Cristian.
Modal Logic over Higher Dimensional Automata. Lecture Notes in Computer Science (LNCS) 2010 ;Volume 6269. p. 494-508
UiO Untitled
 
47 Prisacariu, Cristian.
Modal Logic over Higher Dimensional Automata. I: 21st International Conference on Concurrency Theory (CONCUR10). Springer 2010 ISBN 978-3-642-02260-9. p. 494-508
UiO Untitled
 
48 Prisacariu, Cristian.
Modal Logic over Higher Dimensional Automata - technicalities. : University of Oslo 2010 44 p.
UiO Untitled
 
49 Prisacariu, Cristian.
Synchronous Kleene algebra. Journal of Logic and Algebraic Programming 2010 ;Volume 79.(7) p. 608-635
UiO Untitled
 
2009
50 Okika, Joseph; Owe, Olaf; Prisacariu, Cristian.
Operational Semantics for BPEL Complex Features in Rewriting Logic. 21. Nordic Workshop on Programming Theory (NWPT'09); 2009-10-14 - 2009-10-16
UiO Untitled
 
    Show next list