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 systems7
- verification tools2
- FPGA based design and verification2
- microsystems4
- automatic test generations
- avionics4
- aerospace60
- simulation21
- SysML and UML2
- communication protocols5
- multiway decision graphs2
- algorithm design25
- VLSI8
- implantable body sensor networks
- design automation8
-
Sofiène Tahar
communication protocols, hardware specification, functional verification
-
Sébastien Le Beux
embedded systems, emerging nanotechnologies, nanophotonic interconnects
-
Luis Rodrigues
aerospace, control systems, piecewise affine controllers
-
Luiz A.C. Lopes
high power converters, renewable energy, distributed power generation
-
Shahin Hashtrudi Zad
control systems, discrete event systems, biological systems
-
Zezhong (Chevy) Chen
multi-axis CNC machining, advanced manufacturing, cutter design
-
Tien D. Bui
computer vision, biometrology, artificial intelligence
-
Ashok Kaushal
rotor dynamics, vibration, CATIA
-
Youmin Zhang
intelligent unmanned systems, UAVs, UGVs
-
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
machine learning, deep learning, genomics
-
Rodrigo Morales Alvarado
automated software improvement, empirical software engineering, software quality and best practices
-
Ayhan Ince
fatigue and fracture modeling, computational mechanics, multiaxial fatigue
-
Serguei A. Mokhov
Forensic Lucid, formal methods, software engineering
-
Nadia Bhuiyan
aviation industry, product development, operations research
-
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
-
Rolf Wüthrich
gas evolving electrodes, glass micromachining, nanoparticle synthesis
