generated by bibbase.org
  2017 (4)
. Neghina, M.; Zamfirescu, C.; Larsen, P.; Lausdahl, K.; and Pierce, K. A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems. 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.
link   bibtex  
. Bandur, V.; Tran-Jørgensen, P.; Hasanagic, M.; and Lausdahl, K. Code-generating VDM for Embedded Devices. 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.
link   bibtex  
. Lausdahl, K.; Bjerge, K.; Bokhove, T.; Groen, F.; and Larsen, P. Transitioning from Crescendo to INTO-CPS. 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.
link   bibtex  
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
link   bibtex  
  2016 (4)
Formalising and Validating the Interface Description in the FMI standard. Hasanagić, M.; Tran-Jørgensen, 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   link   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   link   bibtex   1 download  
Principles for Reuse in Formal Language Tools. Couto, L. D.; Tran-Jørgensen, P. W V; and Lausdahl, K. In 31st ACM Symposium on Applied Computing, April 2016.
Principles for Reuse in Formal Language Tools [link]Paper   link   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   link   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   link   bibtex  
Migrating to an Extensible Architecture for Abstract Syntax Trees. Luís Diogo Couto; Tran-Jørgensen, P. W. V.; Coleman, J. W.; and Lausdahl, K. In 12th Working IEEE / IFIP Conference on Software Architecture, May 2015.
link   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ørgensen, P. W. V. In , editor(s), 2nd Workshop on Formal-IDE (F-IDE), Oslo, Norway, June 2015.
link   bibtex  
  2014 (3)
Including Running System Implementations in the Simulation of System of Systems Models. Lausdahl, K.; rd 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)
link   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.
link   bibtex  
Collaborative Design for Embedded Systems – Co-modelling and Co-simulation. Fitzgerald, J.; Larsen, P. G.; and Verhoef, M., editors. Springer, 2014.
Collaborative Design for Embedded Systems – Co-modelling and Co-simulation [link]Paper   link   bibtex  
  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   link   bibtex   12 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   link   bibtex   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   link   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   link   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   link   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   link   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   link   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   link   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   link   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   link   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   link   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   link   bibtex  
13: Optimizing Energy Usage in Private Households. Rohde, J.; Wolff, S.; Larsen, T. S. T. P. G.; Lausdahl, K.; Ribeiro, A.; and Rovsing, P. E. Towards Green ICT, pages 185–209. River Publishers, 2010.
Towards Green ICT [link]Paper   link   bibtex   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   link   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.
link   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   link   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   link   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   link   bibtex   5 downloads  
Enable Easier Management and Sharing of Glucose Measurements for Diabetes Patients. Lausdahl, K. 2008. Paper written for class exercise
link   bibtex  
  2007 (1)
CONTEXT-AWARE PATIENT SYSTEM. Lausdahl, K.; and Lintrup, H. C. 2007. Paper written for class exercise
link   bibtex  
  2006 (1)
Fleet Management System. Lausdahl, K.; and Holm, A. Technical Report Aarhus School of Enigneering, December 2006.
Fleet Management System [link]Paper   link   bibtex