Kent Inge Fagerland Simonsen

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 3

Top Topics

Code Generation

Software Engineering

Content Analysis

Wireless Sensor

Top Venues

PNSE @ Petri Nets

Trans. Petri Nets Other Model. Concurr.

PNSE@Petri Nets

Publications

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