var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fblog.lausdahl.com%2Fwp-content%2Fuploads%2Fpublications%2Flausdahl.bib&group0=year&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fblog.lausdahl.com%2Fwp-content%2Fuploads%2Fpublications%2Flausdahl.bib&group0=year&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fblog.lausdahl.com%2Fwp-content%2Fuploads%2Fpublications%2Flausdahl.bib&group0=year&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
  2. \n
  3. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
  4. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2017\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n .\n \n \n \n\n\n \n Neghina, M.; Zamfirescu, C.; Larsen, P.; Lausdahl, K.; and Pierce, K.\n\n\n \n\n\n\n A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems. 9 2017.\n This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inbook{1abbce4165dd405688fbdf4da2758937,\r\ntitle = "A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems",\r\nauthor = "Mihai Neghina and Constantin-Bala Zamfirescu and Larsen, {Peter Gorm} and Lausdahl, Kenneth and Ken Pierce",\r\nnote = "This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.",\r\nyear = "2017",\r\nmonth = "9",\r\nbooktitle = "THE 15TH OVERTURE WORKSHOP",\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n .\n \n \n \n\n\n \n Bandur, V.; Tran-Jørgensen, P.; Hasanagic, M.; and Lausdahl, K.\n\n\n \n\n\n\n Code-generating VDM for Embedded Devices. 9 2017.\n This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inbook{6851497d91eb443899d5bc7b960b9d9c,\r\ntitle = "Code-generating VDM for Embedded Devices",\r\nauthor = "Victor Bandur and Tran-Jørgensen, {Peter Würtz Vinther} and Miran Hasanagic and Lausdahl, Kenneth",\r\nnote = "This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.",\r\nyear = "2017",\r\nmonth = "9",\r\nbooktitle = "THE 15TH OVERTURE WORKSHOP",\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n .\n \n \n \n\n\n \n Lausdahl, K.; Bjerge, K.; Bokhove, T.; Groen, F.; and Larsen, P.\n\n\n \n\n\n\n Transitioning from Crescendo to INTO-CPS. 9 2017.\n This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inbook{6642ecd503f14dab9a21d4dd45b19884,\r\ntitle = "Transitioning from Crescendo to INTO-CPS",\r\nauthor = "Lausdahl, Kenneth and Kim Bjerge and Tom Bokhove and Frank Groen and Larsen, {Peter Gorm}",\r\nnote = "This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.",\r\nyear = "2017",\r\nmonth = "9",\r\nbooktitle = "THE 15TH OVERTURE WORKSHOP",\r\n}\r\n\r\n\r\n%G INTOCPSPUB CPS\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS.\n \n \n \n\n\n \n Pedersen, N.; Lausdahl, K.; Sanchez, E. V.; Larsen, P. G.; and Madsen, J.\n\n\n \n\n\n\n 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. \n ISBN: 978-989-758-265-3\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{Pedersen&17,\r\n  KEY           = "Pedersen\\&17",\r\n  AUTHOR        = "Nicolai Pedersen and Kenneth Lausdahl and Enrique Vidal Sanchez and\r\n                            Peter Gorm Larsen and Jan Madsen",\r\n  EDITOR        = "",\r\n  TITLE         = "{Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS}",\r\n  BOOKTITLE     = "Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2017)",\r\n  ORGANIZATION  = "",\r\n  PUBLISHER     = "",\r\n  ADDRESS       = "Madrid, Spain",\r\n  YEAR          = "2017",\r\n  MONTH         = "July",\r\n  PAGES         = "73--82",\r\n  NOTE          = "ISBN: 978-989-758-265-3",\r\n  ANNOTE        = "",\r\n  COMMENT       = ""}\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Formalising and Validating the Interface Description in the FMI standard.\n \n \n \n \n\n\n \n Hasanagić, M.; Tran-Jørgensen, P. W. V.; Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n In The 21st International Symposium on Formal Methods (FM 2016), November 2016. \n \n\n\n\n
\n\n\n\n \n \n \"FormalisingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{Hasanagic&16,\r\n  KEY           = "Hasanagic\\&16",\r\n  AUTHOR        = "Miran Hasanagi\\'{c} and Peter W. V. Tran-J\\o{}rgensen and Kenneth Lausdahl and Peter Gorm Larsen",\r\n  TITLE         = "{Formalising and Validating the Interface Description in the FMI standard}",\r\n BOOKTITLE     = "{The 21st International Symposium on Formal Methods (FM 2016)}",\r\n year =         "2016",\r\n  MONTH         = "November",\r\n\tURL           = {http://www.springer.com/gp/book/9783319489889},\r\n  COMMENT       = ""}\r\n  \r\n  \r\n  
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems.\n \n \n \n \n\n\n \n Larsen, P. G.; Thule, C.; Lausdahl, K.; Bardur, V.; Gamble, C.; Brosse, E.; Sadovykh, A.; Bagnato, A.; and Couto, L. D.\n\n\n \n\n\n\n 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\n ECE-TR-28\n\n\n\n
\n\n\n\n \n \n \"IntegratedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{Larsen&16c,\r\n  KEY           = "Larsen\\&16",\r\n  AUTHOR        = "Peter Gorm Larsen and Casper Thule and Kenneth Lausdahl\r\n                   and Victor Bardur and Carl Gamble and \r\n                   Etienne Brosse and Andrey Sadovykh and Alessandra\r\n                   Bagnato and Luis Diogo Couto",\r\n  TITLE         = "{Integrated Tool Chain for Model-Based Design\r\n                    of Cyber-Physical Systems}",\r\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\r\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\r\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\r\n  ADDRESS       = "Cyprus",\r\n  YEAR          = "2016",\r\n  MONTH         = "November",\r\n  PAGES         = "63--78",\r\n  NOTE          = "{ECE-TR-28}",\r\n  ANNOTE        = "",\r\n\tURL           = {http://ojs.statsbiblioteket.dk/index.php/ece/article/download/24731/21669},\r\n  COMMENT       = ""}\r\n  \r\n  \r\n  \r\n  
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Principles for Reuse in Formal Language Tools.\n \n \n \n \n\n\n \n Couto, L. D.; Tran-Jørgensen, P. W V; and Lausdahl, K.\n\n\n \n\n\n\n In 31st ACM Symposium on Applied Computing, April 2016. \n \n\n\n\n
\n\n\n\n \n \n \"PrinciplesPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Couto&16a,\r\n  Title                    = {{Principles for Reuse in Formal Language Tools}},\r\n  Author                   = {Couto, Lu\\'{\\i}s Diogo and Tran-J{\\o}rgensen, Peter W V and Lausdahl, Kenneth},\r\n  Booktitle                = {31st ACM Symposium on Applied Computing},\r\n  Year                     = {2016},\r\nmonth = {April},\r\nURL={http://dl.acm.org/ft_gateway.cfm?id=2851953&ftid=1732682&dwn=1&CFID=701027674&CFTOKEN=20848029}\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture.\n \n \n \n \n\n\n \n Couto, L. D.; Lausdahl, K.; Plat, N.; Larsen, P. G.; and Pierce, K.\n\n\n \n\n\n\n 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\n ECE-TR-28\n\n\n\n
\n\n\n\n \n \n \"DecouplingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{Couto&16b,\r\n  KEY           = "Couto\\&16",\r\n  AUTHOR        = "Luis Diogo Couto and Kenneth Lausdahl and Nico Plat and \r\n                   Peter Gorm Larsen and Ken Pierce",\r\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\r\n  TITLE         = "{Decoupling validation UIs using Publish-Subscribe\r\n                    binding of instance variables in Overture}",\r\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\r\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\r\n  ADDRESS       = "Cyprus, Greece",\r\n  YEAR          = "2016",\r\n  MONTH         = "November",\r\n  PAGES         = "123--136",\r\n  NOTE          = "{ECE-TR-28}",\r\n  ANNOTE        = "",\r\n\tURL           = {http://ojs.statsbiblioteket.dk/index.php/ece/article/download/24731/21669},\r\n  COMMENT       = ""}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Interpreting Implicit VDM Specifications using ProB.\n \n \n \n \n\n\n \n Lausdahl, K.; Ishikawa, H.; and Larsen, P. G.\n\n\n \n\n\n\n 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\n \n\n\n\n
\n\n\n\n \n \n \"InterpretingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Lausdahl&14a,\r\n  KEY  \t        \t\t= "Lausdahl\\&14",\r\n  AUTHOR        \t\t= {Lausdahl, Kenneth and Ishikawa, Hiroshi and Larsen, Peter Gorm},\r\n  BOOKTITLE   \t \t= {Proceedings of the 12th Overture Workshop},\r\n  EDITOR        \t\t= {Battle, Nick and Fitzgerald, John},\r\n  MONTH         \t\t= {January},\r\n  NUMBER        \t\t= {CS-TR-1446},\r\n  ORGANIZATION  \t= {Computing Science, Newcastle University},\r\n  SERIES        \t\t= {Technical Report Series},\r\n  TITLE         \t\t= {Interpreting Implicit VDM Specifications using ProB},\r\n  YEAR          \t\t= {2015},\r\n  URL\t\t\t= {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf},\r\n  pages \t\t\t= "1--15"\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Migrating to an Extensible Architecture for Abstract Syntax Trees.\n \n \n \n\n\n \n Luís Diogo Couto; Tran-Jørgensen, P. W. V.; Coleman, J. W.; and Lausdahl, K.\n\n\n \n\n\n\n In 12th Working IEEE / IFIP Conference on Software Architecture, May 2015. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{Couto&15a,\r\n  AUTHOR        = "Lu{\\'i}s Diogo Couto and Peter W. V. Tran-J{\\o}rgensen and Joey W. Coleman  and Kenneth Lausdahl",\r\n  TITLE         = "{Migrating to an Extensible Architecture for Abstract Syntax Trees}",\r\n  BOOKTITLE     = "12th Working IEEE / IFIP Conference on Software Architecture",\r\n  YEAR          = "2015",\r\n  MONTH         = "May",\r\n  ANNOTE        = ""}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Enabling Overture as a Platform for Formal Notation IDEs.\n \n \n \n\n\n \n Luís Diogo Couto; Larsen, P. G.; Hasanagic, M.; Kanakis, G.; Lausdahl, K.; and Tran-Jørgensen, P. W. V.\n\n\n \n\n\n\n In , editor(s), 2nd Workshop on Formal-IDE (F-IDE), Oslo, Norway, June 2015. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{Couto&15c,\r\n  KEY           = "Couto\\&15",\r\n  AUTHOR        = "Lu{\\'i}s Diogo Couto and Peter Gorm Larsen and Miran Hasanagic\r\n                   and Georgios Kanakis and Kenneth Lausdahl and \r\n                   Peter W. V. Tran-J\\o{}rgensen",\r\n  EDITOR        = "",\r\n  TITLE         = "{Towards Enabling Overture as a Platform for Formal Notation IDEs}",\r\n  BOOKTITLE     = "2nd Workshop on Formal-IDE (F-IDE)",\r\n  ADDRESS       = "Oslo, Norway",\r\n  YEAR          = "2015",\r\n  MONTH         = "June",\r\n  ANNOTE        = ""}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Including Running System Implementations in the Simulation of System of Systems Models.\n \n \n \n\n\n \n Lausdahl, K.; rd Nielsen, C. B.; and Kristensen, K.\n\n\n \n\n\n\n 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)\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Lausdahl&14,\r\n  KEY           = "Lausdahl\\&14",\r\n  TITLE         = "Including Running System Implementations in the Simulation of System of Systems Models",\r\n  AUTHOR        = "Kenneth Lausdahl and Claus Balleg\\aa rd Nielsen and Klaus Kristensen",\r\n  booktitle\t\t= {Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods},\r\n  PAGES         = "177--182",\r\n  YEAR          = "2014",\r\n  month\t\t\t= "September",\r\n  publisher\t\t= {Universidade Federal de Alagoas (UFAL)},\r\n  series\t\t= {CBSoft},\r\n  number\t\t= "17",\r\n  editor\t\t= {Christiano Braga and Narciso Mart\\'{i}-Oliet}}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Distributed Simulation of Formal Models in System of Systems Engineering.\n \n \n \n\n\n \n Nielsen, C. B.; Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n In 4th IEEE track on Collaborative Modelling and Simulation in IEEE WETICE 2014, June 2014. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Nielsen&14b,\r\n  KEY           = "Nielsen\\&14b",\r\n  AUTHOR        = "Claus Ballegaard Nielsen and Kenneth Lausdahl and Peter Gorm Larsen",\r\n  TITLE         = "{Distributed Simulation of Formal Models in System of Systems Engineering}",\r\n  BOOKTITLE\t\t= "{4th IEEE track on Collaborative Modelling and Simulation in IEEE WETICE 2014}",\r\n  YEAR          = "2014",\r\n  MONTH         = "June",\r\n  NOTE          = ""}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Collaborative Design for Embedded Systems – Co-modelling and Co-simulation.\n \n \n \n \n\n\n \n Fitzgerald, J.; Larsen, P. G.; and Verhoef, M.,\n editors.\n \n\n\n \n\n\n\n Springer, 2014.\n \n\n\n\n
\n\n\n\n \n \n \"CollaborativePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@BOOK{Fitzgerald&14c,\r\n  KEY           = "Fitzgerald\\&14",\r\n  EDITOR        = "John Fitzgerald and Peter Gorm Larsen and Marcel Verhoef",\r\n  TITLE         = "Collaborative Design for Embedded Systems --\r\n                   Co-modelling and Co-simulation",\r\n  PUBLISHER     = "Springer",\r\n  YEAR          = "2014",\r\n  ISBN          = "978-3-642-54117-9",\r\n  ANNOTE        = "",\r\nurl = {http://www.springer.com/gp/book/9783642541179},\r\n  COMMENT       = ""}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Enhancing Formal Modelling Tool Support with Increased Automation.\n \n \n \n \n\n\n \n Lausdahl, K.\n\n\n \n\n\n\n Ph.D. Thesis, Aarhus University, June 2013.\n \n\n\n\n
\n\n\n\n \n \n \"EnhancingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 14 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@phdthesis{Lausdahl&13c,\r\n\tkey\t\t\t\t= "Lausdahl\\&13c",\r\n\tauthor\t\t\t= "Kenneth Lausdahl",\r\n\ttitle\t\t\t= "Enhancing Formal Modelling Tool Support with Increased Automation",\r\n\tschool\t\t\t= "Aarhus University",\r\n\tyear\t\t\t= "2013",\r\n\tmonth\t\t\t= "June",\r\n\tURL\t\t\t\t="PhD_Dissertation_Kenneth_Lausdahl_2013.pdf"\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Translating VDM to Alloy.\n \n \n \n \n\n\n \n Lausdahl, K.\n\n\n \n\n\n\n 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.\n 10th International Conference, IFM 2013\n\n\n\n
\n\n\n\n \n \n \"TranslatingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@incollection{Lausdahl&13,\r\n  author =        {Lausdahl, Kenneth},\r\n  booktitle =     {Integrated Formal Methods},\r\n  editor =        {Johnsen, Einar Broch and Petre, Luigia},\r\n  key =           {Lausdahl\\&13},\r\n  note =          {10th International Conference, IFM 2013},\r\n  pages =         {46-60},\r\n  publisher =     {Springer Berlin Heidelberg},\r\n  series =        {Lecture Notes in Computer Science},\r\n  title =         {{Translating VDM to Alloy}},\r\n  volume =        {7940},\r\n  year =          {2013},\r\n  doi =           {10.1007/978-3-642-38613-8_4},\r\n  isbn =          {978-3-642-38612-1},\r\n  url =           {http://dx.doi.org/10.1007/978-3-642-38613-8_4},\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Semantics of the VDM Real-Time Dialect.\n \n \n \n \n\n\n \n Lausdahl, K.; Coleman, J. W.; and Larsen, P. G.\n\n\n \n\n\n\n Technical Report ECE-TR-13, Aarhus University, April 2013.\n \n\n\n\n
\n\n\n\n \n \n \"SemanticsPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@techreport{Lausdahl&13a,\r\n  author =        {Kenneth Lausdahl and Joey W. Coleman and\r\n                   Peter Gorm Larsen},\r\n  institution =   {Aarhus University},\r\n  key =           {Lausdahl\\&13a},\r\n  month =         {April},\r\n  number =        {{ECE-TR-13}},\r\n  title =         {{Semantics of the VDM Real-Time Dialect}},\r\n  year =          {2013},\r\n  url=\t\t\t\t{Lausdahl&13a.pdf},\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2012\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim.\n \n \n \n \n\n\n \n Lausdahl, K.; Coleman, J. W.; and Larsen, P. G.\n\n\n \n\n\n\n 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\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Lausdahl&12,\r\n  author =        {Lausdahl, Kenneth and Coleman, Joey W. and\r\n                   Larsen, Peter Gorm},\r\n  booktitle =     {Proceedings of the 10th Overture Workshop},\r\n  editor =        {Nico Plat and Claus Ballegaard Nielsen and\r\n                   Steve Riddle},\r\n  key =           {Lausdahl\\&12},\r\n  month =         {August},\r\n  number =        {CS-TR-1345},\r\n  organization =  {Computing Science, Newcastle University},\r\n  pages =         {30--37},\r\n  series =        {Technical Report Series},\r\n  title =         {{Towards a Co-simulation Semantics of\r\n                   {VDM-RT/Overture} and 20-sim}},\r\n  year =          {2012},\r\n  url =           {http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf},\r\n}\r\n\r\n\r\n% G VDM TOOL\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Combining VDM with Executable Code.\n \n \n \n \n\n\n \n Nielsen, C. B.; Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n 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\n ISBN 978-3-642-30884-0\n\n\n\n
\n\n\n\n \n \n \"CombiningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Nielsen&12,\r\n  address =       {Berlin, Heidelberg},\r\n  author =        {Claus Ballegaard Nielsen and Kenneth Lausdahl and\r\n                   Peter Gorm Larsen},\r\n  booktitle =     {{Abstract State Machines, Alloy, B, VDM, and Z}},\r\n  editor =        {Derrick, John and Fitzgerald, John and\r\n                   Gnesi, Stefania and Khurshid, Sarfraz and\r\n                   Leuschel, Michael and Reeves, Steve and\r\n                   Riccobene, Elvinia},\r\n  key =           {Nielsen\\&12},\r\n  note =          {{ISBN 978-3-642-30884-0}},\r\n  pages =         {266--279},\r\n  publisher =     {Springer-Verlag},\r\n  series =        {Lecture Notes in Computer Science},\r\n  title =         {{Combining VDM with Executable Code}},\r\n  volume =        {7316},\r\n  year =          {2012},\r\n  url =           {http://dx.doi.org/10.1007/978-3-642-30885-7_19},\r\n}\r\n\r\n\r\n% G VDM COSIM TOOL\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Using the Overture Tool as a More General Platform.\n \n \n \n \n\n\n \n Nielsen, C. B.; Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n In Mazzanti, F., editor(s), iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session, pages 1-34, June 2012. CNR-ISTI\n \n\n\n\n
\n\n\n\n \n \n \"UsingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Nielsen&12e,\r\n  address =       {},\r\n  author =        {Claus Ballegaard Nielsen and Kenneth Lausdahl and\r\n                   Peter Gorm Larsen},\r\n  booktitle =     {{iFM 2012 \\& ABZ 2012 - Proceedings of the Posters \\&\r\n                   Tool demos Session}},\r\n  editor =        {Mazzanti, Franco},\r\n  key =           {Nielsen\\&12e},\r\n  month =         {June},\r\n  note =          {},\r\n  pages =         {1-34},\r\n  publisher =     {CNR-ISTI},\r\n  series =        {},\r\n  title =         {{Using the Overture Tool as a More General Platform}},\r\n  volume =        {},\r\n  year =          {2012},\r\n  url =           {http://puma.isti.cnr.it/linkdoc.php?idauth=1&idcol=1&icode=2012-ED-001&authority=cnr.isti&collection=cnr.isti&langver=en},\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2011\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Run-Time Validation of Timing Constraints for VDM-RT Models.\n \n \n \n \n\n\n \n Ribeiro, A.; Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n In 9th Overture Workshop, June 2011, Limerick, Ireland, 2011. \n \n\n\n\n
\n\n\n\n \n \n \"Run-TimePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{August&11,\r\n      AUTHOR          = "Augusto Ribeiro and Kenneth Lausdahl and Peter Gorm Larsen",\r\n      BOOKTITLE       = "9th Overture Workshop, June 2011, Limerick, Ireland",\r\n      COMMENT         = "I have the sources PGL",\r\n      YEAR            = "2011",\r\n      KEY             = "Augusto\\&11",\r\n      TITLE           = "{Run-Time Validation of Timing Constraints for VDM-RT Models}",\r\n\t  URL ="Ribeiro&11.pdf",\r\n}\r\n\r\n% G VDM UML TOOL\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Deterministic Interpreter Simulating A Distributed real time system using VDM.\n \n \n \n \n\n\n \n Lausdahl, K.; Larsen, P. G.; and Battle, N.\n\n\n \n\n\n\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\n ISBN 978-3-642-24558-9\n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{Lausdahl&11,\r\n  KEY           = "Lausdahl\\&11",\r\n  AUTHOR        = "Kenneth Lausdahl and Peter Gorm Larsen and Nick Battle",\r\n  title         = "{A Deterministic Interpreter Simulating A Distributed real time system using VDM}",\r\n  booktitle     = {{Formal Methods and Software Engineering}},\r\n  series        = {Lecture Notes in Computer Science},\r\n  volume        = {6991},\r\n  editor        = {Qin, Shengchao and Qiu, Zongyan},\r\n  YEAR          = "2011",\r\n  MONTH         = "October",\r\n  note          = "{ISBN 978-3-642-24558-9}",\r\n   location     = {Durham, UK},\r\n pages          = {179--194},\r\n numpages       = {16},\r\n url            = {http://dl.acm.org/citation.cfm?id=2075089.2075107},\r\n   publisher    = {Springer-Verlag},\r\n address        = {Berlin, Heidelberg},\r\n  }\r\n\r\n% G VDM COSIM TOOL\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated Exploration of Alternative System Architectures with VDM-RT.\n \n \n \n \n\n\n \n Lausdahl, K.; and Ribeiro, A.\n\n\n \n\n\n\n In Wolff, S.; and Fitzgerald, J., editor(s), Proceedings of the 9th Overture Workshop, of Technical Report Series, pages 17–31, June 2011. \n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Lausdahl&11c,\r\n  author =        {Kenneth Lausdahl and Augusto Ribeiro},\r\n  booktitle =     {Proceedings of the 9th Overture Workshop},\r\n  editor =        {Sune Wolff and John Fitzgerald},\r\n  key =           {Lausdahl\\&11},\r\n  month =         {June},\r\n  number =        {ECE-TT-2},\r\n  pages =         {17--31},\r\n  series =        {Technical Report Series},\r\n  title =         {{Automated Exploration of Alternative System\r\n                   Architectures with VDM-RT}},\r\n  year =          {2011},\r\n  url =           {Lausdahl&11c.pdf},\r\n}\r\n\r\n\r\n% G VDM COSIM TOOL DESTECS\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Run-Time Validation of Timing Constraints for VDM-RT Models.\n \n \n \n \n\n\n \n Ribeiro, A.; Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n In Wolff, S.; and Fitzgerald, J., editor(s), Proceedings of the 9th Overture Workshop, of Technical Report Series, pages 4–16, June 2011. \n \n\n\n\n
\n\n\n\n \n \n \"Run-TimePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Ribeiro&11,\r\n  author =        {Augusto Ribeiro and Kenneth Lausdahl and\r\n                   Peter Gorm Larsen},\r\n  booktitle =     {Proceedings of the 9th Overture Workshop},\r\n  editor =        {Sune Wolff and John Fitzgerald},\r\n  key =           {Ribeiro\\&11},\r\n  month =         {June},\r\n  number =        {ECE-TT-2},\r\n  pages =         {4--16},\r\n  series =        {Technical Report Series},\r\n  title =         {{Run-Time Validation of Timing Constraints for VDM-RT\r\n                   Models}},\r\n  year =          {2011},\r\n  url =           {Ribeiro&11.pdf},\r\n}\r\n\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2010\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n The Overture Initiative – Integrating Tools for VDM.\n \n \n \n \n\n\n \n Larsen, P. G.; Battle, N.; Ferreira, M.; Fitzgerald, J.; Lausdahl, K.; and Verhoef, M.\n\n\n \n\n\n\n SIGSOFT Softw. Eng. Notes, 35(1): 1–6. January 2010.\n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{Larsen&10a,\r\n  address =       {New York, NY, USA},\r\n  author =        {Peter Gorm Larsen and Nick Battle and Miguel Ferreira and\r\n                   John Fitzgerald and Kenneth Lausdahl and\r\n                   Marcel Verhoef},\r\n  journal =       {SIGSOFT Softw. Eng. Notes},\r\n  key =           {Larsen\\&10},\r\n  month =         {January},\r\n  number =        {1},\r\n  pages =         {1--6},\r\n  publisher =     {ACM},\r\n  title =         {{The Overture Initiative -- Integrating Tools for\r\n                   VDM}},\r\n  volume =        {35},\r\n  year =          {2010},\r\n  issn =          {0163-5948},\r\n  url =           {http://doi.acm.org/10.1145/1668862.1668864},\r\n}\r\n  \r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Combinatorial Testing for VDM.\n \n \n \n \n\n\n \n Larsen, P. G.; Lausdahl, K.; and Battle, N.\n\n\n \n\n\n\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\n ISBN 978-0-7695-4153-2\n\n\n\n
\n\n\n\n \n \n \"CombinatorialPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Larsen&10c,\r\n  address =       {Washington, DC, USA},\r\n  author =        {Peter Gorm Larsen and Kenneth Lausdahl and\r\n                   Nick Battle},\r\n  booktitle =     {Proceedings of the 2010 8th IEEE International\r\n                   Conference on Software Engineering and Formal\r\n                   Methods},\r\n  key =           {Larsen\\&10},\r\n  month =         {September},\r\n  note =          {{ISBN 978-0-7695-4153-2}},\r\n  pages =         {278--285},\r\n  publisher =     {IEEE Computer Society},\r\n  series =        {SEFM '10},\r\n  title =         {{Combinatorial Testing for VDM}},\r\n  year =          {2010},\r\n  url =           {http://dx.doi.org/10.1109/SEFM.2010.32},\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n 13: Optimizing Energy Usage in Private Households.\n \n \n \n \n\n\n \n Rohde, J.; Wolff, S.; Larsen, T. S. T. P. G.; Lausdahl, K.; Ribeiro, A.; and Rovsing, P. E.\n\n\n \n\n\n\n Towards Green ICT, pages 185–209. River Publishers, 2010.\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INBOOK{Rohde&10,\r\n  KEY           = "Rohde\\&10",\r\n  AUTHOR        = "John Rohde and Sune Wolff and Thomas Skj\\o{}deberg Toftegaardand\r\n                   Peter Gorm Larsen and Kenneth Lausdahl and Augusto Ribeiro and \r\n                   Poul Ejnar Rovsing",\r\n  TITLE         = "Towards Green ICT",\r\n  CHAPTER       = "13: Optimizing Energy Usage in Private Households",\r\n  PAGES         = "185--209",\r\n  PUBLISHER     = "River Publishers",\r\n  YEAR          = "2010",\r\n  ANNOTE        = "",\r\n  URL = {http://www.amazon.co.uk/Towards-Green-Ict-Ramjee-Prasad/dp/8792329349},\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Overview of VDM-RT Constructs and Semantic Issues.\n \n \n \n \n\n\n \n Lausdahl, K.; Verhoef, M.; Larsen, P. G.; and Wolff, S.\n\n\n \n\n\n\n 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. \n \n\n\n\n
\n\n\n\n \n \n \"OverviewPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Lausdahl&10,\r\n  author =        {Kenneth Lausdahl and Marcel Verhoef and\r\n                   Peter Gorm Larsen and Sune Wolff},\r\n  booktitle =     {Proceedings of the 8th Overture Workshop},\r\n  editor =        {Ken Pierce and Nico Plat and Sune Wolf},\r\n  key =           {Lausdahl\\&10},\r\n  month =         {September},\r\n  number =        {CS-TR-1224},\r\n  pages =         {57--67},\r\n  series =        {Technical Report Series},\r\n  title =         {{Overview of VDM-RT Constructs and Semantic Issues}},\r\n  year =          {2010},\r\n    URL = "Lausdahl&10.pdf",\r\n}\r\n\r\n\r\n%----------------------\r\n% G VDM COSIM TOOL\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n The Overture Initiative – Integrating Tools for VDM.\n \n \n \n\n\n \n Larsen, P. G.; Battle, N.; Ferreira, M.; Fitzgerald, J.; Lausdahl, K.; and Verhoef, M.\n\n\n \n\n\n\n In Zhang, M.; and Stolz, V., editor(s), Harnessing Theories for Tool Support in Software, pages 9–19, November 2010. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Larsen&10i,\r\n  author =        {Peter Gorm Larsen and Nick Battle and Miguel Ferreira and\r\n                   John Fitzgerald and Kenneth Lausdahl and\r\n                   Marcel Verhoef},\r\n  booktitle =     {{Harnessing Theories for Tool Support in Software}},\r\n  editor =        {Min Zhang and Volker Stolz},\r\n  key =           {Larsen&10i},\r\n  month =         {November},\r\n  pages =         {9--19},\r\n  title =         {{The Overture Initiative -- Integrating Tools for\r\n                   VDM}},\r\n  year =          {2010},\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2009\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Connecting UML and VDM++ with Open Tool Support.\n \n \n \n \n\n\n \n Lausdahl, K.; Lintrup, H. K. A.; and Larsen, P. G.\n\n\n \n\n\n\n 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\n ISBN 978-3-642-05088-6\n\n\n\n
\n\n\n\n \n \n \"ConnectingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Lausdahl&09,\r\n  address =       {Berlin, Heidelberg},\r\n  author =        {Kenneth Lausdahl and Hans Kristian Agerlund Lintrup and\r\n                   Peter Gorm Larsen},\r\n  booktitle =     {Proceedings of the 2nd World Congress on Formal\r\n                   Methods},\r\n  editor =        {Cavalcanti, Ana and Dams, Dennis R.},\r\n  key =           {Lausdahl\\&09},\r\n  month =         {November},\r\n  note =          {{ISBN 978-3-642-05088-6}},\r\n  pages =         {563--578},\r\n  publisher =     {Springer-Verlag},\r\n  series =        {Lecture Notes in Computer Science},\r\n  title =         {{Connecting UML and VDM++ with Open Tool Support}},\r\n  volume =        {5850},\r\n  year =          {2009},\r\n  url =           {http://dx.doi.org/10.1007/978-3-642-05089-3_36},\r\n}\r\n  \r\n  %G VDM TOOL\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Facilitating Home Automation Through Wireless Protocol Interoperability.\n \n \n \n \n\n\n \n Wolff, S.; Larsen, P. G.; Lausdahl, K.; Ribeiro, A.; and Toftegaard, T. S.\n\n\n \n\n\n\n In WPMC'09: The 12th International Symposium on Wireless Personal Multimedia Communications, September 2009. \n \n\n\n\n
\n\n\n\n \n \n \"FacilitatingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@INPROCEEDINGS{Wolff&09,\r\n  KEY           = "Wolff\\&09",\r\n  AUTHOR        = "Sune Wolff and Peter Gorm Larsen and Kenneth Lausdahl and\r\n                   Augusto Ribeiro and Thomas Skj\\o{}deberg Toftegaard",\r\n  TITLE         = "{Facilitating Home Automation Through Wireless Protocol\r\n                    Interoperability}",\r\n  BOOKTITLE     = "WPMC'09: The 12th International Symposium on Wireless\r\n                   Personal Multimedia Communications",\r\n  YEAR          = "2009",\r\n  MONTH         = "September",\r\n  ANNOTE        = "",\r\n  URL ={http://wpmc-archives.com/site/user_login.php?page_no=3&ref_mode=aut&ref_key=&ref_str=&ref_head=l&ref_year=&within_key=&dtl_ref_title=&dtl_ref_keyword=&dtl_ref_author=&dtl_ref_belong=&menu_state=inp&essay_id=1720},\r\n}\r\n\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2008\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Coupling Overture to MDA and UML.\n \n \n \n \n\n\n \n Lausdahl, K.; and Lintrup, H. K.\n\n\n \n\n\n\n Master's thesis, Aarhus University/Engineering College of Aarhus, December 2008.\n \n\n\n\n
\n\n\n\n \n \n \"CouplingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@MASTERSTHESIS{Lausdahl&08,\r\n      AUTHOR          = "Kenneth Lausdahl and Hans Kristian Lintrup",\r\n      ANNOTE          = "",\r\n      SCHOOL          = "Aarhus University/Engineering College of Aarhus",\r\n      COMMENT         = "I have a copy PGL",\r\n      YEAR            = "2008",\r\n      KEY             = "Lausdahl\\&08",\r\n      SIZE            = "282",\r\n      MONTH           = "December",\r\n      TITLE           = "{Coupling Overture to MDA and UML}",\r\n\t  URL = "Lausdahl&08.pdf",\r\n}\r\n\r\n\r\n% G VDM TOOL\r\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Enable Easier Management and Sharing of Glucose Measurements for Diabetes Patients.\n \n \n \n\n\n \n Lausdahl, K.\n\n\n \n\n\n\n 2008.\n Paper written for class exercise\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@unpublished{Lausdahl&08a,\r\n\tAUTHOR          = "Kenneth Lausdahl",\r\n    TITLE           = "Enable Easier Management and Sharing of Glucose Measurements for Diabetes Patients",\r\n\tNOTE\t\t\t= "Paper written for class exercise",\r\n\tMONTH\t\t\t="",\r\n\tYEAR            = "2008",\r\n\tKEY             = "Lausdahl\\&08a",\r\n}\r\n\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2007\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n CONTEXT-AWARE PATIENT SYSTEM.\n \n \n \n\n\n \n Lausdahl, K.; and Lintrup, H. C.\n\n\n \n\n\n\n 2007.\n Paper written for class exercise\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@unpublished{Lausdahl&07,\r\n\tAUTHOR          = "Kenneth Lausdahl and Hans Christian Lintrup",\r\n    TITLE           = "CONTEXT-AWARE PATIENT SYSTEM",\r\n\tNOTE\t\t\t= "Paper written for class exercise",\r\n\tMONTH\t\t\t="",\r\n\tYEAR            = "2007",\r\n\tKEY             = "Lausdahl\\&07",\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2006\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Fleet Management System.\n \n \n \n \n\n\n \n Lausdahl, K.; and Holm, A.\n\n\n \n\n\n\n Technical Report Aarhus School of Enigneering, December 2006.\n \n\n\n\n
\n\n\n\n \n \n \"FleetPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@techreport{Lausdahl&06,\r\n\tAUTHOR          = "Kenneth Lausdahl and Anders Holm",\r\n\tinstitution\t\t= "Aarhus School of Enigneering",\r\n    YEAR            = "2006",\r\n    KEY             = "Lausdahl\\&06",\r\n    TITLE           = "Fleet Management System",\r\n\tURL \t\t\t="Lausdahl&06.zip",\r\n\tTYPE \t\t\t="Bachelor of science thesis",\r\n\tNUMBER \t\t\t="",\r\n\tADDRESS\t\t\t="",\r\n\tMONTH\t\t\t="December",\r\n\tNOTE\t\t\t="",\r\n}\r\n\r\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);