-
Otmane Aït Mohamed
functional verification, formal methods, reliability analysis
-
Luis Rodrigues
aerospace, control systems, piecewise affine controllers
-
Youmin Zhang
intelligent unmanned systems, UAVs (drones), UGVs (unmanned ground vehicles)
-
Sofiène Tahar
communication protocols, hardware specification, functional verification
-
Mourad Debbabi
information systems security, cyberphysical systems, smart grids
top associated keywords A-Z
- avionics4
- functional verification5
- algorithm design30
- communication protocols8
- control systems24
- design automation8
- formal methods6
- microsystems4
- multiway decision graphs2
- simulation20
- smart grids11
- UAVs (drones)5
- verification tools2
- VLSI technologies8
- automatic test generations1
- automotive applications8
- autonomous vehicles5
- autopilot1
- biological systems3
- botnet defence4
- complex dynamic systems19
- condition monitoring7
- control systems theory6
- cooperative control4
- cryptographic protocols6
- cyberforensics5
- cyberphysical systems12
- detection of vulnerabilities3
- distributed/parallel systems25
- email security2
- energy efficiency26
- fault diagnosis4
- fault-tolerant control4
- flight simulation1
- formation flight control4
- FPGA based design and verification2
- hardware specification1
- HOL analysis1
- implantable body sensor networks1
- information systems security12
- intelligent unmanned systems6
- inventory management6
- malware analysis3
- mathematical modeling17
- mechatronics6
- microelectronics2
- middleware3
- MPSoC architectures2
- music robotics1
- navigation2
- network security12