Internship

• Towards a Scalable Spatio-temporal Database for the IoTNovember 30, 2018
• Reconciliating Social NetworksDecember 09, 2018
• Mining Development Topics from GitHub IssuesDecember 09, 2018
• Dynamic Analysis of ORM SolutionsDecember 09, 2018
• Automatic Inference of Android Linter RulesDecember 09, 2018
• Inferring Data Schemas from RESTful ExchangesDecember 09, 2018
• Monitoring the energy consumption of the JVMDecember 09, 2018
• Introducing compound components in JavaBIPOctober 31, 2019
• Composability & verification of BIP design patternsOctober 31, 2019
• Automatic Synthesis of Self-Healing Android ApplicationsDecember 02, 2019

Engineer

• Towards a Scalable Spatio-temporal Database for the IoTNovember 30, 2018

Phd

• Reconciliating Social NetworksDecember 09, 2018
• Reasoning with Explanation for missing data in a constraint settingFebruary 01, 2021
• Self-adaptive modular robots: formal modeling for validation and coordinationFebruary 24, 2022