index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

107

Références bibliographiques

196

Open access

39 %

Collaborations