Christian Johansen
TittelSitert avÅr
A formal language for electronic contracts
C Prisacariu, G Schneider
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
1012007
Timers for distributed systems
G Ciobanu, C Prisacariu
Electronic Notes in Theoretical Computer Science 164 (3), 81-99, 2006
612006
Run-time monitoring of electronic contracts
M Kyas, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2008
412008
CL: An Action-Based Logic for Reasoning about Contracts
C Prisacariu, G Schneider
International Workshop on Logic, Language, Information, and Computation, 335-349, 2009
382009
A dynamic deontic logic for complex contracts
C Prisacariu, G Schneider
The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012
372012
Model checking contracts–a case study
G Pace, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification and …, 2007
312007
Synchronous kleene algebra
C Prisacariu
The Journal of Logic and Algebraic Programming 79 (7), 608-635, 2010
24*2010
A dynamic deontic logic over synchronous actions
C Prisacariu
University of Oslo (PhD thesis), 2010
16*2010
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
International Conference on Integrated Formal Methods, 491-507, 2016
142016
Probabilistic modelling of humans in security ceremonies
C Johansen, A Jøsang
Data Privacy Management, Autonomous Spontaneous Security, and Security …, 2014
102014
Towards a formal definition of electronic contracts
C Prisacariu, G Schneider
Research report http://urn. nb. no/URN: NBN: no-35645, 2007
102007
Timed distributed π-calculus
C Prisacariu, G Ciobanu
Tech. Report FML-05-01, Institute of Computer Science, 2005
9*2005
The Glory of the Past and Geometrical Concurrency
C Prisacariu
The Alan Turing Centenary (Turing-100), EPiC Series in Computing, 10, 252-267, 2012
7*2012
Securing the End-points of the Signal Protocol using Intel SGX based Containers
K Severinsen, C Johansen, S Bursuc
HotSpot 2017: 5th Workshop on Hot Issues in Security Principles and Trust, 8, 2017
62017
Towards behavioural computer science
C Johansen, T Pedersen, A Jøsang
IFIP International Conference on Trust Management, 154-163, 2016
6*2016
Concurrency models with causality and events as psi-calculi
H Normann, C Prisacariu, T Hildebrandt
ICE 2014: 7th Interaction and Concurrency Experience 166 (arXiv:1410.7466), 4-20, 2014
62014
Actor network procedures as psi-calculi for security ceremonies
C Prisacariu
Graphical Models for Security (GraMSec'14) 148 (arXiv:1404.1988), 63-77, 2014
62014
Modal logic over higher dimensional automata
C Prisacariu
CONCUR 2010: International Conference on Concurrency Theory 6269 (LNCS), 494-508, 2010
6*2010
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
5*2017
ST-structures
C Johansen
Journal of Logical and Algebraic Methods in Programming 85 (6), 1201-1233, 2016
52016
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20