Luís Diogo Couto

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Enabling continuous integration in a formal methods setting.
Int. J. Softw. Tools Technol. Transf., 2020

2018
Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems.
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.
Proceedings of the Software Engineering and Formal Methods, 2017

2016
Model-Based Development of a Multi-algorithm Harvest Planning System.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2016

Combining Harvesting Operation Optimisations using Strategy-based Simulation.
Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016

Principles for reuse in formal language tools.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015
Towards Enabling Overture as a Platform for Formal Notation IDEs.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

Migrating to an Extensible Architecture for Abstract Syntax Trees.
Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015

2014
Towards Verification of Constituent Systems through Automated Proof.
CoRR, 2014

Modelling patterns for systems of systems architectures.
Proceedings of the IEEE International Systems Conference, 2014


  Loading...