-
Sofiène Tahar
communication protocols, hardware specification, functional verification
-
J. William Atwood
autonomic networking, multicast, communication protocols
-
Otmane Aït Mohamed
functional verification, formal methods, reliability analysis
-
Lingyu Wang
network security, privacy, security metrics
-
Olga Ormandjieva
empirical software engineering, software metrics, category theory
-
Serguei A. Mokhov
Forensic Lucid, formal methods, software engineering
top associated keywords A-Z
- aerospace69
- communication protocols8
- cybersecurity16
- functional verification5
- network security12
- algorithm design30
- cloud computing17
- cyberforensics5
- design automation8
- distributed/parallel systems25
- embedded systems8
- microsystems4
- multiway decision graphs2
- networks27
- verification tools2
- VLSI technologies8
- 3D digital imaging15
- agile software development2
- artificial intelligence (AI)53
- attack graphs1
- automated reasoning3
- automatic test generations1
- autonomic networking2
- autonomic reactivity2
- avionics4
- botnet defence4
- category theory1
- computer graphics13
- concurrent processes2
- cyberphysical systems12
- data mining21
- data security7
- detection of vulnerabilities3
- empirical software engineering10
- end-user services architectures4
- ERP2
- Forensic Lucid1
- FPGA based design and verification2
- hardware specification1
- HOL analysis1
- human-computer interaction (HCI)21
- ICT29
- implantable body sensor networks1
- information systems security12
- intensional logic2
- internet group management protocol1
- internet of things (IoT)17
- intrusion detection1
- machine learning58
- malware analysis3
- mathematical modeling17