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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations