Publications

  2016 (4)
Formalising and Validating the Interface Description in the FMI standard. Hasanagić, M.; Tran-J\orgensen, P. W. V.; Lausdahl, K.; and Larsen, P. G. In The 21st International Symposium on Formal Methods (FM 2016), November 2016.
Formalising and Validating the Interface Description in the FMI standard [link]Paper   bibtex
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems. Larsen, P. G.; Thule, C.; Lausdahl, K.; Bardur, V.; Gamble, C.; Brosse, E.; Sadovykh, A.; Bagnato, A.; and Couto, L. D. In Larsen, P. G.; Plat, N.; and Battle, N., editor(s), The 14th Overture Workshop: Towards Analytical Tool Chains, pages 63--78, Cyprus, November 2016. Aarhus University, Department of Engineering ECE-TR-28
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems [link]Paper   bibtex
Principles for Reuse in Formal Language Tools. Couto, L. D.; Tran-J\orgensen, P. W V; and Lausdahl, K. In 31st ACM Symposium on Applied Computing, April 2016.
Principles for Reuse in Formal Language Tools [link]Paper   bibtex
Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture. Couto, L. D.; Lausdahl, K.; Plat, N.; Larsen, P. G.; and Pierce, K. In Larsen, P. G.; Plat, N.; and Battle, N., editor(s), The 14th Overture Workshop: Towards Analytical Tool Chains, pages 123--136, Cyprus, Greece, November 2016. Aarhus University, Department of Engineering ECE-TR-28
Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture [link]Paper   bibtex
  2015 (3)
Interpreting Implicit VDM Specifications using ProB. Lausdahl, K.; Ishikawa, H.; and Larsen, P. G. In Battle, N.; and Fitzgerald, J., editor(s), Proceedings of the 12th Overture Workshop, of Technical Report Series, pages 1--15, January 2015. Computing Science, Newcastle University
Interpreting Implicit VDM Specifications using ProB [pdf]Paper   bibtex
Migrating to an Extensible Architecture for Abstract Syntax Trees. Luís Diogo Couto; Tran-J\orgensen, P. W. V.; Coleman, J. W.; and Lausdahl, K. In 12th Working IEEE / IFIP Conference on Software Architecture, May 2015.
bibtex
Towards Enabling Overture as a Platform for Formal Notation IDEs. Luís Diogo Couto; Larsen, P. G.; Hasanagic, M.; Kanakis, G.; Lausdahl, K.; and Tran-J\orgensen, P. W. V. In , editor(s), 2nd Workshop on Formal-IDE (F-IDE), Oslo, Norway, June 2015.
bibtex
  2014 (3)
Including Running System Implementations in the Simulation of System of Systems Models. Lausdahl, K.; Nielsen, C. B.; and Kristensen, K. In Braga, C.; and Martí-Oliet, N., editor(s), Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods, of CBSoft, pages 177--182, September 2014. Universidade Federal de Alagoas (UFAL)
bibtex
Distributed Simulation of Formal Models in System of Systems Engineering. Nielsen, C. B.; Lausdahl, K.; and Larsen, P. G. In 4th IEEE track on Collaborative Modelling and Simulation in IEEE WETICE 2014, June 2014.
bibtex
Collaborative Design for Embedded Systems -- Co-modelling and Co-simulation. Fitzgerald, J.; Larsen, P. G.; and Verhoef, M. , editor s. Springer, 2014.
Collaborative Design for Embedded Systems -- Co-modelling and Co-simulation [link]Paper   bibtex   buy
  2013 (3)
Enhancing Formal Modelling Tool Support with Increased Automation. Lausdahl, K. Ph.D. Thesis, Aarhus University, June 2013.
Enhancing Formal Modelling Tool Support with Increased Automation [pdf]Paper   bibtex   9 downloads
Translating VDM to Alloy. Lausdahl, K. In Johnsen, E. B.; and Petre, L., editor(s), Integrated Formal Methods, volume 7940, of Lecture Notes in Computer Science, pages 46-60. Springer Berlin Heidelberg, 2013. 10th International Conference, IFM 2013
Translating VDM to Alloy [link]Paper   doi   bibtex   buy   4 downloads
Semantics of the VDM Real-Time Dialect. Lausdahl, K.; Coleman, J. W.; and Larsen, P. G. Technical Report ECE-TR-13, Aarhus University, April 2013.
Semantics of the VDM Real-Time Dialect [pdf]Paper   bibtex   4 downloads
  2012 (3)
Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim. Lausdahl, K.; Coleman, J. W.; and Larsen, P. G. In Plat, N.; Nielsen, C. B.; and Riddle, S., editor(s), Proceedings of the 10th Overture Workshop, of Technical Report Series, pages 30--37, August 2012. Computing Science, Newcastle University
Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim [pdf]Paper   bibtex
Combining VDM with Executable Code. Nielsen, C. B.; Lausdahl, K.; and Larsen, P. G. In Derrick, J.; Fitzgerald, J.; Gnesi, S.; Khurshid, S.; Leuschel, M.; Reeves, S.; and Riccobene, E., editor(s), Abstract State Machines, Alloy, B, VDM, and Z, volume 7316, of Lecture Notes in Computer Science, pages 266--279, Berlin, Heidelberg, 2012. Springer-Verlag ISBN 978-3-642-30884-0
Combining VDM with Executable Code [link]Paper   bibtex   2 downloads
Using the Overture Tool as a More General Platform. Nielsen, C. B.; Lausdahl, K.; and Larsen, P. G. In Mazzanti, F., editor(s), iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session, pages 1-34, June 2012. CNR-ISTI
Using the Overture Tool as a More General Platform [link]Paper   bibtex   1 download
  2011 (4)
Run-Time Validation of Timing Constraints for VDM-RT Models. Ribeiro, A.; Lausdahl, K.; and Larsen, P. G. In 9th Overture Workshop, June 2011, Limerick, Ireland, 2011.
Run-Time Validation of Timing Constraints for VDM-RT Models [pdf]Paper   bibtex   2 downloads
A Deterministic Interpreter Simulating A Distributed real time system using VDM. Lausdahl, K.; Larsen, P. G.; and Battle, N. In Qin, S.; and Qiu, Z., editor(s), Formal Methods and Software Engineering, volume 6991, of Lecture Notes in Computer Science, pages 179--194, Berlin, Heidelberg, October 2011. Springer-Verlag ISBN 978-3-642-24558-9
A Deterministic Interpreter Simulating A Distributed real time system using VDM [link]Paper   bibtex
Automated Exploration of Alternative System Architectures with VDM-RT. Lausdahl, K.; and Ribeiro, A. In Wolff, S.; and Fitzgerald, J., editor(s), Proceedings of the 9th Overture Workshop, of Technical Report Series, pages 17--31, June 2011.
Automated Exploration of Alternative System Architectures with VDM-RT [pdf]Paper   bibtex   1 download
Run-Time Validation of Timing Constraints for VDM-RT Models. Ribeiro, A.; Lausdahl, K.; and Larsen, P. G. In Wolff, S.; and Fitzgerald, J., editor(s), Proceedings of the 9th Overture Workshop, of Technical Report Series, pages 4--16, June 2011.
Run-Time Validation of Timing Constraints for VDM-RT Models [pdf]Paper   bibtex   2 downloads
  2010 (5)
The Overture Initiative -- Integrating Tools for VDM. Larsen, P. G.; Battle, N.; Ferreira, M.; Fitzgerald, J.; Lausdahl, K.; and Verhoef, M. SIGSOFT Softw. Eng. Notes, 35(1): 1--6. January 2010.
The Overture Initiative -- Integrating Tools for VDM [link]Paper   bibtex   1 download
Combinatorial Testing for VDM. Larsen, P. G.; Lausdahl, K.; and Battle, N. In Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods, of SEFM '10, pages 278--285, Washington, DC, USA, September 2010. IEEE Computer Society ISBN 978-0-7695-4153-2
Combinatorial Testing for VDM [link]Paper   bibtex
Towards Green ICT. Rohde, J.; Wolff, S.; Larsen, T. S. T. P. G.; Lausdahl, K.; Ribeiro, A.; and Rovsing, P. E. 13: Optimizing Energy Usage in Private Households, pages 185--209. River Publishers, 2010.
Towards Green ICT [link]Paper   bibtex   buy   1 download
Overview of VDM-RT Constructs and Semantic Issues. Lausdahl, K.; Verhoef, M.; Larsen, P. G.; and Wolff, S. In Pierce, K.; Plat, N.; and Wolf, S., editor(s), Proceedings of the 8th Overture Workshop, of Technical Report Series, pages 57--67, September 2010.
Overview of VDM-RT Constructs and Semantic Issues [pdf]Paper   bibtex   1 download
The Overture Initiative -- Integrating Tools for VDM. Larsen, P. G.; Battle, N.; Ferreira, M.; Fitzgerald, J.; Lausdahl, K.; and Verhoef, M. In Zhang, M.; and Stolz, V., editor(s), Harnessing Theories for Tool Support in Software, pages 9--19, November 2010.
bibtex   1 download
  2009 (2)
Connecting UML and VDM++ with Open Tool Support. Lausdahl, K.; Lintrup, H. K. A.; and Larsen, P. G. In Cavalcanti, A.; and Dams, D. R., editor(s), Proceedings of the 2nd World Congress on Formal Methods, volume 5850, of Lecture Notes in Computer Science, pages 563--578, Berlin, Heidelberg, November 2009. Springer-Verlag ISBN 978-3-642-05088-6
Connecting UML and VDM++ with Open Tool Support [link]Paper   bibtex   1 download
Facilitating Home Automation Through Wireless Protocol Interoperability. Wolff, S.; Larsen, P. G.; Lausdahl, K.; Ribeiro, A.; and Toftegaard, T. S. In WPMC'09: The 12th International Symposium on Wireless Personal Multimedia Communications, September 2009.
Facilitating Home Automation Through Wireless Protocol Interoperability [link]Paper   bibtex
  2008 (2)
Coupling Overture to MDA and UML. Lausdahl, K.; and Lintrup, H. K. Master's Thesis, Aarhus University/Engineering College of Aarhus, December 2008.
Coupling Overture to MDA and UML [pdf]Paper   bibtex   3 downloads
Enable Easier Management and Sharing of Glucose Measurements for Diabetes Patients. Lausdahl, K. 2008. Paper written for class exercise
bibtex
  2007 (1)
CONTEXT-AWARE PATIENT SYSTEM. Lausdahl, K.; and Lintrup, H. C. 2007. Paper written for class exercise
bibtex
  2006 (1)
Fleet Management System. Lausdahl, K.; and Holm, A. Technical Report Aarhus School of Enigneering, December 2006.
Fleet Management System [link]Paper   bibtex

Leave a Reply

Your email address will not be published. Required fields are marked *

*