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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations