BibBase https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib

generated by

Group by
- Year
- Author
- Type
- Keyword
- Downloads

2016 (2)

Integrated Tool Chain for Model-based Design of Cyber-Physical Systems: The INTO-CPS Project. Larsen, P. G.; Fitzgerald, J.; Woodcock, J.; Fritzson, P.; Brauer, J.; Kleijn, C.; Lecomte, T.; Pfeil, M.; Green, O.; Basagiannis, S.; and Sadovykh, A. In Submitted for DATE 2016, Dresden, Germany, March 2016.
link bibtex

@INPROCEEDINGS{Larsen&16a,
  KEY           = "Larsen\&16",
  AUTHOR        = "Peter Gorm Larsen and John Fitzgerald and Jim Woodcock and
                   Peter Fritzson and J{\"{o}}rg Brauer and Christian Kleijn
                   and Thierry Lecomte and Markus Pfeil and Ole Green and
                   Stylianos Basagiannis and Andrey Sadovykh",
  TITLE         = "{Integrated Tool Chain for Model-based Design of 
                    Cyber-Physical Systems: The INTO-CPS Project}",
  BOOKTITLE     = "Submitted for DATE 2016",
  PUBLISHER     = "",
  ADDRESS       = "Dresden, Germany",
  YEAR          = "2016",
  MONTH         = "March",
  PAGES         = "",
  SIZE          = "",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G INTOCPSPUB VDM TOOL OVERTURE

Modelling and Simulating an Agricultural Robot. Larsen, P. G.; Esparza, J.; Fitzgerald, J.; Hallerstede, S.; and Green, O. In Submitted for ICCPS 2016, Vienna, Austria, April 2016. CPS Week
link bibtex

@INPROCEEDINGS{Larsen&16b,
  KEY           = "Larsen\&16",
  AUTHOR        = "Peter Gorm Larsen and Jose Esparza and John Fitzgerald and 
                   Stefan Hallerstede and Ole Green",
  TITLE         = "{Modelling and Simulating an Agricultural Robot}",
  BOOKTITLE     = "Submitted for ICCPS 2016",
  ORGANIZATION  = "CPS Week",
  PUBLISHER     = "",
  ADDRESS       = "Vienna, Austria",
  YEAR          = "2016",
  MONTH         = "April",
  PAGES         = "",
  SIZE          = "",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G COMPASSPUB OVERTURE

2015 (15)

Migrating to an Extensible Architecture for Abstract Syntax Trees. Luís Diogo Couto; Tran-Jørgensen, P. W. V.; Coleman, J. W.; and Lausdahl, K. In 12th Working IEEE / IFIP Conference on Software Architecture, May 2015.
link bibtex

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

%G VDM OVERTURE TOOL

Extending the Overture code generator towards Isabelle syntax. Luís Diogo Couto; and Tran-Jørgensen, P. W. V. 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 GRACE-TR-2015-06

Extending the Overture code generator towards Isabelle syntax [pdf]

Paper link bibtex

@INPROCEEDINGS{Couto&15b,
key = {Couto&15},
  AUTHOR        = "Lu{\'i}s Diogo Couto and Peter W. V. Tran-J{\o}rgensen",
  TITLE         = "{Extending the Overture code generator towards Isabelle syntax}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "48-59",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

Towards Enabling Overture as a Platform for Formal Notation IDEs. Luís Diogo Couto; Larsen, P. G.; Hasanagic, M.; Kanakis, G.; Lausdahl, K.; and Tran-Jørgensen, P. W. V. In , editor(s), 2nd Workshop on Formal-IDE (F-IDE), Oslo, Norway, June 2015.
link bibtex

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

%G VDM OVERTURE

Pacemaker Parameter Tuning using Crescendo. Gamble, C.; Mansfield, M.; Fitzgerald, J.; and Larsen, P. G. ,116-131. June 2015. GRACE-TR-2015-06

Pacemaker Parameter Tuning using Crescendo [pdf]

Paper link bibtex

@ARTICLE{Gamble&15,
  KEY           = "Gamble\&15",
  AUTHOR        = "Carl Gamble and Martin Mansfield and John Fitzgerald and
                   Peter Gorm Larsen",
  TITLE         = "{Pacemaker Parameter Tuning using Crescendo}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "116-131",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM COMPASS DESTECS OVERTURE

Generating Java RMI for the distributed aspects of VDM-RT models. Hasanagic, M.; Larsen, P. G.; and Tran-Jørgensen, P. W. 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 GRACE-TR-2015-06

Generating Java RMI for the distributed aspects of VDM-RT models [pdf]

Paper link bibtex

@INPROCEEDINGS{Hasanagic&15,
  KEY           = {Hasanagic\&15},
  AUTHOR        = "Miran Hasanagic and Peter Gorm Larsen and Peter W.V.\ 
                   Tran-J\o{}rgensen",
  TITLE         = "{Generating Java RMI for the distributed aspects of VDM-RT models}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "75-89",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM VDM++ OVERTURE

Proceedings of the 13th Overture Workshop. Ishikawa, F.; and Larsen, P. G., editors. Center for Global Research in Advanced Software Science and Engineering. National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June 2015. GRACE-TR-2015-06

Proceedings of the 13th Overture Workshop [pdf]

Paper link bibtex

@PROCEEDINGS{Ishikawa&15,
  KEY           = "Ishikawa\&15",
  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",
  TITLE         = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  SIZE          = "139",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf", 
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

Case Studies on Combination of VDM and Test-Driven Approaches: Application, Model Finding and Refinement. Ishikawa, F. ,104-115. June 2015. GRACE-TR-2015-06

Case Studies on Combination of VDM and Test-Driven Approaches: Application, Model Finding and Refinement [pdf]

Paper link bibtex

@ARTICLE{Ishikawa15,
  KEY           = "Ishikawa15",
  AUTHOR        = "Fuyuki Ishikawa",
  TITLE         = "{Case Studies on Combination of VDM and Test-Driven 
                    Approaches: Application, Model Finding and Refinement}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "104-115",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G DESTECS OVERTURE

Code Generation of VDM++ Concurrency. Kanakis, G.; Larsen, P. G.; and Tran-Jørgensen, P. W. 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 GRACE-TR-2015-06

Code Generation of VDM++ Concurrency [pdf]

Paper link bibtex

@INPROCEEDINGS{Kanakis&15,
  KEY           = {Kanakis&15},
  AUTHOR        = "Georgios Kanakis and Peter Gorm Larsen and Peter W.V.\ 
                   Tran-J\o{}rgensen",
  TITLE         = "{Code Generation of VDM++ Concurrency}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "60-74",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

Advance in VDM Application to Development of Mobile FeliCa IC Chip Firmware – Toward Readable VDM Specification for Reliable System and Good Relationships. Kurita, T. 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 GRACE-TR-2015-06
link bibtex

@INPROCEEDINGS{Kurita15,
  KEY           = "Kurita15",
  AUTHOR        = "Taro Kurita",
  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",
  TITLE         = "Advance in VDM Application to Development of Mobile FeliCa
                   IC Chip Firmware -- Toward Readable VDM Specification for
                   Reliable System and Good Relationships",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "1-2",
  NOTE          = "GRACE-TR-2015-06",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

Improving Time Estimates in VDM-RT Models. Larsen, M.; Jørgensen, P. W.; and Larsen, P. G. ,90-103. June 2015. GRACE-TR-2015-06

Improving Time Estimates in VDM-RT Models [pdf]

Paper link bibtex

@ARTICLE{Larsen&15a,
  KEY           = "Larsen\&15a",
  AUTHOR        = "Morten Larsen and Peter W.V. J\o{}rgensen and Peter Gorm Larsen",
  TITLE         = "{Improving Time Estimates in VDM-RT Models}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "90-103",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G INTOCPSPUB VDM TOOL OVERTURE

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. Larsen, P. G.; and Fitzgerald, J. Journal of Logical and Algebraic Methods in Programming. October 2015.
doi link bibtex

@ARTICLE{Larsen&15a,
  KEY           = "Larsen\&15",
  AUTHOR        = "Peter Gorm Larsen and John Fitzgerald",
  TITLE         = "{The evolution of VDM tools from the 1990s to 2015 and 
                    the influence of CAMILA}",
  JOURNAL       = "Journal of Logical and Algebraic Methods in Programming",
  YEAR          = "2015",
  MONTH         = "October",
  VOLUME        = "",
  NUMBER        = "",
  PAGES         = "",
  ISSN          = "2352-2208",
  DOI           = "http://dx.doi.org/10.1016/j.jlamp.2015.10.001",
  ANNOTE        = "",
  COMMENT       = "BIB I have the sources (PGL)"}

%G INTOCPSPUB VDM TOOL OVERTURE

Integrating the PVSio-web modelling and prototyping environment with Overture. Masci, P.; Couto, L. D.; Larsen, P. G.; and Curzon, P. 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 GRACE-TR-2015-06

Integrating the PVSio-web modelling and prototyping environment with Overture [pdf]

Paper link bibtex

@INPROCEEDINGS{Masci&15a,
  KEY           = "Masci\&15",
  AUTHOR        = "Paolo Masci and Luis Diogo Couto and Peter Gorm Larsen and 
                   Paul Curzon",
  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",
  TITLE         = "{Integrating the PVSio-web modelling and prototyping 
                    environment with Overture}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "33-47",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = "PGL I have the sources"}

%G VDM APPLY VDM++ OVERTURE

VDM Animation for a Wider Range of Stakeholders. Oda, T.; Yamomoto, Y.; Nakakoji, K.; Araki, K.; and Larsen, P. G. 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 GRACE-TR-2015-06

VDM Animation for a Wider Range of Stakeholders [pdf]

Paper link bibtex

@INPROCEEDINGS{Oda&15b,
  KEY           = "Oda\&15",
  AUTHOR        = "Tomohiro Oda and Yasuhiro Yamomoto and Kumiyo Nakakoji and
                   Kenjiro Araki and Peter Gorm Larsen",
  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",
  TITLE         = "{VDM Animation for a Wider Range of Stakeholders}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "18-32",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

JODTool on the Overture Tool to manage formal requirement dictionaries. Omori, Y.; Araki, K.; and Larsen, P. G. 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 GRACE-TR-2015-06

JODTool on the Overture Tool to manage formal requirement dictionaries [pdf]

Paper link bibtex

@INPROCEEDINGS{Omori&15,
  KEY           = "Omori\&15",
  AUTHOR        = "Yoichi Omori and Kenjiro Araki and Peter Gorm Larsen",
  EDITOR        = "Fuyuki Ishikawa and Peter Gorm Larsen",
  TITLE         = "JODTool on the Overture Tool to manage formal requirement
                   dictionaries",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "3-17",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

TASTE for Overture to keep SLIM. Verhoef, M.; and Perrotin, M. ,132-139. June 2015. GRACE-TR-2015-06

Paper link bibtex

@ARTICLE{Verhoef&15,
  KEY           = "Verhoef\&15",
  AUTHOR        = "Marcel Verhoef and Maxime Perrotin",
  TITLE         = "{TASTE for Overture to keep SLIM}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science 
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "132-139",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM VDM++ PROOF OVERTURE

2014 (7)

Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014. Battle, N.; and Fitzgerald, J. Technical Report CS-TR-1446, School of Computing Science, Newcastle University, January 2014.

Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014 [pdf]

paper link bibtex

@TECHREPORT{Battle&15,
  KEY           = "Battle\&15",
  AUTHOR        = "Battle, Nick and Fitzgerald, John",
  INSTITUTION   = "{School of Computing Science, Newcastle University}",
  TITLE         = "{Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014}",
  NUMBER        = "CS-TR-1446",
  YEAR          = "2014",
  PAGES         = "52",
  url_Paper     = {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf},
  MONTH         = "January"}

%G OVERTURE

Hardware In the Loop for VDM-Real Time Modelling of Embedded Systems. Isasa, J. A. E.; Jørgensen, P. W.; and Larsen, P. G. In MODELSWARD 2014, Second International Conference on Model-Driven Engineering and Software Development, January 2014.
link bibtex

@INPROCEEDINGS{Esparza&13c,
  KEY          = "Esparza\&13c",
  AUTHOR       = "Jos\'e Antonio Esparza Isasa and Peter W.V. J\o{}rgensen and Peter Gorm Larsen",
  TITLE        = "{Hardware In the Loop for VDM-Real Time Modelling of Embedded Systems}",
  BOOKTITLE    = "MODELSWARD 2014, Second International Conference on Model-Driven Engineering and Software Development",
  SERIES       = "",
  YEAR         = "2014",
  MONTH        = "January",
  COMMENT      = "BIB JAE"}

%G COMPASSPUB SOS OVERTURE

Distributed Simulation of Formal Models in System of Systems Engineering. Nielsen, C. B.; Lausdahl, K.; and Larsen, P. G. In 4th IEEE track on Collaborative Modelling and Simulation in IEEE WETICE 2014, June 2014.
link bibtex

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

%G VDM OVERTURE

Code Generation for Distributed Systems Modelled in VDM-RT. Hasanagić, M. Master's thesis, Aarhus University, Department of Engineering, December 2014.
link bibtex

@MASTERSTHESIS{Hasanagic14,
  KEY           = "Hasanagic14",
  AUTHOR        = "Miran Hasanagi\'{c}",
  TITLE         = "{Code Generation for Distributed Systems Modelled in VDM-RT}",
  SCHOOL        = "Aarhus University",
  ADDRESS       = "Department of Engineering",
  YEAR          = "2014",
  MONTH         = "December",
  SIZE          = "122",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

Five Views of a Collaborative Model. Jørgensen, P. W.; and Wolff, S. In Submitted to the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014), April 2014.
link bibtex

@INPROCEEDINGS{Jorgensen&13c,
  KEY           = "J\o{}rgensen\&13",
  AUTHOR        = "Peter W.V. J\o{}rgensen and Sune Wolff",
  TITLE         = "{Five Views of a Collaborative Model}",
  BOOKTITLE     = "Submitted to the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014)",
  YEAR          = "2014",
  MONTH         = "April",
  ANNOTE        = ""}

%G VDM OVERTURE TOOL

A Code Generation Platform for VDM. Jørgensen, P. W.; Luís D. Couto; and Larsen, M. In The Overture 2014 workshop, June 2014.
link bibtex

@INPROCEEDINGS{Jorgensen&14a,
  KEY           = "J\o{}rgensen\&14",
  AUTHOR        = "Peter W.V. J\o{}rgensen and Lu{\'i}s D. Couto and Morten Larsen",
  TITLE         = "{A Code Generation Platform for VDM}",
  BOOKTITLE     = "The Overture 2014 workshop",
  YEAR          = "2014",
  MONTH         = "June",
  ANNOTE        = ""}

%G VDM OVERTURE TOOL

Concurrency code generator for the VDM++ Language. Kanakis, G. Master's thesis, Aarhus University, Department of Engineering, December 2014.
link bibtex

@MASTERSTHESIS{Kanakis14,
  KEY           = "Kanakis14",
  AUTHOR        = "Georgios Kanakis",
  TITLE         = "{Concurrency code generator for the VDM++ Language}",
  SCHOOL        = "Aarhus University",
  ADDRESS       = "Department of Engineering",
  YEAR          = "2014",
  MONTH         = "December",
  SIZE          = "89",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

2013 (11)

The COMPASS Proof Obligation Generator: A test case of Overture Extensibility. Couto, L.; and Payne, R. In Proceedings of the 11th Overture Workshop, 2013.
link bibtex

@INPROCEEDINGS{Couto&13a,
  KEY           = "Couto\&13",
  TITLE         = "{The COMPASS Proof Obligation Generator: A test case of Overture Extensibility}",
  AUTHOR        = "Couto, Lu{\'i}s Diogo and Payne, Richard",
  BOOKTITLE     = "Proceedings of the 11th Overture Workshop",
  YEAR          = "2013",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation. Isasa, J. A. E.; Hansen, F. O.; and Larsen, P. G. In Proceedings of the International Conference on Modeling and Simulation, ICMS 2013, June 2013. World Academy of Science, Engineering and Technology
link bibtex

@INPROCEEDINGS{Esparza&13,
  KEY           = "Esparza\&13",
  AUTHOR        = "Jos\'e Antonio Esparza Isasa and Finn Overgaard Hansen and Peter Gorm Larsen",
  TITLE         = "{Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation}",
  BOOKTITLE     = "Proceedings of the International Conference on Modeling and Simulation, ICMS 2013",
  ORGANIZATION  = "World Academy of Science, Engineering and Technology",
  YEAR          = "2013",
  MONTH         = "June"}

 %G VDM OVERTURE

Modelling Different CPU Power States in VDM-RT. Isasa, J. A. E.; and Larsen, P. G. In Proceedings of the 11th Overture Workshop 2013, of Aarhus University, June 2013.
link bibtex

@INPROCEEDINGS{Esparza&13b,
  KEY          = "Esparza\&13b",
  AUTHOR       = "Jos\'e Antonio Esparza Isasa and Peter Gorm Larsen",
  TITLE        = "{Modelling Different CPU Power States in VDM-RT}",
  BOOKTITLE    = "Proceedings of the 11th Overture Workshop 2013",
  SERIES       = "Aarhus University",
  YEAR         = "2013",
  MONTH        = "June",
  COMMENT      = "BIB JAE"}

 %G VDM OVERTURE

Modelling a Smart Grid System-of-Systems using VDM. Hallerstede, S.; and Larsen, P. G. In Overture 2013, Technical Report, ECE-TR-17, August 2013. Aarhus University
link bibtex

@INPROCEEDINGS{Hallerstede&13,
  KEY           = "Hallerstede\&13",
  AUTHOR        = "Stefan Hallerstede and Peter Gorm Larsen",
  TITLE         = "Modelling a Smart Grid System-of-Systems using VDM",
  BOOKTITLE     = "Overture 2013",
  PUBLISHER     = "Aarhus University",
  ADDRESS       = "Technical Report, ECE-TR-17",
  YEAR          = "2013",
  MONTH         = "August",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}

%G VDM OVERTURE TOOL

An Architectural Evolution of the Overture Tool. Jørgensen, P. W.; Lausdahl, K.; and Larsen, P. G. In The Overture 2013 workshop, August 2013.
link bibtex

@INPROCEEDINGS{Jorgensen&13,
  KEY           = "J\o{}rgensen\&13",
  AUTHOR        = "Peter W.V. J\o{}rgensen and Kenneth Lausdahl and
                   Peter Gorm Larsen",
  TITLE         = "{An Architectural Evolution of the Overture Tool}",
  BOOKTITLE     = "The Overture 2013 workshop",
  YEAR          = "2013",
  MONTH         = "August",
  ANNOTE        = ""}

%G VDM TOOL OVERTURE

Towards an Overture Code Generator. Jørgensen, P. W.; and Larsen, P. G. In The Overture 2013 workshop, August 2013.
link bibtex

@INPROCEEDINGS{Jorgensen&13b,
  KEY           = "J\o{}rgensen\&13",
  AUTHOR        = "Peter W.V. J\o{}rgensen and Peter Gorm Larsen",
  TITLE         = "{Towards an Overture Code Generator}",
  BOOKTITLE     = "The Overture 2013 workshop",
  YEAR          = "2013",
  MONTH         = "August",
  ANNOTE        = ""}

Overture VDM-10 Tool Support: User Guide. Larsen, P. G.; Lausdahl, K.; Jørgensen, P.; Coleman, J.; Wolff, S.; and Battle, N. Technical Report TR-2010-02, The Overture Initiative, www.overturetool.org, April 2013.
link bibtex

@TECHREPORT{Larsen&13a,
  KEY           = "Larsen\&13",
  AUTHOR        = "Peter Gorm Larsen and Kenneth Lausdahl and Peter
                   J\o{}rgensen and Joey Coleman and
                   Sune Wolff and Nick Battle",
  TITLE         = "{Overture VDM-10 Tool Support: User Guide}",
  INSTITUTION   = "The Overture Initiative",
  ADDRESS       = "www.overturetool.org",
  YEAR          = "2013",
  MONTH         = "April",
  NUMBER        = "TR-2010-02",
  SIZE          = "130",
  ANNOTE        = "",
  COMMENT       = "We have the sources PGL"}

%G VDM TOOL OVERTURE

VDM-10 Language Manual. Larsen, P. G.; Lausdahl, K.; Battle, N.; Fitzgerald, J.; Wolff, S.; and Sahara, S. Technical Report TR-001, The Overture Initiative, www.overturetool.org, April 2013.
link bibtex

@TECHREPORT{Larsen&13b,
  KEY           = "Larsen\&13",
  AUTHOR        = "Peter Gorm Larsen and Kenneth Lausdahl and Nick Battle and
                   John Fitzgerald and Sune Wolff and Shin Sahara",
  TITLE         = "{VDM-10 Language Manual}",
  INSTITUTION   = "The Overture Initiative",
  ADDRESS       = "www.overturetool.org",
  YEAR          = "2013",
  MONTH         = "April",
  NUMBER        = "TR-001",
  SIZE          = "208",
  ANNOTE        = "",
  COMMENT       = "We have the sources PGL"}

%G VDM OVERTURE TOOL

Translating VDM to Alloy. Lausdahl, K. In Johnsen, E. B.; and Petre, L., editor(s), Integrated Formal Methods, volume 7940, of Lecture Notes in Computer Science, pages 46-60. Springer Berlin Heidelberg, 2013. 10th International Conference, IFM 2013

Paper doi link bibtex 4 downloads

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

Semantics of the VDM Real-Time Dialect. Lausdahl, K.; Coleman, J. W.; and Larsen, P. G. Technical Report ECE-TR-13, Aarhus University, April 2013.
link bibtex 4 downloads

@TECHREPORT{Lausdahl&13a,
  KEY           	= "Lausdahl\&13a",
  AUTHOR        	= "Kenneth Lausdahl and Joey W. Coleman and Peter Gorm Larsen",
  TITLE         	= "{Semantics of the VDM Real-Time Dialect}",
  INSTITUTION  		= "Aarhus University",
  YEAR          	= "2013",
  MONTH         	= "April",
  NUMBER        	= "{ECE-TR-13}"}

The Execution Semantics of VDM Real-Time in a Co-Simulation Environment. Lausdahl, K.; Coleman, J. W.; and Larsen, P. G. June 2013. Submitted for publication to the International Journal on Software Tools for Technology Transfer
link bibtex

@UNPUBLISHED{Lausdahl&13b,
  KEY           	= "Lausdahl\&13b",
  AUTHOR        	= "Kenneth Lausdahl and Joey W. Coleman and Peter Gorm Larsen",
  TITLE         	= "{The Execution Semantics of VDM Real-Time in a Co-Simulation Environment}",
  NOTE				= "{Submitted for publication to the International Journal on Software Tools for Technology Transfer}",
  YEAR          	= "2013",
  MONTH         	= "June",
}

%G VDM TOOL VDM++ OVERTURE

2012 (8)

Evolution of the Overture Tool Platform. Coleman, J. W.; Malmos, A. K.; Nielsen, C. B.; and Larsen, P. G. In Proceedings of the 10th Overture Workshop 2012, of School of Computing Science, Newcastle University, 2012.
link bibtex

@INPROCEEDINGS{Coleman&12b,
  KEY           = "Coleman\&12",
  AUTHOR        = "Joey W. Coleman and Anders Kaels Malmos and  Claus Ballegaard Nielsen and Peter Gorm
                   Larsen",
  TITLE         = "{Evolution of the Overture Tool Platform}",
  BOOKTITLE     = "Proceedings of the 10th Overture Workshop 2012",
  SERIES        = "School of Computing Science, Newcastle University",
  YEAR          = "2012",
  COMMENT       = ""}

%G COMPASSPUB OVERTURE

Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT. Isasa, J. A. E.; Larsen, P. G.; and Bjerge, K. In Proceedings of the 10th Overture Workshop 2012, of School of Computing Science, Newcastle University, 2012.
link bibtex

@INPROCEEDINGS{Esparza&12,
  KEY          = "Esparza\&12",
  AUTHOR       = "Jos\'e Antonio Esparza Isasa and Peter Gorm Larsen and Kim Bjerge",
  TITLE        = "{Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT}",
  BOOKTITLE    = "Proceedings of the 10th Overture Workshop 2012",
  SERIES       = "School of Computing Science, Newcastle University",
  YEAR         = "2012",
  COMMENT      = "BIB JAE"}

%G VDM OVERTURE

Evaluation of Development Process for co-models. Jørgensen, P. W. Master's thesis, Aarhus University/Engineering College of Aarhus, December 2012.
link bibtex

@MASTERSTHESIS{Jorgensen12,
  KEY           = "J\o{}rgensen12",
  AUTHOR        = "Peter W.V. J\o{}rgensen",
  TITLE         = "{Evaluation of Development Process for co-models}",
  SCHOOL        = "Aarhus University/Engineering College of Aarhus",
  YEAR          = "2012",
  MONTH         = "December",
  SIZE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM TOOL OVERTURE

Getting Software Engineering out of Isolation. Larsen, P. G.; Coleman, J. W.; and Fitzgerald, J. In Petrenko, A. K., editor(s), SYRCoSE Software Engineering Colloquium, Perm, Russia, May 2012. ISBN 978-5-91474-019-8
link bibtex

@INPROCEEDINGS{Larsen&12a,
  KEY           = "Larsen\&12",
  AUTHOR        = "Peter Gorm Larsen and Joey W.\ Coleman and John Fitzgerald",
  EDITOR        = "Alexander K. Petrenko",
  TITLE         = "{Getting Software Engineering out of Isolation}",
  BOOKTITLE     = "SYRCoSE Software Engineering Colloquium",
  ADDRESS       = "Perm, Russia",
  YEAR          = "2012",
  MONTH         = "May",
  NOTE          = "ISBN 978-5-91474-019-8",
  PAGES         = "",
  ANNOTE        = "",
  COMMENT       = "BIB PGL I also have the sources"}

%G VDM TOOL OVERTURE

Towards an extensible core model for Digital Rights Management in VDM. Lauritsen, R.; and Lorenzen, L. In Proceedings of the 10th Overture Workshop 2012, of School of Computing Science, Newcastle University, 2012.
link bibtex

@INPROCEEDINGS{Lauritsen&12,
  KEY           = "Lauritsen&12",
  AUTHOR        = "Rasmus Lauritsen and Lasse Lorenzen",
  TITLE         = "{Towards an extensible core model for Digital
Rights Management in {VDM}}",
  BOOKTITLE     = "Proceedings of the 10th Overture Workshop 2012",
  SERIES        = "School of Computing Science, Newcastle University",
  YEAR          = "2012",
  COMMENT       = ""}

%G VDM UML TOOL OVERTURE

Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim. Lausdahl, K.; Coleman, J. W.; and Larsen, P. G. In Plat, N.; Nielsen, C. B.; and Riddle, S., editor(s), Proceedings of the 10th Overture Workshop, of Technical Report Series, pages 30–37, August 2012. Computing Science, Newcastle University

Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim [pdf]

Paper link bibtex

@INPROCEEDINGS{Lausdahl&12,
  KEY  	        		= {Lausdahl\&12},
  AUTHOR        		= {Lausdahl, Kenneth and Coleman, Joey W. and Larsen, Peter Gorm},
  BOOKTITLE   	 	= {Proceedings of the 10th Overture Workshop},
  EDITOR        		= {Nico Plat and Claus Ballegaard Nielsen and Steve Riddle},
  MONTH         		= {August},
  NUMBER        		= {CS-TR-1345},
  ORGANIZATION  	= {Computing Science, Newcastle University},
  SERIES        		= {Technical Report Series},
  TITLE         		= {Towards a Co-simulation Semantics of {VDM-RT/Overture} and 20-sim},
  YEAR          		= {2012},
  URL			= "http://www.cs.ncl.ac.uk/publications/trs/papers/1345.pdf",
  pages 			= "30--37",
}

%G VDM ALLOY TOOL OVERTURE

Using the Overture Tool as a More General Platform. Nielsen, C. B.; Lausdahl, K.; and Larsen, P. G. In Mazzanti, F., editor(s), iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session, pages 1-34, June 2012. CNR-ISTI
link bibtex 1 download

@inproceedings{Nielsen&12e,
  KEY           = "Nielsen\&12e",
  AUTHOR        = "Claus Ballegaard Nielsen and Kenneth Lausdahl and Peter Gorm Larsen",
  TITLE         = "{Using the Overture Tool as a More General Platform}",
  BOOKTITLE		="{iFM 2012 \& ABZ 2012 - Proceedings of the Posters \& Tool demos Session}",
  YEAR          = "2012",
  MONTH         = "June",
  EDITOR        = "Mazzanti, Franco",
  NOTE          = "",
  PUBLISHER     = "CNR-ISTI",
  ADDRESS		="",
  PAGES 		="1-34",
  SERIES		="",
  VOLUME		=""}

%G VDM OVERTURE TOOL

A Methodology for Transforming Java Applications Towards Real-Time Performance. von Qualen, M.; and Askov Andersen, M. Master's thesis, Aarhus University School of Engineering, December 2012.

A Methodology for Transforming Java Applications Towards Real-Time Performance [pdf]

Paper link bibtex

@MASTERSTHESIS{Qualen&12,
KEY           = "Qualen\&12",
AUTHOR        = "von Qualen, Mads and Askov Andersen, Martin",
TITLE         = "{A Methodology for Transforming Java Applications Towards Real-Time Performance}",
SCHOOL        = "Aarhus University School of Engineering",
YEAR          = "2012",
MONTH         = "December",
SIZE          = "",
URL           = "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske\_rapporter/Ece-tr-11-samlet.pdf",
ANNOTE        = "",
COMMENT       = ""}

%G VDM PROOF OVERTURE

2011 (6)

A VDM-RT Methodology for the Hardware/Software Co-design of Embedded Systems. Isasa, J. A. E. Master's thesis, Aarhus University School of Engineering, Finlandsgade 22, 8200 Aarhus, Denmark, December 2011. Supervised by Prof. Peter Gorm Larsen. Available on-line at ˘rlhttp://overturetool.org/publications/theses/Esparza11.pdf
link bibtex

@MASTERSTHESIS{Esparza11,
  KEY           = "Esparza11",
  AUTHOR        = "Jos\'e Antonio Esparza Isasa",
  TITLE         = "{A VDM-RT Methodology for the Hardware/Software Co-design of Embedded Systems}",
  SCHOOL        = "Aarhus University School of Engineering",
  ADDRESS       = "Finlandsgade 22, 8200 Aarhus, Denmark",
  YEAR          = "2011",
  MONTH         = "December",
  PAGES         = "",
  SIZE          = "260",
  NOTE          = "Supervised by Prof. Peter Gorm Larsen. Available on-line at
                   \url{http://overturetool.org/publications/theses/Esparza11.pdf}",
  ANNOTE        = "",
  COMMENT       = "BIB JAE. I have the sources."}

%G VDM OVERTURE

Automated Exploration of Alternative System Architectures with VDM-RT. Lausdahl, K.; and Ribeiro, A. In Wolff, S.; and Fitzgerald, J., editor(s), Proceedings of the 9th Overture Workshop, of Technical Report Series, pages 17–31, June 2011.

Automated Exploration of Alternative System Architectures with VDM-RT [pdf]

Paper link bibtex 1 download

@INPROCEEDINGS{Lausdahl&11c,
  KEY           	= "Lausdahl\&11",
  AUTHOR        	= "Kenneth Lausdahl and Augusto Ribeiro",
  TITLE         	= "{Automated Exploration of Alternative System
                    Architectures with VDM-RT}",
  BOOKTITLE   	= "Proceedings of the 9th Overture Workshop",
  YEAR          	= "2011",
  location 		="Limerick, Ireland",
  MONTH 		="June",
  SERIES        	= {Technical Report Series},
  NUMBER   	= {ECE-TT-2},
    pages		={17--31},
  EDITOR     	= {Sune Wolff and John Fitzgerald},
  URL 		= "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE-TT-2-SAMLET.pdf"
  }

%G VDM TOOL OVERTURE

Enhancing Formal Modelling Tool Support with Increased Automation. Lausdahl, K. Technical Report ECE-TR-4, Aarhus University, October 2011.

Enhancing Formal Modelling Tool Support with Increased Automation [pdf]

Paper link bibtex

@TECHREPORT{Lausdahl&11d,
  KEY           	= "Lausdahl\&11d",
  AUTHOR        	= "Kenneth Lausdahl",
  TITLE         	= "{Enhancing Formal Modelling Tool Support with Increased Automation}",
  INSTITUTION  		= "Aarhus University",
  YEAR          	= "2011",
  MONTH         	= "October",
  NUMBER        	= "{ECE-TR-4}",
  URL				= "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE_TR-4-samlet.pdf"}

%G VDM COSIM TOOL DESTECS OVERTURE

Towards Development of Overture/VDM++ to Java Code Generator. Maimaiti, M. Master's thesis, Aarhus University, Department of Computer Science, May 2011.
link bibtex

@MASTERSTHESIS{Maimaiti11,
  KEY           = "Maimaiti11",
  AUTHOR        = "Maihemutijiang Maimaiti",
  TITLE         = "Towards Development of Overture/VDM++ to Java Code
                   Generator",
  SCHOOL        = "Aarhus University",
  ADDRESS       = "Department of Computer Science",
  YEAR          = "2011",
  MONTH         = "May",
  SIZE          = "89",
  ANNOTE        = "",
  COMMENT       = "I have a copy (PGL)"}

%G VDM OVERTURE TOOL

Formal Modelling and Safety Analysis of an Embedded Control System for Construction Equipment: an Industrial Case Study using VDM. Mori, T. In Wolff, S.; and Fitzgerald, J., editor(s), Proceedings of the 9th Overture Workshop, Limerick, Ireland, June 2011.
link bibtex

@INPROCEEDINGS{Mori10,
  KEY           = "Mori10",
  AUTHOR        = "Takayuki Mori",
  EDITOR        = "Sune Wolff and John Fitzgerald",
  TITLE         = "Formal Modelling and Safety Analysis of an Embedded
                   Control System for Construction Equipment: an
                    Industrial Case Study using VDM",
  BOOKTITLE     = "Proceedings of the 9th Overture Workshop",
  ADDRESS       = "Limerick, Ireland",
  YEAR          = "2011",
  MONTH         = "June",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}

%G VDM TOOL OML OVERTURE

Run-Time Validation of Timing Constraints for VDM-RT Models. Ribeiro, A.; Lausdahl, K.; and Larsen, P. G. In Wolff, S.; and Fitzgerald, J., editor(s), Proceedings of the 9th Overture Workshop, of Technical Report Series, pages 4–16, June 2011.

Run-Time Validation of Timing Constraints for VDM-RT Models [pdf]

Paper link bibtex 2 downloads

@INPROCEEDINGS{Ribeiro&11,
  KEY		= "Ribeiro\&11",
  AUTHOR	= "Augusto Ribeiro and Kenneth Lausdahl and Peter Gorm Larsen",
  TITLE		= "{Run-Time Validation of Timing Constraints for VDM-RT Models}",
  YEAR		= "2011",
  BOOKTITLE   	= "Proceedings of the 9th Overture Workshop",
  location 		="Limerick, Ireland",
  MONTH 		="June",
  SERIES        	= {Technical Report Series},
  NUMBER   	= {ECE-TT-2},
  EDITOR     	= {Sune Wolff and John Fitzgerald},
  URL 		= "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske\_rapporter/Technical\_Report\_ECE-TT-2-SAMLET.pdf",
  pages		={4--16},
  }


%G VDM TEST TOOL VDM++ OVERTURE

2010 (8)

Development Process of Distributed Embedded Systems using VDM. Larsen, P. G.; Wolff, S.; Battle, N.; Fitzgerald, J.; and Pierce, K. Technical Report TR-2010-02, The Overture Open Source Initiative, April 2010.
link bibtex

@TECHREPORT{Larsen&10e,
  KEY           = "Larsen\&10",
  AUTHOR        = "Peter Gorm Larsen and Sune Wolff and Nick Battle and John Fitzgerald and Ken Pierce",
  TITLE         = "Development Process of Distributed Embedded Systems using VDM",
  INSTITUTION   = "The Overture Open Source Initiative",
  YEAR          = "2010",
  MONTH         = "April",
  NUMBER        = "TR-2010-02",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

Overture/VDM Tools Status. Larsen, P. G.; and Lausdahl, K. Handout at SEFM20 Tool Workshop, September 2010. Second edition
link bibtex

@MISC{Larsen&10h,
	key			= "Larsen\&10",
	AUTHOR		="Peter Gorm Larsen and Kenneth Lausdahl",
	TITLE		="{Overture/VDM Tools Status}",
	HOWPUBLISHED="{Handout at SEFM20 Tool Workshop}",
	MONTH		="September",
	YEAR		="2010",
	NOTE		="Second edition"}
	
%G VDM OVERTURE

The Overture Initiative – Integrating Tools for VDM. Larsen, P. G.; Battle, N.; Ferreira, M.; Fitzgerald, J.; Lausdahl, K.; and Verhoef, M. In Zhang, M.; and Stolz, V., editor(s), Harnessing Theories for Tool Support in Software, pages 9–19, November 2010.
link bibtex 1 download

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

%G SOS CPS COMPASSPUB DESTECSPUB OVERTURE

Overview of VDM-RT Constructs and Semantic Issues. Lausdahl, K.; Verhoef, M.; Larsen, P. G.; and Wolff, S. In Pierce, K.; Plat, N.; and Wolf, S., editor(s), Proceedings of the 8th Overture Workshop, of Technical Report Series, pages 57–67, September 2010.
link bibtex 1 download

@INPROCEEDINGS{Lausdahl&10,
  KEY           = "Lausdahl\&10",
  AUTHOR        = "Kenneth Lausdahl and Marcel Verhoef and Peter Gorm Larsen and Sune Wolff",
  TITLE         = "{Overview of VDM-RT Constructs and Semantic Issues}",
  BOOKTITLE     = "Proceedings of the 8th Overture Workshop",
  YEAR          = "2010",
  MONTH         = "September",
  LOCATION 	= "Newcastle, UK",
  SERIES        = {Technical Report Series},
  NUMBER        = {CS-TR-1224},
  PAGES		= {57--67},
  EDITOR     	= {Ken Pierce and Nico Plat and Sune Wolf},
}

%G VDM COSIM TOOL OVERTURE

Towards Dynamic Reconfiguration of Distributed Systems in VDM-RT. Nielsen, C. B. In Semantic Issues in VDM: a BCS-FACS and Overture Workshop, September 2010.
link bibtex

@INPROCEEDINGS{Nielsen10,
  KEY           = "Nielsen10",
  AUTHOR        = "Claus Ballegaard Nielsen",
  TITLE         = "{Towards Dynamic Reconfiguration of Distributed
                   Systems in VDM-RT}",
  BOOKTITLE     = "Semantic Issues in VDM: a BCS-FACS and Overture Workshop",
  YEAR          = "2010",
  MONTH         = "September",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}

%G VDM TOOL VDM++ OVERTURE

Dynamic Reconfiguration of Distributed Systems in VDM-RT. Nielsen, C. B. Master's thesis, Aarhus University, December 2010.
link bibtex

@MASTERSTHESIS{Nielsen10b,
  KEY           = "Nielsen10",
  AUTHOR        = "Claus Ballegaard Nielsen",
  TITLE         = "{Dynamic Reconfiguration of Distributed Systems in VDM-RT}",
  SCHOOL        = "Aarhus University",
  YEAR          = "2010",
  MONTH         = "December",
  ANNOTE        = "",
  COMMENT       = "BIB I have a copy (PGL)"}

%G VDM TOOL OVERTURE

Proceedings of the 8th Overture Workshop. Pierce, K.; Plat, N.; and (eds), S. W. Technical Report CS-TR-1224, Newcastle University, Computing Science, November 2010.
link bibtex

@TECHREPORT{Pierce&10,
  KEY           = "Pierce\&10",
  AUTHOR        = "Ken Pierce and Nico Plat and Sune Wolff (eds)",
  TITLE         = "Proceedings of the 8th Overture Workshop",
  INSTITUTION   = "Newcastle University",
  ADDRESS       = "Computing Science",
  YEAR          = "2010",
  MONTH         = "November",
  NUMBER        = "CS-TR-1224",
  SIZE          = "73",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}

%G VDM OVERTURE

Automating Consistency Proofs of VDM++ Models using HOL. Vermolen, S.; Hooman, J.; and Larsen, P. G. In Proceedings of the 25th Symposium on Applied Computing (SAC 2010), Sierre, Switzerland, March 2010. ACM
link bibtex

@INPROCEEDINGS{Vermolen&10,
  KEY           = "Vermolden\&10",
  AUTHOR        = "Sander Vermolen and Jozef Hooman and Peter Gorm Larsen",
  TITLE         = "{Automating Consistency Proofs of VDM++ Models using HOL}",
  BOOKTITLE     = "Proceedings of the 25th Symposium on Applied Computing
                   (SAC 2010)",
  PUBLISHER     = "ACM",
  ADDRESS       = "Sierre, Switzerland",
  YEAR          = "2010",
  MONTH         = "March",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}

%G VDM VDM++ JML TOOL OVERTURE

2009 (7)

Pro Git. Chacon, S. Apress, August 2009.
link bibtex

@BOOK{Chacon09,
  key = 	 {Chacon09},
  author = 	 {Scott Chacon},
  title = 	 {Pro Git},
  publisher = 	 {Apress},
  year = 	 {2009},
  month = 	 {August},
  ISBN = 	 {978-1430218333},
}

%G VDM VDM++ TOOL OVERTURE

How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project. Ishikawa, F.; Taguchi, K.; and Honiden, S. In November 2009. The 7th Overture workshop at FM'09
link bibtex

@INPROCEEDINGS{Ishikawa&09,
  KEY           = "Ishikawa\&09",
  AUTHOR        = "Fuyuki Ishikawa and Kenji Taguchi and Shinichi Honiden",
  TITLE         = "{How Top-Level Engineers Learn and Investigate
                    VDM: Experiences in the Top SE Project}",
  NOTE          = "The 7th Overture workshop at FM'09",
  YEAR          = "2009",
  MONTH         = "November",
  ANNOTE        = "",
  COMMENT       = "I have the source (PGL)"}

%G VDM OVERTURE

VDM-RT Scheduling in Overture. Lausdahl, K.; and Larsen, P. G. April 2009. Model driven development using VDM++ and UML II
link bibtex

@UNPUBLISHED{Lausdahl&10b,
  KEY           = "Lausdahl\&10b",
  AUTHOR        = "Kenneth Lausdahl and Peter Gorm Larsen",
  TITLE         = "{VDM-RT Scheduling in Overture}",
  YEAR          = "2009",
  MONTH         = "April",
  SIZE          = "16",
  NOTE          = "{Model driven development using VDM++ and UML II}",
  INSTITUTION   = "Aarhus University/Engineering College of Aarhus",
  COMMENT       = "BIB JAE. I have the presentation. VDM 2 course material."}

%G VDM OVERTURE

Using Eclipse for Exploring an Integration Architecture for VDM. Møller, D. H.; and Thillermann, C. R. P. Master's thesis, Aarhus University/Engineering College of Aarhus, June 2009.
link bibtex

@MASTERSTHESIS{Moller&09,
  KEY           = "M{\"o}ller\&09",
  AUTHOR        = "David Holst M{\o{}}ller and Christian Rane Paysen Thillermann",
  TITLE         = "{Using Eclipse for Exploring an Integration Architecture
                   for VDM}",
  SCHOOL        = "Aarhus University/Engineering College of Aarhus",
  YEAR          = "2009",
  MONTH         = "June",
  SIZE          = "117",
  ANNOTE        = "",
  COMMENT       = "I have a copy (PGL)"}

%G VDM VDM++ TOOL OVERTURE

Modeling and Validating Distributed Embedded Real-Time Control Systems. Verhoef, M. Ph.D. Thesis, Radboud University Nijmegen, 2009. The right one is i̧teVerhoef09
link bibtex

@PHDTHESIS{Verhoef08,
  KEY           = "Verhoef08",
  AUTHOR        = "Marcel Verhoef",
  TITLE         = "{Modeling and Validating Distributed Embedded Real-Time
                    Control Systems}",
  SCHOOL        = "Radboud University Nijmegen",
  YEAR          = "2009",
  NUMBER        = "RU. 2009-01",
  NOTE          = "The right one is \cite{Verhoef09}",
  ANNOTE        = "{ISBN 978-90-9023705-3}",
  COMMENT       = "I have a copy PGL.  Please use Verhoef09 instead of this cite."}

%G VDM VDM++ VICE TOOL OVERTURE

Modeling and Validating Distributed Embedded Real-Time Control Systems. Verhoef, M. Ph.D. Thesis, Radboud University Nijmegen, 2009.
link bibtex

@PHDTHESIS{Verhoef09,
  KEY           = "Verhoef09",
  AUTHOR        = "Marcel Verhoef",
  TITLE         = "{Modeling and Validating Distributed Embedded Real-Time
                    Control Systems}",
  SCHOOL        = "Radboud University Nijmegen",
  YEAR          = "2009",
  NUMBER        = "RU. 2009-01",
  ANNOTE          = "{ISBN 978-90-9023705-3}",
  COMMENT       = "I have a copy PGL"}

%G VDM++ VICE VDM OVERTURE

Formalising Concurrent and Distributed Design Patterns with VDM. Wolff, S. In November 2009. The 7th Overture workshop at FM'09
link bibtex

@INPROCEEDINGS{Wolff09,
  KEY           = "Wolff09",
  AUTHOR        = "Sune Wolff",
  TITLE         = "{Formalising Concurrent and Distributed Design
                   Patterns with VDM}",
  NOTE          = "The 7th Overture workshop at FM'09",
  YEAR          = "2009",
  MONTH         = "November",
  ANNOTE        = "",
  COMMENT       = "I have the source (PGL)"}

2008 (5)

Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. Fitzgerald, J. S.; Larsen, P. G.; and Sahara, S. Technical Report CS-TR-1099, School of Computing Science, Newcastle University, May 2008.
link bibtex

@TECHREPORT{Fitzgerald&08b,
  KEY           = "Fitzgerald\&08",
  AUTHOR        = {J. S. Fitzgerald and P. G. Larsen and S. Sahara},
  TITLE         = "Modelling and Analysis in VDM: Proceedings of the
                   Fourth VDM/Overture Workshop",
  INSTITUTION   = "School of Computing Science, Newcastle University",
  YEAR          = "2008",
  MONTH         = "May",
  NUMBER        = "{CS-TR-1099}",
  SIZE          = "71"}

%G VDM OVERTURE TOOL CPS DESTECS

Coupling Overture to MDA and UML. Lausdahl, K.; and Lintrup, H. K. Master's thesis, Aarhus University/Engineering College of Aarhus, December 2008.
link bibtex 5 downloads

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

%G VDM OVERTURE

An Extended Proof Obligation Generator for VDM++/OML. Ribeiro, A. Master's thesis, Minho University with exchange to Engineering College of Arhus, July 2008.
link bibtex

@MASTERSTHESIS{Ribeiro08,
  KEY           = "Ribeiro08",
  AUTHOR        = "Augusto Ribeiro",
  TITLE         = "{An Extended Proof Obligation Generator for VDM++/OML}",
  SCHOOL        = "{Minho University with exchange to Engineering College
                   of Arhus}",
  YEAR          = "2008",
  MONTH         = "July",
  ANNOTE        = "",
  COMMENT       = "I have the pdf PGL"}

%G VDM COSIM TOOL OVERTURE

VDM++ Test Automation Support. Santos, A. S. Master's thesis, Minho University with exchange to Engineering College of Arhus, July 2008.
link bibtex

@MASTERSTHESIS{Santos08,
  KEY           = "Santos08",
  AUTHOR        = "Adriana Sucena Santos",
  TITLE         = "{VDM++ Test Automation Support}",
  SCHOOL        = "{Minho University with exchange to Engineering College of Arhus}",
  YEAR          = "2008",
  MONTH         = "July",
  ANNOTE        = "",
  COMMENT       = "I have the pdf PGL"}

%G VDM VDM++ OML OVERTURE

Connecting between VDM++ and JML. Vilhena, C. Master's thesis, Minho University with exchange to Engineering College of Arhus, July 2008.
link bibtex

@MASTERSTHESIS{Vilhena08,
  KEY           = "Vilhena08",
  AUTHOR        = "Carlos Vilhena",
  TITLE         = "{Connecting between VDM++ and JML}",
  SCHOOL        = "{Minho University with exchange to Engineering College of Arhus}",
  YEAR          = "2008",
  MONTH         = "July",
  ANNOTE        = "",
  COMMENT       = "I have a copy PGL"}

%G VDM VDM++ APPLY OVERTURE

2007 (5)

Extending the VDM++ Formal Specification Language with Type Inference and Generic Classes. Christensen, T. J. H. Master's thesis, Aarhus University, Computer Science Department, April 2007.
link bibtex

@MASTERSTHESIS{Christensen07,
  KEY           = "Christensen07",
  AUTHOR        = "Thomas John H\o{}rlyck Christensen",
  TITLE         = "{Extending the VDM++ Formal Specification Language with
                   Type Inference and Generic Classes}",
  SCHOOL        = "Aarhus University",
  ADDRESS       = "Computer Science Department",
  YEAR          = "2007",
  MONTH         = "April",
  ANNOTE        = "",
  COMMENT       = "I have a copy PGL"}

%G TOOL VDM TOOL OVERTURE

GNU General Public License, version 3. ˘rlhttp://www.gnu.org/licenses/gpl.html, June 2007. Last retrieved 2012-06-29
link bibtex

@MISC{GPLv3,
  KEY           = "GPLv3",
  TITLE         = "{GNU} General Public License, version 3",
  HOWPUBLISHED  = "\url{http://www.gnu.org/licenses/gpl.html}",
  NOTE          = "Last retrieved 2012-06-29",
  YEAR          = "2007",
  MONTH         = "June"
}

%G COMPASSPUB VDM OVERTURE

Interpreting Distributed System Architectures Using VDM++ – A Case Study. Verhoef, M.; and Larsen, P. G. In Sauser, B.; and Muller, G., editor(s), 5th Annual Conference on Systems Engineering Research, March 2007. Available at http://www.stevens.edu/engineering/cser/
link bibtex

@INPROCEEDINGS{Verhoef&07,
  KEY           = "Verhoef\&07",
  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen",
  EDITOR        = "Brian Sauser and Gerrit Muller",
  TITLE         = "{Interpreting Distributed System Architectures Using VDM++
                   -- A Case Study}",
  BOOKTITLE     = "5th Annual Conference on Systems Engineering Research",
  PUBLISHER     = "",
  YEAR          = "2007",
  MONTH         = "March",
  NOTE          = "{Available at http://www.stevens.edu/engineering/cser/}",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}

%G VDM VDM++ OVERTURE

Co-simulation of Real-time Embedded Control Systems. Verhoef, M.; Visser, P.; Hooman, J.; and Broenink, J. 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
link bibtex

@INPROCEEDINGS{Verhoef&07b,
  KEY           = "Verhoef\&07",
  AUTHOR        = "Marcel Verhoef and Peter Visser and Jozef Hooman and
                   Jan Broenink",
  TITLE         = "{Co-simulation of Real-time Embedded Control Systems}",
  BOOKTITLE     = "Integrated Formal Methods: Proc. 6th. Intl. Conference",
  EDITOR        = "Jim Davies and Jeremy Gibbons",
  PUBLISHER     = "Springer-Verlag",
  SERIES        = "Lecture Notes in Computer Science 4591",
  PAGES         = "639--658",
  YEAR          = "2007",
  MONTH         = "July",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

Automatically Discharging VDM Proof Obligations using HOL. Vermolen, S. Master's thesis, Radboud University Nijmegen, Computer Science Department, August 2007.
link bibtex

@MASTERSTHESIS{Vermolen07,
  KEY           = "Vermolen07",
  AUTHOR        = "Sander Vermolen",
  TITLE         = "{Automatically Discharging VDM Proof Obligations using HOL}",
  SCHOOL        = "Radboud University Nijmegen",
  ADDRESS       = "Computer Science Department",
  YEAR          = "2007",
  MONTH         = "August",
  SIZE          = "115",
  ANNOTE        = "",
  COMMENT       = "I have the hard copy PGL"}

%G VDM PROOF TOOL OVERTURE

2006 (4)

Sex Up Overture. Alves, T. M. L. In Third Overture Workshop at Newcastle University, November 2006.
link bibtex

@INPROCEEDINGS{Alves06,
  KEY           = "Alves06",
  AUTHOR        = "Tiago M. L. Alves",
  TITLE         = "Sex Up Overture",
  BOOKTITLE     = "Third Overture Workshop at Newcastle University",
  YEAR          = "2006",
  MONTH         = "November",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005. Fitzgerald, J. S.; Larsen, P. G.; and Plat (Eds.), N. Technical Report CS-TR-969, School of Computing Science, Newcastle University, June 2006.
link bibtex

@TECHREPORT{Fitzgerald&06a,
  KEY           = "Fitzgerald\&06a",
  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen and N. Plat~(Eds.)",
  TITLE         = "{Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005}",
  INSTITUTION   = "School of Computing Science, Newcastle University",
  NUMBER        = "CS-TR-969",
  MONTH         = "June",
  YEAR          = "2006"
}

%G VDM TOOL APPLY OVERTURE

On the Use of VDM++ for Specifying Real-Time Systems. Verhoef, M. 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.
link bibtex

@INPROCEEDINGS{Verhoef06,
  KEY           = "Verhoef06",
  AUTHOR        = "Marcel Verhoef",
  EDITOR        = "J. S. Fitzgerald and P. G. Larsen and N. Plat",
  TITLE         = "{On the Use of VDM++ for Specifying Real-Time Systems}",
  BOOKTITLE     = "{Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005}",
  ADDRESS       = "School of Computing Science, Newcastle University, Technical Report CS-TR-969",
  YEAR          = "2006",
  MONTH         = "June",
  PAGES         = "26--43"
}

%G VDM VDM++ VICE TOOL MACPJ OVERTURE

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. Verhoef, M.; Larsen, P. G.; and Hooman, J. 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
doi link bibtex

@INPROCEEDINGS{Verhoef&06b,
  KEY           = "Verhoef\&06",
  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen and Jozef Hooman",
  EDITOR        = "Jayadev Misra and Tobias Nipkow and Emil Sekerinski",
  TITLE         = "{Modeling and Validating Distributed Embedded
                    Real-Time Systems with VDM++}",
  BOOKTITLE     = "FM 2006: Formal Methods",
  SERIES        = "Lecture Notes in Computer Science 4085",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "2006",
  PAGES         = "147-162",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)",
  doi		= {10.1007/11813040\_11},
}

%G VICE VDM VDM++ OVERTURE

2005 (3)

Development of an Overture/VDM++ Tool Set for Eclipse. Nielsen, J. P.; and Hansen, J. K. Master's thesis, Technical University of Denmark, Informatics and Mathematical Modelling, August 2005. IMM-THESIS-2005-58
link bibtex

@MASTERSTHESIS{Nielsen&05,
  KEY           = "Nielsen\&05",
  AUTHOR        = "Jacob Porsborg Nielsen and Jens Kielsgaard Hansen",
  TITLE         = "{Development of an Overture/VDM++ Tool Set for Eclipse}",
  SCHOOL        = "Technical University of Denmark",
  ADDRESS       = "Informatics and Mathematical Modelling",
  YEAR          = "2005",
  MONTH         = "August",
  NOTE          = "IMM-THESIS-2005-58",
  ANNOTE        = "",
  COMMENT       = "I have a copy PGL"}

%G VDM TOOL OVERTURE

Syntax Error Repair for a Java-based Parser Generator. van der Spek, P.; Plat, N.; and Pronk, C. SIGPLAN Not., 40(4): 47–50. 2005.
link bibtex

@ARTICLE{vanderSpek&05,
  KEY           = "vanderSpek\&05",
  AUTHOR        = {P. van der Spek and N. Plat and C. Pronk},
  TITLE         = "{Syntax Error Repair for a Java-based Parser Generator}",
  JOURNAL       = {SIGPLAN Not.},
  VOLUME        = {40},
  NUMBER        = {4},
  YEAR          = {2005},
  ISSN          = {0362-1340},
  PAGES         = {47--50},
  COMMENT       = "BIB PGL"}

%G VDMRT VDM VDM++ JAEINT OVERTURE

On the Use of VDM++ for Specifying Real-Time Systems. Verhoef, M. Proc. First Overture workshop. November 2005.
link bibtex

@ARTICLE{Verhoef05,
  KEY           = "Verhoef05",
  AUTHOR        = "Marcel Verhoef",
  TITLE         = "{On the Use of {VDM++} for Specifying Real-Time Systems}",
  JOURNAL       = "Proc. First Overture workshop",
  PUBLISHER     = "University of Newcastle-Upon-Tyne, Centre for Software Reliability",
  YEAR          = "2005",
  MONTH         = "November",
  COMMENT       = "I have the proceedings PGL"}

%G VDM VDM++ VDMRT OVERTURE

2004 (2)

The Overture Project: Towards an open source toolset. van der Spek, P. Technical Report Delft University of Technology, January 2004.
link bibtex

@TECHREPORT{vanderSpek04a,
  KEY           = "vanderSpek04",
  AUTHOR        = "P. van der Spek",
  TITLE         = "The Overture Project: Towards an open source toolset",
  INSTITUTION   = "Delft University of Technology",
  YEAR          = "2004",
  MONTH         = "January",
  PAGES         = "122",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G OML VDM VDM++ OVERTURE

The Overture Project: Designing an Open Source Tool Set. van der Spek, P. Master's thesis, Delft University of Technology, August 2004.
link bibtex

@MASTERSTHESIS{vanderSpek04b,
  KEY           = "vanderSpek04",
  AUTHOR        = "P. van der Spek",
  TITLE         = "The Overture Project: Designing an Open Source Tool Set",
  SCHOOL        = "Delft University of Technology",
  YEAR          = "2004",
  MONTH         = "August",
  PAGES         = "239",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM TOOL OVERTURE