Recent Publications, Panels, and Invited Talks
S. Mitra, C. Pasareanu, P. Prabhakar, S.A. Seshia, R. Mangal, Y. Li, C. Watson, D. Gopinath, and H. Yu
In Springer book: Principles of Verification: Cycling the Probabilistic Landscape, Part III, 2024
H. Yu, S. Burton, B. Widen, M. Trapp, M. Gallas, and B. Lesage
Design, Automation and Test in Europe Conference (DATE) Initiative on Autonomous Systems Design (ASD), 2024
G. Brat, H. Yu, D. Cofer, M. Pavone, and J.G. Durand
NASA Formal Methods, 2024
N. Neogi, I. Gregory, H. Yu, T. Pham, W. Ryan, and J.G. Durand
AIAA SciTech, 2024
C. Pasareanu, R. Mangal, D. Gopinath, and H. Yu
International Conference on Runtime Verification (RV), 2023
C. Pasareanu, R. Mangal, D. Gopinath, S. Yaman, C. Imrie, R. Calinescu, and H. Yu
International conference on computer aided verification (CAV), 2023
D. Gopinath, L. Lungeanu, R. Mangal, C. Pasareanu, S. Xie and H. Yu
International Conference on Fundamental Approaches to Software Engineering (FASE), 2023
H. Yu, S. Roy, and D. Panagou
NSF Cyber-Physical Systems (CPS) Principal Investigators' (PI) Meeting, 2022
H. Yu
FAA New and Emerging Aviation Technologies (NEAT) series, November 2022
H. Yu
1st AI Safety and Certification Workshop hosted by AIA and GWU, August 2022
H. Yu, U. Topcu, D. Cofer, C. Fan, M. Durling, and E. Atkins
NASA Advanced Air Mobility (AAM) Ecosystem Working Groups (AEWG) Workshop, July 2022
M. Davies, D. Cofer, H. Yu, and M. Gariel
NASA System-Wide Safety Software Verification & Validation (V&V) Capabilities Transfer Meeting, July 2022
H. Yu and G. Brat
IEEE International Conference on Assured Autonomy (ICAA), March 2022
Y. He, H. Yu, G. Brat, and M. Davies
AIAA SciTech Forum , 2022.
M. Abraham, A. Mayne, T. Perez, I. de Oliveira, H. Yu, C. Hsieh, Y. Li, D. Sun, and S. Mitra
International Conference on Embedded Software (EMSOFT), 2022
Y. He, H. Yu, G. Brat, and M. Davies
IEEE International Conference on Machine Learning and Applications (ICMLA), 2021.
H. Yu
International Symposium on Artificial Intelligence – Machine Learning in Safety Critical Systems, 2021.
I. Kadron, D. Gopinath, C. Pasareanu, and H. Yu
13rd Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2021.
I. de Oliveira, E. Pinto Neto, T. Matsumoto, H. Yu, E. Bartolomé, G. Frontera, and A. Mayne
Digital Avionics Systems Conference (DASC), 2021.
I. de Oliveira, E. Neto, T. Matsumoto, and H. Yu
Integrated Communications Navigation and Surveillance Conference (ICNS), 2021.
S. Beland, I. Chang, A. Chen, M. Moser, J. Paunicka, D. Stuart, J. Vian, C. Westover, and H. Yu
In International Conference on Computer-Aided Design (ICCAD), 2020.
E. Asaadi, S. Beland, A. Chen, E. Denney, D. Margineantu, M. Mosery, G. Pai, J. Paunicka, D. Stuart, and H. Yu
In Digital Avionics Systems Conference, 2020.
H. Yu, W. Shi, M. Alawieh, C. Yan, X. Zeng, X. Li, and H. Yu
In Safe, Autonomous and Intelligent Vehicles, Springer, 2018.
C. Pasareanu, D. Gopinath, and H. Yu
In Safe, Autonomous and Intelligent Vehicles, Springer, 2018.
H. Yu, X. Li, R. Murray, Ramesh S, C. Tomlin (Eds.)
Springer series: Unmanned System Technologies, ISBN 978-3-319-97300-5, 2018.
W. Shi, M.B. Alawieh, X. Li, H. Yu
Integration, the VLSI Journal, 59: 148-156, Elsevier, 2017.
Online access DOI