Green by Web specialises in IOT applications that exploit data from the real world and use it to take informed decisions on the execution flow of the application and, possibly, actuate back into the world. Green by Web is interested in solutions for greenhouse farming and green energy production. Green by Web  explores the usage of

1. textual specification languages in collaboration (with WP2),
2. techniques for automatic generation of runtime monitors, test mocks and stubs from API specifications (with University of Malta, University of Kent, University of Leicester and University of Buenos Aires, WP2),
3. hybrid typing for runtime monitoring (with University of Torino, University of Malta , University of Kent, University of Leicester), and
4. model inference (with University of Kent and University of Leicester, WP3 and WP4).