index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

195

Open access

40 %

Collaborations