Kent Inge Fagerland Simonsen
Kent Inge Fagerland Simonsen
Unknown affiliation
Verified email at - Homepage
Cited by
Cited by
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
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
Attack on sun’s MIDP reference implementation of SSL
KIF Simonsen, V Moen, KJ Hole
Proceedings of NORDSEC, 2005
Generating protocol software from cpn models annotated with pragmatics
KIF Simonsen, LM Kristensen, E Kindler
Brazilian Symposium on Formal Methods, 227-242, 2013
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
PetriCode: a tool for template-based code generation from CPN models
KIF Simonsen
International Conference on Software Engineering and Formal Methods, 151-163, 2013
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
Implementing the websocket protocol based on formal modelling and automated code generation
KIF Simonsen, LM Kristensen
IFIP International Conference on Distributed Applications and Interoperable …, 2014
Towards a CPN-based modelling approach for reconciling verification and implementation of protocol models
KIF Simonsen, LM Kristensen
International Workshop on Model-Based Methodologies for Pervasive and …, 2012
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
An evaluation of automated code generation with the PetriCode approach
KIF Simonsen
CEUR Workshop Proceedings, 2014
Code generation for protocols from cpn models annotated with pragmatics
KI Simonsen, LM Kristensen, E Kindler
Technical University of Denmark, 2013
Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks.
AAK Somappa, KIF Simonsen
PNSE@ Petri Nets 2, 193-212, 2016
On the use of Pragmatics for Model-based Development of Protocol Software.
KIF Simonsen
PNSE, 179-190, 2011
J2me security
KIF Simonsen
Master’s thesis, University of Bergen, 2005
Code generation for protocol software from CPN models annotated with pragmatics
KIF Simonsen, LM Kristensen, E Kindler
Proceedings of SBMF 13, 2013
Code Generation from Pragmatics Annotated Coloured Petri Nets
KI Simonsen, LM Kristensen, E Kindler
Bergen University College, Technical University of Denmark, 2014
Groovy and Grails Meet Eclipse Modelling Framework
KIF Simonsen, F Mantz, A Rossini, A Rutle
NIK 2010, 34-43, 2010
Model-based development for MAC protocols in industrial wireless sensor networks
AA Kumar Somappa, KIF Simonsen
Distributed Applications and Interoperable Systems
K Magoutis, P Pietzuch, M Macías, J Guitart, S Brenner, B Garbers, ...
The system can't perform the operation now. Try again later.
Articles 1–20