-
Ivan Pustogarov
information systems security, cryptographic protocols, privacy
-
Otmane Aït Mohamed
functional verification, formal methods, reliability analysis
-
Luis Rodrigues
aerospace, control systems, piecewise affine controllers
-
Sébastien Le Beux
embedded systems, nanotechnologies, nanophotonic interconnects
-
Sofiène Tahar
communication protocols, hardware specification, functional verification
-
Rodrigo Morales Alvarado
automated software improvement, empirical software engineering, software quality and best practices
-
Youmin Zhang
intelligent unmanned systems, UAVs (drones), UGVs (unmanned ground vehicles)
-
Mourad Debbabi
information systems security, cyberphysical systems, smart grids
top associated keywords A-Z
- aerospace69
- algorithm design30
- avionics4
- design automation8
- functional verification5
- VLSI technologies8
- communication protocols8
- control systems24
- cryptographic protocols6
- detection of vulnerabilities3
- distributed/parallel systems25
- formal methods6
- FPGA based design and verification2
- information systems security12
- microsystems4
- MPSoC architectures2
- multiway decision graphs2
- network security12
- signal processing19
- simulation20
- smart grids11
- software engineering26
- UAVs (drones)5
- verification tools2
- all-spin logic1
- anonymity modeling1
- anti-surveillance tools2
- automated software improvement2
- automatic test generations1
- automotive applications8
- autonomous vehicles5
- autopilot1
- biological systems3
- blockchain2
- botnet defence4
- code refactoring2
- coding theory1
- complex dynamic systems19
- condition monitoring7
- control systems theory6
- cooperative control4
- cryptocurrency4
- cryptography5
- cyberforensics5
- cyberphysical systems12
- cybersecurity16
- data mining21
- data security7
- deanonymization1
- email security2
- empirical software engineering10