| 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 | 47 | 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 | 30 | 2013 |
| Generating protocol software from cpn models annotated with pragmatics KIF Simonsen, LM Kristensen, E Kindler Brazilian Symposium on Formal Methods, 227-242, 2013 | 16 | 2013 |
| Attack on sun’s MIDP reference implementation of SSL KIF Simonsen, V Moen, KJ Hole Proceedings of NORDSEC, 2005 | 15 | 2005 |
| PetriCode: a tool for template-based code generation from CPN models KIF Simonsen Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 14 | 2014 |
| 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 | 13 | 2014 |
| 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 | 10 | 2016 |
| 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 | 7 | 2015 |
| Towards a CPN-based modelling approach for reconciling verification and implementation of protocol models KIF Simonsen, LM Kristensen Model-Based Methodologies for Pervasive and Embedded Software: 8th …, 2013 | 7 | 2013 |
| Implementing the websocket protocol based on formal modelling and automated code generation KIF Simonsen, LM Kristensen Distributed Applications and Interoperable Systems: 14th IFIP WG 6.1 …, 2014 | 6 | 2014 |
| Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks. AAK Somappa, KIF Simonsen PNSE@ Petri Nets 2, 193-212, 2016 | 5 | 2016 |
| An evaluation of automated code generation with the PetriCode approach KIF Simonsen CEUR Workshop Proceedings, 2014 | 5 | 2014 |
| Code generation for protocols from cpn models annotated with pragmatics KI Simonsen, LM Kristensen, E Kindler Technical University of Denmark, 2013 | 4 | 2013 |
| On the use of Pragmatics for Model-based Development of Protocol Software. KIF Simonsen PNSE, 179-190, 2011 | 3 | 2011 |
| J2me security KIF Simonsen Master’s thesis, University of Bergen, 2005 | 3 | 2005 |
| Code Generation from Pragmatics Annotated Coloured Petri Nets KI Simonsen, LM Kristensen, E Kindler Bergen University College, Technical University of Denmark, 2014 | 2 | 2014 |
| Code generation for protocol software from CPN models annotated with pragmatics KIF Simonsen, LM Kristensen, E Kindler Proceedings of SBMF 13, 2013 | 2 | 2013 |
| Groovy and Grails meet Eclipse Modeling Framework KIF Simonsen, F Mantz, A Rossini, A Rutle NIK 2010, 34-43, 2010 | 1 | 2010 |
| On Modelling Cloud Native Applications. KIF Simonsen PNSE@ Petri Nets, 253-254, 2021 | | 2021 |
| Model-based development for MAC protocols in industrial wireless sensor networks AA Kumar Somappa, KIF Simonsen | | 2016 |
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied Sciences在 hvl.no 的电子邮件经过验证
