Publications

  2017 (4)
A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems. Neghina, M.; Zamfirescu, C.; Larsen, P.; Lausdahl, K.; and Pierce, K. 9 2017. This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.
bibtex   buy
Code-generating VDM for Embedded Devices. Bandur, V.; Tran-Jørgensen, P.; Hasanagic, M.; and Lausdahl, K. 9 2017. This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.
bibtex   buy
Transitioning from Crescendo to INTO-CPS. Lausdahl, K.; Bjerge, K.; Bokhove, T.; Groen, F.; and Larsen, P. 9 2017. This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.
bibtex   buy
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. Pedersen, N.; Lausdahl, K.; Sanchez, E. V.; Larsen, P. G.; and Madsen, J. In , editor(s), Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2017), pages 73–82, Madrid, Spain, July 2017. ISBN: 978-989-758-265-3
bibtex
  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   11 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 *

*