| ARCHWARE |
The main research domain of the ArchWare team concerns the software architecture. The software architecture provides the abstraction in order to rigorously design, develop and evolve software-intensive systems. |
D4 - Language and software engineering |
| DIVERSE |
The main objective in DiverSE is to automatically compose and synthesize software diversity from design to runtime to address unpredictable evolutions of software intensive systems. |
D4 - Language and software engineering |
| EPICURE |
EPICURE
The frequent announcements of yet another cybersecurity breach show that the security of the software that surrounds us is, more than ever, a scientific challenge of utmost societal importance. More and more software is produced to operate... |
D4 - Language and software engineering |
| HYCOMES |
HYCOMES, Hybrid Modeling and Contract-Based Design for Multiphysics Embedded Systems
Our vision is that hybrid systems modeling tools deserve similar efforts in theory as synchronous languages did for the programming of embedded systems.
Sc... |
D4 - Language and software engineering |
| LogicA |
LogicA, Logic and Applications
Nowadays, many of our daily activities which were in the past performed in the ‘real’ world and in interaction with other humans, are carried out in a digital world in interaction with non-human ‘agents’: classic... |
D4 - Language and software engineering |
| SUMO |
SUMO : SUpervision of large MOdular and distributed systems
The SUMO team proposes to combine formal methods approaches with concurrency theory, in order to address the modeling, analysis and management of large distributed or modular systems... |
D4 - Language and software engineering |
| TEA |
TEA : Tim, Events and Architectures |
D4 - Language and software engineering |