Vulnerabilities in e-governments V Moen, AN Klingsheim, KIF Simonsen, KJ Hole International Journal of Electronic Security and Digital Forensics 1 (1), 89-100, 2007 | 47 | 2007 |
Applications of coloured Petri nets for functional validation of protocol designs LM Kristensen, KIF Simonsen Transactions on Petri Nets and Other Models of Concurrency VII, 56-115, 2013 | 30 | 2013 |
Generating protocol software from cpn models annotated with pragmatics KIF Simonsen, LM Kristensen, E Kindler Brazilian Symposium on Formal Methods, 227-242, 2013 | 16 | 2013 |
Attack on sun’s MIDP reference implementation of SSL KIF Simonsen, V Moen, KJ Hole Proceedings of NORDSEC, 2005 | 16 | 2005 |
Towards a model-based development approach for wireless sensor-actuator network protocols SAA Kumar, KIF Simonsen Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling …, 2014 | 14 | 2014 |
PetriCode: a tool for template-based code generation from CPN models KIF Simonsen Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 14 | 2014 |
Pragmatics annotated coloured petri nets for protocol software generation and verification KIF Simonsen, LM Kristensen, E Kindler Transactions on Petri Nets and Other Models of Concurrency XI, 1-27, 2016 | 10 | 2016 |
Model-Driven software engineering in Practice: A content analysis software for health reform agreements A Rutle, KIF Simonsen, HG Schaathun, R Kirchhoff Procedia Computer Science 63, 545-552, 2015 | 7 | 2015 |
Towards a CPN-based modelling approach for reconciling verification and implementation of protocol models KIF Simonsen, LM Kristensen Model-Based Methodologies for Pervasive and Embedded Software: 8th …, 2013 | 7 | 2013 |
Implementing the websocket protocol based on formal modelling and automated code generation KIF Simonsen, LM Kristensen Distributed Applications and Interoperable Systems: 14th IFIP WG 6.1 …, 2014 | 6 | 2014 |
Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks. AAK Somappa, KIF Simonsen PNSE@ Petri Nets 2, 193-212, 2016 | 5 | 2016 |
An evaluation of automated code generation with the PetriCode approach KIF Simonsen CEUR Workshop Proceedings, 2014 | 5 | 2014 |
Code generation for protocols from cpn models annotated with pragmatics KI Simonsen, LM Kristensen, E Kindler Technical University of Denmark, 2013 | 4 | 2013 |
On the use of Pragmatics for Model-based Development of Protocol Software. KIF Simonsen PNSE, 179-190, 2011 | 3 | 2011 |
J2me security KIF Simonsen Master’s thesis, University of Bergen, 2005 | 3 | 2005 |
Code Generation from Pragmatics Annotated Coloured Petri Nets KI Simonsen, LM Kristensen, E Kindler Bergen University College, Technical University of Denmark, 2014 | 2 | 2014 |
Code generation for protocol software from CPN models annotated with pragmatics KIF Simonsen, LM Kristensen, E Kindler Proceedings of SBMF 13, 2013 | 2 | 2013 |
Distributed Applications and Interoperable Systems K Magoutis, P Pietzuch, M Macías, J Guitart, S Brenner, B Garbers, ... Springer Berlin Heidelberg, 2014 | 1 | 2014 |
Groovy and Grails meet Eclipse Modeling Framework KIF Simonsen, F Mantz, A Rossini, A Rutle NIK 2010, 34-43, 2010 | 1 | 2010 |
On Modelling Cloud Native Applications. KIF Simonsen PNSE@ Petri Nets, 253-254, 2021 | | 2021 |