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

 

Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

105

Références bibliographiques

197

Open access

39 %

Collaborations