Kent Inge Fagerland Simonsen

According to our database, Kent Inge Fagerland Simonsen authored at least 14 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On Modelling Cloud Native Applications.

Kent Inge Fagerland Simonsen

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2016

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.

Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler

Trans. Petri Nets Other Model. Concurr., 2016

Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks.

Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015

Code Generation from Pragmatics Annotated Coloured Petri Nets.

Kent Inge Fagerland Simonsen

PhD thesis, 2015

Model-driven Software Engineering in Practice: A Content Analysis Software for Health Reform Agreements.

Adrian Rutle, Kent Inge Fagerland Simonsen, Hans Georg Schaathun, Ralf Kirchhoff

Proceedings of the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015)/ Affiliated Workshops, 2015

2014

Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation.

Kent Inge Fagerland Simonsen, Lars Michael Kristensen

Proceedings of the Distributed Applications and Interoperable Systems, 2014

Towards a model-based development approach for wireless sensor-actuator network protocols.

Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

An Evaluation of Automated Code Generation with the PetriCode Approach.

Kent Inge Fagerland Simonsen

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Applications of Coloured Petri Nets for Functional Validation of Protocol Designs.

Lars Michael Kristensen, Kent Inge Fagerland Simonsen

Trans. Petri Nets Other Model. Concurr., 2013

PetriCode: A Tool for Template-Based Code Generation from CPN Models.

Kent Inge Fagerland Simonsen

Proceedings of the Software Engineering and Formal Methods, 2013

Generating Protocol Software from CPN Models Annotated with Pragmatics.

Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012

Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models.

Kent Inge Fagerland Simonsen, Lars Michael Kristensen

Proceedings of the Model-Based Methodologies for Pervasive and Embedded Software, 2012

2011

On the use of Pragmatics for Model-based Development of Protocol Software.

Kent Inge Fagerland Simonsen

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2007

Vulnerabilities in e-governments.

Vebjørn Moen, André N. Klingsheim, Kent Inge Fagerland Simonsen, Kjell Jørgen Hole

Int. J. Electron. Secur. Digit. Forensics, 2007