-
Otmane Aït Mohamed
functional verification, formal methods, reliability analysis
-
Sofiène Tahar
communication protocols, hardware specification, functional verification
-
Yuhong Yan
service-oriented computing, end-user services architectures, enterprise applications
-
Olga Ormandjieva
empirical software engineering, software metrics, category theory
-
Mourad Debbabi
information systems security, cyberphysical systems, smart grids
top associated keywords A-Z
- aerospace69
- design automation8
- embedded systems8
- formal methods6
- algorithm design30
- cloud computing17
- communication protocols8
- end-user services architectures4
- microsystems4
- multiway decision graphs2
- smart cities25
- system architectures2
- verification tools2
- VLSI technologies8
- agile software development2
- automatic test generations1
- autonomic reactivity2
- avionics4
- botnet defence4
- business processes6
- category theory1
- complex software systems9
- concurrent processes2
- cryptographic protocols6
- cyberforensics5
- cyberphysical systems12
- databases6
- detection of vulnerabilities3
- e-commerce10
- email security2
- empirical software engineering10
- enterprise applications1
- ERP2
- fault diagnosis4
- FPGA based design and verification2
- hardware specification1
- HOL analysis1
- implantable body sensor networks1
- information systems security12
- internet of things (IoT)17
- malware analysis3
- mathematical modeling17
- microelectronics2
- middleware3
- mobile computing8
- model-driven software engineering7
- MPSoC architectures2
- network security12
- open source software10
- probabilistic design methods4
- process adaptation1