Back
  1. Home
  2. Profile of Tiago Alexandre DE JESUS SOUSA (Unilu)
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  (4)
RIES, Benoit  (4)
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 (6)
Aerospace & aeronautics engineering (1)

Publications (total 7)

The most downloaded
102 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). Sweden: ACM/IEEE. doi:10.1109/MODELS-C59198.2023.00042
Peer reviewed

DE JESUS SOUSA, T. A., RIES, B., & GUELFI, N. (2024). Data Augmentation in Earth Observation: A Diffusion Model Approach. https://orbilu.uni.lu/handle/10993/60678

DE JESUS SOUSA, T. A., RIES, B., & GUELFI, N. (2024). Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving the Sustainable Development Goals: Vision Paper. In Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving Sustainable Development Goals: Vision Paper by Tiago Sousa, Benoît Ries and Nicolas Guelfi (pp. 5). Linz, Austria: ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS). doi:10.1145/3652620.3687798
Peer reviewed

SOUSA, T., RIES, B., & GUELFI, N. (2023). Formal Verification of Ecosystem Restoration Requirements using UML and Alloy. (TR-LASSY-23-02). https://orbilu.uni.lu/handle/10993/54982

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