index - Equipe System on Chip

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

198

Open access

39 %

Collaborations