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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

104

Références bibliographiques

197

Open access

39 %

Collaborations