Christian Johansen
TitleCited byYear
A formal language for electronic contracts
C Prisacariu, G Schneider
International Conference on Formal Methods for Open Object-Based Distributedá…, 2007
1052007
Timers for distributed systems
G Ciobanu, C Prisacariu
Electronic Notes in Theoretical Computer Science 164 (3), 81-99, 2006
672006
A dynamic deontic logic for complex contracts
C Prisacariu, G Schneider
The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012
422012
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
Model checking contracts–a case study
G Pace, C Prisacariu, G Schneider
International Symposium on Automated Technology for Verification andá…, 2007
322007
Synchronous kleene algebra
C Prisacariu
The Journal of Logic and Algebraic Programming 79 (7), 608-635, 2010
29*2010
Rule-based consistency checking of railway infrastructure designs
B Luteberget, C Johansen, M Steffen
International Conference on Integrated Formal Methods, 491-507, 2016
202016
A dynamic deontic logic over synchronous actions
C Prisacariu
University of Oslo (PhD thesis), 2010
16*2010
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
14*2018
Probabilistic modelling of humans in security ceremonies
C Johansen, A J°sang
Data Privacy Management, Autonomous Spontaneous Security, and Securityá…, 2014
112014
Efficient verification of railway infrastructure designs against standard regulations
B Luteberget, C Johansen
Formal Methods in System Design 52 (1), 1-32, 2018
102018
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
102005
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
8*2016
The Glory of the Past and Geometrical Concurrency
C Prisacariu
The Alan Turing Centenary (Turing-100), EPiC Series in Computing, 10, 252-267, 2012
8*2012
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
7*2017
DEMO: OffPAD-Offline Personal Authenticating Device with Applications in Hospitals and e-Banking
D Migdal, C Johansen, A J°sang
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communicationsá…, 2016
7*2016
Modal logic over higher dimensional automata
C Prisacariu
CONCUR 2010: International Conference on Concurrency Theory 6269 (LNCS), 494-508, 2010
7*2010
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
62018
The system can't perform the operation now. Try again later.
Articles 1–20