Aarhus University Seal / Aarhus Universitets segl

Peter Würtz Vinther Tran-Jørgensen

  1. 2019
  2. Udgivet

    Migrating Overture to a different IDE. / Tran-Jørgensen, Peter Würtz Vinther; Kulik, Tomas.

    Proceedings of the 17th Overture Workshop. red. / Carl Gamble; Luis Diogo Couto. Newcastle University, 2019. s. 32-47 (Technical Report Series; Nr. CS-TR- 1530 - 2019).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  3. Udgivet

    Formal Security Analysis of Cloud-Connected Industrial Control Systems. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil.

    Innovative Security Solutions for Information Technology and Communications: SECITC 2018 - International Conference on Security for Information Technology and Communications. red. / J. L. Lanet; C. Toma. Bind 11359 Springer, 2019. s. 71-84 (Lecture Notes in Computer Science, Bind 11359).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  4. Udgivet

    Compliance verification of a cyber security standard for Cloud-connected SCADA. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil.

    2019 Global IoT Summit (GIoTS) . IEEE, 2019.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  5. E-pub ahead of print

    Realization of distributed system models using code generation extensions. / Hasanagic, Miran; Tran-Jørgensen, Peter Würtz Vinther; Nilsson, Rene Søndergaard; Larsen, Peter Gorm.

    I: Software: Practice & Experience, 2019, s. 1-20.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  6. 2018
  7. Udgivet

    Enhancing Testing of VDM-SL models. / Tran-Jørgensen, Peter Würtz Vinther; Nilsson, Rene Søndergaard; Lausdahl, Kenneth Guldbrandt.

    The 16th Overture Workshop. red. / Ken Pierce; Marcel Verheof. Bind CS-TR-1524 Newcastle : Newcastle University, 2018. s. 7-23 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  8. Udgivet

    A Framework for Threat-Driven Cyber Security Verification of IoT Systems. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil; Schultz, Carl Peter Leslie.

    2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings. IEEE, 2018. s. 89-97.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  9. Udgivet

    Automated translation of VDM to JML-annotated Java. / Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm; T. Leavens, Gary.

    I: International Journal on Software Tools for Technology Transfer, Bind 20, Nr. 2, 2018, s. 211-235.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  10. Udgivet

    Model-Based Development of a Multi-algorithm Harvest Planning System. / Couto, Luis Diogo; Tran-Jørgensen, Peter W.V.; Edwards, Gareth T.C.

    Simulation and Modeling Methodologies, Technologies and Applications : SIMULTECH 2016. Bind 678 Springer, 2018. s. 19-33 (Advances in Intelligent Systems and Computing, Bind 676).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  11. 2017
  12. Udgivet

    Code-generating VDM for Embedded Devices. / Bandur, Victor; Tran-Jørgensen, Peter Würtz Vinther; Hasanagic, Miran; Lausdahl, Kenneth Guldbrandt.

    The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings. red. / J Fitzgerald; P.W.V. Tran-Jørgensen; T. Oda. Newcastle University, 2017. s. 1-15 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind CS-TR-1513).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  13. Udgivet

    Automated Translation of VDM-SL to JML-annotated JAVA : Electrical and Computer Engineering - ECE-TR-29. / Tran-Jørgensen, Peter Würtz Vinther.

    Aarhus : Aarhus University, 2017. 384 s. (Technical Report Electronics and Computer Engineering; Nr. 29, Bind 5).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  14. 2016
  15. Udgivet

    Formalising and Validating the Interface Description in the FMI standard. / Hasanagic, Miran; Tran-Jørgensen, Peter Würtz Vinther; Lausdahl, Kenneth Guldbrandt; Larsen, Peter Gorm.

    FM 2016: Formal Methods: Proceedings of the 21st International Symposium on Formal Methods. red. / John Fitzgerald; Constance Heitmeyer; Stefania Gnesi; Anna Philippou. Bind 9995 Springer, 2016. s. 344-351 (Lecture Notes in Computer Science, Bind 9995).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  16. Udgivet

    Automated Generation of C# and .NET Code Contracts from VDM-SL Models. / Diswal, Steffen P.; Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28. red. / Peter Gorm Larsen; Nico Plat; Nick Battle. Aarhus : Aarhus University, Department of Engineering, 2016. s. 32-47 (Technical report ECE - TR - 28).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  17. Udgivet

    Using JML-based Code Generation to Enhance Test Automation for VDM Models. / Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm; Battle, Nick.

    14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28. red. / Peter Gorm Larsen; Nico Plat; Nick Battle. Aarhus : Aarhus University, Department of Engineering, 2016. s. 79-93 (Technical report ECE - TR - 28).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  18. Udgivet

    Enhancing System Realisation in Formal Model Development. / Tran-Jørgensen, Peter Würtz Vinther.

    Aarhus : Aarhus University, Department of Engineering, 2016. 218 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  19. Udgivet

    Combining Harvesting Operation Optimisations using Strategy-based Simulation. / Couto, Luis Diogo; Tran-Jørgensen, Peter Würtz Vinther; Edwards, Gareth Thomas Charles.

    Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications: SIMULTECH 2016. SCITEPRESS Digital Library, 2016. s. 25-32.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  20. Udgivet

    Principles for Reuse in Formal Language Tools. / Couto, Luis Diogo; Tran-Jørgensen, Peter Würtz Vinther; Lausdahl, Kenneth Guldbrandt.

    Proceedings of the 31st ACM Symposium on Applied Computing : SAC'16. New York, N.Y. : Association for Computing Machinery, 2016. s. 1997-2000.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  21. 2015
  22. Udgivet

    A Code Generation Platform for VDM. / Jørgensen, Peter Würtz Vinther; Larsen, Morten; Couto, Luis Diogo Monteiro Duarte.

    Proceedings of the 12th Overture Workshop: Newcastle University, Computing Science, Technical Report Series. red. / Nick Battle; John Fitzgerald. Bind CS-TR-1446 2015. (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind CS-TR-1446).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  23. Udgivet

    Code Generation of VDM++ Concurrency. / Kanakis, George; Larsen, Peter Gorm; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 13th Overture Workshop. Bind Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 60-74 (Grace Technical Reports; Nr. 06, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  24. Udgivet

    Extending the Overture code generator towards Isabelle syntax. / Monteiro Duarte Couto, Luis Diogo; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 13th Overture Workshop. Bind Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 48-59 (Grace Technical Reports; Nr. 6, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  25. Udgivet

    Generating Java RMI code for the distributed aspects of VDM-RT models. / Hasanagic, Miran; Larsen, Peter Gorm; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 13th Overture Workshop. Bind Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 75-89 (Grace Technical Reports; Nr. 06, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  26. Udgivet

    Improving Time Estimates in VDM-RT Models. / Larsen, Morten; Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    Proceedings of the 13th Overture workshop. Bind Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 90-103 (Grace Technical Reports; Nr. 06, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  27. Udgivet

    Migrating to an Extensible Architecture for Abstract Syntax Trees. / Monteiro Duarte Couto, Luis Diogo; Tran-Jørgensen, Peter Würtz Vinther; Coleman, Joey; Lausdahl, Kenneth Guldbrandt.

    Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture: WICSA 2015. Bind 2015 IEEE, 2015. s. 145-154.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  28. Udgivet

    Towards Enabling Overture as a Platform for Formal Notation IDEs. / Monteiro Duarte Couto, Luis Diogo; Larsen, Peter Gorm; Hasanagic, Miran; Kanakis, George; Lausdahl, Kenneth Guldbrandt; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015. Bind 187 2015. s. 14-27 (Electronic Proceedings in Theoretical Computer Science, Bind 187.2).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  29. 2014
  30. Udgivet

    Modelling Energy Consumption in Embedded Systems with VDM-RT. / Esparza Isasa, Jose Antonio; Jørgensen, Peter Würtz Vinther; Nielsen, Claus Ballegård; Hallerstede, Stefan.

    Abstract State Machines, Alloy, B, TLA, VDM, and Z: v. red. / Yamine Ameur; Klaus-Dieter Schewe. Springer VS, 2014. s. 130-135 (Lecture Notes in Computer Science, Bind 8477).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  31. Udgivet

    Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. / Esparza Isasa, Jose Antonio; Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development. SCITEPRESS Digital Library, 2014. s. 209-216.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  32. Udgivet

    Enhanced Modelling and Efficient Realisation of Cyber-Physical Systems. / Tran-Jørgensen, Peter Würtz Vinther.

    Aarhus Universitet, Institut for Ingeniørvidenskab , 2014. 28 s.

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  33. 2013
  34. Udgivet

    An Architectural Evolution of the Overture Tool. / Jørgensen, Peter Würtz Vinther; Lausdahl, Kenneth Guldbrandt; Larsen, Peter Gorm.

    Proceedings of the 11th Overture Workshop, 2013. red. / K Pierce; S Hallerstede. Bind Technical Report ECE-TR-17 Aarhus Universitet, Institut for Ingeniørvidenskab , 2013. s. 16-21.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  35. Udgivet

    Evaluation of Development Process and Methodology for Co-Models. Technical report ECE-TR-12. / Jørgensen, Peter Würtz Vinther.

    Aarhus Universitet, Institut for Ingeniørvidenskab , 2013. 103 s.

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  36. Udgivet

    The Overture Approach to VDM Language Evolution. / Battle, Nick; Haxthausen, Anne; Hiroshi, Sako; Jørgensen, Peter Würtz Vinther; Plat, Nico; Sahara, Shin; Verhoef, Marcel.

    Proceedings of the 11th Overture Workshop. red. / K Pierce; S Hallerstede. Bind Technical Report ECE-TR-17 Aarhus Universitet, Institut for Ingeniørvidenskab , 2013. s. 8-15.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  37. Udgivet

    Towards an Overture Code Generator. / Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    Proceedings of the 11th Overture Workshop. red. / K Pierce; S Hallerstede. Bind Technical Report ECE-TR-17 Aarhus Universitet, Institut for Ingeniørvidenskab , 2013. s. 22-27.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review