Luís Diogo Couto
According to our database1, Luís Diogo Couto authored at least 10 papers between 2014 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2020
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
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2016
Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015
Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture, 2015
Proceedings of the IEEE International Systems Conference, 2014