| A survey of timed automata for the development of real-time systems MTB Waez, J Dingel, K Rudie Computer Science Review 9, 1-26, 2013 | 65 | 2013 |
| Fuel cell thermal management: Modeling, specifications, and correct-by-construction control synthesis L Yang, A Karnik, B Pence, MTB Waez, N Ozay IEEE Transactions on Control Systems Technology 28 (5), 1638-1651, 2019 | 25 | 2019 |
| Timed automata for the development of real-time systems MTB Waez, J Dingel, K Rudie Research Report 2011–579, 2011 | 21 | 2011 |
| Learning density distribution of reachable states for autonomous systems Y Meng, D Sun, Z Qiu, MTB Waez, C Fan Conference on Robot Learning, 124-136, 2022 | 20 | 2022 |
| Verifying Auto-generated C Code from Simulink: An Experience Report in the Automotive Domain P Berger, JP Katoen, E Abrahám, MTB Waez, T Rambow Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 13 | 2018 |
| Formal verification of automotive Simulink controller models: empirical technical challenges, evaluation and recommendations J Nellen, T Rambow, MTB Waez, E Ábrahám, JP Katoen Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 11 | 2018 |
| Coupling Apollo with the CommonRoad Motion Planning Framework X Wang, AK Rettinger, MTB Waez, M Althoff FISITA World Congress, 2020 | 10 | 2020 |
| Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report MTB Waez, W Andrzej, D Juergen, K Rudie FACS, 2014 | 7* | 2014 |
| Multiple analyses, requirements once: simplifying testing and verification in automotive model-based development P Berger, J Nellen, JP Katoen, E Ábrahám, MTB Waez, T Rambow Formal Methods for Industrial Critical Systems: 24th International …, 2019 | 6 | 2019 |
| Unrestricted and Disjoint Operations over Multi-Stack Visibly Pushdown Languages SD Bruda, MTB Waez ICSOFT, 2011 | 6 | 2011 |
| Case studies for computing density of reachable states for safe autonomous motion planning Y Meng, Z Qiu, MTB Waez, C Fan NASA Formal Methods Symposium, 251-271, 2022 | 5 | 2022 |
| A Model for Industrial Real-Time Systems MTB Waez, A Wasowski, J Dingel, K Rudie VMCAI, 2015 | 4 | 2015 |
| Communicating visibly pushdown processes SD Bruda, M WAEZ The 17th International Conference on Control Systems and Computer Science 1 …, 2009 | 4 | 2009 |
| Performance Analysis of Parallel Downloading from Mirrored Internet Sites MTB Waez, SH Chowdhury, E Ahmed, M Rahman | 2 | 2005 |
| Controller synthesis for dynamic hierarchical real-time plants using timed automata MTB Waez, A Wąsowski, J Dingel, K Rudie Discrete Event Dynamic Systems 27, 407-441, 2017 | 1 | 2017 |
| Communicating visibly pushdown processes MTB Waez Bishop's University, 2008 | 1 | 2008 |
| Visibly Pushdown Languages Are Closed under Prefix, Shuffle, and Hiding SD BRUDA, MDTBIN WAEZ Computational Engineering in Systems Applications: Selected Papers from the …, 2008 | 1 | 2008 |
| Dynamic bounding box MTB Waez, Y Meng, Z Qiu, C Fan US Patent App. 17/932,056, 2024 | | 2024 |
| On the applicability of hybrid systems safety verification tools from the automotive perspective S Schupp, E Ábrahám, MTB Waez, T Rambow, Z Qiu International Journal on Software Tools for Technology Transfer 26 (1), 49-78, 2024 | | 2024 |
| Vehicle path verification Y Niu, MTB Waez, Y Rahman, N Muvva US Patent 11,851,052, 2023 | | 2023 |
Juergen DingelSchool of Computing, Queen's University, Canada在 cs.queensu.ca 的电子邮件经过验证
