Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

199

Open access

39 %

Collaborations