Thao Dang

Researcher Next ID · RN-000760

Professor · Computer Science

Esslingen am Neckar, Germany

Not currently recruitingFunding unknown

About

161 publications and 6,799 citations recorded on OpenAlex.

Computer Science

Formal Methods in Verification

Software Testing and Debugging Techniques

Autonomous Vehicle Technology and Safety

Advanced Vision and Imaging

Gene Regulatory Network Analysis

Making Bertha Drive—An Autonomous Journey on a Historic Route
IEEE Intelligent Transportation Systems Magazine · 2014 · 10.1109/mits.2014.2306552
Trajectory planning for Bertha — A local, continuous method
Journal · 2014 · 10.1109/ivs.2014.6856581
SpaceEx: Scalable Verification of Hybrid Systems
Lecture notes in computer science · 2011 · 10.1007/978-3-642-22110-1_30
Active Pedestrian Safety by Automatic Braking and Evasive Steering
IEEE Transactions on Intelligent Transportation Systems · 2011 · 10.1109/tits.2011.2158424
Effective synthesis of switching controllers for linear systems
Proceedings of the IEEE · 2000 · 10.1109/5.871306

No projects listed.