Opendata, web and dolomites
H2020 projects about "executable"
The page lists 12 projects related to the topic "executable".
| # | |||
|---|---|---|---|
| 1 | ARCADIA | A NOVEL RECONFIGURABLE BY DESIGN HIGHLY DISTRIBUTED APPLICATIONS DEVELOPMENT PARADIGM OVER PROGRAMMABLE INFRASTRUCTURE | 2015 |
| 2 | REVEN-X1 | REVEN-X1: Automatic Vulnerability Detection in Binary | 2015 |
| 3 | OpenDreamKit | Open Digital Research Environment Toolkit for the Advancement of Mathematics | 2015 |
| 4 | TUNE | Testing the Untestable: Model Testing of Complex Software-Intensive Systems | 2016 |
| 5 | NLPRO | Natural Language Programming: Turning Text into Executable Code | 2016 |
| 6 | DEIS | Dependability Engineering Innovation for CPS - DEIS | 2017 |
| 7 | Blue-Action | Arctic Impact on Weather and Climate | 2016 |
| 8 | CF-Web | ClowdFlows Data and Text Analytics Marketplace on the Web | 2017 |
| 9 | DeciTrustNET | Trust based Decision Support Systems for Social Networks with Uncertain Knowledge | 2017 |
| 10 | CORNET | Provably Correct Networks | 2018 |
| 11 | PHAROS | Physical Architecture Optimization System | 2019 |
| 12 | PhantoMinds | Better and faster innovations with PhantoMinds’ instant automated recruiting tool for open innovators | 2019 |