Luís Diogo Couto

According to our database, Luís Diogo Couto authored at least 10 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Enabling continuous integration in a formal methods setting.

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen

Int. J. Softw. Tools Technol. Transf., 2020

2018

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

Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

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

Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2017

2016

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

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2016

Combining Harvesting Operation Optimisations using Strategy-based Simulation.

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards

Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016

Principles for reuse in formal language tools.

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

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Towards Enabling Overture as a Platform for Formal Notation IDEs.

Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

Migrating to an Extensible Architecture for Abstract Syntax Trees.

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl

Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015

2014

Towards Verification of Constituent Systems through Automated Proof.

Luís Diogo Couto, Simon Foster, Richard John Payne

CoRR, 2014

Modelling patterns for systems of systems architectures.

Claire Ingram, Richard John Payne, Simon Perry, Jon Holt, Finn Overgaard Hansen, Luís Diogo Couto

Proceedings of the IEEE International Systems Conference, 2014