Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-17 av 17

2016
1 Kumar Somappa, Admar Ajith; Simonsen, Kent Inge Fagerland.
Model-based development for MAC protocols in industrial wireless sensor networks. CEUR Workshop Proceedings 2016 ;Volum 1591. s. 193-212
HVL UIA Untitled
 
2 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael; Kindler, Ekkart.
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Lecture Notes in Computer Science 2016 ;Volum 9930. s. 1-27
HVL Untitled
 
2015
3 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael; Kindler, Ekkart.
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. CEUR Workshop Proceedings 2015 ;Volum 1372. s. 79-98
HVL Untitled
 
2014
4 Kumar Somappa, Admar Ajith; Simonsen, Kent Inge Fagerland.
Model-Driven Software Engineering for Wireless Sensor-Actuator Network Protocols. Joint Symposium on Program and Model Transformations; 2014-05-26 - 2014-05-27
HVL Untitled
 
5 Kumar Somappa, Admar Ajith; Simonsen, Kent Inge Fagerland.
Towards a Model-Based Development Approach for Wireless Sensor-Actuator Network Protocols. Fourth Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'14); 2014-04-14 - 2014-04-14
HVL Untitled
 
6 Kumar Somappa, Admar Ajith; Simonsen, Kent Inge Fagerland.
Towards a Model-Based Development Approach for Wireless Sensor-Actuator Network Protocols. I: Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems. ACM Digital Library 2014 ISBN 978-1-4503-2871-5. s. 35-39
HVL Untitled
 
7 Simonsen, Kent Inge Fagerland.
An evaluation of automated code generation with the petricode approach. CEUR Workshop Proceedings 2014 ;Volum 1160. s. 289-306
HVL Untitled
 
8 Simonsen, Kent Inge Fagerland.
PetriCode: A Tool for Template-Based Code Generation from CPN Models. Lecture Notes in Computer Science 2014 ;Volum 8368. s. 151-163
HVL Untitled
 
9 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael.
A Pragmatic Approach for Transforming Coloured Petri Net Models into Code: A Case Study of the IETF WebSocket Protocol. Joint symposium on program and model transformations; 2014-05-26 - 2014-05-27
HVL Untitled
 
10 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael.
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation. Lecture Notes in Computer Science 2014 ;Volum 8460. s. 104-118
HVL Untitled
 
2013
11 Kristensen, Lars Michael; Simonsen, Kent Inge Fagerland.
Application of coloured Petri nets for functional validation of protocol designs. Lecture Notes in Computer Science 2013 ;Volum 7480. s. 56-115
HVL Untitled
 
12 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael.
Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. Lecture Notes in Computer Science 2013 ;Volum 7706. s. 106-125
HVL Untitled
 
13 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael; Kindler, Ekkart.
Generating protocol software from CPN models annotated with pragmatics. Lecture Notes in Computer Science 2013 ;Volum 8195. s. 227-242
HVL Untitled
 
2012
14 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael.
Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software; 2012-09-04 - 2012-09-04
HVL Untitled
 
15 Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael; Kindler, Ekkart.
Code Generation for Protocols from CPN models Annotated with Pragmatics. 24th Nordic Workshop on Programming Theory; 2012-10-31 - 2012-11-02
HVL Untitled
 
2011
16 Simonsen, Kent Inge Fagerland.
On the use of Pragmatics for Model-based Development of Protocol Software. International Workshop on Petri Nets and Software Engineering 2011; 2011-06-20 - 2011-06-21
HVL Untitled
 
2010
17 Simonsen, Kent Fagerland; Mantz, Florian; Rossini, Alessandro; Rutle, Adrian.
Groovy and Grails meet Eclipse Modeling Framework. I: Norsk Informatikkonferanse. Tapir Akademisk Forlag 2010 ISBN 978-82-519-2703-1. s. 34-43
HVL UiB Untitled