Luís Diogo Couto

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 8

Top Topics

Provably Correct

Formal Verification

Top Venues

SIMULTECH (Selected Papers)

Publications

Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen
Enabling continuous integration in a formal methods setting. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni
Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. ISoLA (3) (2018)
Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. SEFM Workshops (2017)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards
Model-Based Development of a Multi-algorithm Harvest Planning System. SIMULTECH (Selected Papers) (2016)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Gareth T. C. Edwards
Combining Harvesting Operation Optimisations using Strategy-based Simulation. SIMULTECH (2016)
Luís Diogo Couto, Peter Würtz Vinther Tran-Jørgensen, Kenneth Lausdahl
Principles for reuse in formal language tools. SAC (2016)
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen
Towards Enabling Overture as a Platform for Formal Notation IDEs. F-IDE (2015)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl
Migrating to an Extensible Architecture for Abstract Syntax Trees. WICSA (2015)
Claire Ingram, Richard John Payne, Simon Perry, Jon Holt, Finn Overgaard Hansen, Luís Diogo Couto
Modelling patterns for systems of systems architectures. SysCon (2014)
Luís Diogo Couto, Simon Foster, Richard John Payne
Towards Verification of Constituent Systems through Automated Proof. CoRR (2014)