| A formal language for electronic contracts C Prisacariu, G Schneider International Conference on Formal Methods for Open Object-Based Distributed …, 2007 | 113 | 2007 |
| Timers for distributed systems G Ciobanu, C Prisacariu Electronic Notes in Theoretical Computer Science 164 (3), 81-99, 2006 | 66 | 2006 |
| A dynamic deontic logic for complex contracts C Prisacariu, G Schneider The Journal of Logic and Algebraic Programming 81 (4), 458-490, 2012 | 51 | 2012 |
| Run-time monitoring of electronic contracts M Kyas, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2008 | 46 | 2008 |
| CL: An Action-Based Logic for Reasoning about Contracts C Prisacariu, G Schneider International Workshop on Logic, Language, Information, and Computation, 335-349, 2009 | 40 | 2009 |
| Synchronous kleene algebra C Prisacariu The Journal of Logic and Algebraic Programming 79 (7), 608-635, 2010 | 37* | 2010 |
| Model checking contracts–a case study G Pace, C Prisacariu, G Schneider International Symposium on Automated Technology for Verification and …, 2007 | 36 | 2007 |
| 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 | 21* | 2018 |
| Rule-based consistency checking of railway infrastructure designs B Luteberget, C Johansen, M Steffen International Conference on Integrated Formal Methods, 491-507, 2016 | 21 | 2016 |
| A dynamic deontic logic over synchronous actions C Prisacariu University of Oslo (PhD thesis), 2010 | 17* | 2010 |
| Efficient verification of railway infrastructure designs against standard regulations B Luteberget, C Johansen Formal Methods in System Design 52 (1), 1-32, 2018 | 16 | 2018 |
| 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 | 14* | 2020 |
| Probabilistic modelling of humans in security ceremonies C Johansen, A Jøsang Data Privacy Management, Autonomous Spontaneous Security, and Security …, 2014 | 14 | 2014 |
| Abstract specification of legal contracts C Prisacariu, G Schneider Proceedings of the 12th International Conference on Artificial Intelligence …, 2009 | 14* | 2009 |
| Barbed Bisimulations for Timed Distributed π-calculus G Ciobanu, C Prisacariu 2nd Int’l Conference on Intelligent Computer Communication and Processing …, 2006 | 11* | 2006 |
| 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 | 9 | 2019 |
| 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 | 8 | 2018 |
| The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications C Johansen, A Mujaj, H Arshad, J Noll arXiv preprint arXiv:1807.07952, 2018 | 8* | 2018 |
| 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 | 8* | 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 | 8* | 2016 |
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
