- Towards a Scalable Spatio-temporal Database for the IoT
- Mining Development Topics from GitHub Issues
- Dynamic Analysis of ORM Solutions
- Automatic Inference of Android Linter Rules
- Monitoring the energy consumption of the JVM
- Introducing compound components in JavaBIP
- Automatic Synthesis of Self-Healing Android Applications
- Towards a Scalable Spatio-temporal Database for the IoT
- Reconciliating Social Networks
- Inferring Data Schemas from RESTful Exchanges
- Introducing compound components in JavaBIP
- Composability & verification of BIP design patterns
- Self-adaptive modular robots: formal modeling for validation and coordination
- Composability & verification of BIP design patterns
- Self-adaptive modular robots: formal modeling for validation and coordination