Kent Inge Fagerland Simonsen

15 papers C 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2021 — conf
On Modelling Cloud Native Applications.
PNSE@Petri Nets
Kent Inge Fagerland Simonsen
2016 — conf
Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks.
PNSE @ Petri Nets
Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen
2016 J jnl
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
Trans. Petri Nets Other Model. Concurr.
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
2015 — —
Code Generation from Pragmatics Annotated Coloured Petri Nets.
Kent Inge Fagerland Simonsen
2015 — conf
Model-driven Software Engineering in Practice: A Content Analysis Software for Health Reform Agreements.
EUSPN/ICTH
Adrian Rutle, Kent Inge Fagerland Simonsen, Hans Georg Schaathun, Ralf Kirchhoff
2015 — conf
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
PNSE @ Petri Nets
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
2014 — conf
An Evaluation of Automated Code Generation with the PetriCode Approach.
PNSE @ Petri Nets
Kent Inge Fagerland Simonsen
2014 C conf
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation.
DAIS
Kent Inge Fagerland Simonsen, Lars Michael Kristensen
2014 — conf
Towards a model-based development approach for wireless sensor-actuator network protocols.
CyPhy
Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen
2013 J jnl
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs.
Trans. Petri Nets Other Model. Concurr.
Lars Michael Kristensen, Kent Inge Fagerland Simonsen
2013 — conf
Generating Protocol Software from CPN Models Annotated with Pragmatics.
SBMF
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
2013 — conf
PetriCode: A Tool for Template-Based Code Generation from CPN Models.
SEFM Workshops
Kent Inge Fagerland Simonsen
2012 — conf
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models.
MOMPES
Kent Inge Fagerland Simonsen, Lars Michael Kristensen
2011 — conf
On the use of Pragmatics for Model-based Development of Protocol Software.
PNSE
Kent Inge Fagerland Simonsen
2007 J jnl
Vulnerabilities in e-governments.
Int. J. Electron. Secur. Digit. Forensics
Vebjørn Moen, André N. Klingsheim, Kent Inge Fagerland Simonsen, Kjell Jørgen Hole