Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Juergen DingelSchool of Computing, Queen's University, CanadaVerified email at cs.queensu.ca- Karen RudieProfessor, Electrical and Computer Engineering, Queen's UniversityVerified email at queensu.ca
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Zeng (Connie) QiuFord Motor CompanyVerified email at umich.edu
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
- Yue MengMassachusetts Institute of TechnologyVerified email at mit.edu
- Chuchu FanAssociate Professor of Aeronautics and Astronautics at MITVerified email at mit.edu
- Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
- Philipp BergerPhD Student at RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Necmiye OzayEECS, University of MichiganVerified email at umich.edu
- Liren YangSchool of AI & Automation, Huazhong USTVerified email at hust.edu.cn
- Dawei SunUniversity of Illinois Urbana-ChampaignVerified email at illinois.edu
- Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenVerified email at in.tum.de
- Wang XiaoResearch assistant, Technical University of MunichVerified email at tum.de
- Emdad AhmedVisiting Assistant Professor of Computer Science, Miami UniversiryVerified email at miamioh.edu
- Yousaf RahmanFord Motor CompanyVerified email at ford.com
- Stefan SchuppFormal Verification @Apple
