Profil

DE JESUS SOUSA Tiago Alexandre

University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

ORCID
0000-0002-1006-8186
Main Referenced Co-authors
GUELFI, Nicolas  (2)
RIES, Benoit  (2)
Farkas, Balazs (1)
Skevas, Spyridon (1)
THOEMEL, Jan  (1)
Main Referenced Keywords
Alloy (2); Ecosystem Restoration Modeling (2); Formal Software Engineering (2); Language and Formal Methods (2); Requirements Engineering (2);
Main Referenced Disciplines
Computer science (4)
Aerospace & aeronautics engineering (1)

Publications (total 5)

The most downloaded
49 downloads
Sousa, T. (2022). Modeling and Predicting the Resilience of Ecosystems [Bachelor/master dissertation, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/54865 https://hdl.handle.net/10993/54865

Sousa, T. (In press). Towards Modeling and Predicting the Resilience of Ecosystems. In T. Sousa, Towards Modeling and Predicting the Resilience of Ecosystems (pp. 7). doi:10.1109/MODELS-C59198.2023.00042
Peer reviewed

Sousa, T., Ries, B., & Guelfi, N. (2023). Formal Verification of Ecosystem Restoration Requirements using UML and Alloy. (TR-LASSY-23-02).

Sousa, T., Ries, B., & Guelfi, N. (2023). Formal Verification of Ecosystem Restoration Requirements Using UML and Alloy. In T. A. de Jesus Sousa, B. Ries, ... N. Guelfi, Formal Verification of Ecosystem Restoration Requirements Using UML and Alloy.
Peer reviewed

Sousa, T. (2022). Modeling and Predicting the Resilience of Ecosystems [Bachelor/master dissertation, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/54865

Wobler, E., Vladyslav, B., Sousa, T., Farkas, B., Skevas, S., & Thoemel, J. (2022). The “Daffodil” Mission: GNSS-Reflectometry with a 1.5U CubeSat. In Proceedings of the 73rd International Astronautical Congress. Paris, France, Unknown/unspecified: International Astronautical Federation.

Contact ORBilu