How can we ensure, efficiently and accurately, that a hardware/software design is bug‑free?
Otmane Ait Mohamed
More Info- functional verification6
- formal methods6
- reliability analysis8
- embedded systems5
- verification tools2
- FPGA based design and verification
- microsystems4
- automatic test generations
- avionics4
- aerospace58
- simulation21
- SysML and UML2
- communication protocols5
- multiway decision graphs2
- algorithm design23
- VLSI7
- implantable body sensor networks
- design automation7
-
Sofiène Tahar
communication protocols, hardware specification, functional verification
-
Luis Rodrigues
aerospace, control systems, piecewise affine controllers
-
Shahin Hashtrudi Zad
control systems, discrete event systems, biological systems
-
Tien D. Bui
computer vision, biometrology, artificial intelligence
-
Luiz A.C. Lopes
high power converters, renewable energy, distributed power generation
-
Youmin Zhang
intelligent unmanned systems, UAVs, UGVs
-
Ashok Kaushal
rotor dynamics, vibration, CATIA
-
Zezhong (Chevy) Chen
multi-axis CNC machining, advanced manufacturing, cutter design
-
Nadia Bhuiyan
aviation industry, product development, operations research
-
Serguei A. Mokhov
Forensic Lucid, formal methods, software engineering
-
J. William Atwood
networks, multicast, communication protocols
-
Yong Zeng
design process, creativity, design engineering
-
Ali Akgunduz
aviation industry, air traffic control, greener aviation
-
Abdelwahab Hamou-Lhadj
empirical software engineering, complex software systems, software maintenance
-
Wahid Ghaly
gas turbine engines, aerodynamic inverse shape design, computational fluid dynamics
-
Rajamohan Ganesan
structural dynamics, composite laminates, vibration
-
Sang Hyeok Han
architectural engineering, modular construction, heavy equipment motion planning
-
Andrew Delong
deep learning, genomics, machine learning
-
Weiyi (Ian) Shang
big data, software engineering, performance engineering
-
Yuhong Yan
service-oriented computing, end-user services architectures, enterprise applications
-
Olga Ormandjieva
software engineering, software metrics, category theory
-
Amir G. Aghdam
adaptive control, decentralized large-scale systems, control systems
-
Chun Wang
distributed/parallel systems, e-supply chains, scheduling
-
Marius Paraschivoiu
computational fluid dynamics, hydrogen technology, wind energy
-
Mourad Debbabi
cybersecurity, cyberphysical systems, smart grids
-
Muthukumaran Packirisamy
micro/nano devices, microfabrication, MEMS/NEMS
-
Ayhan Ince
fatigue and fracture modeling, computational mechanics, multiaxial fatigue
-
Rolf Wüthrich
gas evolving electrodes, glass micromachining, nanoparticle synthesis