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://www.overturetool.org/publications/overtureweb.bib&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://www.overturetool.org/publications/overtureweb.bib&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://www.overturetool.org/publications/overtureweb.bib&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
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2022\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Towards UML and VDM Support in the VS Code Environment.\n \n \n \n\n\n \n Rask, J. K.; Madsen, F. P.; Battle, N.; Freitas, L.; Macedo, H. D.; and Larsen, P. G.\n\n\n \n\n\n\n In Macedo, H. D.; and Pierce, K., editor(s), Proceedings of the 20th International Overture Workshop, pages 51–66, 7 2022. Overture\n \n\n\n\n
\n\n\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 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Lund&22,\n  AUTHOR       = {Jonas Kjær Rask and Frederik Palludan Madsen and Nick Battle and Leo Freitas and Hugo Daniel Macedo and Peter Gorm Larsen},\n  BOOKTITLE    = {Proceedings of the 20th International Overture Workshop},\n  EDITOR       = {Hugo Daniel Macedo and Ken Pierce},\n  KEY          = {Lund\\&22},\n  MONTH        = {7},\n  ORGANIZATION = {Overture},\n  TITLE        = {Towards UML and VDM Support in the VS Code Environment},\n  PAGES\t= "51--66",\n  DOI          = "\\url{https://doi.org/10.48550/arXiv.2208.10233}",\n  YEAR         = {2022}\n}\n\n%G VDM TOOL OVERTURE DIT4CPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n VDM-SL in action: A FRAM-based approach to contextualise formal specifications.\n \n \n \n\n\n \n Oda, T.; Kusakabe, S.; Chang, H.; and Larsen, P. G.\n\n\n \n\n\n\n In Macedo, H. D.; and Pierce, K., editor(s), Proceedings of the 20th International Overture Workshop, pages 5–18, 7 2022. Overture\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Oda&22,\n  AUTHOR       = {Tomohiro Oda and Shigeru Kusakabe and Han-Myung Chang and Peter Gorm Larsen},\n  BOOKTITLE    = {Proceedings of the 20th International Overture Workshop},\n  EDITOR       = {Hugo Daniel Macedo and Ken Pierce},\n  KEY          = {Oda\\&22},\n  MONTH        = {7},\n  ORGANIZATION = {Overture},\n  TITLE        = {VDM-SL in action: A FRAM-based approach to contextualise formal specifications},\n  PAGES\t= "5--18",\n  DOI          = "\\url{https://doi.org/10.48550/arXiv.2208.10233}",\n  YEAR         = {2022}\n}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Speeding Up Design Space Exploration through Compiled Master Algorithms.\n \n \n \n\n\n \n Pierce, K.; Lausdahl, K.; and Frasheri, M.\n\n\n \n\n\n\n In Macedo, H. D.; and Pierce, K., editor(s), Proceedings of the 20th International Overture Workshop, pages 67–83, 7 2022. Overture\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Pierce&22,\n  AUTHOR       = {Ken Pierce and Kenneth Lausdahl and Mirgita Frasheri},\n  BOOKTITLE    = {Proceedings of the 20th International Overture Workshop},\n  EDITOR       = {Hugo Daniel Macedo and Ken Pierce},\n  KEY          = {Pierce\\&22},\n  MONTH        = {7},\n  ORGANIZATION = {Overture},\n  TITLE        = {Speeding Up Design Space Exploration through Compiled Master Algorithms},\n  PAGES\t= "67--83",\n  DOI          = "\\url{https://doi.org/10.48550/arXiv.2208.10233}",\n  YEAR         = {2022}\n}\n\n%G OVERTURE TEMPOPUB VDM APPLI\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Advanced VDM Support in Visual Studio Code.\n \n \n \n\n\n \n Rask, J. K.; Madsen, F. P.; Battle, N.; Freitas, L.; Macedo, H. D.; and Larsen, P. G.\n\n\n \n\n\n\n In Macedo, H. D.; and Pierce, K., editor(s), Proceedings of the 20th International Overture Workshop, pages 35–50, 7 2022. Overture\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Rask&22,\n  AUTHOR       = {Jonas Kjær Rask and Frederik Palludan Madsen and Nick Battle and Leo Freitas and Hugo Daniel Macedo and Peter Gorm Larsen},\n  BOOKTITLE    = {Proceedings of the 20th International Overture Workshop},\n  EDITOR       = {Hugo Daniel Macedo and Ken Pierce},\n  KEY          = {Rask\\&22},\n  MONTH        = {7},\n  ORGANIZATION = {Overture},\n  TITLE        = {Advanced VDM Support in Visual Studio Code},\n  PAGES\t= "35--50",\n  DOI          = "\\url{https://doi.org/10.48550/arXiv.2208.10233}",\n  YEAR         = {2022}\n}\n\n%G INTOCPS TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Bridging the Requirements-Specification Gap using Behaviour-Driven Development.\n \n \n \n\n\n \n Villadsen, K. S.; Jensen, M. D.; Larsen, P. G.; and Macedo, H. D.\n\n\n \n\n\n\n In Macedo, H. D.; and Pierce, K., editor(s), Proceedings of the 20th International Overture Workshop, pages 19–34, 7 2022. Overture\n \n\n\n\n
\n\n\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 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Villadsen&22,\n  AUTHOR       = {Kristoffer Stampe Villadsen and Malthe Dalgaard Jensen and Peter Gorm Larsen and Hugo Daniel Macedo},\n  BOOKTITLE    = {Proceedings of the 20th International Overture Workshop},\n  EDITOR       = {Hugo Daniel Macedo and Ken Pierce},\n  KEY          = {Villadsen\\&22},\n  MONTH        = {7},\n  ORGANIZATION = {Overture},\n  TITLE        = {Bridging the Requirements-Specification Gap using Behaviour-Driven Development},\n  PAGES\t= "19--34",\n  DOI          = "\\url{https://doi.org/10.48550/arXiv.2208.10233}",\n  YEAR         = {2022}\n}\n\n%G VDM VDM++ APPLY OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n VDM Combinatorial Testing Guidelines.\n \n \n \n\n\n \n Battle, N.; Macedo, H.; and Larsen, P. G.\n\n\n \n\n\n\n Technical Report TR-005, The Overture Initiative, www.overturetool.org, January 2021.\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 
@TECHREPORT{Battle&21,\n  KEY           = "Battle\\&21",\n  AUTHOR        = "Nick Battle and Hugo Macedo and Peter Gorm Larsen",\n  TITLE         = "{VDM Combinatorial Testing Guidelines}",\n  INSTITUTION   = "The Overture Initiative",\n  ADDRESS       = "www.overturetool.org",\n  YEAR          = "2021",\n  MONTH         = "January",\n  NUMBER        = "TR-005",\n  SIZE          = "71",\n  ANNOTE        = "",\n  COMMENT       = "We have the sources PGL"}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Behaviour driven specification.\n \n \n \n\n\n \n Fraser, S.; and Pezzoni, A.\n\n\n \n\n\n\n In Macedo, H. D.; Thule, C.; and Pierce, K., editor(s), Proceedings of the 19th International Overture Workshop, 10 2021. Overture\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{Fraser&21,\n  AUTHOR       = {Simon Fraser and Alessandro Pezzoni},\n  BOOKTITLE    = {Proceedings of the 19th International Overture Workshop},\n  EDITOR       = {Hugo Daniel Macedo and Casper Thule and Ken Pierce},\n  KEY          = {Fraser\\&21},\n  MONTH        = {10},\n  ORGANIZATION = {Overture},\n  TITLE        = {Behaviour driven specification},\n  YEAR         = {2021}\n}\n\n\n\n%G OVERTURE VDM APPLI\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards a Digital Twin Framework for Autonomous Robots.\n \n \n \n\n\n \n Lumer-Klabbers, G.; Hausted, J. O.; Kvistgaard, J. L.; Macedo, H. D.; Frasheri, M.; and Larsen, P. G.\n\n\n \n\n\n\n In SESS: The 5th IEEE International Workshop on Software Engineering for Smart Systems, July 2021. COMPSAC 2021, IEEE\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{LumerKlabbers&21,\n  KEY           = "LumerKlabbers\\&21",\n  AUTHOR        = "Gill Lumer-Klabbers and Jacob Odgaard Hausted and Jakob Levisen Kvistgaard and Hugo Daniel Macedo and\n                             Mirgita Frasheri and Peter Gorm Larsen",\n  TITLE         = "Towards a Digital Twin Framework for Autonomous Robots",\n  BOOKTITLE     = "SESS: The 5th IEEE International Workshop on Software Engineering for Smart Systems",\n  ORGANIZATION  = "COMPSAC 2021",\n  PUBLISHER     = "IEEE",\n  YEAR          = "2021",\n  MONTH         = "July",\n  PAGES         = "",\n  SIZE          = "",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n% G OVERTURE VDM TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Proceedings of the 19th International Overture Workshop.\n \n \n \n\n\n \n Macedo, H. D.; Thule, C.; and Pierce, K.\n\n\n \n\n\n\n 2021.\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 
@misc{Macedo&21a,\n  ARCHIVEPREFIX = {arXiv},\n  AUTHOR        = {Hugo Daniel Macedo and Casper Thule and Ken Pierce},\n  EPRINT        = {2110.09371},\n  KEY           = {Macedo\\&21a},\n  PRIMARYCLASS  = {cs.SE},\n  TITLE         = {Proceedings of the 19th International Overture Workshop},\n  YEAR          = {2021}\n}\n\n\n%G VDM TOOL VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Refactoring for Exploratory Specification in VDM-SL.\n \n \n \n\n\n \n Oda, T.; Araki, K.; Sahara, S.; Chang, H.; and Larsen, P. G.\n\n\n \n\n\n\n In Macedo, H. D.; Thule, C.; and Pierce, K., editor(s), Proceedings of the 19th International Overture Workshop, 10 2021. Overture\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{Oda&21,\n  AUTHOR       = {Tomohiro Oda and Keijiro Araki and Shin Sahara and Han-Myung Chang and Peter Gorm Larsen },\n  BOOKTITLE    = {Proceedings of the 19th International Overture Workshop},\n  EDITOR       = {Hugo Daniel Macedo and Casper Thule and Ken Pierce},\n  KEY          = {Oda\\&21},\n  MONTH        = {10},\n  ORGANIZATION = {Overture},\n  TITLE        = {Refactoring for Exploratory Specification in VDM-SL},\n  YEAR         = {2021}\n}\n\n% G OVERTURE VDM TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n RMQFMU: Bridging the Real World with Co-simulation For Practitioners.\n \n \n \n\n\n \n Frasheri, M.; Ejersbo, H.; Thule, C.; and Esterle, L.\n\n\n \n\n\n\n In Macedo, H. D.; Thule, C.; and Pierce, K., editor(s), Proceedings of the 19th International Overture Workshop, 10 2021. Overture\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{Frasheri&21b,\n  AUTHOR       = {Mirgita Frasheri and Henrik Ejersbo and Casper Thule and Lukas Esterle},\n  BOOKTITLE    = {Proceedings of the 19th International Overture Workshop},\n  EDITOR       = {Hugo Daniel Macedo and Casper Thule and Ken Pierce},\n  KEY          = {Frasheri\\&21},\n  MONTH        = {10},\n  ORGANIZATION = {Overture},\n  TITLE        = {RMQFMU: Bridging the Real World with Co-simulation For Practitioners},\n  YEAR         = {2021}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (11)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Towards a Static Check of FMUs in VDM-SL.\n \n \n \n\n\n \n Battle, N.; Thule, C.; Gomes, C.; Macedo, H. D.; and Larsen, P. G.\n\n\n \n\n\n\n In Sekerinski, E.; Moreira, N.; Oliveira, J. N.; Ratiu, D.; Guidotti, R.; Farrell, M.; Luckcuck, M.; Marmsoler, D.; Campos, J.; Astarte, T.; Gonnord, L.; Cerone, A.; Couto, L.; Dongol, B.; Kutrib, M.; Monteiro, P.; and Delmas, D., editor(s), Formal Methods. FM 2019 International Workshops, pages 272–288, LNCS 12233, 2020. Springer-Verlag\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{Battle&20,\n  KEY           = "Battle\\&20",\n  AUTHOR        = "Nick Battle and Casper Thule and Cláudio Gomes and Hugo Daniel Macedo and Peter Gorm Larsen",\n  EDITOR        = "Emil Sekerinski and Nelma Moreira and José N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and José Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas",\n  TITLE         = "{Towards a Static Check of FMUs in VDM-SL}",\n  BOOKTITLE     = "Formal Methods. FM 2019 International Workshops",\n  PUBLISHER     = "Springer-Verlag",\n  ADDRESS       = "LNCS 12233",\n  YEAR          = "2020",\n  PAGES         = "272--288",\n  DOI = "\\url{https://doi.org/10.1007/978-3-030-54997-8_18}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System.\n \n \n \n\n\n \n Bogomolov, S.; Fitzgerald, J.; Foldager, F.; Larsen, P. G.; Pierce, K.; Stankaitis, P.; and Wooding, B.\n\n\n \n\n\n\n In Fitzgerald, J. S; and Oda, T., editor(s), Proceedings of the 18th International Overture Workshop, pages 50–64, December 2020. Overture\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{Bogomolov&20,\n  KEY           = "Bogomolov\\&20",\n  AUTHOR        = "Sergiy Bogomolov and John Fitzgerald and Frederik Foldager and Peter Gorm Larsen and Ken Pierce and\nPaulius Stankaitis and Ben Wooding",\n  EDITOR        = "John S Fitzgerald and Tomohiro Oda",\n  TITLE         =  "{Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of\na Cyber-Physical System}",\n  BOOKTITLE     = "Proceedings of the 18th International Overture Workshop",\n  ORGANIZATION  = "Overture",\n  PUBLISHER     = "",\n  YEAR          = "2020",\n  MONTH         = "December",\n  PAGES         = "50--64",\n  ANNOTE        = "",\n  COMMENT       = ""}\n  \n%G VDM VDM++ TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Applying ergonomics within the multi-modelling paradigm with an example from multiple UAV control.\n \n \n \n \n\n\n \n Golightly, D.; Gamble, C.; Palacin, R.; and Pierce, K.\n\n\n \n\n\n\n Ergonomics, 0(0): 1–17. 2020.\n PMID: 31992157\n\n\n\n
\n\n\n\n \n \n \"ApplyingPaper\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 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Golightly&20,\n  AUTHOR        = "David Golightly and Carl Gamble and Roberto Palacin and Ken Pierce",\n  TITLE         = "Applying ergonomics within the multi-modelling paradigm with an example from multiple UAV control",\n  JOURNAL       = "Ergonomics",\n  VOLUME        = "0",\n  NUMBER        = "0",\n  PAGES         = "1--17",\n  YEAR          = "2020",\n  PUBLISHER     = "Taylor & Francis",\n  DOI           = "10.1080/00140139.2020.1723683",\n  NOTE          = "PMID: 31992157",\n  URL           = "https://doi.org/10.1080/00140139.2020.1723683",\n  EPRINT        = "https://doi.org/10.1080/00140139.2020.1723683"\n}\n\n%G COMPASSPUB VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Modelling the HUBCAP Sandbox Architecture In VDM – a Study In Security.\n \n \n \n\n\n \n Kulik, T.; Macedo, H. D.; Talasila, P.; and Larsen, P. G.\n\n\n \n\n\n\n In Fitzgerald, J. S; Oda, T.; and Macedo, H. D., editor(s), Proceedings of the 18th International Overture Workshop, pages 20–34, December 2020. Overture\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{Kulik&20,\n  KEY           = "Kulik\\&20",\n  AUTHOR        = "Tomas Kulik and Hugo Daniel Macedo and Prasad Talasila and Peter Gorm Larsen",\n  EDITOR        = "John S Fitzgerald and Tomohiro Oda and Hugo Daniel Macedo",\n  TITLE         =  "{Modelling the HUBCAP Sandbox Architecture In VDM -- a Study In Security}",\n  BOOKTITLE     = "Proceedings of the 18th International Overture Workshop",\n  ORGANIZATION  = "Overture",\n  PUBLISHER     = "",\n  YEAR          = "2020",\n  MONTH         = "December",\n  PAGES         = "20--34",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Migrating the INTO-CPS Application to the Cloud.\n \n \n \n\n\n \n Macedo, H. D.; Rasmussen, M. B.; Thule, C.; and Larsen, P. G.\n\n\n \n\n\n\n In Sekerinski, E.; Moreira, N.; Oliveira, J. N.; Ratiu, D.; Guidotti, R.; Farrell, M.; Luckcuck, M.; Marmsoler, D.; Campos, J.; Astarte, T.; Gonnord, L.; Cerone, A.; Couto, L.; Dongol, B.; Kutrib, M.; Monteiro, P.; and Delmas, D., editor(s), Formal Methods. FM 2019 International Workshops, pages 254–271, LNCS 12233, 2020. Springer-Verlag\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{Macedo&20,\n  KEY           = "Macedo\\&20",\n  AUTHOR        = "Hugo Daniel Macedo and Mikkel Bayard Rasmussen and Casper Thule and Peter Gorm Larsen",\n  EDITOR        = "Emil Sekerinski and Nelma Moreira and José N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and José Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas",\n  TITLE         = "{Migrating the INTO-CPS Application to the Cloud}",\n  BOOKTITLE     = "Formal Methods. FM 2019 International Workshops",\n  PUBLISHER     = "Springer-Verlag",\n  ADDRESS       = "LNCS 12233",\n  YEAR          = "2020",\n  PAGES         = "254--271",\n  DOI = "\\url{https://doi.org/10.1007/978-3-030-54997-8_17}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n % G OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n ViennaDoc: An Animatable and Testable Specification Documentation Tool.\n \n \n \n\n\n \n Oda, T.; Araki, K.; Yamamoto, Y.; Nakakoji, K.; Sako, H.; Chan, H.; and Larsen, P. G.\n\n\n \n\n\n\n In Sekerinski, E.; Moreira, N.; Oliveira, J. N.; Ratiu, D.; Guidotti, R.; Farrell, M.; Luckcuck, M.; Marmsoler, D.; Campos, J.; Astarte, T.; Gonnord, L.; Cerone, A.; Couto, L.; Dongol, B.; Kutrib, M.; Monteiro, P.; and Delmas, D., editor(s), Formal Methods. FM 2019 International Workshops, pages 289–302, LNCS 12233, 2020. Springer-Verlag\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{Oda&20,\n  KEY           = "Oda\\&20",\n  AUTHOR        = "Tomohiro Oda and Keijiro Araki and Yasuhiro Yamamoto and Kumiyo Nakakoji and Hiroshi\nSako and Han-Myung Chan and Peter Gorm Larsen",\n  EDITOR        = "Emil Sekerinski and Nelma Moreira and José N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and José Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas",\n  TITLE         = "{ViennaDoc: An Animatable and Testable Specification Documentation Tool}",\n  BOOKTITLE     = "Formal Methods. FM 2019 International Workshops",\n  PUBLISHER     = "Springer-Verlag",\n  ADDRESS       = "LNCS 12233",\n  YEAR          = "2020",\n  PAGES         = "289--302",\n  DOI = "\\url{https://doi.org/10.1007/978-3-030-54997-8_19}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Specifying Abstract User Interface in VDM-SL.\n \n \n \n\n\n \n Oda, T.; Araki, K.; Yamamoto, Y.; Nakakoji, K.; Chang, H.; and Larsen, P.\n\n\n \n\n\n\n In Fitzgerald, J. S; and Oda, T., editor(s), Proceedings of the 18th International Overture Workshop, pages 5–19, December 2020. Overture\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{Oda&20a,\n  KEY           = "Oda\\&20",\n  AUTHOR        = "Tomohiro Oda and Keijiro Araki and Yasuhiro Yamamoto and Kumiyo Nakakoji and Han-Myung Chang and Peter Larsen",\n  EDITOR        = "John S Fitzgerald and Tomohiro Oda",\n  TITLE         =  "{Specifying Abstract User Interface in VDM-SL}",\n  BOOKTITLE     = "Proceedings of the 18th International Overture Workshop",\n  ORGANIZATION  = "Overture",\n  PUBLISHER     = "",\n  YEAR          = "2020",\n  MONTH         = "December",\n  PAGES         = "5--19",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n \n% G OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Visual Studio Code VDM Support.\n \n \n \n \n\n\n \n Rask, J. K.; Madsen, F. P.; Battle, N.; Macedo, H. D.; and Larsen, P. G.\n\n\n \n\n\n\n In Fitzgerald, J. S; and Oda, T., editor(s), Proceedings of the 18th International Overture Workshop, pages 35–49, December 2020. Overture\n \n\n\n\n
\n\n\n\n \n \n \"VisualPaper\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{Rask&20,\n  KEY           = "Rask\\&20",\n  AUTHOR        = "Jonas Kj{\\ae}r Rask and Frederik Palludan Madsen and Nick Battle and Hugo Daniel Macedo and Peter\nGorm Larsen",\n  EDITOR        = "John S Fitzgerald and Tomohiro Oda",\n  TITLE         =  "{Visual Studio Code VDM Support}",\n  BOOKTITLE     = "Proceedings of the 18th International Overture Workshop",\n  ORGANIZATION  = "Overture",\n  PUBLISHER     = "",\n  YEAR          = "2020",\n  MONTH         = "December",\n  PAGES         = "35--49",\n  ANNOTE        = "",\n  URL           = "https://arxiv.org/abs/2101.07261",\n  COMMENT       = ""}\n\n%G TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Decoupling of Core Analysis Support for Specification Languages from User Interfaces in Integrated Development Environments.\n \n \n \n\n\n \n Rask, J. K.; and Madsen, F. P.\n\n\n \n\n\n\n Master's thesis, Aarhus University, Department of Engineering, December 2020.\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 
@MASTERSTHESIS{Rask&20a,\n  KEY           = "Rask\\&20",\n  AUTHOR        = "Jonas Kj{\\ae}r Rask and Frederik Palludan Madsen",\n  TITLE         = "{Decoupling of Core Analysis Support for Specification Languages from User Interfaces in Integrated Development Environments}",\n  SCHOOL        = "Aarhus University",\n  ADDRESS       = "Department of Engineering",\n  YEAR          = "2020",\n  MONTH         = "December",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G TOOL OVERTURE DIT4CPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Introducing Test Driven Development and Upgrades to the INTO-CPS Application.\n \n \n \n\n\n \n Talasila, P.; Sanjari, A.; Villadsen, K.; Thule, C.; Larsen, P. G.; and Macedo, H. D.\n\n\n \n\n\n\n In Cleophas, L.; and Massink, M., editor(s), Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, pages 311–317, Cham, 2020. Springer International Publishing\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{Talasila&20,\n  author    = {Prasad Talasila and Armine Sanjari and Kristoffer Villadsen and Casper Thule and Peter Gorm Larsen and Hugo Daniel Macedo},\n  title     = {{Introducing Test Driven Development and Upgrades to the {INTO-CPS} {A}pplication}},\n  year      = {2020},\neditor="Cleophas, Loek\nand Massink, Mieke",\npublisher="Springer International Publishing",\naddress="Cham",\npages="311--317",\nbooktitle="Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops",\nisbn="978-3-030-67220-1"\n}\n\n%G OVERTURE VDM CPS INTOCPSPUB\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Co-Simulation Based Approach for Developing Safety-Critical Systems.\n \n \n \n\n\n \n Tola, D.; and Larsen, P. G.\n\n\n \n\n\n\n In Fitzgerald, J. S; and Oda, T., editor(s), Proceedings of the 18th International Overture Workshop, pages 65–79, December 2020. Overture\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{Tola&20,\n  KEY           = "Tola\\&20",\n  AUTHOR        = "Daniella Tola and Peter Gorm Larsen",\n  EDITOR        = "John S Fitzgerald and Tomohiro Oda",\n  TITLE         =  "{A Co-Simulation Based Approach for Developing Safety-Critical Systems}",\n  BOOKTITLE     = "Proceedings of the 18th International Overture Workshop",\n  ORGANIZATION  = "Overture",\n  PUBLISHER     = "",\n  YEAR          = "2020",\n  MONTH         = "December",\n  PAGES         = "65--79",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM VDM++ OML OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (17)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Towards Static Check of FMUs in VDM-SL.\n \n \n \n\n\n \n Battle, N.; Thule, C.; Gomes, C.; Macedo, H. D.; and Larsen, P. G.\n\n\n \n\n\n\n In Gamble, C.; and Couto, L. D., editor(s), The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, pages 17–31, Porto, Portugal, October 2019. Newcastle University Technical Report Series. CS-TR-1530\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{Battle&19,\n  KEY           = "Battle&19",\n  AUTHOR        = "Nick Battle and  Casper Thule and Cláudio Gomes and Hugo Daniel Macedo and Peter Gorm Larsen",\n  EDITOR        = "Carl Gamble and Luis Diogo Couto",\n  TITLE         = "{Towards Static Check of FMUs in VDM-SL}",\n  BOOKTITLE     = "The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",\n  PUBLISHER     = "Newcastle University Technical Report Series. CS-TR-1530",\n  ADDRESS       = "Porto, Portugal",\n  YEAR          = "2019",\n  MONTH         = "October",\n  PAGES         = "17--31",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G TOOL OVERTURE VDM DIT4CPS FMI\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Enabling Continuous Integration in a Formal Methods Setting.\n \n \n \n\n\n \n Couto, L. D.; Tran-Jørgensen, P. W. V.; Nilsson, R.; and Larsen, P. G.\n\n\n \n\n\n\n International Journal on Software Tools for Technology Transfer. November 2019.\n DOI https://doi.org/10.1007/s10009-019-00546-y\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 
@ARTICLE{Couto&19,\n  KEY           = "Couto\\&18",\n  AUTHOR        = "Luis Diogo Couto and Peter W. V. Tran-J\\o{}rgensen and Rene Nilsson and\n                        Peter Gorm Larsen",\n  TITLE         = "{Enabling Continuous Integration in a Formal Methods Setting}",\n  journal   = "{International Journal on Software Tools for Technology Transfer}",\n  PUBLISHER     = "Springer",\n  YEAR          = "2019",\n  MONTH         = "November",\n  NOTE = "DOI https://doi.org/10.1007/s10009-019-00546-y",\n  COMMENT       = ""}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin.\n \n \n \n\n\n \n Fitzgerald, J. S.; Larsen, P. G.; and Pierce, K. G.\n\n\n \n\n\n\n In ter Beek, M. H.; Fantechi, A.; and Semini, L., editor(s), From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, volume 11865, of Lecture Notes in Computer Science, pages 40–55, 2019. Springer\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{Fitzgerald&19,\n  author    = {John S. Fitzgerald and Peter Gorm Larsen and Ken G. Pierce},\n  editor    = {Maurice H. ter Beek and Alessandro Fantechi and Laura Semini},\n  title     = {Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin},\n  booktitle = {From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {11865},\n  pages     = {40--55},\n  publisher = {Springer},\n  year      = {2019},\n}\n\n%G OVERTURE VDM TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Proceedings of the 17th Overture Workshop.\n \n \n \n\n\n \n Gamble, C.; and Couto, L. D.,\n editors.\n \n\n\n \n\n\n\n Newcastle University. UK, September 2019.\n CS-TR-1530-2019\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 
@PROCEEDINGS{Gamble&19,\n  KEY           = "Gamble\\&19",\n  EDITOR        = "Carl Gamble and Luis Diogo Couto",\n  TITLE         = "Proceedings of the 17th Overture Workshop",\n  PUBLISHER     = "Newcastle University",\n  ADDRESS       = "UK",\n  YEAR          = "2019",\n  MONTH         = "September",\n  NOTE          = "CS-TR-1530-2019",\n  ANNOTE        = "",\n  COMMENT       = ""\n}\n\n%G OVERTURE VDM INTOCPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Multi-modelling for Decarbonisation in Urban Rail Systems.\n \n \n \n \n\n\n \n Golightly, D.; Gamble, C.; Palaín, R.; and Pierce, K.\n\n\n \n\n\n\n Urban Rail Transit. Nov 2019.\n \n\n\n\n
\n\n\n\n \n \n \"Multi-modellingPaper\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@ARTICLE{Golightly&19a,\n  KEY           = "Golightly\\&19a",\n  AUTHOR        = "David Golightly and Carl Gamble and Roberto Pala\\'{i}n and Ken Pierce",\n  TITLE         = " Multi-modelling for Decarbonisation in Urban Rail Systems",\n  JOURNAL       = "Urban Rail Transit",\n  YEAR          = "2019",\n  MONTH         = "Nov",\n  DAY           = "15",\n  ISSN          = "2199-6679",\n  DOI           = "10.1007/s40864-019-00114-2",\n  URL           = "https://doi.org/10.1007/s40864-019-00114-2"\n}\n\n%G OVERTURE VDM INTOCPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Code generation for distributed embedded systems with VDM-RT.\n \n \n \n \n\n\n \n Hasanagić, M.; Fabbri, T.; Larsen, P. G.; Bandur, V.; Tran-Jørgensen, P.; and Ouy, J.\n\n\n \n\n\n\n Design Automation for Embedded Systems. Nov 2019.\n \n\n\n\n
\n\n\n\n \n \n \"CodePaper\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Article{Hasanagic&19,\nauthor="Hasanagi{\\'{c}}, Miran\nand Fabbri, Tommaso\nand Larsen, Peter Gorm\nand Bandur, Victor\nand Tran-J{\\o}rgensen, Peter\nand Ouy, Julien",\ntitle="Code generation for distributed embedded systems with VDM-RT",\njournal="Design Automation for Embedded Systems",\nyear="2019",\nmonth="Nov",\nday="19",\nissn="1572-8080",\ndoi="10.1007/s10617-019-09227-0",\nurl="https://doi.org/10.1007/s10617-019-09227-0"\n}\n\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Security Analysis of Cloud-connected Industrial Control Systems Using Combinatorial Testing.\n \n \n \n \n\n\n \n Tran-Jørgensen, P. W. V.; Kulik, T.; Boudjadar, J.; and Larsen, P. G.\n\n\n \n\n\n\n In Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, of MEMOCODE '19, pages 13:1–13:11, New York, NY, USA, 2019. ACM\n \n\n\n\n
\n\n\n\n \n \n \"SecurityPaper\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 1 download\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 
@INPROCEEDINGS{Joergensen&19,\n author = {Tran-J{\\o}rgensen, Peter W. V. and Kulik, Tomas and Boudjadar, Jalil and Larsen, Peter Gorm},\n title = {Security Analysis of Cloud-connected Industrial Control Systems Using Combinatorial Testing},\n booktitle = {Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design},\n series = {MEMOCODE '19},\n year = {2019},\n isbn = {978-1-4503-6997-8},\n location = {La Jolla, California},\n pages = {13:1--13:11},\n articleno = {13},\n numpages = {11},\n url = {http://doi.acm.org/10.1145/3359986.3361211},\n doi = {10.1145/3359986.3361211},\n acmid = {3361211},\n publisher = {ACM},\n address = {New York, NY, USA},\n keywords = {VDM-SL, combinatorial testing, formal verification, industrial control systems, model checking},\n }\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Graphical Configuration in the INTO-CPS Application.\n \n \n \n\n\n \n Legaard, C. M.; Thule, C.; and Larsen, P. G.\n\n\n \n\n\n\n In Gamble, C.; and Couto, L. D., editor(s), The 17th Overture Workshop, pages 1–16, Porto, Portugal, October 2019. Newcastle University TR CS-TR-1530\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{Legaard&19,\n  KEY           = "Legaard&19",\n  AUTHOR        = "Christian M\\o{}ldrup Legaard and Casper Thule and Peter Gorm Larsen",\n  EDITOR        = "Carl Gamble and Luis Diogo Couto",\n  TITLE         = "{Towards Graphical Configuration in the {INTO-CPS} Application}",\n  BOOKTITLE     = "The 17th Overture Workshop",\n  PUBLISHER     = "Newcastle University TR CS-TR-1530",\n  ADDRESS       = "Porto, Portugal",\n  YEAR          = "2019",\n  MONTH         = "October",\n  PAGES         = "1--16",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Migrating the INTO-CPS Application to the Cloud.\n \n \n \n\n\n \n Macedo, H. D.; Rasmussen, M. B.; Thule, C.; and Larsen, P. G.\n\n\n \n\n\n\n In International Symposium on Formal Methods, pages 254–271, 2019. Springer\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{Macedo&19b,\n  title={Migrating the INTO-CPS Application to the Cloud},\n  author={Macedo, Hugo Daniel and Rasmussen, Mikkel Bayard and Thule, Casper and Larsen, Peter Gorm},\n  booktitle={International Symposium on Formal Methods},\n  pages={254--271},\n  year={2019},\n  organization={Springer}\n}\n\n\n%G VDM APPLI OVERTURE LFR\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution.\n \n \n \n\n\n \n Macedo, H.; Nilsson, R.; and Larsen, P.\n\n\n \n\n\n\n Computers, 8(2). April 2019.\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 
@ARTICLE{Macedo&19,\n  KEY           = "Macedo\\&19",\n  AUTHOR        = "Macedo, H.D. and Nilsson, R.S. and Larsen, P.G.",\n  TITLE         = "{The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution}",\n  JOURNAL       = "Computers",\n  YEAR          = "2019",\n  MONTH         = "April",\n  VOLUME        = "8",\n  NUMBER        = "2",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n ViennaDoc: An Animatable and Testable Specification Documentation Tool.\n \n \n \n\n\n \n Oda, T.; Araki, K.; Yamamoto, Y.; Nakakoji, K.; Sako, H.; Chan, H.; and Larsen, P. G.\n\n\n \n\n\n\n In Gamble, C.; and Couto, L. D., editor(s), The 17th Overture workshop, pages 76–90, Porto, Portugal, October 2019. Newcastle University Technical Report Series. CS-TR-1530\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{Oda&19,\n  KEY           = "Oda\\&19",\n  AUTHOR        = "Tomohiro Oda and Keijiro Araki and Yasuhiro Yamamoto and Kumiyo Nakakoji and Hiroshi\nSako and Han-Myung Chan and Peter Gorm Larsen",\n  EDITOR        = "Carl Gamble and Luis Diogo Couto",\n  TITLE         = "{ViennaDoc: An Animatable and Testable Specification Documentation Tool}",\n  BOOKTITLE     = "The 17th Overture workshop",\n  PUBLISHER     = "Newcastle University Technical Report Series. CS-TR-1530",\n  ADDRESS       = "Porto, Portugal",\n  YEAR          = "2019",\n  MONTH         = "October",\n  PAGES         = "76--90",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n .\n \n \n \n\n\n \n Pedersen, N.; Lausdahl, K.; Sanchez, E. V.; Thule, C.; Larsen, P. G.; and Madsen, J.\n\n\n \n\n\n\n Distributed Co-simulation of Embedded Control Software Using INTO-CPS, pages 33–54. Obaidat, M. S.; Ören, T.; and Rango, F. D., editor(s). Springer International Publishing, Cham, 2019.\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 
@INBOOK{Pedersen&19,\n  KEY           = "Pedersen\\&19",\n  AUTHOR        = "Pedersen, Nicolai\nand Lausdahl, Kenneth\nand Sanchez, Enrique Vidal\nand Thule, Casper\nand Larsen, Peter Gorm\nand Madsen, Jan",\n  EDITOR        = "Obaidat, Mohammad S.\nand {\\"O}ren, Tuncer\nand Rango, Floriano De",\n  TITLE         = "Distributed Co-simulation of Embedded Control Software Using {INTO-CPS}",\n booktitle="Simulation and Modeling Methodologies, Technologies and Applications ",\n  PAGES         = "33--54",\n   publisher="Springer International Publishing",\n  address="Cham",\n  YEAR          = "2019",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation.\n \n \n \n\n\n \n Pierce, K.; Gamble, C.; Golightly, D.; and Palacín, R.\n\n\n \n\n\n\n In Gamble, C.; and Couto, L. D., editor(s), The 17th Overture Workshop, pages 1–16, Porto, Portugal, October 2019. Newcastle University TR CS-TR-1530\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{Pierce&19,\n  KEY           = "Pierce&19",\n  AUTHOR        = "Ken Pierce and Carl Gamble and David Golightly and Roberto Palac\\'{i}n",\n  EDITOR        = "Carl Gamble and Luis Diogo Couto",\n  TITLE         = "{Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation}",\n  BOOKTITLE     = "The 17th Overture Workshop",\n  PUBLISHER     = "Newcastle University TR CS-TR-1530",\n  ADDRESS       = "Porto, Portugal",\n  YEAR          = "2019",\n  MONTH         = "October",\n  PAGES         = "1--16",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n\n% G OVERTURE COSIM\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Process for Migrating Desktop Applications to the Cloud.\n \n \n \n\n\n \n Rasmussen, M. B.\n\n\n \n\n\n\n Master's thesis, Aarhus University, Department of Engineering, June 2019.\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 
@MASTERSTHESIS{Rasmussen19,\n  KEY           = "Rasmussen19",\n  AUTHOR        = "Mikkel Bayard Rasmussen",\n  TITLE         = "A Process for Migrating Desktop Applications to the Cloud",\n  SCHOOL        = "Aarhus University",\n  ADDRESS       = "Department of Engineering",\n  YEAR          = "2019",\n  MONTH         = "June",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPS TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Migrating the INTO-CPS Application to the Cloud.\n \n \n \n\n\n \n Rasmussen, M. B.; Thule, C.; Macedo, H. D.; and Larsen, P. G.\n\n\n \n\n\n\n In Gamble, C.; and Couto, L. D., editor(s), Proc. 17th Overture Workshop, pages 47–61, October 2019. Newcastle University Technical Report CS-TR-1530\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{Rasmussen&19,\n  KEY           = "Rasmussen\\&19",\n  AUTHOR        = "Mikkel Bayard Rasmussen and Casper Thule and Hugo Daniel Macedo and Peter Gorm Larsen",\n  EDITOR        = "Carl Gamble and Luis Diogo Couto",\n  TITLE         = "{Migrating the {INTO-CPS} Application to the Cloud}",\n  BOOKTITLE     = "Proc. 17th Overture Workshop",\n  PUBLISHER     = "Newcastle University Technical Report CS-TR-1530",\n  YEAR          = "2019",\n  MONTH         = "October",\n  PAGES         = "47--61",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Maestro: The INTO-CPS co-simulation framework.\n \n \n \n \n\n\n \n Thule, C.; Lausdahl, K.; Gomes, C.; Meisl, G.; and Larsen, P. G.\n\n\n \n\n\n\n Simulation Modelling Practice and Theory, 92: 45 - 61. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"Maestro:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \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 \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{Thule&19,\nkey = "Thule\\&19",\ntitle = "{Maestro: The {INTO-CPS} co-simulation framework}",\njournal = "Simulation Modelling Practice and Theory",\nvolume = "92",\npages = "45 - 61",\nyear = "2019",\nissn = "1569-190X",\ndoi = "https://doi.org/10.1016/j.simpat.2018.12.005",\nurl = "http://www.sciencedirect.com/science/article/pii/S1569190X1830193X",\nauthor = "Casper Thule and Kenneth Lausdahl and Cláudio Gomes and Gerd Meisl and Peter Gorm Larsen",\nkeywords = "Co-simulation, Hybrid co-simulation, Discrete-event simulation, Continuous-time simulation, Distributed simulation, Functional mock-up interface",\nabstract = "Cyber-Physical Systems (CPSs) often operate in a critical context where it is crucial that they behave as intended. However, the heterogeneous nature of CPSs makes them inherently challenging to develop. To assist in the development process, one can perform co-simulation, where models of constituents of a CPS are coupled to jointly simulate the full system. The challenge herein is to combine heterogeneous formalisms in a sound fashion and address practical needs such as stability, performance, platform compatibility and so forth. To address this, Maestro is a tool for co-simulation using models adhering to the Functional Mock-up Interface standard for co-simulation. Its development was driven by needs from different industry domains such as railways, agriculture, building automation and automotive. It supports both a fixed and variable constraint-based iteration scheme along with platform distribution capabilities. The tool is open-source as an attempt to increase adoption of co-simulation and encourage researchers to collaborate. Maestro has been validated by industry through application in the aforementioned domains. It is a step in the direction of the two-folded long-term goals: ensure trustworthy co-simulation results and make co-simulation a technology taken for granted."\n}\n\n%G INTOCPS TOOL OVERTURE DIT4CPS\n
\n
\n\n\n
\n Cyber-Physical Systems (CPSs) often operate in a critical context where it is crucial that they behave as intended. However, the heterogeneous nature of CPSs makes them inherently challenging to develop. To assist in the development process, one can perform co-simulation, where models of constituents of a CPS are coupled to jointly simulate the full system. The challenge herein is to combine heterogeneous formalisms in a sound fashion and address practical needs such as stability, performance, platform compatibility and so forth. To address this, Maestro is a tool for co-simulation using models adhering to the Functional Mock-up Interface standard for co-simulation. Its development was driven by needs from different industry domains such as railways, agriculture, building automation and automotive. It supports both a fixed and variable constraint-based iteration scheme along with platform distribution capabilities. The tool is open-source as an attempt to increase adoption of co-simulation and encourage researchers to collaborate. Maestro has been validated by industry through application in the aforementioned domains. It is a step in the direction of the two-folded long-term goals: ensure trustworthy co-simulation results and make co-simulation a technology taken for granted.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks.\n \n \n \n\n\n \n Thule, C.; Palmieri, M.; Gomes, C.; Lausdahl, K.; Macedo, H. D.; Battle, N.; and Larsen, P. G.\n\n\n \n\n\n\n In , editor(s), Co-Sim-19 workshop, September 2019. \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{Thule&19b,\n  KEY           = "Thule\\&19",\n  AUTHOR        = "Casper Thule and Maurizio Palmieri and Cláudio Gomes and Kenneth Lausdahl and Hugo Daniel Macedo and Nick Battle and Peter Gorm Larsen",\n  EDITOR        = "",\n  TITLE         = "{Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks}",\n  BOOKTITLE     = "Co-Sim-19 workshop",\n  ORGANIZATION  = "",\n  PUBLISHER     = "",\n  ADDRESS       = "",\n  YEAR          = "2019",\n  MONTH         = "September",\n  PAGES         = "",\n  SIZE          = "",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G  OVERTURE COSIM\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (14)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Enabling Continuous Integration in a Formal Methods Setting.\n \n \n \n\n\n \n Couto, L. D.; Tran-Jørgensen, P. W. V.; and Larsen, P. G.\n\n\n \n\n\n\n In , editor(s), Submitted for publication, 2018. \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&18,\n  KEY           = "Couto\\&18",\n  AUTHOR        = "Luis Diogo Couto and Peter W. V. Tran-J\\o{}rgensen and\n                        Peter Gorm Larsen",\n  EDITOR        = "",\n  TITLE         = "{Enabling Continuous Integration in a Formal Methods Setting}",\n  BOOKTITLE     = "Submitted for publication",\n  ORGANIZATION  = "",\n  PUBLISHER     = "",\n  ADDRESS       = "",\n  YEAR          = "2018",\n  MONTH         = "",\n  PAGES         = "",\n  COMMENT       = "Please refer to Couto&19"}\n\n%G OVERTURE VDM\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n 3.\n \n \n \n\n\n \n Fitzgerald, J.; Gamble, C.; Mansfield, M.; Ouy, J.; Palacin, R.; Pierce, K.; and Larsen, P. G.\n\n\n \n\n\n\n Collaborative modelling and co-simulation for Transportation Cyber-Physical Systems, pages 51–79. Deka, L.; and Chowdhury, M., editor(s). Elsevier, 2018.\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 
@INBOOK{Fitzgerald&18,\n  KEY           = "Fitzgerald\\&18",\n  AUTHOR        = "John Fitzgerald and Carl Gamble and Martin Mansfield and Julien Ouy and\n                        Roberto Palacin and Ken Pierce and Peter Gorm Larsen",\n  TITLE         = "{Collaborative modelling and co-simulation for Transportation Cyber-Physical Systems}",\n  CHAPTER       = "3",\n  PAGES         = "51--79",\n  booktitle = "Transportation Cyber-Physical Systems",\n  editor = "Lipika Deka and Mashrur Chowdhury",\n  PUBLISHER     = "Elsevier",\n  YEAR          = "2018",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G TWIN INTOCPSPUB OVERTURE DIT4CPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Integrating VDM-SL into the continuous delivery pipelines of cloud-based software.\n \n \n \n\n\n \n Fraser, S.\n\n\n \n\n\n\n In Pierce, K.; and Verhoef, M., editor(s), The 16th Overture Workshop, pages 123–138, Oxford, July 2018. Newcastle University, School of Computing\n TR-1524\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{Fraser18,\n  AUTHOR        = "Simon Fraser",\n  EDITOR        = "Ken Pierce and Marcel Verhoef",\n  TITLE         = "{Integrating VDM-SL into the continuous delivery pipelines of cloud-based\nsoftware}",\n  BOOKTITLE     = "The 16th Overture Workshop",\n  ORGANIZATION  = "Newcastle University, School of Computing",\n  ADDRESS       = "Oxford",\n  YEAR          = "2018",\n  MONTH         = "July",\n  PAGES         = "123--138",\n  NOTE          = "{TR-1524}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n\n% G OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n VDM at large: Modelling the EMV 2nd Generation Kernel.\n \n \n \n\n\n \n Freitas, L.\n\n\n \n\n\n\n In Pierce, K.; and Verhoef, M., editor(s), The 16th Overture Workshop, pages 89–106, Oxford, July 2018. Newcastle University, School of Computing\n TR-1524\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{Freitas18,\n  AUTHOR        = "Leo Freitas",\n  EDITOR        = "Ken Pierce and Marcel Verhoef",\n  TITLE         = "{VDM at large: Modelling the EMV 2nd Generation Kernel}",\n  BOOKTITLE     = "The 16th Overture Workshop",\n  ORGANIZATION  = "Newcastle University, School of Computing",\n  ADDRESS       = "Oxford",\n  YEAR          = "2018",\n  MONTH         = "July",\n  PAGES         = "89--106",\n  NOTE          = "{TR-1524}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G OVERTURE VDM INTOCPSPUB\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Non-unified View of Modelling, Specification and Programming.\n \n \n \n\n\n \n Hallerstede, S.; Larsen, P. G.; and Fitzgerald, J.\n\n\n \n\n\n\n In Steffen, T. M. · B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Part 1, pages 52–68, Limassol, Cyprus, November 2018. ISoLA 2018, Springer Nature Switzerland AG\n https://doi.org/10.1007/978-3-030-03418-4_4\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{Hallerstede&18b,\n  AUTHOR        = "Stefan Hallerstede and\n               Peter Gorm Larsen and\n               John Fitzgerald",\n  EDITOR        = "Tiziana Margaria · Bernhard Steffen",\n  TITLE         = "{A Non-unified View of Modelling, Specification and Programming}",\n  BOOKTITLE     = "Leveraging Applications of Formal Methods, Verification and Validation: Part 1",\n  ORGANIZATION  = "ISoLA 2018",\n  PUBLISHER     = "Springer Nature Switzerland AG",\n  ADDRESS       = "Limassol, Cyprus",\n  YEAR          = "2018",\n  MONTH         = "November",\n  PAGES         = "52--68",\n  NOTE          = "https://doi.org/10.1007/978-3-030-03418-4\\_4",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Realization of Distributed System Models using Code Generation Extensions.\n \n \n \n\n\n \n Hasanagić, M.; Tran‐Jørgensen, P. W. V.; Nilsson, R. S.; and Larsen, P. G.\n\n\n \n\n\n\n Software: Practice and Experience, 48(12). December 2018.\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 
@ARTICLE{Hasanagic&18c,\n  KEY           = "Hasanagic\\&18",\n  AUTHOR        = "Miran Hasanagi\\'{c} and Peter W. V. Tran‐J\\o{}rgensen and Ren\\`{e} S. Nilsson and Peter Gorm Larsen",\n  TITLE         = "{Realization of Distributed System Models using Code Generation Extensions}",\n  JOURNAL       = "Software: Practice and Experience",\n  YEAR          = "2018",\n  MONTH         = "December",\n  VOLUME        = "48",\n  NUMBER        = "12",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPS VDM OVERTURE CODEGEN\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Enhancing Testing of VDM-SL Models.\n \n \n \n\n\n \n Tran-Jørgensen, P. W. V.; Nilsson, R.; and Lausdahl, K.\n\n\n \n\n\n\n In Pierce, K.; and Verhoef, M., editor(s), The 16th Overture Workshop, pages 7–22, Oxford, July 2018. Newcastle University, School of Computing\n TR-1524\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{Joergensen&18,\n  AUTHOR        = "Peter W. V. Tran-J\\o{}rgensen and Ren\\'e Nilsson and Kenneth Lausdahl",\n  EDITOR        = "Ken Pierce and Marcel Verhoef",\n  TITLE         = "{Enhancing Testing of VDM-SL Models}",\n  BOOKTITLE     = "The 16th Overture Workshop",\n  ORGANIZATION  = "Newcastle University, School of Computing",\n  ADDRESS       = "Oxford",\n  YEAR          = "2018",\n  MONTH         = "July",\n  PAGES         = "7--22",\n  NOTE          = "{TR-1524}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G OVERTURE VDM TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Design Space Exploration for Secure Building Control.\n \n \n \n\n\n \n Mansfield, M.; Morisset, C.; Gamble, C.; Mace, J. C.; Pierce, K.; and Fitzgerald, J.\n\n\n \n\n\n\n In Pierce, K.; and Verhoef, M., editor(s), The 16th Overture Workshop, pages 71–88, Oxford, July 2018. Newcastle University, School of Computing\n TR-1524\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{Mansfield&18,\n  AUTHOR        = "Martin Mansfield and Charles Morisset and Carl Gamble and John C. Mace\n                             and  Ken Pierce and John Fitzgerald",\n  EDITOR        = "Ken Pierce and Marcel Verhoef",\n  TITLE         = "{Design Space Exploration for Secure Building Control}",\n  BOOKTITLE     = "The 16th Overture Workshop",\n  ORGANIZATION  = "Newcastle University, School of Computing",\n  ADDRESS       = "Oxford",\n  YEAR          = "2018",\n  MONTH         = "July",\n  PAGES         = "71--88",\n  NOTE          = "{TR-1524}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM APPLY VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems.\n \n \n \n\n\n \n Neghina, M.; Zamrescu, C.; Larsen, P. G.; Lausdahl, K.; and Pierce, K.\n\n\n \n\n\n\n Studies in Informatics and Control, 27(1): 33–42. March 2018.\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 
@ARTICLE{Neghina&18,\n  KEY           = "Neghina\\&18",\n  AUTHOR        = "Mihai Neghina and Constantin-Bala Zamrescu and Peter Gorm Larsen and\n                             Kenneth Lausdahl and Ken Pierce",\n  TITLE         = "{Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems}",\n  JOURNAL       = "Studies in Informatics and Control",\n  VOLUME        = "27",\n  NUMBER        = "1",\n  PUBLISHER    = "ICI Bucharest",\n  YEAR          = "2018",\n  MONTH         = "March",\n  PAGES         = "33--42",\n  NOTE.         = "ISSN: 1220-1766 eISSN: 1841-429X",\n  COMMENT       = ""}\n\n%G VDM VDM++ TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Transforming an industrial case study from VDM++ to VDM-SL.\n \n \n \n\n\n \n Nilsson, R.; Lausdahl, K.; Macedo, H. D.; and Larsen, P. G.\n\n\n \n\n\n\n In Pierce, K.; and Verhoef, M., editor(s), The 16th Overture Workshop, pages 107–122, Oxford, July 2018. Newcastle University, School of Computing\n TR-1524\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{Nilsson&18,\n  AUTHOR        = "Ren\\'e Nilsson and Kenneth Lausdahl and Hugo D. Macedo and Peter Gorm\nLarsen",\n  EDITOR        = "Ken Pierce and Marcel Verhoef",\n  TITLE         = "{Transforming an industrial case study from VDM++ to VDM-SL}",\n  BOOKTITLE     = "The 16th Overture Workshop",\n  ORGANIZATION  = "Newcastle University, School of Computing",\n  ADDRESS       = "Oxford",\n  YEAR          = "2018",\n  MONTH         = "July",\n  PAGES         = "107--122",\n  NOTE          = "{TR-1524}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n ViennaVM: a Virtual Machine for VDM-SL development.\n \n \n \n\n\n \n Oda, T.; Araki, K.; and Larsen, P. G.\n\n\n \n\n\n\n In Pierce, K.; and Verhoef, M., editor(s), The 16th Overture Workshop, pages 39–56, Oxford, July 2018. Newcastle University, School of Computing\n TR-1524\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{Oda&18,\n  AUTHOR        = "Tomohiro Oda and Keijiro Araki and Peter Gorm Larsen",\n  EDITOR        = "Ken Pierce and Marcel Verhoef",\n  TITLE         = "{ViennaVM: a Virtual Machine for VDM-SL development}",\n  BOOKTITLE     = "The 16th Overture Workshop",\n  ORGANIZATION  = "Newcastle University, School of Computing",\n  ADDRESS       = "Oxford",\n  YEAR          = "2018",\n  MONTH         = "July",\n  PAGES         = "39--56",\n  NOTE          = "{TR-1524}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Proceedings of the 16th Overture Workshop.\n \n \n \n \n\n\n \n Pierce, K.; and Verhoef, M.,\n editors.\n \n\n\n \n\n\n\n Newcastle University. UK, October 2018.\n CS-TR-1524-2018\n\n\n\n
\n\n\n\n \n \n \"ProceedingsPaper\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 
@PROCEEDINGS{Pierce&18a,\n  KEY           = "Pierce\\&18",\n  EDITOR        = "Ken Pierce and Marcel Verhoef",\n  TITLE         = "Proceedings of the 16th Overture Workshop",\n  PUBLISHER     = "Newcastle University",\n  ADDRESS       = "UK",\n  YEAR          = "2018",\n  MONTH         = "October",\n  NOTE          = "CS-TR-1524-2018",\n  URL           = "https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""\n}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs.\n \n \n \n\n\n \n Thule, C.; Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n In Pierce, K.; and Verhoef, M., editor(s), The 16th Overture Workshop, pages 23–38, Oxford, July 2018. Newcastle University, School of Computing\n TR-1524\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{Thule&18,\n  AUTHOR        = "Casper Thule and Kenneth Lausdahl and Peter Gorm Larsen",\n  EDITOR        = "Ken Pierce and Marcel Verhoef",\n  TITLE         = "{Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs}",\n  BOOKTITLE     = "The 16th Overture Workshop",\n  ORGANIZATION  = "Newcastle University, School of Computing",\n  ADDRESS       = "Oxford",\n  YEAR          = "2018",\n  MONTH         = "July",\n  PAGES         = "23--38",\n  NOTE          = "{TR-1524}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPS CPS OVERTURE DIT4CPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Multi-modelling of Cooperative Swarms.\n \n \n \n\n\n \n Zervakis, G.; Pierce, K.; and Gamble, C.\n\n\n \n\n\n\n In Pierce, K.; and Verhoef, M., editor(s), The 16th Overture Workshop, pages 57–70, Oxford, July 2018. Newcastle University, School of Computing\n TR-1524\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{Zervakis&18,\n  AUTHOR        = "Georgios Zervakis and Ken Pierce and Carl Gamble",\n  EDITOR        = "Ken Pierce and Marcel Verhoef",\n  TITLE         = "{Multi-modelling of Cooperative Swarms}",\n  BOOKTITLE     = "The 16th Overture Workshop",\n  ORGANIZATION  = "Newcastle University, School of Computing",\n  ADDRESS       = "Oxford",\n  YEAR          = "2018",\n  MONTH         = "July",\n  PAGES         = "57--70",\n  NOTE          = "{TR-1524}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G ARF DIT4CPS UPSIM OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (21)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Analysis Separation without Visitors.\n \n \n \n\n\n \n Battle, N.\n\n\n \n\n\n\n In Fitzgerald, Tran-Jørgensen, editor(s), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, pages 104–115, Newcastle, UK, September 2017. Newcastle University, Computing Science. Technical Report Series. CS-TR-1513\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{Battle17,\n  KEY           = "Battle17",\n  AUTHOR        = "Nick Battle",\n  EDITOR        = "{Fitzgerald, Tran-J\\o{}rgensen, Oda}",\n  TITLE         = "{Analysis Separation without Visitors}",\n  BOOKTITLE     = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",\n  ORGANIZATION  = "Newcastle University",\n  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR-1513",\n  ADDRESS       = "Newcastle, UK",\n  YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "104--115",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL DIT4CPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems.\n \n \n \n \n\n\n \n Bhattacharyya, A.; Mokhov, A.; and Pierce, K.\n\n\n \n\n\n\n Formal Aspects of Computing,1–57. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Article{Bhattacharyya&17,\nauthor="Bhattacharyya, Anirban\nand Mokhov, Andrey\nand Pierce, Ken",\ntitle="An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems",\njournal="Formal Aspects of Computing",\nyear="2017",\npages="1--57",\nabstract="This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The requirements on an ideal formalism for dynamic software reconfiguration are defined. The reconfiguration of an office workflow for order processing is described, and the requirements on the reconfiguration of the workflow are defined. The workflow is modelled using the Vienna Development Method (VDM), conditional partial order graphs (CPOGs), and the basic Calculus of Communicating Systems for dynamic process reconfiguration (basic CCSdp), and verification of the reconfiguration requirements is attempted using the models. The formalisms are evaluated according to their ability to model the reconfiguration of the workflow, to verify the requirements on the workflow's reconfiguration, and to meet the requirements on an ideal formalism.",\nissn="1433-299X",\ndoi="10.1007/s00165-016-0405-z",\nurl="http://dx.doi.org/10.1007/s00165-016-0405-z"\n}\n\n%G COSIM OVERTURE INTOCPS DSE \n
\n
\n\n\n
\n This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The requirements on an ideal formalism for dynamic software reconfiguration are defined. The reconfiguration of an office workflow for order processing is described, and the requirements on the reconfiguration of the workflow are defined. The workflow is modelled using the Vienna Development Method (VDM), conditional partial order graphs (CPOGs), and the basic Calculus of Communicating Systems for dynamic process reconfiguration (basic CCSdp), and verification of the reconfiguration requirements is attempted using the models. The formalisms are evaluated according to their ability to model the reconfiguration of the workflow, to verify the requirements on the workflow's reconfiguration, and to meet the requirements on an ideal formalism.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Injecting Formal Verification in FMI-based Co-Simulation of Cyber-Physical Systems.\n \n \n \n\n\n \n Couto, L. D.; Basagianis, S.; Mady, A. E.; Ridouane, E. H.; Larsen, P. G.; and Hasanagic, M.\n\n\n \n\n\n\n In , editor(s), The 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS), Trento, Italy, September 2017. \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&17,\n  KEY           = "Couto\\&17",\n  AUTHOR        = "Luis Diogo Couto and Stylianos Basagianis and Alie El-Din\n                   Mady and El Hassan Ridouane and Peter Gorm Larsen and\n                   Miran Hasanagic",\n  EDITOR        = "",\n  TITLE         = "{Injecting Formal Verification in FMI-based Co-Simulation\n                    of Cyber-Physical Systems}",\n  BOOKTITLE     = "The 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS)",\n  ORGANIZATION  = "",\n  PUBLISHER     = "",\n  ADDRESS       = "Trento, Italy",\n  YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "",\n  SIZE          = "15",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G OVERTURE VDM\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n The Mars-Rover Case Study Modelled Using INTO-CPS.\n \n \n \n\n\n \n Feo-Arenis, S.; Verhoef, M.; and Larsen, P. G.\n\n\n \n\n\n\n In Fitzgerald, Tran-Jørgensen, editor(s), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, pages 130–144, Newcastle, UK, September 2017. Newcastle University, Computing Science. Technical Report Series. CS-TR- 1513\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{Feo-Arenis&17,\n  KEY           = "Feo-Arenis\\&17",\n  AUTHOR        = "Sergio Feo-Arenis and Marcel Verhoef and Peter Gorm Larsen",\n  EDITOR        = "{Fitzgerald, Tran-J\\o{}rgensen, Oda}",\n  TITLE         = "{The Mars-Rover Case Study Modelled Using {INTO-CPS}}",\n  BOOKTITLE     = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",\n  ORGANIZATION  = "Newcastle University",\n  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR- 1513",\n  ADDRESS       = "Newcastle, UK",\n  YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "130--144",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Exploring the Cyber-Physical Design Space.\n \n \n \n \n\n\n \n Fitzgerald, J.; Gamble, C.; Payne, R.; and Lam, B.\n\n\n \n\n\n\n In , editor(s), Proc. INCOSE Intl. Symp. on Systems Engineering, volume 27, pages 371–385, Adelaide, Australia, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"ExploringPaper\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{Fitzgerald&17a,\n  KEY           = "Fitzgerald&17a",\n  AUTHOR        = "John Fitzgerald and Carl Gamble and Richard Payne and Benjamin Lam",\n  EDITOR        = "",\n  TITLE         = "{Exploring the Cyber-Physical Design Space}",\n  BOOKTITLE     = "{Proc. INCOSE Intl. Symp. on Systems Engineering}",\n  ADDRESS       = "Adelaide, Australia",\n  volume        = {27},\n  number        = {1},\n  issn          = {2334-5837},\n  url           = {http://dx.doi.org/10.1002/j.2334-5837.2017.00366.x},\n  doi           = {10.1002/j.2334-5837.2017.00366.x},\n  pages         = {371--385},\n  year          = {2017},\n  COMMENT       = ""\n}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Proceedings of the 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering.\n \n \n \n \n\n\n \n Fitzgerald, J.; Tran-Jørgensen, P. W. V.; and Oda, T.,\n editors.\n \n\n\n \n\n\n\n Newcastle University. UK, October 2017.\n CS-TR- 1513-2017\n\n\n\n
\n\n\n\n \n \n \"ProceedingsPaper\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 
@PROCEEDINGS{Fitzgerald&17b,\n  KEY           = "Fitzgerald\\&17b",\n  EDITOR        = "John Fitzgerald and Peter W. V. Tran-J\\o{}rgensen and Tomohiro Oda",\n  TITLE         = "Proceedings of the 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",\n  PUBLISHER     = "Newcastle University",\n  ADDRESS       = "UK",\n  YEAR          = "2017",\n  MONTH         = "October",\n  NOTE          = "CS-TR- 1513-2017",\n  URL           = "http://eprint.ncl.ac.uk/file_store/production/243183/E06A1923-04C3-4BCB-B768-1E0BA5B1AB55.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""\n}\n\n%G INTOCPSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated translation of VDM to JML-annotated Java.\n \n \n \n \n\n\n \n Tran-Jørgensen, P. W. V.; Larsen, P. G.; and Leavens, G. T.\n\n\n \n\n\n\n International Journal on Software Tools for Technology Transfer,1–25. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Article{Jorgensen&17,\nauthor="Tran-J{\\o}rgensen, Peter W. V.\nand Larsen, Peter Gorm\nand Leavens, Gary T.",\ntitle="{Automated translation of VDM to JML-annotated Java}",\njournal="International Journal on Software Tools for Technology Transfer",\nyear="2017",\npages="1--25",\nabstract="When a system specified using the Vienna Development Method (VDM) is realised using code-generation, no guarantees are currently made about the correctness of the generated code. In this paper, we improve code-generation of VDM models by taking contract-based elements such as invariants and pre- and postconditions into account during the code-generation process. The contract-based elements of the Vienna Development Method Specification Language (VDM-SL) are translated into corresponding constructs in the Java Modelling Language (JML) and used to validate the generated code against the properties of the VDM model. VDM-SL and JML are both Design-by-Contract (DbC) languages, with the difference that VDM-SL supports abstract modelling and system specification, while JML is used for detailed specification of Java classes and interfaces. We describe the semantic differences between the contract-based elements of VDM-SL and JML and formulate the translation as a set of rules. We further demonstrate how dynamic JML assertion checks can be used to ensure the consistency of VDM's subtypes when a model is code-generated. The translator is fully automated and produces JML-annotated Java programs that can be checked for correctness using JML tools.",\nissn="1433-2787",\ndoi="10.1007/s10009-017-0448-3",\nurl="http://dx.doi.org/10.1007/s10009-017-0448-3"\n}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n
\n When a system specified using the Vienna Development Method (VDM) is realised using code-generation, no guarantees are currently made about the correctness of the generated code. In this paper, we improve code-generation of VDM models by taking contract-based elements such as invariants and pre- and postconditions into account during the code-generation process. The contract-based elements of the Vienna Development Method Specification Language (VDM-SL) are translated into corresponding constructs in the Java Modelling Language (JML) and used to validate the generated code against the properties of the VDM model. VDM-SL and JML are both Design-by-Contract (DbC) languages, with the difference that VDM-SL supports abstract modelling and system specification, while JML is used for detailed specification of Java classes and interfaces. We describe the semantic differences between the contract-based elements of VDM-SL and JML and formulate the translation as a set of rules. We further demonstrate how dynamic JML assertion checks can be used to ensure the consistency of VDM's subtypes when a model is code-generated. The translator is fully automated and produces JML-annotated Java programs that can be checked for correctness using JML tools.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Features of Integrated Model-based Co-modelling and Co-simulation Technology.\n \n \n \n\n\n \n Larsen, P. G.; Fitzgerald, J.; Woodcock, J.; Gamble, C.; Payne, R.; and Pierce, K.\n\n\n \n\n\n\n In Bernardeschi; Masci; and Larsen, editor(s), 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy, September 2017. LNCS, Springer-Verlag\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{Larsen&17a,\n  KEY           = "Larsen\\&17",\n  AUTHOR        = "Peter Gorm Larsen and John Fitzgerald and Jim Woodcock and Carl Gamble\n                             and Richard Payne and Kenneth Pierce",\n  EDITOR        = "Bernardeschi and Masci and Larsen",\n  TITLE         = "Features of Integrated Model-based Co-modelling and Co-simulation Technology",\n  BOOKTITLE     = "1st Workshop on Formal Co-Simulation of Cyber-Physical Systems",\n  ORGANIZATION  = "LNCS",\n  PUBLISHER     = "Springer-Verlag",\n  ADDRESS       = "Trento, Italy",\n  YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G COMPASSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Transitioning from Crescendo to INTO-CPS.\n \n \n \n\n\n \n Lausdahl, K.; Bjerge, K.; Bokhove, T.; Groen, F.; and Larsen, P. G.\n\n\n \n\n\n\n In Fitzgerald, J.; Tran-Jørgensen, P. W. V.; and Oda, T., editor(s), Proceedings of the 15th Overture Workshop, pages 16–30, Computing Science. Technical Report Series. CS-TR- 1513, September 2017. Newcastle University\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&17,\n  KEY           = "Lausdahl\\&17",\n  AUTHOR        = "Kenneth Lausdahl and Kim Bjerge and Tom Bokhove and Frank Groen\n                             and Peter Gorm Larsen",\n  EDITOR        = "John Fitzgerald and Peter W. V. Tran-J\\o{}rgensen and Tomohiro Oda",\n  TITLE         = "{Transitioning from Crescendo to {INTO-CPS}}",\n  BOOKTITLE     = "Proceedings of the 15th Overture Workshop",\n  PUBLISHER     = "Newcastle University",\n  ADDRESS       = "Computing Science. Technical Report Series.  CS-TR- 1513",\n  YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "16--30",\n  COMMENT       = ""}\n\n%G INTOCPSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions.\n \n \n \n\n\n \n Lausdahl, K.; Thule, C.; Larsen, P.; Höll, J.; König, C; Klueber, A.; Pfeil, M.; and Fässler, V.\n\n\n \n\n\n\n In FMI User Meeting, May 2017. \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&17a,\n  KEY           = "Lausdahl\\&17",\n  AUTHOR        = "K. Lausdahl and C. Thule and P.G. Larsen and\n                              J. H{\\"o}ll and C K{\\"o}nig  and  A. Klueber and M. Pfeil and\n                              V. F{\\"a}ssler",\n  TITLE         = "{The {INTO-CPS} Co-Simulation Orchestration Engine -- Experiences with FMI 2.0 and proposed extensions}",\n  BOOKTITLE     = "FMI User Meeting",\n  PUBLISHER     = "",\n  ADDRESS       = "",\n  YEAR          = "2017",\n  MONTH         = "May",\n  PAGES         = "",\n  COMMENT       = ""}\n\n%G DIT4CPS INTOCPS OVERTURE ARF\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automated Generation of Decision Table and Boundary Values from VDM++ Specification.\n \n \n \n\n\n \n Myojin, T.; and Ishikawa, F.\n\n\n \n\n\n\n In Fitzgerald, Tran-Jørgensen, editor(s), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, pages 74–88, Newcastle, UK, September 2017. Newcastle University, Computing Science. Technical Report Series. CS-TR- 1513\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{Myojin&17,\n  KEY           = "Myojin\\&17",\n  AUTHOR        = "Tomoyuki Myojin and Fuyuki Ishikawa",\n  EDITOR        = "{Fitzgerald, Tran-J\\o{}rgensen, Oda}",\n  TITLE         = "{Automated Generation of Decision Table and Boundary Values\n                          from VDM++ Specification}",\n  BOOKTITLE     = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",\n  ORGANIZATION  = "Newcastle University",\n  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR- 1513",\n  ADDRESS       = "Newcastle, UK",\n  YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "74--88",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPSPUB CPS VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Discrete Event-First Approach to Collaborative Modelling of Cyber-Physical Systems.\n \n \n \n\n\n \n Neghina, M.; Zamrescu, C.; Larsen, P. G.; Lausdahl, K.; and Pierce, K.\n\n\n \n\n\n\n In Fitzgerald, Tran-Jørgensen, editor(s), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, pages 116–129, Newcastle, UK, September 2017. Newcastle University, Computing Science. Technical Report Series. CS-TR- 1513\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{Neghina&17,\n  KEY           = "Neghina\\&17",\n  AUTHOR        = "Mihai Neghina and Constantin-Bala Zamrescu and Peter Gorm Larsen and\n                             Kenneth Lausdahl and Ken Pierce",\n  EDITOR        = "{Fitzgerald, Tran-J\\o{}rgensen, Oda}",\n  TITLE         = "{A Discrete Event-First Approach to Collaborative Modelling of Cyber-Physical Systems}",\n  BOOKTITLE     = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",\n  ORGANIZATION  = "Newcastle University",\n  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR- 1513",\n  ADDRESS       = "Newcastle, UK",\n  YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "116--129",\n  COMMENT       = ""}\n\n%G INTOCPSPUB CPS VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Formal Modeling Tool for Exploratory Modeling in Software Development.\n \n \n \n \n\n\n \n Oda, T.; Araki, K.; and Larsen, P. G.\n\n\n \n\n\n\n IEICE Transactions on Information and Systems, 100(6): 1210–1217. June 2017.\n \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 
@ARTICLE{Oda&17a,\n  KEY           = "Oda\\&17a",\n  AUTHOR        = "Tomohiro Oda and Keijiro Araki and Peter Gorm Larsen",\n  TITLE         = "A Formal Modeling Tool for Exploratory Modeling in Software\n                   Development",\n  JOURNAL       = "IEICE Transactions on Information and Systems",\n  YEAR          = "2017",\n  MONTH         = "June",\n  VOLUME        = "100",\n  NUMBER        = "6",\n  PAGES         = {1210--1217},\n  PUBLISHER     = {The Institute of Electronics, Information and Communication Engineers},\n\n  URL        = "https://www.jstage.jst.go.jp/article/transinf/E100.D/6/E100.D\\_2016FOP0003/\\_article",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Debugging Auto-Generated Code with Source Specification in Exploratory Modeling.\n \n \n \n\n\n \n Oda, T.; Araki, K.; and Larsen, P. G.\n\n\n \n\n\n\n In The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, pages 59–73, Newcastle, UK, September 2017. Newcastle University, Computing Science. Technical Report Series. CS-TR- 1513\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{Oda&17b,\n  KEY           = "Oda\\&17b",\n  AUTHOR        = "Tomohiro Oda and Keijiro Araki and Peter Gorm Larsen",\n  TITLE         = "{Debugging Auto-Generated Code with Source Specification in Exploratory Modeling}",\n  BOOKTITLE     = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",\n  ADDRESS       = "Newcastle, UK",\n  ORGANIZATION  = "Newcastle University",\n  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR- 1513",\n  YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "59--73"\n  }\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n ViennaTalk: An Integrated Specification Environment Focused on the Early Stage of the Formal Specification Phase.\n \n \n \n \n\n\n \n Oda, T.; and Araki, K.\n\n\n \n\n\n\n Computer Software, 34(4): 4_129–4_143. November 2017.\n \n\n\n\n
\n\n\n\n \n \n \"ViennaTalk:Paper\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@ARTICLE{Oda&17c,\n  KEY           = "Oda\\&17c",\n  AUTHOR        = "Tomohiro Oda and Keijiro Araki",\n  TITLE         = "{ViennaTalk: An Integrated Specification Environment Focused on the Early Stage of the Formal Specification Phase}",\n  JOURNAL       = "Computer Software",\n  YEAR          = "2017",\n  MONTH         = "November",\n  VOLUME        = "34",\n  NUMBER        = "4",\n  PAGES         = "{4\\_129--4\\_143}",\n  DOI           = {10.11309/jssst.34.4_129},\n  URL           = "https://www.jstage.jst.go.jp/article/jssst/34/4/34_4_129/_article/-char/ja/",\n  COMMENT       = "in Japanese"}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Exploratory Modeling in Formal Specification.\n \n \n \n \n\n\n \n Oda, T.\n\n\n \n\n\n\n Ph.D. Thesis, Kyushu University, September 2017.\n \n\n\n\n
\n\n\n\n \n \n \"ExploratoryPaper\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 
@phdthesis{Oda&17d,\n  key           = "Oda\\&17d",\n  author        = "Tomohiro Oda",\n  title         = "Exploratory Modeling in Formal Specification",\n  school        = "Kyushu University",\n  year          = "2017",\n  month         = "September",\n  URL           = "http://catalog.lib.kyushu-u.ac.jp/en/recordID/1866375"\n}\n\n%G OVERTURE VDM TOOL\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,\n  KEY           = "Pedersen\\&17",\n  AUTHOR        = "Nicolai Pedersen and Kenneth Lausdahl and Enrique Vidal Sanchez and\n                            Peter Gorm Larsen and Jan Madsen",\n  EDITOR        = "",\n  TITLE         = "{Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using {INTO-CPS}}",\n  BOOKTITLE     = "Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2017)",\n  ORGANIZATION  = "",\n  PUBLISHER     = "",\n  ADDRESS       = "Madrid, Spain",\n  YEAR          = "2017",\n  MONTH         = "July",\n  PAGES         = "73--82",\n  NOTE          = "ISBN: 978-989-758-265-3",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Refactoring Support for VDM-SL.\n \n \n \n\n\n \n Pedersen, M. L.; and Mathiesen, P. K.\n\n\n \n\n\n\n Master's thesis, Aarhus University, Department of Engineering, January 2017.\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 
@MASTERSTHESIS{Petersen&17a,\n  KEY           = "Pedersen\\&17",\n  AUTHOR        = "Magnus L. Pedersen and Peter K. Mathiesen",\n  TITLE         = "{Refactoring Support for VDM-SL}",\n  SCHOOL        = "Aarhus University",\n  ADDRESS       = "Department of Engineering",\n  YEAR          = "2017",\n  MONTH         = "January",\n  ANNOTE        = "",\n  COMMENT       = ""}\n  \n%G OVERTURE INTOCPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n https://www.raspberrypi.org/.\n \n \n \n\n\n \n Raspberry Pi Foundation\n\n\n \n\n\n\n August 2017.\n Raspberry Pi Foundation website\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 
@MISC{RaspberryPi17a,\n  KEY           = "{RaspberryPi17a}",\n  AUTHOR        = "{Raspberry Pi Foundation}",\n  TITLE         = "{https://www.raspberrypi.org/}",\n  NOTE          = "{Raspberry Pi Foundation website}",\n  YEAR          = "{2017}",\n  MONTH         = "{August}",\n  ANNOTE        = "",\n  COMMENT       = ""\n}\n\n%G OVERTURE VDM\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Multi-Models for Self-* Cyber-Physical Systems.\n \n \n \n\n\n \n Salim, H.; and Fitzgerald, J.\n\n\n \n\n\n\n In Fitzgerald, J.; Tran-Jørgensen, P. W. V.; and Oda, T., editor(s), Proceedings of the 15th Overture Workshop, pages 44–58, September 2017. Newcastle University, Computing Science. Technical Report Series. CS-TR- 1513\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{Salim&17,\n  KEY           = "Salim\\&17",\n  AUTHOR        = "Hansen Salim and John Fitzgerald",\n  EDITOR        = "John Fitzgerald and Peter W. V. Tran-J{\\o}rgensen and Tomohiro Oda",\n  TITLE         = "{Towards Multi-Models for Self-* Cyber-Physical Systems}",\n  BOOKTITLE     = "Proceedings of the 15th Overture Workshop",\n  ORGANIZATION  = "Newcastle University",\n  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR- 1513",\n YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "44--58",\n  COMMENT       = ""}\n\n%G VDM TEST TOOL VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automated Generation of Decision Table and Boundary Values from VDM++ Specification.\n \n \n \n\n\n \n Tachiyama, H.; Tetsuro Katayama, undefined; and Oda, T.\n\n\n \n\n\n\n In Fitzgerald, Tran-Jørgensen, editor(s), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, pages 89–103, Newcastle, UK, September 2017. Newcastle University, Computing Science. Technical Report Series. CS-TR- 1513\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{Tachiyama&17,\n  KEY           = "Tachiyama\\&17",\n  AUTHOR        = "Hiroki Tachiyama and Tetsuro Katayama, and Tomohiro Oda",\n  EDITOR        = "{Fitzgerald, Tran-J\\o{}rgensen, Oda}",\n  TITLE         = "{Automated Generation of Decision Table and Boundary Values\n                          from VDM++ Specification}",\n  BOOKTITLE     = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",\n  ORGANIZATION  = "Newcastle University",\n  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR- 1513",\n  ADDRESS       = "Newcastle, UK",\n  YEAR          = "2017",\n  MONTH         = "September",\n  PAGES         = "89--103",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPS  OVERTURE DIT4CPS\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (26)\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 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 \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&16a,\n  Title                    = {{Principles for Reuse in Formal Language Tools}},\n  Author                   = {Couto, Lu\\'{\\i}s Diogo and Tran-J{\\o}rgensen, Peter W V and Lausdahl, Kenneth},\n  Booktitle                = {31st ACM Symposium on Applied Computing},\n  Year                     = {2016},\nmonth = {April},\n}\n\n%G OVERTURE TEMPOPUB VDM\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 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 \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,\n  KEY           = "Couto\\&16",\n  AUTHOR        = "Luis Diogo Couto and Kenneth Lausdahl and Nico Plat and\n                   Peter Gorm Larsen and Ken Pierce",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  TITLE         = "{Decoupling validation UIs using Publish-Subscribe\n                    binding of instance variables in Overture}",\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\n  ADDRESS       = "Cyprus, Greece",\n  YEAR          = "2016",\n  MONTH         = "November",\n  PAGES         = "123--136",\n  NOTE          = "{ECE-TR-28}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPSPUB VDM CPS OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Transcompilation of VDM-SL to C#.\n \n \n \n\n\n \n Diswal, S. P.\n\n\n \n\n\n\n Master's thesis, Aarhus University, Department of Computer Science, June 2016.\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 
@MASTERSTHESIS{Diswal16,\n  KEY           = "Diswal16",\n  AUTHOR        = "Steffen Pham Diswal",\n  TITLE         = "{Transcompilation of VDM-SL to C\\#}",\n  SCHOOL        = "Aarhus University, Department of Computer Science",\n  YEAR          = "2016",\n  MONTH         = "June"}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automated Generation of C# and .NET Code Contracts from VDM-SL Models.\n \n \n \n\n\n \n Diswal, S. P.; Tran-Jørgensen, P. W.; and Larsen, P. G.\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 32–47, Cyprus, November 2016. Aarhus University, Department of Engineering\n ECE-TR-28\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{Diswal&16,\n  KEY           = "Diswal\\&16",\n  AUTHOR        = "Steffen Pham Diswal and Peter W.V. Tran-J{\\o}rgensen and\n                   Peter Gorm Larsen",\n  TITLE         = "{Automated Generation of C\\# and .NET Code Contracts\n                    from VDM-SL Models}",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\n  PUBLISHER     = "",\n  ADDRESS       = "Cyprus",\n  YEAR          = "2016",\n  MONTH         = "November",\n  PAGES         = "32--47",\n  NOTE          = "{ECE-TR-28}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Collaborative Model-based Systems Engineering for Cyber-Physical Systems – a Case Study in Building Automation.\n \n \n \n\n\n \n Fitzgerald, J.; Gamble, C.; Payne, R.; Larsen, P. G.; Basagiannis, S.; and Mady, A. E.\n\n\n \n\n\n\n In , editor(s), Proc. INCOSE Intl. Symp. on Systems Engineering, Edinburgh, Scotland, July 2016. \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{Fitzgerald&16,\n  KEY           = "Fitzgerald&16",\n  AUTHOR        = "John Fitzgerald and Carl Gamble and Richard Payne and\n                   Peter Gorm Larsen and Stylianos Basagiannis and\n                   Alie El-Din Mady",\n  EDITOR        = "",\n  TITLE         = "{Collaborative Model-based Systems Engineering for Cyber-Physical Systems -- a Case Study in Building Automation}",\n  BOOKTITLE     = "{Proc. INCOSE Intl. Symp. on Systems Engineering}",\n  ADDRESS       = "Edinburgh, Scotland",\n  YEAR          = "2016",\n  MONTH         = "July",\n  PAGES         = "",\n  ANNOTE        = "",\n  COMMENT       = "Use Fitzgerald&16a in preference"}\n\n%G INTOCPSPUB CPS OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study.\n \n \n \n\n\n \n Fitzgerald, J.; Gamble, C.; Payne, R.; Larsen, P. G.; Basagiannis, S.; and Mady, A. E.\n\n\n \n\n\n\n INCOSE International Symposium, 26(1): 817–832. 2016.\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article {Fitzgerald&16a,\n  key = "Fitzgerald&16a",\n  author = {Fitzgerald, John and Gamble, Carl and Payne, Richard and Larsen, Peter Gorm and Basagiannis, Stylianos and Mady, Alie El-Din},\n  title = {Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study},\n  journal = {INCOSE International Symposium},\n  volume = {26},\n  number = {1},\n  issn = {2334-5837},\n  doi = {10.1002/j.2334-5837.2016.00195.x},\n  pages = {817--832},\n  year = {2016},\n  comment = "Final version of Fitzgerald&16"}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards integration of Overture into TASTE.\n \n \n \n\n\n \n Fabbri, T.; Verhoef, M.; Bandur, V.; Perrotin, M.; Tsiodras, T.; and Larsen, P. G.\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 94–107, Cyprus, Greece, November 2016. Aarhus University, Department of Engineering\n ECE-TR-28\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{Fabbri&16,\n  KEY           = "Fabbri\\&16",\n  AUTHOR        = "Tommaso Fabbri and Marcel Verhoef and Victor Bandur and\n                   Maxime Perrotin and Thanassis Tsiodras and Peter Gorm Larsen",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  TITLE         = "{Towards integration of Overture into TASTE}",\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\n  ADDRESS       = "Cyprus, Greece",\n  YEAR          = "2016",\n  MONTH         = "November",\n  PAGES         = "94--107",\n  NOTE          = "{ECE-TR-28}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL CPS DESTECS\n
\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 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 \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,\n  KEY           = "Hasanagic\\&16",\n  AUTHOR        = "Miran Hasanagi\\'{c} and Peter W. V. Tran-J\\o{}rgensen and Kenneth Lausdahl and Peter Gorm Larsen",\n  TITLE         = "{Formalising and Validating the Interface Description in the FMI standard}",\n BOOKTITLE     = "{The 21st International Symposium on Formal Methods (FM 2016)}",\n year =         "2016",\n  MONTH         = "November",\n  COMMENT       = ""}\n\n%G VDM TOOL INTOCPS AGCO CODEGEN OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Code Generation from VDM++ to TypeScript.\n \n \n \n\n\n \n Holst, P.; and Bram, N.\n\n\n \n\n\n\n Master's thesis, Aarhus University, Department of Engineering, June 2016.\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 
@MASTERSTHESIS{Holst&16,\n  KEY           = "Holst\\&16",\n  AUTHOR        = "Peter Holst and Nikolas Bram",\n  TITLE         = "{Code Generation from VDM++ to TypeScript}",\n  SCHOOL        = "Aarhus University, Department of Engineering",\n  YEAR          = "2016",\n  MONTH         = "June"}\n\n%G DESTECS OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Resilience Profiling in the Model-Based Design of Cyber-Physical Systems.\n \n \n \n\n\n \n Jackson, M.; and Fitzgerald, J.\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 1–15, Cyprus, Greece, November 2016. Aarhus University, Department of Engineering\n ECE-TR-28\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{Jackson&16,\n  KEY           = "Jackson\\&16",\n  AUTHOR        = "Mark Jackson and John Fitzgerald",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  TITLE         = "{Resilience Profiling in the Model-Based Design of\n                    Cyber-Physical Systems}",\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\n  ADDRESS       = "Cyprus, Greece",\n  YEAR          = "2016",\n  MONTH         = "November",\n  PAGES         = "1--15",\n  NOTE          = "{ECE-TR-28}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G DESTECS OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Enhancing System Realisation in Formal Model Development.\n \n \n \n\n\n \n Tran-Jørgensen, P. W. V.\n\n\n \n\n\n\n Ph.D. Thesis, Aarhus University, September 2016.\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 
@PhdThesis{Jorgensen&16c,\n  key =          "Jorgensen\\&16c",\n  author =       "Peter W. V. Tran-J{\\o}rgensen",\n  title =        "{Enhancing System Realisation in Formal Model\n                 Development}",\n  school =       "Aarhus University",\n  year =         "2016",\n  month =        sep,\n  ISBN =         "987-87-7507-375-7",\n}\n\n%G VDM JML OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Using JML-based Code Generation to Enhance the Test Automation for VDM Models.\n \n \n \n\n\n \n Tran-Jørgensen, P. W.; Larsen, P. G.; and Battle, N.\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 79–93, Cyprus, November 2016. Aarhus University, Department of Engineering\n ECE-TR-28\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{Joergensen&16,\n  KEY           = "J{\\"o}rgensen\\&16",\n  AUTHOR        = "Peter W.V. Tran-J{\\o}rgensen and Peter Gorm Larsen and Nick\n                   Battle",\n  TITLE         = "{Using JML-based Code Generation to Enhance the Test\n                    Automation for VDM Models}",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\n  PUBLISHER     = "",\n  ADDRESS       = "Cyprus",\n  YEAR          = "2016",\n  MONTH         = "November",\n  PAGES         = "79--93",\n  NOTE          = "{ECE-TR-28}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G OVERTURE VDM TOOL\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: The INTO-CPS project.\n \n \n \n\n\n \n Larsen, P. G.; Fitzgerald, J.; Woodcock, J.; Fritzson, P.; Brauer, J.; Kleijn, C.; Lecomte, T.; Pfeil, M.; Green, O.; Basagiannis, S.; and Sadovykh, A.\n\n\n \n\n\n\n In 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), Vienna, Austria, April 2016. IEEE\n http://ieeexplore.ieee.org/document/7496424/\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{Larsen16,\n  KEY           = "Larsen16",\n  AUTHOR        = "Peter Gorm Larsen and John Fitzgerald and Jim Woodcock and Peter Fritzson and Joerg Brauer and Christian Kleijn and Thierry Lecomte and Markus Pfeil and Ole Green and Sylianos Basagiannis and Andrey Sadovykh",\n  TITLE         = "Integrated tool chain for model-based design of Cyber-Physical Systems: The {INTO-CPS} project",\n  BOOKTITLE     = "2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)",\n  ORGANIZATION  = "IEEE",\n  ADDRESS       = "Vienna, Austria",\n  YEAR          = "2016",\n  MONTH         = "April",\n  SIZE          = "6",\n  NOTE          = "http://ieeexplore.ieee.org/document/7496424/",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL"}\n\n\n%G VDM OVERTURE TOOL DIT4CPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA.\n \n \n \n\n\n \n Larsen, P. G.; and Fitzgerald, J.\n\n\n \n\n\n\n Journal of Logical and Algebraic Methods in Programming, 85(5, Part 2): 985–998. August 2016.\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@ARTICLE{Larsen&15b,\n  KEY           = "Larsen\\&15",\n  AUTHOR        = "Peter Gorm Larsen and John Fitzgerald",\n  TITLE         = "{The evolution of VDM tools from the 1990s to 2015 and\n                    the influence of CAMILA}",\n  JOURNAL       = "Journal of Logical and Algebraic Methods in Programming",\n  YEAR          = "2016",\n  MONTH         = "August",\n  VOLUME        = "85",\n  NUMBER        = "5, Part 2",\n  PAGES         = "985--998",\n  ISSN          = "2352-2208",\n  DOI           = "http://dx.doi.org/10.1016/j.jlamp.2015.10.001",\n  ANNOTE        = "",\n  COMMENT       = "BIB I have the sources (PGL)"}\n\n%G INTOCPSPUB VDM TOOL OVERTURE\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: The INTO-CPS Project.\n \n \n \n\n\n \n Larsen, P. G.; Fitzgerald, J.; Woodcock, J.; Fritzson, P.; Brauer, J.; Kleijn, C.; Lecomte, T.; Pfeil, M.; Green, O.; Basagiannis, S.; and Sadovykh, A.\n\n\n \n\n\n\n In CPS Data Workshop, Vienna, Austria, April 2016. \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{Larsen&16a,\n  KEY           = "Larsen\\&16",\n  AUTHOR        = "Peter Gorm Larsen and John Fitzgerald and Jim Woodcock and\n                   Peter Fritzson and J{\\"{o}}rg Brauer and Christian Kleijn\n                   and Thierry Lecomte and Markus Pfeil and Ole Green and\n                   Stylianos Basagiannis and Andrey Sadovykh",\n  TITLE         = "{Integrated Tool Chain for Model-based Design of\n                    Cyber-Physical Systems: The {INTO-CPS} Project}",\n  BOOKTITLE     = "CPS Data Workshop",\n  PUBLISHER     = "",\n  ADDRESS       = "Vienna, Austria",\n  YEAR          = "2016",\n  MONTH         = "April",\n  PAGES         = "",\n  SIZE          = "",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Modelling and Simulating an Agricultural Robot.\n \n \n \n\n\n \n Larsen, P. G.; Esparza, J.; Fitzgerald, J.; Hallerstede, S.; and Green, O.\n\n\n \n\n\n\n In Vienna, Austria, April 2016. CPS Week, IEEE\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{Larsen&16b,\n  KEY           = "Larsen\\&16",\n  AUTHOR        = "Peter Gorm Larsen and Jose Esparza and John Fitzgerald and\n                   Stefan Hallerstede and Ole Green",\n  TITLE         = "{Modelling and Simulating an Agricultural Robot}",\n  ORGANIZATION  = "CPS Week",\n  PUBLISHER     = "IEEE",\n  ADDRESS       = "Vienna, Austria",\n  YEAR          = "2016",\n  MONTH         = "April",\n  PAGES         = "",\n  SIZE          = "",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPSPUB VDM TOOL OVERTURE\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 Larsen, P. G.; Thule, C.; Lausdahl, K.; Bandur, 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 \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&16c,\n  KEY           = "Larsen\\&16",\n  AUTHOR        = "Peter Gorm Larsen and Casper Thule and Kenneth Lausdahl\n                   and Victor Bandur and Carl Gamble and\n                   Etienne Brosse and Andrey Sadovykh and Alessandra\n                   Bagnato and Luis Diogo Couto",\n  TITLE         = "{Integrated Tool Chain for Model-Based Design\n                    of Cyber-Physical Systems}",\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\n  ADDRESS       = "Cyprus",\n  YEAR          = "2016",\n  MONTH         = "November",\n  PAGES         = "63--78",\n  NOTE          = "{ECE-TR-28}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPSPUB OVERTURE VDM CPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design.\n \n \n \n\n\n \n Larsen, P. G.; Fitzgerald, J.; Woodcock, J.; Nilsson, R.; Gamble, C.; and Foster, S.\n\n\n \n\n\n\n In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation, Proc 7th Intl. Symp., volume 9953, of Lecture Notes in Computer Science, pages 171–186, 2016. Springer International Publishing\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{Larsen&16e,\n  key       = "Larsen\\&16e",\n  author    = "Larsen, Peter Gorm and Fitzgerald, John and Woodcock, Jim and Nilsson, Ren{\\'e} and Gamble, Carl and Foster, Simon",\n  editor    = "Margaria, Tiziana and Steffen, Bernhard",\n  title     = "{Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design}",\n  bookTitle = "Leveraging Applications of Formal Methods, Verification and Validation, Proc 7th Intl. Symp.",\n  year      = "2016",\n  series    = "{Lecture Notes in Computer Science}",\n  volume    = "9953",\n  publisher = "Springer International Publishing",\n  pages     = "171--186",\n  isbn      = "978-3-319-47169-3"\n}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Proceedings of the 14th Overture Workshop: Towards Analytical Tool Chains.\n \n \n \n \n\n\n \n Larsen, P. G.; Plat, N.; and Battle, N.,\n editors.\n \n\n\n \n\n\n\n Volume 4.November 2016.\n ECE-TR-28\n\n\n\n
\n\n\n\n \n \n \"ProceedingsPaper\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 
@PROCEEDINGS{Larsen&16f,\n  KEY           = "Larsen\\&16f",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  TITLE         = "Proceedings of the 14th Overture Workshop: Towards Analytical Tool Chains",\n  VOLUME        = 4,\n  YEAR          = "2016",\n  MONTH         = "November",\n  NOTE          = "ECE-TR-28",\n  URL           = "https://tidsskrift.dk/ece/article/view/24731",\n  ANNOTE        = "Online ISSN 2245-2087",\n  COMMENT       = ""\n}\n\n%G INTOCPSPUB OVERTURE VDM CPS\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4.\n \n \n \n\n\n \n Oda, T.; Araki, K.; and Larsen, P. G.\n\n\n \n\n\n\n In Proceedings of the International Workshop on Smalltalk Technologies, pages 4:1–4:7, Prague, Czech Republic, Aug 2016. \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{Oda&16a,\n  KEY           = "Oda\\&16a",\n  AUTHOR        = "Tomohiro Oda and Kenjiro Araki and Peter Gorm Larsen",\n  TITLE         = "{ViennaTalk and Assertch: Building Lightweight\nFormal Methods Environments on Pharo 4}",\n  BOOKTITLE     = "Proceedings of the International Workshop on Smalltalk Technologies",\n  PAGES         = "4:1--4:7",\n  ADDRESS       = "Prague, Czech Republic",\n  ISBN          = {978-1-4503-4524-8},\n  YEAR          = "2016",\n  MONTH         = "Aug",\n  COMMENT       = ""}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automated Generation of Smalltalk Programs from VDM-SL Specification (In Japanese).\n \n \n \n\n\n \n Oda, T.; and Araki, K.\n\n\n \n\n\n\n In Proceedings of Software Symposium 2016, pages 1-10, Yonago, Japan, Jun 2016. \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{Oda&16b,\n  KEY           = "Oda\\&16b",\n  AUTHOR        = "Tomohiro Oda and Keijiro Araki",\n  TITLE         = "{Automated Generation of Smalltalk Programs from VDM-SL Specification (In Japanese)}",\n  BOOKTITLE     = "Proceedings of Software Symposium 2016",\n  YEAR          = "2016",\n  MONTH         = "Jun",\n  PAGES         = "1-10",\n  ADDRESS       = "Yonago, Japan",\n  COMMENT       = "Best Paper award"}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling.\n \n \n \n\n\n \n Oda, T.; Araki, K.; and Larsen, P. G.\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 48–62, Cyprus, November 2016. Aarhus University, Department of Engineering, Aarhus University, Department of Engineering\n ECE-TR-28\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{Oda&16c,\n  KEY           = "Oda\\&16c",\n  AUTHOR        = "Tomohiro Oda and Keijiro Araki and Peter Gorm Larsen",\n  TITLE         = "{Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling}",\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  PUBLISHER     = "Aarhus University, Department of Engineering",\n  ADDRESS       = "Cyprus",\n  YEAR          = "2016",\n  MONTH         = "November",\n  NOTE          = "{ECE-TR-28}",\n  PAGES         = "48--62"}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n VDM++ to Rust Code Generator for Overture.\n \n \n \n\n\n \n Pedersen, L. B.\n\n\n \n\n\n\n Master's thesis, Department of Engineering, Aarhus University, January 2016.\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 
@MASTERSTHESIS{Pedersen16,\n  KEY           = "Pedersen16",\n  AUTHOR        = "Lasse Br\\o{}sted Pedersen",\n  TITLE         = "{VDM++ to Rust Code Generator for Overture}",\n  SCHOOL        = "Department of Engineering",\n  ADDRESS       = "Aarhus University",\n  YEAR          = "2016",\n  MONTH         = "January",\n  SIZE          = "132",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPSPUB CPS OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Modelling Collaborative Systems and Automated Negotiations.\n \n \n \n\n\n \n 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 108–122, Cyprus, Greece, November 2016. Aarhus University, Department of Engineering\n ECE-TR-28\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{Plat&16,\n  KEY           = "Plat\\&16",\n  AUTHOR        = "Nico Plat and Peter Gorm Larsen and Ken Pierce",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  TITLE         = "{Modelling Collaborative Systems and Automated Negotiations}",\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\n  ADDRESS       = "Cyprus, Greece",\n  YEAR          = "2016",\n  MONTH         = "November",\n  PAGES         = "108--122",\n  NOTE          = "{ECE-TR-28}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n An Open-Source Web IDE for VDM-SL.\n \n \n \n\n\n \n Reimer, R. S.; and Saaby, K. D.\n\n\n \n\n\n\n Master's thesis, Department of Engineering, Aarhus University, Denmark, May 2016.\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 
@MASTERSTHESIS{Reimer&16,\n  KEY           = "Reimer\\&16",\n  AUTHOR        = "Rasmus S. Reimer and Kasper D. Saaby",\n  TITLE         = "{An Open-Source Web IDE for VDM-SL}",\n  SCHOOL        = "Department of Engineering",\n  ADDRESS       = "Aarhus University, Denmark",\n  YEAR          = "2016",\n  MONTH         = "May",\n  ANNOTE        = "",\n  COMMENT       = "I have the sources PGL"}\n\n%G VDM PROOF OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Considering Abstraction Levels on a Case Study.\n \n \n \n\n\n \n Thule, C.; and Nilsson, R.\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 16–31, Cyprus, Greece, November 2016. Aarhus University, Department of Engineering\n ECE-TR-28\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{Thule&16b,\n  KEY           = "Thule\\&16",\n  AUTHOR        = "Casper Thule and Ren\\'{e} Nilsson",\n  EDITOR        = "Peter Gorm Larsen and Nico Plat and Nick Battle",\n  TITLE         = "{Considering Abstraction Levels on a Case Study}",\n  BOOKTITLE     = "The 14th Overture Workshop: Towards Analytical Tool Chains",\n  ORGANIZATION  = "Aarhus University, Department of Engineering",\n  ADDRESS       = "Cyprus, Greece",\n  YEAR          = "2016",\n  MONTH         = "November",\n  PAGES         = "16--31",\n  NOTE          = "{ECE-TR-28}",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G OVERTURE VDM TOOL CPS INTOCPSPUB\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (18)\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,\n  AUTHOR        = "Lu{\\'i}s Diogo Couto and Peter W. V. Tran-J{\\o}rgensen and Joey W. Coleman  and Kenneth Lausdahl",\n  TITLE         = "{Migrating to an Extensible Architecture for Abstract Syntax Trees}",\n  BOOKTITLE     = "12th Working IEEE / IFIP Conference on Software Architecture",\n  YEAR          = "2015",\n  MONTH         = "May",\n  ANNOTE        = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Extending the Overture code generator towards Isabelle syntax.\n \n \n \n \n\n\n \n Luís Diogo Couto; and Tran-Jørgensen, P. W. V.\n\n\n \n\n\n\n In Proceedings of the 13th Overture Workshop, pages 48-59, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June 2015. Center for Global Research in Advanced Software Science and Engineering\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"ExtendingPaper\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&15b,\nkey = {Couto&15},\n  AUTHOR        = "Lu{\\'i}s Diogo Couto and Peter W. V. Tran-J{\\o}rgensen",\n  TITLE         = "{Extending the Overture code generator towards Isabelle syntax}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "48-59",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL\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,\n  KEY           = "Couto\\&15",\n  AUTHOR        = "Lu{\\'i}s Diogo Couto and Peter Gorm Larsen and Miran Hasanagic\n                   and Georgios Kanakis and Kenneth Lausdahl and\n                   Peter W. V. Tran-J\\o{}rgensen",\n  EDITOR        = "",\n  TITLE         = "{Towards Enabling Overture as a Platform for Formal Notation IDEs}",\n  BOOKTITLE     = "2nd Workshop on Formal-IDE (F-IDE)",\n  ADDRESS       = "Oslo, Norway",\n  YEAR          = "2015",\n  MONTH         = "June",\n  ANNOTE        = "",\n  COMMENT       = "BIB WE have the sources"}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n On the Extensibility of Formal Methods Tools.\n \n \n \n\n\n \n Luís Diogo Couto\n\n\n \n\n\n\n Ph.D. Thesis, Aarhus University, Department of Engineering, September 2015.\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@PHDTHESIS{Couto15b,\n  KEY           = "Couto15",\n  AUTHOR        = "Lu{\\'i}s Diogo Couto",\n  TITLE         = "On the Extensibility of Formal Methods Tools",\n  SCHOOL        = "Aarhus University",\n  ADDRESS       = "Department of Engineering",\n  YEAR          = "2015",\n  MONTH         = "September",\n  SIZE          = "183",\n  ISBN           = "978-87-7507-360-3",\n  DOI           = "10.7146/aul.118.106",\n  COMMENT       = "Available at \\url{http://ebooks.au.dk/index.php/aul/catalog/book/118}"}\n\n%G OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Cyber-Physical Systems design: Formal Foundations, Methods and Integrated Tool Chains.\n \n \n \n\n\n \n Fitzgerald, J.; Gamble, C.; Larsen, P. G.; Pierce, K.; and Woodcock, J.\n\n\n \n\n\n\n In FormaliSE: FME Workshop on Formal Methods in Software Engineering, Florence, Italy, May 2015. ICSE 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{Fitzgerald&15,\n  KEY           = "Fitzgerald\\&15",\n  AUTHOR        = "John Fitzgerald and Carl Gamble and Peter Gorm Larsen and\n                   Kenneth Pierce and Jim Woodcock",\n  TITLE         = "{Cyber-Physical Systems design: Formal Foundations,\n                    Methods and Integrated Tool Chains}",\n  BOOKTITLE     = "FormaliSE: FME Workshop on Formal Methods in Software\n                   Engineering",\n  ORGANIZATION  = "ICSE 2015",\n  ADDRESS       = "Florence, Italy",\n  YEAR          = "2015",\n  MONTH         = "May",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL"}\n\n%G INTOCPSPUB CPS OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Pacemaker Parameter Tuning using Crescendo.\n \n \n \n \n\n\n \n Gamble, C.; Mansfield, M.; Fitzgerald, J.; and Larsen, P. G.\n\n\n \n\n\n\n ,116-131. June 2015.\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"PacemakerPaper\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 
@ARTICLE{Gamble&15,\n  KEY           = "Gamble\\&15",\n  AUTHOR        = "Carl Gamble and Martin Mansfield and John Fitzgerald and\n                   Peter Gorm Larsen",\n  TITLE         = "{Pacemaker Parameter Tuning using Crescendo}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "116-131",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Generating Java RMI for the distributed aspects of VDM-RT models.\n \n \n \n \n\n\n \n Hasanagic, M.; Larsen, P. G.; and Tran-Jørgensen, P. W.\n\n\n \n\n\n\n In Proceedings of the 13th Overture Workshop, pages 75-89, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June 2015. Center for Global Research in Advanced Software Science and Engineering\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"GeneratingPaper\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&15,\n  KEY           = {Hasanagic\\&15},\n  AUTHOR        = "Miran Hasanagic and Peter Gorm Larsen and Peter W.V.\\\n                   Tran-J\\o{}rgensen",\n  TITLE         = "{Generating Java RMI for the distributed aspects of VDM-RT models}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "75-89",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL FMI INTOCPSPUB\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Proceedings of the 13th Overture Workshop.\n \n \n \n \n\n\n \n Ishikawa, F.; and Larsen, P. G.,\n editors.\n \n\n\n \n\n\n\n Center for Global Research in Advanced Software Science and Engineering. National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June 2015.\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"ProceedingsPaper\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 
@PROCEEDINGS{Ishikawa&15,\n  KEY           = "Ishikawa\\&15",\n  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",\n  TITLE         = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  SIZE          = "139",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Case Studies on Combination of VDM and Test-Driven Approaches: Application, Model Finding and Refinement.\n \n \n \n \n\n\n \n Ishikawa, F.\n\n\n \n\n\n\n ,104-115. June 2015.\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"CasePaper\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 
@ARTICLE{Ishikawa15,\n  KEY           = "Ishikawa15",\n  AUTHOR        = "Fuyuki Ishikawa",\n  TITLE         = "{Case Studies on Combination of VDM and Test-Driven\n                    Approaches: Application, Model Finding and Refinement}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "104-115",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G OVERTURE VDM CPS INTOCPSPUB\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Code Generation Platform for VDM.\n \n \n \n \n\n\n \n Jørgensen, P. W. V.; Larsen, M.; and Couto, L.\n\n\n \n\n\n\n In Battle, N.; and Fitzgerald, J., editor(s), Proceedings of the 12th Overture Workshop, January 2015. School of Computing Science, Newcastle University, UK, Technical Report CS-TR-1446\n \n\n\n\n
\n\n\n\n \n \n \"A paper\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{Jorgensen&14a,\n  KEY           = "J{\\o}rgensen\\&14",\n  AUTHOR        = "J{\\o}rgensen, Peter W. V. and Larsen, Morten and Couto, Lu{\\'i}s D.",\n  TITLE         = "{A Code Generation Platform for VDM}",\n  BOOKTITLE     = "{Proceedings of the 12th Overture Workshop}",\n  EDITOR        = "Battle, Nick and Fitzgerald, John",\n  YEAR          = "2015",\n  MONTH         = "January",\n  PUBLISHER     = "School of Computing Science, Newcastle University, UK, Technical Report CS-TR-1446",\n  url_Paper     = {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf}\n}\n\n%G VDM JML OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Code Generation of VDM++ Concurrency.\n \n \n \n \n\n\n \n Kanakis, G.; Larsen, P. G.; and Tran-Jørgensen, P. W.\n\n\n \n\n\n\n In Proceedings of the 13th Overture Workshop, pages 60-74, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June 2015. Center for Global Research in Advanced Software Science and Engineering\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"CodePaper\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{Kanakis&15,\n  KEY           = {Kanakis&15},\n  AUTHOR        = "Georgios Kanakis and Peter Gorm Larsen and Peter W.V.\\\n                   Tran-J\\o{}rgensen",\n  TITLE         = "{Code Generation of VDM++ Concurrency}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "60-74",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G HUBCAP TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Advance in VDM Application to Development of Mobile FeliCa IC Chip Firmware – Toward Readable VDM Specification for Reliable System and Good Relationships.\n \n \n \n\n\n \n Kurita, T.\n\n\n \n\n\n\n In Ishikawa, F.; and Larsen, P. G., editor(s), Proceedings of the 13th Overture Workshop, pages 1-2, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June 2015. Center for Global Research in Advanced Software Science and Engineering\n GRACE-TR-2015-06\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{Kurita15,\n  KEY           = "Kurita15",\n  AUTHOR        = "Taro Kurita",\n  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",\n  TITLE         = "{Advance in VDM Application to Development of Mobile FeliCa\n                   IC Chip Firmware -- Toward Readable VDM Specification for\n                   Reliable System and Good Relationships}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "1-2",\n  NOTE          = "GRACE-TR-2015-06",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM INTOCPSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Improving Time Estimates in VDM-RT Models.\n \n \n \n \n\n\n \n Larsen, M.; Jørgensen, P. W. V.; and Larsen, P. G.\n\n\n \n\n\n\n ,90-103. June 2015.\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"ImprovingPaper\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 
@ARTICLE{Larsen&15a,\n  KEY           = "Larsen\\&15a",\n  AUTHOR        = "Morten Larsen and Peter W. V. J\\o{}rgensen and Peter Gorm Larsen",\n  TITLE         = "{Improving Time Estimates in VDM-RT Models}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "90-103",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G INTOCPSPUB VDM TOOL OVERTURE\n
\n
\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 , editor(s), Proceedings of the 12th Overture Workshop, of Technical Report Series, pages 1–15, Jan 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,\n  KEY  \t        \t\t= {Lausdahl\\&14},\n  AUTHOR        \t\t= {Lausdahl, Kenneth and Ishikawa, Hiroshi and Larsen, Peter Gorm},\n  BOOKTITLE   \t \t= {Proceedings of the 12th Overture Workshop},\n  EDITOR        \t\t= {},\n  MONTH         \t\t= {Jan},\n  NUMBER        \t\t= {CS-TR-1446},\n  ORGANIZATION  \t= {Computing Science, Newcastle University},\n  SERIES        \t\t= {Technical Report Series},\n  TITLE         \t\t= "{Interpreting Implicit VDM Specifications using ProB}",\n  YEAR          \t\t= {2015},\n  URL\t\t\t= "http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf",\n  pages \t\t= "1--15",\n}\n\n%G INTOCPSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Integrating the PVSio-web modelling and prototyping environment with Overture.\n \n \n \n \n\n\n \n Masci, P.; Couto, L. D.; Larsen, P. G.; and Curzon, P.\n\n\n \n\n\n\n In Ishikawa, F.; and Larsen, P. G., editor(s), Proceedings of the 13th Overture Workshop, pages 33-47, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June 2015. Center for Global Research in Advanced Software Science and Engineering\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"IntegratingPaper\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{Masci&15a,\n  KEY           = "Masci\\&15",\n  AUTHOR        = "Paolo Masci and Luis Diogo Couto and Peter Gorm Larsen and\n                   Paul Curzon",\n  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",\n  TITLE         = "{Integrating the PVSio-web modelling and prototyping\n                    environment with Overture}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "33-47",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = "PGL I have the sources"}\n\n%G OVERTURE VDM TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n VDM Animation for a Wider Range of Stakeholders.\n \n \n \n \n\n\n \n Oda, T.; Yamomoto, Y.; Nakakoji, K.; Araki, K.; and Larsen, P. G.\n\n\n \n\n\n\n In Ishikawa, F.; and Larsen, P. G., editor(s), Proceedings of the 13th Overture Workshop, pages 18-32, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June 2015. Center for Global Research in Advanced Software Science and Engineering\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"VDMPaper\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{Oda&15b,\n  KEY           = "Oda\\&15",\n  AUTHOR        = "Tomohiro Oda and Yasuhiro Yamomoto and Kumiyo Nakakoji and\n                   Kenjiro Araki and Peter Gorm Larsen",\n  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",\n  TITLE         = "{VDM Animation for a Wider Range of Stakeholders}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "18-32",\n  NOTE          = "{GRACE-TR-2015-06}",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n JODTool on the Overture Tool to manage formal requirement dictionaries.\n \n \n \n \n\n\n \n Omori, Y.; Araki, K.; and Larsen, P. G.\n\n\n \n\n\n\n In Ishikawa, F.; and Larsen, P. G., editor(s), Proceedings of the 13th Overture Workshop, pages 3-17, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June 2015. Center for Global Research in Advanced Software Science and Engineering\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"JODToolPaper\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{Omori&15,\n  KEY           = "Omori\\&15",\n  AUTHOR        = "Yoichi Omori and Kenjiro Araki and Peter Gorm Larsen",\n  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",\n  TITLE         = "JODTool on the Overture Tool to manage formal requirement\n                   dictionaries",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "3-17",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n TASTE for Overture to keep SLIM.\n \n \n \n \n\n\n \n Verhoef, M.; and Perrotin, M.\n\n\n \n\n\n\n ,132-139. June 2015.\n GRACE-TR-2015-06\n\n\n\n
\n\n\n\n \n \n \"TASTEPaper\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 
@ARTICLE{Verhoef&15,\n  KEY           = "Verhoef\\&15",\n  AUTHOR        = "Marcel Verhoef and Maxime Perrotin",\n  TITLE         = "{TASTE for Overture to keep SLIM}",\n  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",\n  PUBLISHER     = "Center for Global Research in Advanced Software Science\n                   and Engineering",\n  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,\n                   Chiyoda-Ku, Tokyo, Japan",\n  YEAR          = "2015",\n  MONTH         = "June",\n  PAGES         = "132-139",\n  NOTE          = "GRACE-TR-2015-06",\n  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM VDM++ PROOF OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (13)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014.\n \n \n \n \n\n\n \n Battle, N.; and Fitzgerald, J.\n\n\n \n\n\n\n Technical Report CS-TR-1446, School of Computing Science, Newcastle University, January 2014.\n \n\n\n\n
\n\n\n\n \n \n \"Proceedings paper\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{Battle&15,\n  KEY           = "Battle\\&15",\n  AUTHOR        = "Battle, Nick and Fitzgerald, John",\n  INSTITUTION   = "{School of Computing Science, Newcastle University}",\n  TITLE         = "{Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014}",\n  NUMBER        = "CS-TR-1446",\n  YEAR          = "2014",\n  PAGES         = "52",\n  url_Paper     = {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf},\n  MONTH         = "January"}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Introducing the Overture Architecture Guide.\n \n \n \n\n\n \n Luís Diogo Couto\n\n\n \n\n\n\n In Proceedings of the 12th Overture Workshop, 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{Couto&14c,\n  AUTHOR        = "Lu{\\'i}s Diogo Couto",\n  TITLE         = "{Introducing the Overture Architecture Guide}",\n  BOOKTITLE     = "Proceedings of the 12th Overture Workshop",\n  YEAR          = "2014",\n  MONTH         = "June",\n  ANNOTE        = ""}\n\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Hardware In the Loop for VDM-Real Time Modelling of Embedded Systems.\n \n \n \n\n\n \n Isasa, J. A. E.; Jørgensen, P. W.; and Larsen, P. G.\n\n\n \n\n\n\n In MODELSWARD 2014, Second International Conference on Model-Driven Engineering and Software Development, January 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{Esparza&13c,\n  KEY          = "Esparza\\&13c",\n  AUTHOR       = "Jos\\'e Antonio Esparza Isasa and Peter W.V. J\\o{}rgensen and Peter Gorm Larsen",\n  TITLE        = "{Hardware In the Loop for VDM-Real Time Modelling of Embedded Systems}",\n  BOOKTITLE    = "MODELSWARD 2014, Second International Conference on Model-Driven Engineering and Software Development",\n  SERIES       = "",\n  YEAR         = "2014",\n  MONTH        = "January",\n  COMMENT      = "BIB JAE"}\n\n%G INTOCPSPUB CPS VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Collaborative systems of systems need collaborative design.\n \n \n \n\n\n \n Fitzgerald, J.; Bryans, J.; Larsen, P. G.; and Salim, H.\n\n\n \n\n\n\n In Working Conference on Virtual Enterprises, pages 16–23, 2014. Springer\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{Fitzgerald&14a,\n  title={Collaborative systems of systems need collaborative design},\n  author={Fitzgerald, John and Bryans, Jeremy and Larsen, Peter Gorm and Salim, Hansen},\n  booktitle={Working Conference on Virtual Enterprises},\n  pages={16--23},\n  year={2014},\n  organization={Springer}\n}\n%G DESTECS VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Collaborative Development of Dependable Cyber-Physical Systems by Co-modelling and Co-simulation.\n \n \n \n\n\n \n Fitzgerald, J.; Pierce, K.; and Larsen, P. G.\n\n\n \n\n\n\n Industry and Research Perspectives on Embedded System Design. Bagnato, A.; Indrusiak, L. S.; Quadri, I. R.; and Rossi, M. G., editor(s). IGI Global, 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 
@INBOOK{Fitzgerald&14b,\n  KEY           = "Fitzgerald\\&14",\n  AUTHOR        = "John Fitzgerald and Ken Pierce and Peter Gorm Larsen",\n  EDITOR        = "Alessandra Bagnato and Leandro Soares Indrusiak and\n                   Imran Rafiq Quadri and Matteo G. Rossi",\n  TITLE         = "Industry and Research Perspectives on Embedded System Design",\n  CHAPTER       = "{Collaborative Development of Dependable Cyber-Physical\n                    Systems by Co-modelling and Co-simulation}",\n  PAGES         = "",\n  PUBLISHER     = "IGI Global",\n  YEAR          = "2014",\n  MONTH         = "",\n  ANNOTE        = "",\n  COMMENT       = "Not yet available"}\n\n%G DESTECS DESTECSPUB OVERTURE\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 doi\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,\n  KEY           = "Fitzgerald\\&14",\n  EDITOR        = "John Fitzgerald and Peter Gorm Larsen and Marcel Verhoef",\n  TITLE         = "Collaborative Design for Embedded Systems --\n                   Co-modelling and Co-simulation",\n  PUBLISHER     = "Springer",\n  YEAR          = "2014",\n  ISBN          = "978-3-642-54117-9",\n  ANNOTE        = "",\n  URL           = {http://link.springer.com/book/10.1007/978-3-642-54118-6},\n  COMMENT       = "BIB PGL",\n  doi\t\t= {10.1007/978-3-642-54118-6},\n}\n\n%G DESTECS DESTECSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n From Embedded to Cyber-Physical Systems: Challenges and Future Directions.\n \n \n \n \n\n\n \n Fitzgerald, J.; Larsen, P. G.; and Verhoef, M.\n\n\n \n\n\n\n In Fitzgerald, J.; Larsen, P. G.; and Verhoef, M., editor(s), Collaborative Design for Embedded Systems – Co-modelling and Co-simulation, pages 289–298. Springer, 2014.\n \n\n\n\n
\n\n\n\n \n \n \"FromPaper\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INCOLLECTION{Fitzgerald&14e,\n  KEY           = "Fitzgerald\\&14",\n  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and Marcel Verhoef",\n  TITLE         = "From Embedded to Cyber-Physical Systems: Challenges and Future Directions",\n  EDITOR        = "John Fitzgerald and Peter Gorm Larsen and Marcel Verhoef",\n  BOOKTITLE     = "Collaborative Design for Embedded Systems --\n                   Co-modelling and Co-simulation",\n  PUBLISHER     = "Springer",\n  YEAR          = "2014",\n  ISBN          = "978-3-642-54117-9",\n  PAGES         = {289--298},\n  ANNOTE        = "",\n  URL           = {http://link.springer.com/book/10.1007/978-3-642-54118-6},\n  COMMENT       = "BIB PGL",\n  doi\t\t= {10.1007/978-3-642-54118-6},\n}\n\n\n%G INTOCPSPUB CPS OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Code Generation for Distributed Systems Modelled in VDM-RT.\n \n \n \n\n\n \n Hasanagić, M.\n\n\n \n\n\n\n Master's thesis, Aarhus University, Department of Engineering, December 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 
@MASTERSTHESIS{Hasanagic14,\n  KEY           = "Hasanagic14",\n  AUTHOR        = "Miran Hasanagi\\'{c}",\n  TITLE         = "{Code Generation for Distributed Systems Modelled in VDM-RT}",\n  SCHOOL        = "Aarhus University",\n  ADDRESS       = "Department of Engineering",\n  YEAR          = "2014",\n  MONTH         = "December",\n  SIZE          = "122",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Five Views of a Collaborative Model.\n \n \n \n\n\n \n Jørgensen, P. W. V.; and Wolff, S.\n\n\n \n\n\n\n In Submitted to the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014), April 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{Jorgensen&13c,\n  KEY           = "J\\o{}rgensen\\&13",\n  AUTHOR        = "Peter W. V. J\\o{}rgensen and Sune Wolff",\n  TITLE         = "{Five Views of a Collaborative Model}",\n  BOOKTITLE     = "Submitted to the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014)",\n  YEAR          = "2014",\n  MONTH         = "April",\n  ANNOTE        = ""}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Concurrency Code Generator for the VDM++ Language.\n \n \n \n\n\n \n Kanakis, G.\n\n\n \n\n\n\n Master's thesis, Aarhus University, Department of Engineering, December 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 
@MASTERSTHESIS{Kanakis14,\n  KEY           = "Kanakis14",\n  AUTHOR        = "Georgios Kanakis",\n  TITLE         = "{Concurrency Code Generator for the VDM++ Language}",\n  SCHOOL        = "Aarhus University",\n  ADDRESS       = "Department of Engineering",\n  YEAR          = "2014",\n  MONTH         = "December",\n  SIZE          = "89",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\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. Universidade Federal de Alagoas (UFAL), September 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 
@incollection{Lausdahl&14,\n  KEY           = "Lausdahl\\&14",\n  TITLE         = "Including Running System Implementations in the Simulation of System of Systems Models",\n  AUTHOR        = "Kenneth Lausdahl and Claus Balleg\\aa rd Nielsen and Klaus Kristensen",\n  booktitle\t\t= {Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods},\n  PAGES         = "177--182",\n  YEAR          = "2014",\n  month\t\t\t= "September",\n  publisher\t\t= {Universidade Federal de Alagoas (UFAL)},\n  series\t\t= {CBSoft},\n  number\t\t= "17",\n  editor\t\t= {Christiano Braga and Narciso Mart\\'{i}-Oliet}}\n\n%G VDM OVERTURE\n
\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 \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 \"DistributedPaper\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,\n  KEY           = "Nielsen\\&14b",\n  AUTHOR        = "Claus Ballegaard Nielsen and Kenneth Lausdahl and Peter Gorm Larsen",\n  TITLE         = "{Distributed Simulation of Formal Models in System of Systems Engineering}",\n  BOOKTITLE\t\t= "{4th IEEE track on Collaborative Modelling and Simulation in IEEE WETICE 2014}",\n  YEAR          = "2014",\n  MONTH         = "June",\n  URL           = "http://www.computer.org/csdl/proceedings/wetice/2014/4249/00/4249a211-abs.html",\n  NOTE          = ""}\n\n%G OVERTURE VDM APPLI\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Internet of Things – From Research and Innovation to Marlket Deployment.\n \n \n \n\n\n \n Vermesan, O.; and Friess, P.,\n editors.\n \n\n\n \n\n\n\n River Publishers, 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 
@BOOK{Vermesan&14,\n  KEY           = "Vermesan\\&14",\n  EDITOR        = "Ovidio Vermesan and Peter Friess",\n  TITLE         = "{Internet of Things -- From Research and Innovation to Marlket Deployment}",\n  PUBLISHER     = "River Publishers",\n  YEAR          = "2014",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM VDM++ PROOF OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (15)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n The COMPASS Proof Obligation Generator: A test case of Overture Extensibility.\n \n \n \n\n\n \n Couto, L.; and Payne, R.\n\n\n \n\n\n\n In Proceedings of the 11th Overture Workshop, 2013. \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&13a,\n  KEY           = "Couto\\&13",\n  TITLE         = "{The COMPASS Proof Obligation Generator: A test case of Overture Extensibility}",\n  AUTHOR        = "Couto, Lu{\\'i}s Diogo and Payne, Richard",\n  BOOKTITLE     = "Proceedings of the 11th Overture Workshop",\n  YEAR          = "2013",\n  COMMENT       = ""}\n\n%G OVERTURE VDM\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation.\n \n \n \n\n\n \n Isasa, J. A. E.; Hansen, F. O.; and Larsen, P. G.\n\n\n \n\n\n\n In Proceedings of the International Conference on Modeling and Simulation, ICMS 2013, June 2013. World Academy of Science, Engineering and Technology\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{Esparza&13,\n  KEY           = "Esparza\\&13",\n  AUTHOR        = "Jos\\'e Antonio Esparza Isasa and Finn Overgaard Hansen and Peter Gorm Larsen",\n  TITLE         = "{Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation}",\n  BOOKTITLE     = "Proceedings of the International Conference on Modeling and Simulation, ICMS 2013",\n  ORGANIZATION  = "World Academy of Science, Engineering and Technology",\n  YEAR          = "2013",\n  MONTH         = "June"}\n\n %G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Modelling Different CPU Power States in VDM-RT.\n \n \n \n\n\n \n Isasa, J. A. E.; and Larsen, P. G.\n\n\n \n\n\n\n In Proceedings of the 11th Overture Workshop 2013, of Aarhus University, June 2013. \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{Esparza&13b,\n  KEY          = "Esparza\\&13b",\n  AUTHOR       = "Jos\\'e Antonio Esparza Isasa and Peter Gorm Larsen",\n  TITLE        = "{Modelling Different CPU Power States in VDM-RT}",\n  BOOKTITLE    = "Proceedings of the 11th Overture Workshop 2013",\n  SERIES       = "Aarhus University",\n  YEAR         = "2013",\n  MONTH        = "June",\n  COMMENT      = "BIB JAE"}\n\n %G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems.\n \n \n \n\n\n \n Fitzgerald, J.; Larsen, P. G.; Pierce, K.; and Verhoef, M.\n\n\n \n\n\n\n To appear in Mathematical Structures in Computer Science. 2013.\n Outdated by i̧teFitzgerald&13b\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 
@ARTICLE{Fitzgerald&11a,\n  KEY           = "Fitzgerald\\&11",\n  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and Ken Pierce and\n                   Marcel Verhoef",\n  TITLE         = "{A Formal Approach to Collaborative Modelling and\n                    Co-simulation for Embedded Systems}",\n  JOURNAL       = "To appear in Mathematical Structures in Computer Science",\n  YEAR          = "2013",\n  PUBLISHER     = "{Cambridge University Press}",\n  NOTE          = "Outdated by \\cite{Fitzgerald&13b}",\n  ANNOTE        = "",\n  COMMENT       = "Don't refer tio this one. I have the sources PGL"}\n\n%G DESTECS VDM DESTECSPUB OVERTURE\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 Fitzgerald, J.; Larsen, P. G.; and Verhoef, M.,\n editors.\n \n\n\n \n\n\n\n Springer, 2013.\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 
@BOOK{Fitzgerald&13a,\n  KEY           = "Fitzgerald\\&13",\n  EDITOR        = "John Fitzgerald and Peter Gorm Larsen and Marcel Verhoef",\n  TITLE         = "Collaborative Design for Embedded Systems --\n                   Co-modelling and Co-simulation",\n  PUBLISHER     = "Springer",\n  YEAR          = "2013",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL Outdated by \\cite{Fitzgerald&14c}"}\n\n%G DESTECS VDM DESTECSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems.\n \n \n \n\n\n \n Fitzgerald, J.; Larsen, P. G.; Pierce, K.; and Verhoef, M.\n\n\n \n\n\n\n Mathematical Structures in Computer Science, 23(4): 726–750. 2013.\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 
@ARTICLE{Fitzgerald&13b,\n  KEY           = "Fitzgerald\\&13",\n  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and Ken Pierce and\n                   Marcel Verhoef",\n  TITLE         = "{A Formal Approach to Collaborative Modelling and\n                    Co-simulation for Embedded Systems}",\n  JOURNAL       = "Mathematical Structures in Computer Science",\n  YEAR          = "2013",\n  VOLUME        = "23",\n  NUMBER        = "4",\n  PUBLISHER     = "{Cambridge University Press}",\n  PAGES         = "726--750",\n  COMMENT       = "I have the sources PGL"}\n\n%G CPS SOS OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Modelling a Smart Grid System-of-Systems using VDM.\n \n \n \n\n\n \n Hallerstede, S.; and Larsen, P. G.\n\n\n \n\n\n\n In Overture 2013, Technical Report, ECE-TR-17, August 2013. Aarhus University\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{Hallerstede&13,\n  KEY           = "Hallerstede\\&13",\n  AUTHOR        = "Stefan Hallerstede and Peter Gorm Larsen",\n  TITLE         = "Modelling a Smart Grid System-of-Systems using VDM",\n  BOOKTITLE     = "Overture 2013",\n  PUBLISHER     = "Aarhus University",\n  ADDRESS       = "Technical Report, ECE-TR-17",\n  YEAR          = "2013",\n  MONTH         = "August",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL"}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n An Architectural Evolution of the Overture Tool.\n \n \n \n\n\n \n Jørgensen, P. W. V.; Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n In The Overture 2013 workshop, August 2013. \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{Jorgensen&13,\n  KEY           = "J\\o{}rgensen\\&13",\n  AUTHOR        = "Peter W. V. J\\o{}rgensen and Kenneth Lausdahl and\n                   Peter Gorm Larsen",\n  TITLE         = "{An Architectural Evolution of the Overture Tool}",\n  BOOKTITLE     = "The Overture 2013 workshop",\n  YEAR          = "2013",\n  MONTH         = "August",\n  ANNOTE        = ""}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards an Overture Code Generator.\n \n \n \n\n\n \n Jørgensen, P. W. V.; and Larsen, P. G.\n\n\n \n\n\n\n In The Overture 2013 workshop, August 2013. \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{Jorgensen&13b,\n  KEY           = "J\\o{}rgensen\\&13",\n  AUTHOR        = "Peter W. V. J\\o{}rgensen and Peter Gorm Larsen",\n  TITLE         = "{Towards an Overture Code Generator}",\n  BOOKTITLE     = "The Overture 2013 workshop",\n  YEAR          = "2013",\n  MONTH         = "August",\n  ANNOTE        = ""}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n The Overture Approach to VDM Language Evolution.\n \n \n \n\n\n \n Battle, N.; Haxthausen, A.; Hiroshi, S.; Jørgensen, P. W. V.; Plat, N.; Sahara, S.; and Verhoef, M.\n\n\n \n\n\n\n In The Overture 2013 workshop, August 2013. \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{Jorgensen&13d,\n  KEY           = "J\\o{}rgensen\\&13",\n  AUTHOR        = "Nick Battle and Anne Haxthausen and Sako Hiroshi and Peter W. V. J\\o{}rgensen and Nico Plat and Shin Sahara and Marcel Verhoef",\n  TITLE         = "{The Overture Approach to VDM Language Evolution}",\n  BOOKTITLE     = "The Overture 2013 workshop",\n  YEAR          = "2013",\n  MONTH         = "August",\n  ANNOTE        = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Overture VDM-10 Tool Support: User Guide.\n \n \n \n\n\n \n Larsen, P. G.; Lausdahl, K.; Jørgensen, P.; Coleman, J.; Wolff, S.; and Battle, N.\n\n\n \n\n\n\n Technical Report TR-2010-02, The Overture Initiative, www.overturetool.org, April 2013.\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 
@TECHREPORT{Larsen&13a,\n  KEY           = "Larsen\\&13",\n  AUTHOR        = "Peter Gorm Larsen and Kenneth Lausdahl and Peter\n                   J\\o{}rgensen and Joey Coleman and\n                   Sune Wolff and Nick Battle",\n  TITLE         = "{Overture VDM-10 Tool Support: User Guide}",\n  INSTITUTION   = "The Overture Initiative",\n  ADDRESS       = "www.overturetool.org",\n  YEAR          = "2013",\n  MONTH         = "April",\n  NUMBER        = "TR-2010-02",\n  SIZE          = "130",\n  ANNOTE        = "",\n  COMMENT       = "We have the sources PGL"}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n VDM-10 Language Manual.\n \n \n \n\n\n \n Larsen, P. G.; Lausdahl, K.; Battle, N.; Fitzgerald, J.; Wolff, S.; Sahara, S.; Verhoef, M.; Tran-Jørgensen, P. W. V.; and Oda, T.\n\n\n \n\n\n\n Technical Report TR-001, The Overture Initiative, www.overturetool.org, April 2013.\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 
@TECHREPORT{Larsen&13b,\n  KEY           = "Larsen\\&13",\n  AUTHOR        = "Peter Gorm Larsen and Kenneth Lausdahl and Nick Battle and John Fitzgerald and Sune Wolff and Shin Sahara and Marcel Verhoef and Peter W. V. Tran-J{\\o}rgensen and Tomohiro Oda",\n  TITLE         = "{VDM-10 Language Manual}",\n  INSTITUTION   = "The Overture Initiative",\n  ADDRESS       = "www.overturetool.org",\n  YEAR          = "2013",\n  MONTH         = "April",\n  NUMBER        = "TR-001",\n  SIZE          = "208",\n  ANNOTE        = "",\n  COMMENT       = "We have the sources PGL"}\n\n%G VDM OVERTURE TOOL\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,\n  KEY       = "Lausdahl13",\n  year\t\t={2013},\n  isbn\t\t={978-3-642-38612-1},\n  booktitle\t={Integrated Formal Methods},\n  volume\t={7940},\n  series\t={Lecture Notes in Computer Science},\n  editor\t={Johnsen, Einar Broch and Petre, Luigia},\n  doi\t\t={10.1007/978-3-642-38613-8\\_4},\n  title\t\t="{Translating VDM to Alloy}",\n  url\t\t={http://dx.doi.org/10.1007/978-3-642-38613-8\\_4},\n  publisher\t={Springer Berlin Heidelberg},\n  author\t={Lausdahl, Kenneth},\n  pages\t\t={46-60},\n  note\t\t={10th International Conference, IFM 2013},\n}\n\n%G VDM TOOL OVERTURE\n
\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 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 \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 12 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@phdthesis{Lausdahl&13c,\n\tkey\t\t\t\t= "Lausdahl\\&13c",\n\tauthor\t\t\t= "Kenneth Lausdahl",\n\ttitle\t\t\t= "Enhancing Formal Modelling Tool Support with Increased Automation",\n\tschool\t\t\t= "Aarhus University",\n\tyear\t\t\t= "2013",\n\tmonth\t\t\t= "June"\n}\n\n%G COMPASSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Mining malware specifications through static reachability analysis.\n \n \n \n\n\n \n Macedo, H. D.; and Touili, T.\n\n\n \n\n\n\n In European Symposium on Research in Computer Security, pages 517–535, Berlin, Heidelberg, 2013. Springer, Springer Berlin Heidelberg\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{Macedo&13,\n  title =        "Mining malware specifications through static\n                 reachability analysis",\n  author =       "Hugo Daniel Macedo and Tayssir Touili",\n  booktitle =    "European Symposium on Research in Computer Security",\n  pages =        "517--535",\n  year =         "2013",\n  organization = "Springer",\n  publisher="Springer Berlin Heidelberg",\n  address="Berlin, Heidelberg",\n}\n\n%G TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2012\n \n \n (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Evolution of the Overture Tool Platform.\n \n \n \n\n\n \n Coleman, J. W.; Malmos, A. K.; Nielsen, C. B.; and Larsen, P. G.\n\n\n \n\n\n\n In Proceedings of the 10th Overture Workshop 2012, of School of Computing Science, Newcastle University, 2012. \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{Coleman&12b,\n  KEY           = "Coleman\\&12",\n  AUTHOR        = "Joey W. Coleman and Anders Kaels Malmos and  Claus Ballegaard Nielsen and Peter Gorm\n                   Larsen",\n  TITLE         = "{Evolution of the Overture Tool Platform}",\n  BOOKTITLE     = "Proceedings of the 10th Overture Workshop 2012",\n  SERIES        = "School of Computing Science, Newcastle University",\n  YEAR          = "2012",\n  COMMENT       = ""}\n\n%G COMPASSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT.\n \n \n \n\n\n \n Isasa, J. A. E.; Larsen, P. G.; and Bjerge, K.\n\n\n \n\n\n\n In Proceedings of the 10th Overture Workshop 2012, of School of Computing Science, Newcastle University, 2012. \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{Esparza&12,\n  KEY          = "Esparza\\&12",\n  AUTHOR       = "Jos\\'e Antonio Esparza Isasa and Peter Gorm Larsen and Kim Bjerge",\n  TITLE        = "{Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT}",\n  BOOKTITLE    = "Proceedings of the 10th Overture Workshop 2012",\n  SERIES       = "School of Computing Science, Newcastle University",\n  YEAR         = "2012",\n  COMMENT      = "BIB JAE"}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Rigorous Approach to the Design of Cyber-physical Systems through Co-simulation.\n \n \n \n\n\n \n Fitzgerald, J.; Pierce, K.; and Gamble, C.\n\n\n \n\n\n\n In Kaâniche, M.; Harrison, M.; Kopetz, H.; and Siewiorek, D., editor(s), Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2012) – Supplement to Proc. Dependable Systems and Networks (DSN) 2012, 2012. IEEE\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{Fitzgerald&12a,\n  KEY           = "Fitzgerald\\&12a",\n  AUTHOR        = {John Fitzgerald and Ken Pierce and Carl Gamble},\n  TITLE         = "{A Rigorous Approach to the Design of Cyber-physical Systems through Co-simulation}",\n  EDITOR        = {Mohamed Ka{\\^a}niche and Michael Harrison and Hermann Kopetz and Daniel Siewiorek},\n  BOOKTITLE     = "{Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2012) --\n                    Supplement to Proc. Dependable Systems and Networks (DSN) 2012}",\n  PUBLISHER     = {IEEE},\n  YEAR          = {2012},\n  COMMENT       = "BIB PGL"}\n\n%G DESTECS DESTECSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Examples Compendium.\n \n \n \n\n\n \n Ingram, C.; Pierce, K.; Gamble, C.; Wolff, S.; Christensen, M. P.; and Larsen, P. G.\n\n\n \n\n\n\n Technical Report The DESTECS Project (INFSO-ICT-248134), October 2012.\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 
@TECHREPORT{Ingram&12,\n  KEY           = "Ingram\\&12",\n  AUTHOR        = "Claire Ingram and Ken Pierce and Carl Gamble and Sune Wolff and\n                   Martin Peter Christensen and Peter Gorm Larsen",\n  TITLE         = "Examples Compendium",\n  YEAR          = "2012",\n  MONTH         = "October",\n  INSTITUTION   = "The DESTECS Project (INFSO-ICT-248134)"}\n\n%G VDM VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Evaluation of Development Process for co-models.\n \n \n \n\n\n \n Jørgensen, P. W. V.\n\n\n \n\n\n\n Master's thesis, Aarhus University/Engineering College of Aarhus, December 2012.\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 
@MASTERSTHESIS{Jorgensen12,\n  KEY           = "J\\o{}rgensen12",\n  AUTHOR        = "Peter W. V. J\\o{}rgensen",\n  TITLE         = "{Evaluation of Development Process for co-models}",\n  SCHOOL        = "Aarhus University/Engineering College of Aarhus",\n  YEAR          = "2012",\n  MONTH         = "December"}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Getting Software Engineering out of Isolation.\n \n \n \n\n\n \n Larsen, P. G.; Coleman, J. W.; and Fitzgerald, J.\n\n\n \n\n\n\n In Petrenko, A. K., editor(s), SYRCoSE Software Engineering Colloquium, Perm, Russia, May 2012. \n ISBN 978-5-91474-019-8\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{Larsen&12a,\n  KEY           = "Larsen\\&12",\n  AUTHOR        = "Peter Gorm Larsen and Joey W.\\ Coleman and John Fitzgerald",\n  EDITOR        = "Alexander K. Petrenko",\n  TITLE         = "{Getting Software Engineering out of Isolation}",\n  BOOKTITLE     = "SYRCoSE Software Engineering Colloquium",\n  ADDRESS       = "Perm, Russia",\n  YEAR          = "2012",\n  MONTH         = "May",\n  NOTE          = "ISBN 978-5-91474-019-8",\n  PAGES         = "",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL I also have the sources"}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards an extensible core model for Digital Rights Management in VDM.\n \n \n \n\n\n \n Lauritsen, R.; and Lorenzen, L.\n\n\n \n\n\n\n In Proceedings of the 10th Overture Workshop 2012, of School of Computing Science, Newcastle University, 2012. \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{Lauritsen&12,\n  KEY           = "Lauritsen&12",\n  AUTHOR        = "Rasmus Lauritsen and Lasse Lorenzen",\n  TITLE         = "{Towards an extensible core model for Digital\nRights Management in {VDM}}",\n  BOOKTITLE     = "Proceedings of the 10th Overture Workshop 2012",\n  SERIES        = "School of Computing Science, Newcastle University",\n  YEAR          = "2012",\n  COMMENT       = ""}\n\n%G VDM UML TOOL OVERTURE\n
\n
\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,\n  KEY  \t        \t\t= {Lausdahl\\&12},\n  AUTHOR        \t\t= {Lausdahl, Kenneth and Coleman, Joey W. and Larsen, Peter Gorm},\n  BOOKTITLE   \t \t= {Proceedings of the 10th Overture Workshop},\n  EDITOR        \t\t= {Nico Plat and Claus Ballegaard Nielsen and Steve Riddle},\n  MONTH         \t\t= {August},\n  NUMBER        \t\t= {CS-TR-1345},\n  ORGANIZATION  \t= {Computing Science, Newcastle University},\n  SERIES        \t\t= {Technical Report Series},\n  TITLE         \t\t= {Towards a Co-simulation Semantics of {VDM-RT/Overture} and 20-sim},\n  YEAR          \t\t= {2012},\n  URL\t\t\t= "http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf",\n  pages \t\t\t= "30--37",\n}\n\n%G VDM ALLOY TOOL OVERTURE\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 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 \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,\n  KEY           = "Nielsen\\&12e",\n  AUTHOR        = "Claus Ballegaard Nielsen and Kenneth Lausdahl and Peter Gorm Larsen",\n  TITLE         = "{Using the Overture Tool as a More General Platform}",\n  BOOKTITLE\t\t="{iFM 2012 \\& ABZ 2012 - Proceedings of the Posters \\& Tool demos Session}",\n  YEAR          = "2012",\n  MONTH         = "June",\n  EDITOR        = "Mazzanti, Franco",\n  NOTE          = "",\n  PUBLISHER     = "CNR-ISTI",\n  ADDRESS\t\t="",\n  PAGES \t\t="1-34",\n  SERIES\t\t="",\n  VOLUME\t\t=""}\n\n%G COMPASSPUB SOS OVERTURE VDM\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Methodology for Transforming Java Applications Towards Real-Time Performance.\n \n \n \n \n\n\n \n von Qualen, M.; and Askov Andersen, M.\n\n\n \n\n\n\n Master's thesis, Aarhus University School of Engineering, December 2012.\n \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 
@MASTERSTHESIS{Qualen&12,\nKEY           = "Qualen\\&12",\nAUTHOR        = "von Qualen, Mads and Askov Andersen, Martin",\nTITLE         = "{A Methodology for Transforming Java Applications Towards Real-Time Performance}",\nSCHOOL        = "Aarhus University School of Engineering",\nYEAR          = "2012",\nMONTH         = "December",\nSIZE          = "",\nURL           = "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske\\_rapporter/Ece-tr-11-samlet.pdf",\nANNOTE        = "",\nCOMMENT       = ""}\n\n%G TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2011\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n A VDM-RT Methodology for the Hardware/Software Co-design of Embedded Systems.\n \n \n \n\n\n \n Isasa, J. A. E.\n\n\n \n\n\n\n Master's thesis, Aarhus University School of Engineering, Finlandsgade 22, 8200 Aarhus, Denmark, December 2011.\n Supervised by Prof. Peter Gorm Larsen. Available on-line at ˘rlhttp://overturetool.org/publications/theses/Esparza11.pdf\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 
@MASTERSTHESIS{Esparza11,\n  KEY           = "Esparza11",\n  AUTHOR        = "Jos\\'e Antonio Esparza Isasa",\n  TITLE         = "{A VDM-RT Methodology for the Hardware/Software Co-design of Embedded Systems}",\n  SCHOOL        = "Aarhus University School of Engineering",\n  ADDRESS       = "Finlandsgade 22, 8200 Aarhus, Denmark",\n  YEAR          = "2011",\n  MONTH         = "December",\n  PAGES         = "",\n  SIZE          = "260",\n  NOTE          = "Supervised by Prof. Peter Gorm Larsen. Available on-line at\n                   \\url{http://overturetool.org/publications/theses/Esparza11.pdf}",\n  ANNOTE        = "",\n  COMMENT       = "BIB JAE. I have the sources."}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems.\n \n \n \n\n\n \n Fitzgerald, J.; Larsen, P. G.; Pierce, K.; and Verhoef, M.\n\n\n \n\n\n\n Technical Report CS-TR-1264, Newcastle University, July 2011.\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 
@TECHREPORT{Fitzgerald&11b,\n  KEY           = "Fitzgerald\\&11",\n  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and Ken Pierce and\n                   Marcel Verhoef",\n  TITLE         = "{A Formal Approach to Collaborative Modelling and\n                    Co-simulation for Embedded Systems}",\n  INSTITUTION   = "Newcastle University",\n  YEAR          = "2011",\n  MONTH         = "July",\n  NUMBER        = "CS-TR-1264",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL"}\n\n%G VDM DESTECS ERROR VDMRT DESTECSPUB OVERTURE\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,\n  KEY           \t= "Lausdahl\\&11",\n  AUTHOR        \t= "Kenneth Lausdahl and Augusto Ribeiro",\n  TITLE         \t= "{Automated Exploration of Alternative System\n                    Architectures with VDM-RT}",\n  BOOKTITLE   \t= "Proceedings of the 9th Overture Workshop",\n  YEAR          \t= "2011",\n  location \t\t="Limerick, Ireland",\n  MONTH \t\t="June",\n  SERIES        \t= {Technical Report Series},\n  NUMBER   \t= {ECE-TT-2},\n    pages\t\t={17--31},\n  EDITOR     \t= {Sune Wolff and John Fitzgerald},\n  URL \t\t= "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE-TT-2-SAMLET.pdf"\n  }\n\n%G VDM TOOL OVERTURE\n
\n
\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 Technical Report ECE-TR-4, Aarhus University, October 2011.\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@TECHREPORT{Lausdahl&11d,\n  KEY           \t= "Lausdahl\\&11d",\n  AUTHOR        \t= "Kenneth Lausdahl",\n  TITLE         \t= "{Enhancing Formal Modelling Tool Support with Increased Automation}",\n  INSTITUTION  \t\t= "Aarhus University",\n  YEAR          \t= "2011",\n  MONTH         \t= "October",\n  NUMBER        \t= "{ECE-TR-4}",\n  URL\t\t\t\t= "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE_TR-4-samlet.pdf"}\n\n%G VDM COSIM TOOL DESTECS OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Development of Overture/VDM++ to Java Code Generator.\n \n \n \n\n\n \n Maimaiti, M.\n\n\n \n\n\n\n Master's thesis, Aarhus University, Department of Computer Science, May 2011.\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 
@MASTERSTHESIS{Maimaiti11,\n  KEY           = "Maimaiti11",\n  AUTHOR        = "Maihemutijiang Maimaiti",\n  TITLE         = "Towards Development of Overture/VDM++ to Java Code\n                   Generator",\n  SCHOOL        = "Aarhus University",\n  ADDRESS       = "Department of Computer Science",\n  YEAR          = "2011",\n  MONTH         = "May",\n  SIZE          = "89",\n  ANNOTE        = "",\n  COMMENT       = "I have a copy (PGL)"}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Formal Modelling and Safety Analysis of an Embedded Control System for Construction Equipment: an Industrial Case Study using VDM.\n \n \n \n\n\n \n Mori, T.\n\n\n \n\n\n\n In Wolff, S.; and Fitzgerald, J., editor(s), Proceedings of the 9th Overture Workshop, Limerick, Ireland, June 2011. \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{Mori10,\n  KEY           = "Mori10",\n  AUTHOR        = "Takayuki Mori",\n  EDITOR        = "Sune Wolff and John Fitzgerald",\n  TITLE         = "Formal Modelling and Safety Analysis of an Embedded\n                   Control System for Construction Equipment: an\n                    Industrial Case Study using VDM",\n  BOOKTITLE     = "Proceedings of the 9th Overture Workshop",\n  ADDRESS       = "Limerick, Ireland",\n  YEAR          = "2011",\n  MONTH         = "June",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL"}\n\n%G VDM TOOL OML OVERTURE\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,\n  KEY\t\t= "Ribeiro\\&11",\n  AUTHOR\t= "Augusto Ribeiro and Kenneth Lausdahl and Peter Gorm Larsen",\n  TITLE\t\t= "{Run-Time Validation of Timing Constraints for VDM-RT Models}",\n  YEAR\t\t= "2011",\n  BOOKTITLE   \t= "Proceedings of the 9th Overture Workshop",\n  location \t\t="Limerick, Ireland",\n  MONTH \t\t="June",\n  SERIES        \t= {Technical Report Series},\n  NUMBER   \t= {ECE-TT-2},\n  EDITOR     \t= {Sune Wolff and John Fitzgerald},\n  URL \t\t= "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske\\_rapporter/Technical\\_Report\\_ECE-TT-2-SAMLET.pdf",\n  pages\t\t={4--16},\n  }\n\n\n%G INTOCPSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2010\n \n \n (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.\n \n \n \n \n\n\n \n Fitzgerald, J.; Larsen, P. G.; Pierce, K.; Verhoef, M.; and Wolff, S.\n\n\n \n\n\n\n Technical Report CS-TR-1213, School of Computing Science, Newcastle University, July 2010.\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 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@TECHREPORT{Fitzgerald&10a,\n  KEY           = "Fitzgerald\\&10a",\n  AUTHOR        = {John Fitzgerald and Peter Gorm Larsen and Ken Pierce and Marcel Verhoef and Sune Wolff},\n  TITLE         = "{Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems}",\n  INSTITUTION   = "School of Computing Science, Newcastle University",\n  YEAR          = "2010",\n  MONTH         = "July",\n  NUMBER        = "{CS-TR-1213}",\n  URL           = "http://www.cs.ncl.ac.uk/publications/trs/papers/1213.pdf"}\n\n%G VDM DESTECS ERROR VDMRT DESTECSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.\n \n \n \n\n\n \n Fitzgerald, J.; Larsen, P. G.; Pierce, K.; Verhoef, M.; and Wolff, S.\n\n\n \n\n\n\n In Méry, D.; and Merz, S., editor(s), IFM 2010, Integrated Formal Methods , volume 6396, of Lecture Notes in Computer Science, pages 12–26, October 2010. Springer-Verlag\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 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{Fitzgerald&10b,\n  KEY           = "Fitzgerald\\&10b",\n  AUTHOR        = {John Fitzgerald and Peter Gorm Larsen and Ken Pierce and Marcel Verhoef and Sune Wolff},\n  TITLE         = "{Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems}",\n  EDITOR        = {D. M{\\'e}ry and S. Merz},\n  BOOKTITLE     = {IFM 2010, Integrated Formal Methods },\n  VOLUME        = {6396},\n  SERIES        = {Lecture Notes in Computer Science},\n  PUBLISHER     = {Springer-Verlag},\n  YEAR          = {2010},\n  PAGES         = {12--26},\n  MONTH         = {October}}\n\n%G DESTECS VDM DESTECSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Development Process of Distributed Embedded Systems using VDM.\n \n \n \n\n\n \n Larsen, P. G.; Wolff, S.; Battle, N.; Fitzgerald, J.; and Pierce, K.\n\n\n \n\n\n\n Technical Report TR-2010-02, The Overture Open Source Initiative, April 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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@TECHREPORT{Larsen&10e,\n  KEY           = "Larsen\\&10",\n  AUTHOR        = "Peter Gorm Larsen and Sune Wolff and Nick Battle and John Fitzgerald and Ken Pierce",\n  TITLE         = "Development Process of Distributed Embedded Systems using VDM",\n  INSTITUTION   = "The Overture Open Source Initiative",\n  YEAR          = "2010",\n  MONTH         = "April",\n  NUMBER        = "TR-2010-02",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Overture/VDM Tools Status.\n \n \n \n\n\n \n Larsen, P. G.; and Lausdahl, K.\n\n\n \n\n\n\n Handout at SEFM20 Tool Workshop, September 2010.\n Second edition\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 
@MISC{Larsen&10h,\n\tkey\t\t\t= "Larsen\\&10",\n\tAUTHOR\t\t="Peter Gorm Larsen and Kenneth Lausdahl",\n\tTITLE\t\t="{Overture/VDM Tools Status}",\n\tHOWPUBLISHED="{Handout at SEFM20 Tool Workshop}",\n\tMONTH\t\t="September",\n\tYEAR\t\t="2010",\n\tNOTE\t\t="Second edition"}\n\t\n%G VDM OVERTURE\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,\n\tkey\t\t\t= "Larsen\\&10",\n\tAUTHOR      = "Peter Gorm Larsen and Nick Battle and Miguel Ferreira\n                   and John Fitzgerald and Kenneth Lausdahl and Marcel\n                   Verhoef",\n\tTITLE       = "{The Overture Initiative -- Integrating Tools for VDM}",\n\tBOOKTITLE\t= "{Harnessing Theories for Tool Support in Software}",\n\teditor\t\t= "Min Zhang and Volker Stolz",\n\tMONTH\t\t="November",\n\tYEAR\t\t="2010",\n\tpages\t\t="9--19"}\n\n%G SOS CPS COMPASSPUB DESTECSPUB OVERTURE\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 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 \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,\n  KEY           = "Lausdahl\\&10",\n  AUTHOR        = "Kenneth Lausdahl and Marcel Verhoef and Peter Gorm Larsen and Sune Wolff",\n  TITLE         = "{Overview of VDM-RT Constructs and Semantic Issues}",\n  BOOKTITLE     = "Proceedings of the 8th Overture Workshop",\n  YEAR          = "2010",\n  MONTH         = "September",\n  LOCATION \t= "Newcastle, UK",\n  SERIES        = {Technical Report Series},\n  NUMBER        = {CS-TR-1224},\n  PAGES\t\t= {57--67},\n  EDITOR     \t= {Ken Pierce and Nico Plat and Sune Wolf},\n}\n\n%G VDM COSIM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Dynamic Reconfiguration of Distributed Systems in VDM-RT.\n \n \n \n\n\n \n Nielsen, C. B.\n\n\n \n\n\n\n In Semantic Issues in VDM: a BCS-FACS and Overture Workshop, September 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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{Nielsen10,\n  KEY           = "Nielsen10",\n  AUTHOR        = "Claus Ballegaard Nielsen",\n  TITLE         = "{Towards Dynamic Reconfiguration of Distributed\n                   Systems in VDM-RT}",\n  BOOKTITLE     = "Semantic Issues in VDM: a BCS-FACS and Overture Workshop",\n  YEAR          = "2010",\n  MONTH         = "September",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL"}\n\n%G VDM TOOL VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Dynamic Reconfiguration of Distributed Systems in VDM-RT.\n \n \n \n\n\n \n Nielsen, C. B.\n\n\n \n\n\n\n Master's thesis, Aarhus University, December 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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@MASTERSTHESIS{Nielsen10b,\n  KEY           = "Nielsen10",\n  AUTHOR        = "Claus Ballegaard Nielsen",\n  TITLE         = "{Dynamic Reconfiguration of Distributed Systems in VDM-RT}",\n  SCHOOL        = "Aarhus University",\n  YEAR          = "2010",\n  MONTH         = "December",\n  ANNOTE        = "",\n  COMMENT       = "BIB I have a copy (PGL)"}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Proceedings of the 8th Overture Workshop.\n \n \n \n\n\n \n Pierce, K.; Plat, N.; and (eds), S. W.\n\n\n \n\n\n\n Technical Report CS-TR-1224, Newcastle University, Computing Science, 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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@TECHREPORT{Pierce&10,\n  KEY           = "Pierce\\&10",\n  AUTHOR        = "Ken Pierce and Nico Plat and Sune Wolff (eds)",\n  TITLE         = "Proceedings of the 8th Overture Workshop",\n  INSTITUTION   = "Newcastle University",\n  ADDRESS       = "Computing Science",\n  YEAR          = "2010",\n  MONTH         = "November",\n  NUMBER        = "CS-TR-1224",\n  SIZE          = "73",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL"}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automating Consistency Proofs of VDM++ Models using HOL.\n \n \n \n\n\n \n Vermolen, S.; Hooman, J.; and Larsen, P. G.\n\n\n \n\n\n\n In Proceedings of the 25th Symposium on Applied Computing (SAC 2010), Sierre, Switzerland, March 2010. ACM\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{Vermolen&10,\n  KEY           = "Vermolden\\&10",\n  AUTHOR        = "Sander Vermolen and Jozef Hooman and Peter Gorm Larsen",\n  TITLE         = "{Automating Consistency Proofs of VDM++ Models using HOL}",\n  BOOKTITLE     = "Proceedings of the 25th Symposium on Applied Computing\n                   (SAC 2010)",\n  PUBLISHER     = "ACM",\n  ADDRESS       = "Sierre, Switzerland",\n  YEAR          = "2010",\n  MONTH         = "March",\n  ANNOTE        = "",\n  COMMENT       = "I have the sources (PGL)"}\n\n%G VDM VDM++ JML TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2009\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Modelling Systems – Practical Tools and Techniques in Software Development.\n \n \n \n\n\n \n Fitzgerald, J.; and Larsen, P. G.\n\n\n \n\n\n\n Cambridge University Press, The Edinburgh Building, Cambridge CB2 2RU, UK, Second edition, 2009.\n ISBN 0-521-62348-0\n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@BOOK{Fitzgerald&09,\n  KEY           = "Fitzgerald\\&09",\n  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen",\n  TITLE         = "{Modelling Systems -- Practical Tools and Techniques in\n                    Software Development}",\n  PUBLISHER     = "Cambridge University Press",\n  ADDRESS       = "The Edinburgh Building, Cambridge CB2 2RU, UK",\n  YEAR          = "2009",\n  EDITION       = "{Second}",\n  NOTE          = "{ISBN 0-521-62348-0}",\n  doi           = {10.1017/CBO9780511626975},\n  ANNOTE        = "",\n  COMMENT       = "I have the source PGL"}\n\n%G VDM DESTECS ERROR VDMRT DESTECSPUB OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project.\n \n \n \n\n\n \n Ishikawa, F.; Taguchi, K.; and Honiden, S.\n\n\n \n\n\n\n In November 2009. \n The 7th Overture workshop at FM'09\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{Ishikawa&09,\n  KEY           = "Ishikawa\\&09",\n  AUTHOR        = "Fuyuki Ishikawa and Kenji Taguchi and Shinichi Honiden",\n  TITLE         = "{How Top-Level Engineers Learn and Investigate\n                    VDM: Experiences in the Top SE Project}",\n  NOTE          = "The 7th Overture workshop at FM'09",\n  YEAR          = "2009",\n  MONTH         = "November",\n  ANNOTE        = "",\n  COMMENT       = "I have the source (PGL)"}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n VDM-RT Scheduling in Overture.\n \n \n \n\n\n \n Lausdahl, K.; and Larsen, P. G.\n\n\n \n\n\n\n April 2009.\n Model driven development using VDM++ and UML II\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&10b,\n  KEY           = "Lausdahl\\&10b",\n  AUTHOR        = "Kenneth Lausdahl and Peter Gorm Larsen",\n  TITLE         = "{VDM-RT Scheduling in Overture}",\n  YEAR          = "2009",\n  MONTH         = "April",\n  SIZE          = "16",\n  NOTE          = "{Model driven development using VDM++ and UML II}",\n  INSTITUTION   = "Aarhus University/Engineering College of Aarhus",\n  COMMENT       = "BIB JAE. I have the presentation. VDM 2 course material."}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Using Eclipse for Exploring an Integration Architecture for VDM.\n \n \n \n\n\n \n Møller, D. H.; and Thillermann, C. R. P.\n\n\n \n\n\n\n Master's thesis, Aarhus University/Engineering College of Aarhus, June 2009.\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 
@MASTERSTHESIS{Moller&09,\n  KEY           = "M{\\"o}ller\\&09",\n  AUTHOR        = "David Holst M{\\o{}}ller and Christian Rane Paysen Thillermann",\n  TITLE         = "{Using Eclipse for Exploring an Integration Architecture\n                   for VDM}",\n  SCHOOL        = "Aarhus University/Engineering College of Aarhus",\n  YEAR          = "2009",\n  MONTH         = "June",\n  SIZE          = "117",\n  ANNOTE        = "",\n  COMMENT       = "I have a copy (PGL)"}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Modeling and Validating Distributed Embedded Real-Time Control Systems.\n \n \n \n\n\n \n Verhoef, M.\n\n\n \n\n\n\n Ph.D. Thesis, Radboud University Nijmegen, 2009.\n The right one is i̧teVerhoef09\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 
@PHDTHESIS{Verhoef08,\n  KEY           = "Verhoef08",\n  AUTHOR        = "Marcel Verhoef",\n  TITLE         = "{Modeling and Validating Distributed Embedded Real-Time\n                    Control Systems}",\n  SCHOOL        = "Radboud University Nijmegen",\n  YEAR          = "2009",\n  NUMBER        = "RU. 2009-01",\n  NOTE          = "The right one is \\cite{Verhoef09}",\n  ANNOTE        = "{ISBN 978-90-9023705-3}",\n  COMMENT       = "I have a copy PGL.  Please use Verhoef09 instead of this cite."}\n\n%G VDM VDM++ VICE TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Modeling and Validating Distributed Embedded Real-Time Control Systems.\n \n \n \n\n\n \n Verhoef, M.\n\n\n \n\n\n\n Ph.D. Thesis, Radboud University Nijmegen, 2009.\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 
@PHDTHESIS{Verhoef09,\n  KEY           = "Verhoef09",\n  AUTHOR        = "Marcel Verhoef",\n  TITLE         = "{Modeling and Validating Distributed Embedded Real-Time\n                    Control Systems}",\n  SCHOOL        = "Radboud University Nijmegen",\n  YEAR          = "2009",\n  NUMBER        = "RU. 2009-01",\n  ANNOTE          = "{ISBN 978-90-9023705-3}",\n  COMMENT       = "I have a copy PGL"}\n\n%G VDM++ VICE VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Formalising Concurrent and Distributed Design Patterns with VDM.\n \n \n \n\n\n \n Wolff, S.\n\n\n \n\n\n\n In November 2009. \n The 7th Overture workshop at FM'09\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{Wolff09,\n  KEY           = "Wolff09",\n  AUTHOR        = "Sune Wolff",\n  TITLE         = "{Formalising Concurrent and Distributed Design\n                   Patterns with VDM}",\n  NOTE          = "The 7th Overture workshop at FM'09",\n  YEAR          = "2009",\n  MONTH         = "November",\n  ANNOTE        = "",\n  COMMENT       = "I have the source (PGL)"}\n\n%G OVERTURE VDM TOOL\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2008\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop.\n \n \n \n\n\n \n Fitzgerald, J. S.; Larsen, P. G.; and Sahara, S.\n\n\n \n\n\n\n Technical Report CS-TR-1099, School of Computing Science, Newcastle University, May 2008.\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 
@TECHREPORT{Fitzgerald&08b,\n  KEY           = "Fitzgerald\\&08",\n  AUTHOR        = {J. S. Fitzgerald and P. G. Larsen and S. Sahara},\n  TITLE         = "Modelling and Analysis in VDM: Proceedings of the\n                   Fourth VDM/Overture Workshop",\n  INSTITUTION   = "School of Computing Science, Newcastle University",\n  YEAR          = "2008",\n  MONTH         = "May",\n  NUMBER        = "{CS-TR-1099}",\n  SIZE          = "71"}\n\n%G VDM APPLY OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Vienna Development Method.\n \n \n \n\n\n \n Fitzgerald, J. S.; Larsen, P. G.; and Verhoef, M.\n\n\n \n\n\n\n Wiley Encyclopedia of Computer Science and Engineering. 2008.\n edited by Benjamin Wah, John Wiley & Sons, Inc.\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 
@ARTICLE{Fitzgerald&08c,\n  KEY           = "Fitzgerald\\&08",\n  AUTHOR        = {J. S. Fitzgerald and P. G. Larsen and M. Verhoef},\n  TITLE         = "{Vienna Development Method}",\n  JOURNAL       = "Wiley Encyclopedia of Computer Science and Engineering",\n  YEAR          = "2008",\n  SIZE          = "11",\n  NOTE          = "edited by Benjamin Wah, John Wiley \\& Sons, Inc.",\n  ANNOTE        = "",\n  COMMENT       = "BIB PGL"}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Animation-based Validation of a Formal Model of Dynamic Virtual Organisations.\n \n \n \n\n\n \n Fitzgerald, J.; Bryans, J.; Greathead, D.; Jones, C.; and Payne, R.\n\n\n \n\n\n\n In Boca, P.; Bowen, J.; and Larsen, P., editor(s), Proc. BCS-FACS Workshop on Formal Methods in Industry, of Electronic Workshops in Computing, 2008. British Computer Society\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{Fitzgerald&08d,\n  KEY           = "Fitzgerald\\&08d",\n  AUTHOR        = "J.S. Fitzgerald and J.W. Bryans and D. Greathead and C.B. Jones and R. Payne",\n  TITLE         = "{Animation-based Validation of a Formal Model of Dynamic Virtual Organisations}",\n  BOOKTITLE     = "{Proc. BCS-FACS Workshop on Formal Methods in Industry}",\n  EDITOR        = "P. Boca and J.P. Bowen and P.G. Larsen",\n  YEAR          = "2008",\n  series        = {Electronic Workshops in Computing},\n  PUBLISHER     = "{British Computer Society}"\n  }\n\n%G VDM TUTOR FORMAL OVERTURE\n
\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 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 \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,\n  KEY           = "Lausdahl\\&08",\n  AUTHOR        = "Kenneth Lausdahl and Hans Kristian Lintrup",\n  TITLE         = "{Coupling Overture to MDA and UML}",\n  SCHOOL        = "Aarhus University/Engineering College of Aarhus",\n  YEAR          = "2008",\n  MONTH         = "December",\n  SIZE          = "282",\n  ANNOTE        = "",\n  COMMENT       = "I have a copy PGL"}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n An Extended Proof Obligation Generator for VDM++/OML.\n \n \n \n\n\n \n Ribeiro, A.\n\n\n \n\n\n\n Master's thesis, Minho University with exchange to Engineering College of Arhus, July 2008.\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 
@MASTERSTHESIS{Ribeiro08,\n  KEY           = "Ribeiro08",\n  AUTHOR        = "Augusto Ribeiro",\n  TITLE         = "{An Extended Proof Obligation Generator for VDM++/OML}",\n  SCHOOL        = "{Minho University with exchange to Engineering College\n                   of Arhus}",\n  YEAR          = "2008",\n  MONTH         = "July",\n  ANNOTE        = "",\n  COMMENT       = "I have the pdf PGL"}\n\n%G VDM COSIM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n VDM++ Test Automation Support.\n \n \n \n\n\n \n Santos, A. S.\n\n\n \n\n\n\n Master's thesis, Minho University with exchange to Engineering College of Arhus, July 2008.\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 
@MASTERSTHESIS{Santos08,\n  KEY           = "Santos08",\n  AUTHOR        = "Adriana Sucena Santos",\n  TITLE         = "{VDM++ Test Automation Support}",\n  SCHOOL        = "{Minho University with exchange to Engineering College of Arhus}",\n  YEAR          = "2008",\n  MONTH         = "July",\n  ANNOTE        = "",\n  COMMENT       = "I have the pdf PGL"}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Connecting between VDM++ and JML.\n \n \n \n\n\n \n Vilhena, C.\n\n\n \n\n\n\n Master's thesis, Minho University with exchange to Engineering College of Arhus, July 2008.\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 
@MASTERSTHESIS{Vilhena08,\n  KEY           = "Vilhena08",\n  AUTHOR        = "Carlos Vilhena",\n  TITLE         = "{Connecting between VDM++ and JML}",\n  SCHOOL        = "{Minho University with exchange to Engineering College of Arhus}",\n  YEAR          = "2008",\n  MONTH         = "July",\n  ANNOTE        = "",\n  COMMENT       = "I have a copy PGL"}\n\n% G OVERTURE VDM TOOL\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2007\n \n \n (9)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Extending the VDM++ Formal Specification Language with Type Inference and Generic Classes.\n \n \n \n\n\n \n Christensen, T. J. H.\n\n\n \n\n\n\n Master's thesis, Aarhus University, Computer Science Department, April 2007.\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 
@MASTERSTHESIS{Christensen07,\n  KEY           = "Christensen07",\n  AUTHOR        = "Thomas John H\\o{}rlyck Christensen",\n  TITLE         = "{Extending the VDM++ Formal Specification Language with\n                   Type Inference and Generic Classes}",\n  SCHOOL        = "Aarhus University",\n  ADDRESS       = "Computer Science Department",\n  YEAR          = "2007",\n  MONTH         = "April",\n  ANNOTE        = "",\n  COMMENT       = "I have a copy PGL"}\n\n%G TOOL VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods.\n \n \n \n\n\n \n Fitzgerald, J. S.; and Larsen, P. G.\n\n\n \n\n\n\n In Margaria, T.; Philippou, A.; and Steffen, B., editor(s), Proc. 2nd Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2007), 2007. \n Also Technical Report CS-TR-999, School of Computing Science, Newcastle University\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{Fitzgerald&07,\n  KEY           = "Fitzgerald\\&07",\n  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen",\n  TITLE         = "{Triumphs and Challenges for the Industrial\n                   Application of Model-Oriented Formal Methods}",\n  EDITOR        = "T. Margaria and A. Philippou and B. Steffen",\n  BOOKTITLE     = "Proc. 2nd Intl. Symp. on Leveraging Applications of\n                   Formal Methods, Verification and Validation~(ISoLA 2007)",\n  YEAR          = "2007",\n  NOTE          = "Also Technical Report CS-TR-999, School of Computing\n                   Science, Newcastle University"}\n\n%G VDM VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Validation Support for Distributed Real-Time Embedded Systems in VDM++.\n \n \n \n\n\n \n Fitzgerald, J.; Larsen, P. G.; Tjell, S.; and Verhoef, M.\n\n\n \n\n\n\n Technical Report CS-TR:1017, School of Computing Science, Newcastle University, April 2007.\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 
@TECHREPORT{Fitzgerald&07b,\n  KEY           = "Fitzgerald\\&07",\n  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and Simon Tjell and\n                   Marcel Verhoef",\n  TITLE         = "{Validation Support for Distributed Real-Time Embedded\n                   Systems in VDM++}",\n  INSTITUTION   = "{School of Computing Science, Newcastle University}",\n  YEAR          = "2007",\n  MONTH         = "April",\n  SIZE          = "18",\n  NUMBER        = "{CS-TR:1017}"}\n\n%G VDM VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Validation Support for Real-Time Embedded Systems in VDM++.\n \n \n \n\n\n \n Fitzgerald, J. S.; Larsen, P. G.; Tjell, S.; and Verhoef, M.\n\n\n \n\n\n\n Technical Report CS-TR-1017, School of Computing Science, Newcastle University, April 2007.\n Revised version in Proc. 10th IEEE High Assurance Systems Engineering Symposium, November, 2007, Dallas, Texas, IEEE\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 
@TECHREPORT{Fitzgerald&07d,\n  KEY           = "Fitzgerald\\&07d",\n  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen and S. Tjell and M. Verhoef",\n  TITLE         = "{Validation Support for Real-Time Embedded Systems in VDM++}",\n  INSTITUTION   = "School of Computing Science, Newcastle University",\n  NUMBER        = "CS-TR-1017",\n  MONTH         = "April",\n  SIZE          = "18",\n  YEAR          = "2007",\n  NOTE          = "{Revised version in Proc. 10th IEEE High\n                    Assurance Systems Engineering Symposium, November,\n                    2007, Dallas, Texas, IEEE}",\n  COMMENT       = "I have the source (JSF)"}\n\n%G VDM FORMAL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Balancing Insight and Effort: the Industrial Uptake of Formal Methods.\n \n \n \n\n\n \n Fitzgerald, J. S.; and Larsen, P. G.\n\n\n \n\n\n\n In Jones, C. B.; Liu, Z.; and Woodcock, J., editor(s), Formal Methods and Hybrid Real-Time Systems, Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, pages 237-254, Volume 4700, September 2007. Springer, Lecture Notes in Computer Science\n ISBN 978-3-540-75220-2\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{Fitzgerald&07e,\n  KEY           = "Fitzgerald\\&07",\n  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen",\n  EDITOR        = "Cliff B. Jones and Zhiming Liu and Jim Woodcock",\n  TITLE         = "{Balancing Insight and Effort: the Industrial Uptake of\n                    Formal Methods}",\n  BOOKTITLE     = "Formal Methods and Hybrid Real-Time Systems, Essays in\n                   Honour of Dines Bj{\\o}rner and Chaochen Zhou on the Occasion\n                   of Their 70th Birthdays",\n  ORGANIZATION  = "Springer",\n  PUBLISHER     = "Lecture Notes in Computer Science",\n  ADDRESS       = "Volume 4700",\n\n  YEAR          = "2007",\n  MONTH         = "September",\n  PAGES         = "237-254",\n  NOTE          = "ISBN 978-3-540-75220-2",\n  ANNOTE        = "",\n  COMMENT       = "I have the sources (PGL)"}\n\n%G VDM VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Validation Support for Real-Time Embedded Systems in VDM++.\n \n \n \n\n\n \n Fitzgerald, J. S.; Larsen, P. G.; Tjell, S.; and Verhoef, M.\n\n\n \n\n\n\n In Cukic, B.; and Dong, J., editor(s), Proc. HASE 2007: 10th IEEE High Assurance Systems Engineering Symposium, pages 331–340, November 2007. IEEE\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{Fitzgerald&07h,\n  KEY           = "Fitzgerald\\&07h",\n  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen and S. Tjell and M. Verhoef",\n  TITLE         = "{Validation Support for Real-Time Embedded Systems in VDM++}",\n  BOOKTITLE     = "Proc. HASE 2007: 10th IEEE High Assurance Systems Engineering Symposium",\n  EDITOR        = "Bojan Cukic and Jing Dong",\n  MONTH         = "November",\n  PAGES         = "331--340",\n  YEAR          = "2007",\n  PUBLISHER     = "{IEEE}",\n  COMMENT       = "I have the source (JSF)"}\n\n%G VDM TOOL APPLY OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Interpreting Distributed System Architectures Using VDM++ – A Case Study.\n \n \n \n\n\n \n Verhoef, M.; and Larsen, P. G.\n\n\n \n\n\n\n In Sauser, B.; and Muller, G., editor(s), 5th Annual Conference on Systems Engineering Research, March 2007. \n Available at http://www.stevens.edu/engineering/cser/\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{Verhoef&07,\n  KEY           = "Verhoef\\&07",\n  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen",\n  EDITOR        = "Brian Sauser and Gerrit Muller",\n  TITLE         = "{Interpreting Distributed System Architectures Using VDM++\n                   -- A Case Study}",\n  BOOKTITLE     = "5th Annual Conference on Systems Engineering Research",\n  PUBLISHER     = "",\n  YEAR          = "2007",\n  MONTH         = "March",\n  NOTE          = "{Available at http://www.stevens.edu/engineering/cser/}",\n  ANNOTE        = "",\n  COMMENT       = "I have the sources (PGL)"}\n\n%G VDM VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Co-simulation of Distributed Embedded Real-time Control Systems.\n \n \n \n\n\n \n Verhoef, M.; Visser, P.; Hooman, J.; and Broenink, J.\n\n\n \n\n\n\n In Davies, J.; and Gibbons, J., editor(s), Integrated Formal Methods: Proc. 6th. Intl. Conference, of Lecture Notes in Computer Science 4591, pages 639–658, July 2007. Springer-Verlag\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{Verhoef&07b,\n  KEY           = "Verhoef\\&07",\n  AUTHOR        = "Marcel Verhoef and Peter Visser and Jozef Hooman and\n                   Jan Broenink",\n  TITLE         = "{Co-simulation of Distributed Embedded Real-time Control Systems}",\n  BOOKTITLE     = "Integrated Formal Methods: Proc. 6th. Intl. Conference",\n  EDITOR        = "Jim Davies and Jeremy Gibbons",\n  PUBLISHER     = "Springer-Verlag",\n  SERIES        = "Lecture Notes in Computer Science 4591",\n  PAGES         = "639--658",\n  YEAR          = "2007",\n  MONTH         = "July",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE TOOL\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automatically Discharging VDM Proof Obligations using HOL.\n \n \n \n\n\n \n Vermolen, S.\n\n\n \n\n\n\n Master's thesis, Radboud University Nijmegen, Computer Science Department, August 2007.\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 
@MASTERSTHESIS{Vermolen07,\n  KEY           = "Vermolen07",\n  AUTHOR        = "Sander Vermolen",\n  TITLE         = "{Automatically Discharging VDM Proof Obligations using HOL}",\n  SCHOOL        = "Radboud University Nijmegen",\n  ADDRESS       = "Computer Science Department",\n  YEAR          = "2007",\n  MONTH         = "August",\n  SIZE          = "115",\n  ANNOTE        = "",\n  COMMENT       = "I have the hard copy PGL"}\n\n%G VDM PROOF TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2006\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Sex Up Overture.\n \n \n \n\n\n \n Alves, T. M. L.\n\n\n \n\n\n\n In Third Overture Workshop at Newcastle University, November 2006. \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{Alves06,\n  KEY           = "Alves06",\n  AUTHOR        = "Tiago M. L. Alves",\n  TITLE         = "Sex Up Overture",\n  BOOKTITLE     = "Third Overture Workshop at Newcastle University",\n  YEAR          = "2006",\n  MONTH         = "November",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005.\n \n \n \n\n\n \n Fitzgerald, J. S.; Larsen, P. G.; and Plat (Eds.), N.\n\n\n \n\n\n\n Technical Report CS-TR-969, School of Computing Science, Newcastle University, June 2006.\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 
@TECHREPORT{Fitzgerald&06a,\n  KEY           = "Fitzgerald\\&06a",\n  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen and N. Plat~(Eds.)",\n  TITLE         = "{Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005}",\n  INSTITUTION   = "School of Computing Science, Newcastle University",\n  NUMBER        = "CS-TR-969",\n  MONTH         = "June",\n  YEAR          = "2006"\n}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n The inverted curriculum in practice.\n \n \n \n\n\n \n Pedroni, M.; and Meyer, B.\n\n\n \n\n\n\n ACM SIGCSE Bulletin, 38(1): 481–485. 2006.\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 
@article{Pedroni&06,\n  key="Pedroni\\&06",\n  title={The inverted curriculum in practice},\n  author={Pedroni, Michela and Meyer, Bertrand},\n  journal={ACM SIGCSE Bulletin},\n  volume={38},\n  number={1},\n  pages={481--485},\n  year={2006},\n  publisher={ACM}\n}\n\n%G VDM OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n On the Use of VDM++ for Specifying Real-Time Systems.\n \n \n \n\n\n \n Verhoef, M.\n\n\n \n\n\n\n In Fitzgerald, J. S.; Larsen, P. G.; and Plat, N., editor(s), Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005, pages 26–43, School of Computing Science, Newcastle University, Technical Report CS-TR-969, June 2006. \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{Verhoef06,\n  KEY           = "Verhoef06",\n  AUTHOR        = "Marcel Verhoef",\n  EDITOR        = "J. S. Fitzgerald and P. G. Larsen and N. Plat",\n  TITLE         = "{On the Use of VDM++ for Specifying Real-Time Systems}",\n  BOOKTITLE     = "{Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005}",\n  ADDRESS       = "School of Computing Science, Newcastle University, Technical Report CS-TR-969",\n  YEAR          = "2006",\n  MONTH         = "June",\n  PAGES         = "26--43"\n}\n\n%G VDM VDM++ VICE TOOL MACPJ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.\n \n \n \n\n\n \n Verhoef, M.; Larsen, P. G.; and Hooman, J.\n\n\n \n\n\n\n In Misra, J.; Nipkow, T.; and Sekerinski, E., editor(s), FM 2006: Formal Methods, of Lecture Notes in Computer Science 4085, pages 147-162, 2006. Springer-Verlag\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{Verhoef&06b,\n  KEY           = "Verhoef\\&06",\n  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen and Jozef Hooman",\n  EDITOR        = "Jayadev Misra and Tobias Nipkow and Emil Sekerinski",\n  TITLE         = "{Modeling and Validating Distributed Embedded\n                    Real-Time Systems with VDM++}",\n  BOOKTITLE     = "FM 2006: Formal Methods",\n  SERIES        = "Lecture Notes in Computer Science 4085",\n  PUBLISHER     = "Springer-Verlag",\n  YEAR          = "2006",\n  PAGES         = "147-162",\n  ANNOTE        = "",\n  COMMENT       = "I have the sources (PGL)",\n  doi\t\t= {10.1007/11813040\\_11},\n}\n\n%G VICE VDM VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2005\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Development of an Overture/VDM++ Tool Set for Eclipse.\n \n \n \n\n\n \n Nielsen, J. P.; and Hansen, J. K.\n\n\n \n\n\n\n Master's thesis, Technical University of Denmark, Informatics and Mathematical Modelling, August 2005.\n IMM-THESIS-2005-58\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 
@MASTERSTHESIS{Nielsen&05,\n  KEY           = "Nielsen\\&05",\n  AUTHOR        = "Jacob Porsborg Nielsen and Jens Kielsgaard Hansen",\n  TITLE         = "{Development of an Overture/VDM++ Tool Set for Eclipse}",\n  SCHOOL        = "Technical University of Denmark",\n  ADDRESS       = "Informatics and Mathematical Modelling",\n  YEAR          = "2005",\n  MONTH         = "August",\n  NOTE          = "IMM-THESIS-2005-58",\n  ANNOTE        = "",\n  COMMENT       = "I have a copy PGL"}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Syntax Error Repair for a Java-based Parser Generator.\n \n \n \n\n\n \n van der Spek, P.; Plat, N.; and Pronk, C.\n\n\n \n\n\n\n SIGPLAN Not., 40(4): 47–50. 2005.\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 
@ARTICLE{vanderSpek&05,\n  KEY           = "vanderSpek\\&05",\n  AUTHOR        = {P. van der Spek and N. Plat and C. Pronk},\n  TITLE         = "{Syntax Error Repair for a Java-based Parser Generator}",\n  JOURNAL       = {SIGPLAN Not.},\n  VOLUME        = {40},\n  NUMBER        = {4},\n  YEAR          = {2005},\n  ISSN          = {0362-1340},\n  PAGES         = {47--50},\n  COMMENT       = "BIB PGL"}\n\n%G VDMRT VDM VDM++ JAEINT OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n On the Use of VDM++ for Specifying Real-Time Systems.\n \n \n \n\n\n \n Verhoef, M.\n\n\n \n\n\n\n Proc. First Overture workshop. November 2005.\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 
@ARTICLE{Verhoef05,\n  KEY           = "Verhoef05",\n  AUTHOR        = "Marcel Verhoef",\n  TITLE         = "{On the Use of {VDM++} for Specifying Real-Time Systems}",\n  JOURNAL       = "Proc. First Overture workshop",\n  PUBLISHER     = "University of Newcastle-Upon-Tyne, Centre for Software Reliability",\n  YEAR          = "2005",\n  MONTH         = "November",\n  COMMENT       = "I have the proceedings PGL"}\n\n%G VDM VDM++ VDMRT OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2004\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n The Overture Project: Towards an Open Source Toolset.\n \n \n \n\n\n \n van der Spek, P.\n\n\n \n\n\n\n Technical Report Delft University of Technology, January 2004.\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 
@TECHREPORT{vanderSpek04a,\n  KEY           = "vanderSpek04",\n  AUTHOR        = "P. van der Spek",\n  TITLE         = "{The Overture Project: Towards an Open Source Toolset}",\n  INSTITUTION   = "Delft University of Technology",\n  YEAR          = "2004",\n  MONTH         = "January",\n  PAGES         = "122",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G OML VDM VDM++ OVERTURE\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n The Overture Project: Designing an Open Source Tool Set.\n \n \n \n\n\n \n van der Spek, P.\n\n\n \n\n\n\n Master's thesis, Delft University of Technology, August 2004.\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 
@MASTERSTHESIS{vanderSpek04b,\n  KEY           = "vanderSpek04",\n  AUTHOR        = "P. van der Spek",\n  TITLE         = "The Overture Project: Designing an Open Source Tool Set",\n  SCHOOL        = "Delft University of Technology",\n  YEAR          = "2004",\n  MONTH         = "August",\n  PAGES         = "239",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = ""}\n\n%G VDM TOOL OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 1999\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Analyzing SAFER using UML and VDM++.\n \n \n \n\n\n \n Agerholm, S.; and Schafer, W.\n\n\n \n\n\n\n In Fitzgerald, J.; and Larsen, P. G., editor(s), VDM in Practice, pages 139–141, September 1999. \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{Agerholm&99,\n  KEY           = "Agerholm\\&99",\n  AUTHOR        = "Sten Agerholm and Wendy Schafer",\n  EDITOR        = "John Fitzgerald and Peter Gorm Larsen",\n  TITLE         = "{Analyzing SAFER using UML and VDM++}",\n  BOOKTITLE     = "VDM in Practice",\n  YEAR          = "1999",\n  MONTH         = "September",\n  PAGES         = "139--141",\n  NOTE          = "",\n  ANNOTE        = "",\n  COMMENT       = "PGL"}\n\n%G OVERTURE\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n undefined\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions.\n \n \n \n\n\n \n Rask, J. K.; Madsen, F. P.; Battle, N.; Macedo, H. D.; and Larsen, P. G.\n\n\n \n\n\n\n In Proença, J.; and Paskevich, A., editor(s), m̊ Proceedings of the 6th Workshop on Formal Integrated Development Environment, m̊ Held online, 24-25th May 2021, volume 338, of Electronic Proceedings in Theoretical Computer Science, pages 3-18, . Open Publishing Association\n \n\n\n\n
\n\n\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 \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@INPROCEEDINGS{Rask&21,\n  KEY           = "Rask\\&21",\n  AUTHOR        = "Jonas Kj{\\ae}r Rask and Frederik Palludan Madsen and Nick Battle and Hugo Daniel Macedo and Peter\nGorm Larsen",\n  TITLE         =  "{The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions}",\n   editor    = {Proen\\c{c}a, Jos\\'e and Paskevich, Andrei},\n  booktitle = {{\\rm Proceedings of the 6th Workshop on}\n               Formal Integrated Development Environment,\n               {\\rm Held online, 24-25th May 2021}},\n  series    = {Electronic Proceedings in Theoretical Computer Science},\n  volume    = {338},\n  publisher = {Open Publishing Association},\n  pages     = {3-18},\n  doi       = {10.4204/EPTCS.338.3},\n}\n\n% G OVERTURE VDM TOOL\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);