Dernières publications

Mots clés

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

 

 

Publications avec texte intégral

109

Références bibliographiques

199

Open access

39 %

Collaborations