Teams of department D4

Teams Résumé Departments
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
CELTIQUE The overall goal of the Celtique project is to improve the security and reliability of software with semantics-based modeling, analysis and certification techniques. 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
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