Skip to content

Research facility · founded 2015

SPADES: Programmation de systèmes embarqués sûrs et adaptatifs

Saint-Ismier, France · inria.fr/equipes/spades

Part of Institut polytechnique de Grenoble

Manage this page

Citations, last 5 years: 59
Works, last 5 years: 41
h-index: 20
Scientists listed: 0
Grants since 2016: 0

Strongest research topics

Formal Methods in Verification44Computer Science
Real-Time Systems Scheduling40Computer Science
Logic, programming, and type systems39Computer Science
Embedded Systems Design Techniques36Computer Science
Parallel Computing and Optimization Techniques23Computer Science
Software Testing and Debugging Techniques11Computer Science