Luís Diogo Couto

Towards Verification of Constituent Systems through Automated Proof pdf

Simon Foster, Richard John Payne, Luís Diogo Couto, 2014, ArXiv.

Combining harvesting operation optimisations using strategy-based simulation

Peter Würtz Vinther Tran-Jørgensen, Luís Diogo Couto, Gareth T. C. Edwards, 2016, 2016 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH).

Towards Enabling Overture as a Platform for Formal Notation IDEs

Peter Gorm Larsen, Kenneth Lausdahl, Peter Würtz Vinther Tran-Jørgensen, 2015, F-IDE.

Principles for reuse in formal language tools

Kenneth Lausdahl, Peter Würtz Vinther Tran-Jørgensen, Luís Diogo Couto, 2016, SAC.

Model-Based Development of a Multi-algorithm Harvest Planning System

Peter Würtz Vinther Tran-Jørgensen, Luís Diogo Couto, Gareth T. C. Edwards, 2016, SIMULTECH.

Modelling patterns for systems of systems architectures

Simon Perry, Claire Ingram, Jon Holt, 2014, 2014 IEEE International Systems Conference Proceedings.

Migrating to an Extensible Architecture for Abstract Syntax Trees

Joey W. Coleman, Kenneth Lausdahl, Peter Würtz Vinther Tran-Jørgensen, 2015, 2015 12th Working IEEE/IFIP Conference on Software Architecture.

Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems

Pasquale Antonante, Stylianos Basagiannis, Hajer Saada, 2018, ISoLA.

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems

Alie El-Din Mady, Peter Gorm Larsen, Stylianos Basagiannis, 2017, SEFM Workshops.