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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations