Nguyen Thuy

According to our database, Nguyen Thuy authored at least 4 papers between 2016 and 2022.

Collaborative distances:

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

2022

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.

Daniel Bouskela, Alberto Falcone, Alfredo Garro, Audrey Jardin, Martin Otter, Nguyen Thuy, Andrea Tundis

Requir. Eng., 2022

2019

Requirements modelling to help decision makers to efficiently renovate energy systems of urban districts.

Mathias Bouquerel, Enrique Kremers, Jonathan van der Kamp, Nguyen Thuy, Audrey Jardin

Proceedings of the 2019 Summer Simulation Conference, 2019

2016

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.

Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson

Proceedings of the IEEE International Symposium on Systems Engineering, 2016

Modelling and Simulation of the Dynamics of Complex Socio-Cyber-Physical Systems and Large Scale Systems of Systems all Along Their Lifetime.

Nguyen Thuy

Proceedings of the Complex Systems Design & Management, 2016