Lus Diogo Couto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2016–2018
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISoLA | Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. | Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni |
| 2017 | SEFM | Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. | Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen |
| 2016 | SAC | Principles for reuse in formal language tools. | Lus Diogo Couto, Peter Wrtz Vinther Tran-Jrgensen, Kenneth Lausdahl |
| 2016 | SIMULTECH | Combining Harvesting Operation Optimisations using Strategy-based Simulation. | Lus Diogo Couto, Peter W. V. Tran-Jrgensen, Gareth T. C. Edwards |
| 2016 | SIMULTECH | Model-Based Development of a Multi-algorithm Harvest Planning System. | Lus Diogo Couto, Peter W. V. Tran-Jrgensen, Gareth T. C. Edwards |