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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations