BibBase lausdahl, k

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

@inbook{1abbce4165dd405688fbdf4da2758937,
title = "A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems",
author = "Mihai Neghina and Constantin-Bala Zamfirescu and Larsen, {Peter Gorm} and Lausdahl, Kenneth and Ken Pierce",
note = "This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.",
year = "2017",
month = "9",
booktitle = "THE 15TH OVERTURE WORKSHOP",
}

. 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

@inbook{6851497d91eb443899d5bc7b960b9d9c,
title = "Code-generating VDM for Embedded Devices",
author = "Victor Bandur and Tran-Jørgensen, {Peter Würtz Vinther} and Miran Hasanagic and Lausdahl, Kenneth",
note = "This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.",
year = "2017",
month = "9",
booktitle = "THE 15TH OVERTURE WORKSHOP",
}

. 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

@inbook{6642ecd503f14dab9a21d4dd45b19884,
title = "Transitioning from Crescendo to INTO-CPS",
author = "Lausdahl, Kenneth and Kim Bjerge and Tom Bokhove and Frank Groen and Larsen, {Peter Gorm}",
note = "This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.",
year = "2017",
month = "9",
booktitle = "THE 15TH OVERTURE WORKSHOP",
}


%G INTOCPSPUB CPS

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

@INPROCEEDINGS{Pedersen&17,
  KEY           = "Pedersen\&17",
  AUTHOR        = "Nicolai Pedersen and Kenneth Lausdahl and Enrique Vidal Sanchez and
                            Peter Gorm Larsen and Jan Madsen",
  EDITOR        = "",
  TITLE         = "{Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS}",
  BOOKTITLE     = "Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2017)",
  ORGANIZATION  = "",
  PUBLISHER     = "",
  ADDRESS       = "Madrid, Spain",
  YEAR          = "2017",
  MONTH         = "July",
  PAGES         = "73--82",
  NOTE          = "ISBN: 978-989-758-265-3",
  ANNOTE        = "",
  COMMENT       = ""}

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

@INPROCEEDINGS{Hasanagic&16,
  KEY           = "Hasanagic\&16",
  AUTHOR        = "Miran Hasanagi\'{c} and Peter W. V. Tran-J\o{}rgensen and Kenneth Lausdahl and Peter Gorm Larsen",
  TITLE         = "{Formalising and Validating the Interface Description in the FMI standard}",
 BOOKTITLE     = "{The 21st International Symposium on Formal Methods (FM 2016)}",
 year =         "2016",
  MONTH         = "November",
	URL           = {http://www.springer.com/gp/book/9783319489889},
  COMMENT       = ""}

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

@INPROCEEDINGS{Larsen&16c,
  KEY           = "Larsen\&16",
  AUTHOR        = "Peter Gorm Larsen and Casper Thule and Kenneth Lausdahl
                   and Victor Bardur and Carl Gamble and 
                   Etienne Brosse and Andrey Sadovykh and Alessandra
                   Bagnato and Luis Diogo Couto",
  TITLE         = "{Integrated Tool Chain for Model-Based Design
                    of Cyber-Physical Systems}",
  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",
  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",
  ORGANIZATION  = "Aarhus University, Department of Engineering",
  ADDRESS       = "Cyprus",
  YEAR          = "2016",
  MONTH         = "November",
  PAGES         = "63--78",
  NOTE          = "{ECE-TR-28}",
  ANNOTE        = "",
	URL           = {http://ojs.statsbiblioteket.dk/index.php/ece/article/download/24731/21669},
  COMMENT       = ""}

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

@InProceedings{Couto&16a,
  Title                    = {{Principles for Reuse in Formal Language Tools}},
  Author                   = {Couto, Lu\'{\i}s Diogo and Tran-J{\o}rgensen, Peter W V and Lausdahl, Kenneth},
  Booktitle                = {31st ACM Symposium on Applied Computing},
  Year                     = {2016},
month = {April},
URL={http://dl.acm.org/ft_gateway.cfm?id=2851953&ftid=1732682&dwn=1&CFID=701027674&CFTOKEN=20848029}
}

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

Paper link bibtex

@INPROCEEDINGS{Couto&16b,
  KEY           = "Couto\&16",
  AUTHOR        = "Luis Diogo Couto and Kenneth Lausdahl and Nico Plat and 
                   Peter Gorm Larsen and Ken Pierce",
  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",
  TITLE         = "{Decoupling validation UIs using Publish-Subscribe
                    binding of instance variables in Overture}",
  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",
  ORGANIZATION  = "Aarhus University, Department of Engineering",
  ADDRESS       = "Cyprus, Greece",
  YEAR          = "2016",
  MONTH         = "November",
  PAGES         = "123--136",
  NOTE          = "{ECE-TR-28}",
  ANNOTE        = "",
	URL           = {http://ojs.statsbiblioteket.dk/index.php/ece/article/download/24731/21669},
  COMMENT       = ""}

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

@inproceedings{Lausdahl&14a,
  KEY  	        		= "Lausdahl\&14",
  AUTHOR        		= {Lausdahl, Kenneth and Ishikawa, Hiroshi and Larsen, Peter Gorm},
  BOOKTITLE   	 	= {Proceedings of the 12th Overture Workshop},
  EDITOR        		= {Battle, Nick and Fitzgerald, John},
  MONTH         		= {January},
  NUMBER        		= {CS-TR-1446},
  ORGANIZATION  	= {Computing Science, Newcastle University},
  SERIES        		= {Technical Report Series},
  TITLE         		= {Interpreting Implicit VDM Specifications using ProB},
  YEAR          		= {2015},
  URL			= {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf},
  pages 			= "1--15"
}

Migrating to an Extensible Architecture for Abstract Syntax Trees. Luí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

@INPROCEEDINGS{Couto&15a,
  AUTHOR        = "Lu{\'i}s Diogo Couto and Peter W. V. Tran-J{\o}rgensen and Joey W. Coleman  and Kenneth Lausdahl",
  TITLE         = "{Migrating to an Extensible Architecture for Abstract Syntax Trees}",
  BOOKTITLE     = "12th Working IEEE / IFIP Conference on Software Architecture",
  YEAR          = "2015",
  MONTH         = "May",
  ANNOTE        = ""}

Towards Enabling Overture as a Platform for Formal Notation IDEs. Luí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

@INPROCEEDINGS{Couto&15c,
  KEY           = "Couto\&15",
  AUTHOR        = "Lu{\'i}s Diogo Couto and Peter Gorm Larsen and Miran Hasanagic
                   and Georgios Kanakis and Kenneth Lausdahl and 
                   Peter W. V. Tran-J\o{}rgensen",
  EDITOR        = "",
  TITLE         = "{Towards Enabling Overture as a Platform for Formal Notation IDEs}",
  BOOKTITLE     = "2nd Workshop on Formal-IDE (F-IDE)",
  ADDRESS       = "Oslo, Norway",
  YEAR          = "2015",
  MONTH         = "June",
  ANNOTE        = ""}

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 Martí-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

@inproceedings{Lausdahl&14,
  KEY           = "Lausdahl\&14",
  TITLE         = "Including Running System Implementations in the Simulation of System of Systems Models",
  AUTHOR        = "Kenneth Lausdahl and Claus Balleg\aa rd Nielsen and Klaus Kristensen",
  booktitle		= {Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods},
  PAGES         = "177--182",
  YEAR          = "2014",
  month			= "September",
  publisher		= {Universidade Federal de Alagoas (UFAL)},
  series		= {CBSoft},
  number		= "17",
  editor		= {Christiano Braga and Narciso Mart\'{i}-Oliet}}

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

@inproceedings{Nielsen&14b,
  KEY           = "Nielsen\&14b",
  AUTHOR        = "Claus Ballegaard Nielsen and Kenneth Lausdahl and Peter Gorm Larsen",
  TITLE         = "{Distributed Simulation of Formal Models in System of Systems Engineering}",
  BOOKTITLE		= "{4th IEEE track on Collaborative Modelling and Simulation in IEEE WETICE 2014}",
  YEAR          = "2014",
  MONTH         = "June",
  NOTE          = ""}

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

@BOOK{Fitzgerald&14c,
  KEY           = "Fitzgerald\&14",
  EDITOR        = "John Fitzgerald and Peter Gorm Larsen and Marcel Verhoef",
  TITLE         = "Collaborative Design for Embedded Systems --
                   Co-modelling and Co-simulation",
  PUBLISHER     = "Springer",
  YEAR          = "2014",
  ISBN          = "978-3-642-54117-9",
  ANNOTE        = "",
url = {http://www.springer.com/gp/book/9783642541179},
  COMMENT       = ""}

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

@phdthesis{Lausdahl&13c,
	key				= "Lausdahl\&13c",
	author			= "Kenneth Lausdahl",
	title			= "Enhancing Formal Modelling Tool Support with Increased Automation",
	school			= "Aarhus University",
	year			= "2013",
	month			= "June",
	URL				="PhD_Dissertation_Kenneth_Lausdahl_2013.pdf"
}

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

Paper doi link bibtex 4 downloads

@incollection{Lausdahl&13,
  author =        {Lausdahl, Kenneth},
  booktitle =     {Integrated Formal Methods},
  editor =        {Johnsen, Einar Broch and Petre, Luigia},
  key =           {Lausdahl\&13},
  note =          {10th International Conference, IFM 2013},
  pages =         {46-60},
  publisher =     {Springer Berlin Heidelberg},
  series =        {Lecture Notes in Computer Science},
  title =         {{Translating VDM to Alloy}},
  volume =        {7940},
  year =          {2013},
  doi =           {10.1007/978-3-642-38613-8_4},
  isbn =          {978-3-642-38612-1},
  url =           {http://dx.doi.org/10.1007/978-3-642-38613-8_4},
}

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

@techreport{Lausdahl&13a,
  author =        {Kenneth Lausdahl and Joey W. Coleman and
                   Peter Gorm Larsen},
  institution =   {Aarhus University},
  key =           {Lausdahl\&13a},
  month =         {April},
  number =        {{ECE-TR-13}},
  title =         {{Semantics of the VDM Real-Time Dialect}},
  year =          {2013},
  url=				{Lausdahl&13a.pdf},
}

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

@inproceedings{Lausdahl&12,
  author =        {Lausdahl, Kenneth and Coleman, Joey W. and
                   Larsen, Peter Gorm},
  booktitle =     {Proceedings of the 10th Overture Workshop},
  editor =        {Nico Plat and Claus Ballegaard Nielsen and
                   Steve Riddle},
  key =           {Lausdahl\&12},
  month =         {August},
  number =        {CS-TR-1345},
  organization =  {Computing Science, Newcastle University},
  pages =         {30--37},
  series =        {Technical Report Series},
  title =         {{Towards a Co-simulation Semantics of
                   {VDM-RT/Overture} and 20-sim}},
  year =          {2012},
  url =           {http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf},
}


% G VDM TOOL

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

@inproceedings{Nielsen&12,
  address =       {Berlin, Heidelberg},
  author =        {Claus Ballegaard Nielsen and Kenneth Lausdahl and
                   Peter Gorm Larsen},
  booktitle =     {{Abstract State Machines, Alloy, B, VDM, and Z}},
  editor =        {Derrick, John and Fitzgerald, John and
                   Gnesi, Stefania and Khurshid, Sarfraz and
                   Leuschel, Michael and Reeves, Steve and
                   Riccobene, Elvinia},
  key =           {Nielsen\&12},
  note =          {{ISBN 978-3-642-30884-0}},
  pages =         {266--279},
  publisher =     {Springer-Verlag},
  series =        {Lecture Notes in Computer Science},
  title =         {{Combining VDM with Executable Code}},
  volume =        {7316},
  year =          {2012},
  url =           {http://dx.doi.org/10.1007/978-3-642-30885-7_19},
}


% G VDM COSIM TOOL

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

@inproceedings{Nielsen&12e,
  address =       {},
  author =        {Claus Ballegaard Nielsen and Kenneth Lausdahl and
                   Peter Gorm Larsen},
  booktitle =     {{iFM 2012 \& ABZ 2012 - Proceedings of the Posters \&
                   Tool demos Session}},
  editor =        {Mazzanti, Franco},
  key =           {Nielsen\&12e},
  month =         {June},
  note =          {},
  pages =         {1-34},
  publisher =     {CNR-ISTI},
  series =        {},
  title =         {{Using the Overture Tool as a More General Platform}},
  volume =        {},
  year =          {2012},
  url =           {http://puma.isti.cnr.it/linkdoc.php?idauth=1&idcol=1&icode=2012-ED-001&authority=cnr.isti&collection=cnr.isti&langver=en},
}

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

@INPROCEEDINGS{August&11,
      AUTHOR          = "Augusto Ribeiro and Kenneth Lausdahl and Peter Gorm Larsen",
      BOOKTITLE       = "9th Overture Workshop, June 2011, Limerick, Ireland",
      COMMENT         = "I have the sources PGL",
      YEAR            = "2011",
      KEY             = "Augusto\&11",
      TITLE           = "{Run-Time Validation of Timing Constraints for VDM-RT Models}",
	  URL ="Ribeiro&11.pdf",
}

% G VDM UML TOOL

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

@INPROCEEDINGS{Lausdahl&11,
  KEY           = "Lausdahl\&11",
  AUTHOR        = "Kenneth Lausdahl and Peter Gorm Larsen and Nick Battle",
  title         = "{A Deterministic Interpreter Simulating A Distributed real time system using VDM}",
  booktitle     = {{Formal Methods and Software Engineering}},
  series        = {Lecture Notes in Computer Science},
  volume        = {6991},
  editor        = {Qin, Shengchao and Qiu, Zongyan},
  YEAR          = "2011",
  MONTH         = "October",
  note          = "{ISBN 978-3-642-24558-9}",
   location     = {Durham, UK},
 pages          = {179--194},
 numpages       = {16},
 url            = {http://dl.acm.org/citation.cfm?id=2075089.2075107},
   publisher    = {Springer-Verlag},
 address        = {Berlin, Heidelberg},
  }

% G VDM COSIM TOOL

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

@inproceedings{Lausdahl&11c,
  author =        {Kenneth Lausdahl and Augusto Ribeiro},
  booktitle =     {Proceedings of the 9th Overture Workshop},
  editor =        {Sune Wolff and John Fitzgerald},
  key =           {Lausdahl\&11},
  month =         {June},
  number =        {ECE-TT-2},
  pages =         {17--31},
  series =        {Technical Report Series},
  title =         {{Automated Exploration of Alternative System
                   Architectures with VDM-RT}},
  year =          {2011},
  url =           {Lausdahl&11c.pdf},
}


% G VDM COSIM TOOL DESTECS

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.

Paper link bibtex 2 downloads

@inproceedings{Ribeiro&11,
  author =        {Augusto Ribeiro and Kenneth Lausdahl and
                   Peter Gorm Larsen},
  booktitle =     {Proceedings of the 9th Overture Workshop},
  editor =        {Sune Wolff and John Fitzgerald},
  key =           {Ribeiro\&11},
  month =         {June},
  number =        {ECE-TT-2},
  pages =         {4--16},
  series =        {Technical Report Series},
  title =         {{Run-Time Validation of Timing Constraints for VDM-RT
                   Models}},
  year =          {2011},
  url =           {Ribeiro&11.pdf},
}

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

@article{Larsen&10a,
  address =       {New York, NY, USA},
  author =        {Peter Gorm Larsen and Nick Battle and Miguel Ferreira and
                   John Fitzgerald and Kenneth Lausdahl and
                   Marcel Verhoef},
  journal =       {SIGSOFT Softw. Eng. Notes},
  key =           {Larsen\&10},
  month =         {January},
  number =        {1},
  pages =         {1--6},
  publisher =     {ACM},
  title =         {{The Overture Initiative -- Integrating Tools for
                   VDM}},
  volume =        {35},
  year =          {2010},
  issn =          {0163-5948},
  url =           {http://doi.acm.org/10.1145/1668862.1668864},
}

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

Paper link bibtex

@inproceedings{Larsen&10c,
  address =       {Washington, DC, USA},
  author =        {Peter Gorm Larsen and Kenneth Lausdahl and
                   Nick Battle},
  booktitle =     {Proceedings of the 2010 8th IEEE International
                   Conference on Software Engineering and Formal
                   Methods},
  key =           {Larsen\&10},
  month =         {September},
  note =          {{ISBN 978-0-7695-4153-2}},
  pages =         {278--285},
  publisher =     {IEEE Computer Society},
  series =        {SEFM '10},
  title =         {{Combinatorial Testing for VDM}},
  year =          {2010},
  url =           {http://dx.doi.org/10.1109/SEFM.2010.32},
}

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.

Paper link bibtex 1 download

@INBOOK{Rohde&10,
  KEY           = "Rohde\&10",
  AUTHOR        = "John Rohde and Sune Wolff and Thomas Skj\o{}deberg Toftegaardand
                   Peter Gorm Larsen and Kenneth Lausdahl and Augusto Ribeiro and 
                   Poul Ejnar Rovsing",
  TITLE         = "Towards Green ICT",
  CHAPTER       = "13: Optimizing Energy Usage in Private Households",
  PAGES         = "185--209",
  PUBLISHER     = "River Publishers",
  YEAR          = "2010",
  ANNOTE        = "",
  URL = {http://www.amazon.co.uk/Towards-Green-Ict-Ramjee-Prasad/dp/8792329349},
}

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

@inproceedings{Lausdahl&10,
  author =        {Kenneth Lausdahl and Marcel Verhoef and
                   Peter Gorm Larsen and Sune Wolff},
  booktitle =     {Proceedings of the 8th Overture Workshop},
  editor =        {Ken Pierce and Nico Plat and Sune Wolf},
  key =           {Lausdahl\&10},
  month =         {September},
  number =        {CS-TR-1224},
  pages =         {57--67},
  series =        {Technical Report Series},
  title =         {{Overview of VDM-RT Constructs and Semantic Issues}},
  year =          {2010},
    URL = "Lausdahl&10.pdf",
}


%----------------------
% G VDM COSIM TOOL

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

@inproceedings{Larsen&10i,
  author =        {Peter Gorm Larsen and Nick Battle and Miguel Ferreira and
                   John Fitzgerald and Kenneth Lausdahl and
                   Marcel Verhoef},
  booktitle =     {{Harnessing Theories for Tool Support in Software}},
  editor =        {Min Zhang and Volker Stolz},
  key =           {Larsen&10i},
  month =         {November},
  pages =         {9--19},
  title =         {{The Overture Initiative -- Integrating Tools for
                   VDM}},
  year =          {2010},
}

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

@inproceedings{Lausdahl&09,
  address =       {Berlin, Heidelberg},
  author =        {Kenneth Lausdahl and Hans Kristian Agerlund Lintrup and
                   Peter Gorm Larsen},
  booktitle =     {Proceedings of the 2nd World Congress on Formal
                   Methods},
  editor =        {Cavalcanti, Ana and Dams, Dennis R.},
  key =           {Lausdahl\&09},
  month =         {November},
  note =          {{ISBN 978-3-642-05088-6}},
  pages =         {563--578},
  publisher =     {Springer-Verlag},
  series =        {Lecture Notes in Computer Science},
  title =         {{Connecting UML and VDM++ with Open Tool Support}},
  volume =        {5850},
  year =          {2009},
  url =           {http://dx.doi.org/10.1007/978-3-642-05089-3_36},
}
  
  %G VDM TOOL

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

@INPROCEEDINGS{Wolff&09,
  KEY           = "Wolff\&09",
  AUTHOR        = "Sune Wolff and Peter Gorm Larsen and Kenneth Lausdahl and
                   Augusto Ribeiro and Thomas Skj\o{}deberg Toftegaard",
  TITLE         = "{Facilitating Home Automation Through Wireless Protocol
                    Interoperability}",
  BOOKTITLE     = "WPMC'09: The 12th International Symposium on Wireless
                   Personal Multimedia Communications",
  YEAR          = "2009",
  MONTH         = "September",
  ANNOTE        = "",
  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},
}

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.

Paper link bibtex 5 downloads

@MASTERSTHESIS{Lausdahl&08,
      AUTHOR          = "Kenneth Lausdahl and Hans Kristian Lintrup",
      ANNOTE          = "",
      SCHOOL          = "Aarhus University/Engineering College of Aarhus",
      COMMENT         = "I have a copy PGL",
      YEAR            = "2008",
      KEY             = "Lausdahl\&08",
      SIZE            = "282",
      MONTH           = "December",
      TITLE           = "{Coupling Overture to MDA and UML}",
	  URL = "Lausdahl&08.pdf",
}


% G VDM TOOL

Enable Easier Management and Sharing of Glucose Measurements for Diabetes Patients. Lausdahl, K. 2008. Paper written for class exercise
link bibtex

@unpublished{Lausdahl&08a,
	AUTHOR          = "Kenneth Lausdahl",
    TITLE           = "Enable Easier Management and Sharing of Glucose Measurements for Diabetes Patients",
	NOTE			= "Paper written for class exercise",
	MONTH			="",
	YEAR            = "2008",
	KEY             = "Lausdahl\&08a",
}

2007 (1)

CONTEXT-AWARE PATIENT SYSTEM. Lausdahl, K.; and Lintrup, H. C. 2007. Paper written for class exercise
link bibtex

@unpublished{Lausdahl&07,
	AUTHOR          = "Kenneth Lausdahl and Hans Christian Lintrup",
    TITLE           = "CONTEXT-AWARE PATIENT SYSTEM",
	NOTE			= "Paper written for class exercise",
	MONTH			="",
	YEAR            = "2007",
	KEY             = "Lausdahl\&07",
}

2006 (1)

Fleet Management System. Lausdahl, K.; and Holm, A. Technical Report Aarhus School of Enigneering, December 2006.

Paper link bibtex

@techreport{Lausdahl&06,
	AUTHOR          = "Kenneth Lausdahl and Anders Holm",
	institution		= "Aarhus School of Enigneering",
    YEAR            = "2006",
    KEY             = "Lausdahl\&06",
    TITLE           = "Fleet Management System",
	URL 			="Lausdahl&06.zip",
	TYPE 			="Bachelor of science thesis",
	NUMBER 			="",
	ADDRESS			="",
	MONTH			="December",
	NOTE			="",
}