index - Equipe System on Chip Accéder directement au contenu

 

Dernières publications

Mots clés

Software components Propagation GPR Safety URSI Automata SysML-Sec Embedded Systems FPGA Scheduling Autonomous navigation Timing analysis SysML UML/SysML Model-driven engineering Hardware/software co-design Model checking Virtual prototyping Analysis Embedded systems SDR Formal Methods SRC Model Checking Iterative decoding Robustness Hardware/software partitioning Dependency Graph Attacks Cryptography Drone Behavior TTool UML Formal Verification Design Costs Computer architecture Ingénierie des modèles MBSE Heterogeneous models Drones Interactive Software Defined Radio Model driven engineering Virtual Prototyping Formal methods Open Platforms for Multistandard Support Code generation 3D perception Model-checking Cognitive Radio Modeling Execution Trace Analysis Architecture Formal verification HW/SW partitioning Requirements System-on-Chip CPS HW Accelerators Disaster management Exploration d'architecture Multi-View Design Signal processing Android Integration Requirements analysis DIPLODOCUS MDE Communications Model Driven Engineering Performance Analog/Mixed Signal Design Risque Malware Risk management Remote sensing Autonomy Differential power analysis DPA UAV Classification Risk assessment Hardware Architecture Baseband Processing Application specific integrated circuits Simulation Reliable systems Field programmable gate arrays Immersion Design Space Exploration Design space exploration Image processing Models Verification Security LDPC codes ProVerif Model-based engineering System-level design

 

 

Publications avec texte intégral

100

Références bibliographiques

195

Open access

38 %

Collaborations