| Home |
Publications [hal] [dblp] [scholar] |
Tools |
Research Projects |
Curriculum Vitae |
ANR ADAPT, Adapt hierarchical component-based systems dynamically
ANR PaVeDyS, Parametric Verification of Dynamic Distributed Systems
ANR NARCO, Non-Aggregative Resource COmpositions
ANR CYPHAI, Formal Analysis and Design of AI-intensive Cyber-Physical Systems
ESA ITT Moc4Space, Model Checking for Formal Verification of Space Systems
H2020 ADE, Autonomous Decision Making in Very Long Traverses
H2020 Brain-IoT, model-Based fRamework for dependable sensing and Actuation in INtelligent decentralized IoT systems
H2020 IA CITADEL, Critical Infrastructure Protection using Adaptive MILS
CHIST ERA SUCCESS, SecUre aCCESSibility for the internet of things
H2020 ESROCOS, European Space Robotics Control and Operating System
H2020 ERGO, European Robotic Goal-Oriented Autonomous Controller
ESA SARGON, Space Automation & Robotics General Controller
ESA MoSATT-CMP, Model-based Schedulability Analysis Techniques and Tools for Cached and Multicore Processors
FP7 STREP D-MILS, Distributed MILS for Dependable Information and Communication Infrastructure
BGLE ManycoreLabs, Software Tools for Manycore Embedded Platforms
FP7 IP ASCENS, Autonomic Service-Component Ensembles
BGLE ACOSE, Atelier pour le CO-developpement logiciel/materiel des Systemes Embarques
FP7 IST CERTAINTY, CErtification of Real Time Applications desIgNed for mixed criticality
ARTEMIS JU ACROSS, Artemis Cross-Domain Architecture
SMECY, Smart Multicore Embedded Systems
FP7 STREP 248776 PRO3D, Programming for Future 3D Architectures with Many Cores
ANR VERIDYC, Vérification des programmes avec structures des données dynamiques
FP7 IST STREP 215543 COMBEST, Component-Based Embedded Systems Design Techniques
FP6 IP 033471 SPEEDS, Speculative and Exploratory Design in Systems Engineering
RNTL AVERILES, Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique
RNRT PERSIFORM, Ingénierie de Performances basée sur la Simulation à partir de Modèles Fonctionnels Formels
ACI Dynamo, Verification of Dynamic Embedded Programs
IST-2001-33522 OMEGA, Correct Development of Real-Time Embedded Systems
IST-2001-35304 AMETIST, Advanced Methods for Timed Systems
IST-1999-20218 AGEDIS, Automated Generation and Execution of Test Suites for DIstributed Component-based Software
IST-1999-29082 ADVANCE, Advanced Validation Techniques for Telecommunication Protocols
IST-1999-15566 INTERVAL, Real-Time for Telecom
Esprit LTR 23498 VIRES, Verifying Industrial Reactive Systems
Last updated 24-11-2024