Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 57 << Forrige 1 2    Neste >>

2018
1 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
 
2 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. s. 337-358
UiO Untitled
 
3 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 ;Volum 8:7. s. -
BJORKNES FORSV UiO Untitled
 
2017
4 Bursuc, Sergiu; Johansen, Christian; Xu, Shiwei.
Automated verification of dynamic root of trust protocols. Lecture Notes in Computer Science 2017 ;Volum 10204 LNCS. s. 95-116
UiO Untitled
 
5 Hildebrandt, Thomas; Johansen, Christian; Normann, Håkon.
A stable non-interleaving early operational semantics for the Pi-calculus. Lecture Notes in Computer Science 2017 ;Volum 10168 LNCS. s. 51-63
UiO Untitled
 
6 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 s.
UiO Untitled
 
7 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 2017 ;Volum 10469 LNCS. s. 87-103
UiO Untitled
 
8 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 s.
UiO Untitled
 
9 Luteberget, Bjørnar Steinnes; Johansen, Christian.
Efficient verification of railway infrastructure designs against standard regulations. Formal methods in system design 2017 ;Volum 52.(1) s. 1-32
UiO Untitled
 
10 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
 
11 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 s.
UiO Untitled
 
12 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
 
13 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. s. 10-12
UiO Untitled
 
2016
14 Johansen, Christian.
ST-structures. Journal of Logical and Algebraic Methods in Programming 2016 ;Volum 85.(6) s. 1201-1233
UiO Untitled
 
15 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 s.
UiO Untitled
 
16 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 s.
UiO Untitled
 
17 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 s.
UiO Untitled
 
18 Johansen, Christian; Pedersen, Tore; Jøsang, Audun.
Reflections on Behavioural Computer Science. Oslo: Universitetet i Oslo 2016 (ISBN 978-82-7368-417-2) 23 s.
FORSV UiO Untitled
 
19 Johansen, Christian; Pedersen, Tore; Jøsang, Audun.
Towards Behavioural Computer Science. IFIP Advances in Information and Communication Technology 2016 ;Volum 473. s. 154-163
FORSV UiO Untitled
 
20 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 2016 ;Volum 9995 LNCS. s. 772-778
UiO Untitled
 
21 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin.
Rule-Based Consistency Checking of Railway Infrastructure Designs. Universitetet i Oslo 2016 31 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(450)
UiO Untitled
 
22 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin.
Rule-based consistency checking of railway infrastructure designs. Lecture Notes in Computer Science 2016 ;Volum 9681. s. 491-507
UiO Untitled
 
23 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. s. 1847-1849
UiO Untitled
 
24 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 ;Volum 85.(3) s. 368-398
UiO Untitled
 
2015
25 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. s. -
UiO Untitled
 
26 Johansen, Christian; Jøsang, Audun.
Probabilistic modelling of humans in security ceremonies. Lecture Notes in Computer Science 2015 ;Volum 8872. s. 277-292
UiO Untitled
 
27 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. s. 52-61
UiO Untitled
 
2014
28 Johansen, Christian.
Actor network procedures as Psi-calculi for security ceremonies. Electronic Proceedings in Theoretical Computer Science 2014 ;Volum 148. s. 63-77
UiO Untitled
 
29 Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas.
Concurrency models with causality and events as psi-calculi. Electronic Proceedings in Theoretical Computer Science 2014 ;Volum 166. s. 4-20
UiO Untitled
 
2013
30 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. s. 1-15
UiO Untitled
 
2012
31 Johansen, Christian; Owe, Olaf.
Dynamic Structural Operational Semantics (preliminary version). Universitetet i Oslo 2012 38 s.
UiO Untitled
 
32 Prisacariu, Cristian.
The Glory of the Past and Geometrical Concurrency. The Alan Turing Centenary Conference (Turing-100); 2012-06-18
UiO Untitled
 
33 Prisacariu, Cristian.
The Glory of the Past and Geometrical Concurrency. EasyChair Proceedings in Computing 2012 ;Volum 10. s. 252-267
UiO Untitled
 
34 Prisacariu, Cristian; Schneider, Gerardo.
A dynamic deontic logic for complex contracts. Journal of Logic and Algebraic Programming 2012 ;Volum 81.(4) s. 458-490
UiO Untitled
 
2010
35 Prisacariu, Cristian.
A Dynamic Deontic Logic over Synchronous Actions. Unipub forlag 2010 153 s.
UiO Untitled
 
36 Prisacariu, Cristian.
Modal Logic over Higher Dimensional Automata. Lecture Notes in Computer Science 2010 ;Volum 6269. s. 494-508
UiO Untitled
 
37 Prisacariu, Cristian.
Modal Logic over Higher Dimensional Automata. I: 21st International Conference on Concurrency Theory (CONCUR10). Springer 2010 ISBN 978-3-642-02260-9. s. 494-508
UiO Untitled
 
38 Prisacariu, Cristian.
Modal Logic over Higher Dimensional Automata - technicalities. : University of Oslo 2010 44 s.
UiO Untitled
 
39 Prisacariu, Cristian.
Synchronous Kleene algebra. Journal of Logic and Algebraic Programming 2010 ;Volum 79.(7) s. 608-635
UiO Untitled
 
2009
40 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
 
41 Okika, Joseph; Owe, Olaf; Prisacariu, Cristian.
Operational Semantics for BPEL Complex Features in Rewriting Logic. I: 21st Nordic Workshop on Programming Theory. Danmarks Tekniske Universitet, DTU 2009 ISBN 978-87-643-0565-4. s. 95-97
UiO Untitled
 
42 Prisacariu, Cristian.
A Decidable Logic for Complex Contracts. I: 21st Nordic Workshop on Programming Theory. Danmarks Tekniske Universitet, DTU 2009 ISBN 978-87-643-0565-4. s. 65-67
UiO Untitled
 
43 Prisacariu, Cristian.
Synchronous Kleene Algebra vs. Concurrent Kleene Algebra. Young Researchers Workshop on Concurrency Theory (YRCONCUR09); 2009-09-05 - 2009-09-05
UiO Untitled
 
44 Prisacariu, Cristian; Schneider, Gerardo.
Abstract specification of legal contracts. I: The 12th International Conference on Artificial Intelligence and Law (ICAIL'09). ACM Publications 2009 ISBN 978-1-60558-597-0. s. 218-219
UiO Untitled
 
45 Prisacariu, Cristian; Schneider, Gerardo.
An Action-Based Logic for Reasoning about Contracts. I: 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Springer 2009 ISBN 978-3-642-02260-9. s. 335-349
UiO Untitled
 
2008
46 Kyas, Marcel; Prisacariu, Cristian; Schneider, Gerardo.
Run-time monitoring of electronic contracts. Lecture Notes in Computer Science 2008
UiO Untitled
 
47 Prisacariu, Cristian.
Deontic modalities over synchronous actions - technicalities. Universitetet i Oslo 2008 40 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(381)
UiO Untitled
 
48 Prisacariu, Cristian.
Extending Kleene Algebra with Synchrony - technicalities. Universitetet i Oslo 2008 56 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(376)
UiO Untitled
 
49 Prisacariu, Cristian.
Extending Kleene Algebra with Synchrony: Completeness and Decidability. I: Proceedings of the Nordic Workshop of Programming Theory 2008 (NWPT'08). Tallinn, Estonia: Alfapress 2008 ISBN 978-9949-430-24-6. s. 69-72
UiO Untitled
 
50 Prisacariu, Cristian; Schneider, Gerardo.
A Logic for Reasoning about Legal Contracts -Semantics. Universitetet i Oslo 2008 69 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(371)
UiO Untitled
 
    Vis neste liste