Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

199

Open access

39 %

Collaborations