Publications

Note: My Google Scholar profile is often more up to date than this list, which I try to update about annually

Refereed Journal Articles (33)

2026
[J33]Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz, Taylor T. Johnson and Meiyi Ma, "Towards Verified and Targeted Explanations through Formal Methods", Journal of Artificial Intelligence Research, AAAI Press, vol. 86, 2026. [bibtex] [doi] [dblp]
[J32]Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu and Waseem Abbas, "ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations", Journal of Artificial Intelligence Research, AAAI Press, vol. 85, 2026. [bibtex] [pdf] [doi] [dblp]
2024
[J31]JA Rosenfeld, B Russo, R Kamalapurkar and Taylor T. Johnson, "The Occupation Kernel Method for Nonlinear System Identification", SIAM Journal on Control and Optimization, SIAM, vol. 62 (3), pp. 1643–1668, 2024. [bibtex] [doi] [dblp]
2023
[J30]Diego Manzanas Lopez, Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran and Kerianne L. Hobbs, "Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance", AIAA Journal of Air Transportation (JAT), AIAA, vol. 31, pp. 1–17, 2023. [bibtex] [pdf] [doi]
[J29]Luan Viet Nguyen, Hoang-Dung Tran, Taylor T. Johnson and Vijay Gupta, "Decentralized Safe Control for Distributed Cyber-Physical Systems using Real-time Reachability Analysis", IEEE Transactions on Control of Network Systems (TCNS), IEEE, vol. 10, pp. 1234–1244, 2023. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[J28]Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson and Changliu Liu, "First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)", International Journal on Software Tools for Technology Transfer (STTT), Springer, 2023. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
2022
[J27]Joel A. Rosenfeld, Rushikesh Kamalapurkar, L. Forest Gruss and Taylor T. Johnson, "Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator", Journal of Nonlinear Science, Springer, 2022. [bibtex] [doi] [dblp]
[J26]Xiaodong Yang, Omar Beg, Matthew Kenigsberg and Taylor T. Johnson, "A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces", ACM Transactions on Cyber-Physical Systems (TCPS), ACM, 2022. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[J25]Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang and Taylor T. Johnson, "Real-Time Verification for Distributed Cyber-Physical Systems", Leibniz Transactions on Embedded Systems (LITES), Dagstuhl, 2022. [bibtex] [doi] [dblp]
[J24]Hoang-Dung Tran, Weiming Xiang and Taylor T. Johnson, "Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems", In IEEE Design and Test (D&T), IEEE, pp. 24–34, 2022. [bibtex] [doi] [dblp] [semantic scholar]
2021
[J23]Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak and Taylor T. Johnson, "Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter", Formal Aspects of Computing, Springer, vol. 33, pp. 519–545, 2021. [bibtex] [pdf] [doi] [dblp]
[J22]Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson and Ali Davoudi, "Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism", IEEE Access, IEEE, vol. 9, pp. 20012–20021, 2021. [bibtex] [doi] [dblp]
[J21]Weiming Xiang, Hoang-Dung Tran and Taylor T. Johnson, "Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach", IEEE Transactions on Neural Networks and Learning Systems (TNNLS), IEEE, vol. 32, pp. 1821–1830, 2021. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar] [pubmed]
2019
[J20]A Sogokon, PB Jackson and Taylor T. Johnson, "Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants", Journal of Automated Reasoning (JAR), Springer, vol. 63, no. 4, pp. 1005–1029, 2019. [bibtex] [pdf] [doi] [dblp]
[J19]HD Tran, F Cai, Diego Manzanas Lopez, P Musau, Taylor T. Johnson and X Koutsoukos, "Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control", ACM Transactions on Embedded Computing Systems (TECS), Special Issue from EMSOFT'19, ACM, vol. 18, no. 5s, pp. 105:1–105:22, 2019. [bibtex] [pdf] [doi] [dblp]
[J18]W Xiang, HD Tran and Taylor T. Johnson, "Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems under Minimum Dwell-Time Constraint", IEEE Transactions on Automatic Control (TAC), IEEE, vol. 64, no. 8, pp. 3407–3414, 2019. [bibtex] [pdf] [doi] [dblp]
[J17]Ziaur Rahman, Stephen P. Mattingly, Rahul Kawadgave, Dian Nostikasari, Nicole Roeglin, Colleen Casey and Taylor T. Johnson, "Using crowd sourcing to locate and characterize conflicts for vulnerable modes", In Accident Analysis and Prevention, Elsevier, pp. 23–39, 2019. [bibtex] [pdf] [doi] [semantic scholar] [pubmed]
[J16]OA Beg, LV Nguyen, Taylor T. Johnson and A Davoudi, "Signal Temporal Logic-based Attack Detection in DC Microgrids", IEEE Transactions on Smart Grid (TSG), IEEE, vol. 10, no. 4, pp. 3585–3595, 2019. [bibtex] [pdf] [doi]
[J15]S Bak, OA Beg, S Bogomolov, Taylor T. Johnson, LV Nguyen and C Schilling, "Hybrid automata: from verification to implementation", International Journal on Software Tools for Technology Transfer (STTT), Springer, vol. 21 (1), pp. 87–104, 2019. [bibtex] [pdf] [doi] [dblp]
2018
[J14]LV Nguyen, KA Hoque, S Bak, S Drager and Taylor T. Johnson, "Cyber-Physical Specification Mismatches", ACM Transactions on Cyber-Physical Systems (TCPS), ACM, vol. 2, no. 4, pp. 23:1–23:26, 2018. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
[J13]W Xiang, HD Tran and Taylor T. Johnson, "Robust exponential stability and disturbance attenuation for discrete-time switched systems under arbitrary switching", IEEE Transactions on Automatic Control (TAC), IEEE, vol. 63, no. 5, pp. 1450–1456, 2018. [bibtex] [pdf] [doi] [dblp]
[J12]W Xiang, HD Tran and Taylor T. Johnson, "Output reachable set estimation and verification for multilayer neural networks", IEEE Transactions on Neural Networks and Learning Systems (TNNLS), IEEE, vol. 29, no. 11, pp. 5777–5783, 2018. [bibtex] [pdf] [doi] [dblp]
2017
[J11]A Sogokon, K Ghorbal and Taylor T. Johnson, "Operational Models for Piecewise-Smooth Systems", ACM Transactions on Embedded Computing Systems (TECS), Special Issue from EMSOFT'17, ACM, vol. 16, no. 5s, pp. 185:1–185:19, 2017. [bibtex] [doi] [dblp]
[J10]W Xiang, HD Tran and Taylor T. Johnson, "Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification", IEEE Transactions on Automatic Control (TAC), IEEE, vol. 62, no. 10, pp. 5380–5387, 2017. [bibtex] [pdf] [doi] [dblp]
[J9]OA Beg, Taylor T. Johnson and A Davoudi, "Detection of false-data injection attacks in cyber-physical DC microgrids", IEEE Transactions on Industrial Informatics (TII), IEEE, vol. 13, no. 5, pp. 2693–2703, 2017. [bibtex] [pdf] [doi] [dblp]
[J8]OA Beg, H Abbas, Taylor T. Johnson and A Davoudi, "Model Validation of PWM DC-DC Converters", IEEE Transactions on Industrial Electronics (TIE), IEEE, vol. 64, no. 9, pp. 7049–7059, 2017. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[J7]W Xiang and Taylor T. Johnson, "Event-triggered control for continuous-time switched linear systems", IET Control Theory and Applications (CTA), IET, vol. 11, no. 11, pp. 1694–1703, 2017. [bibtex] [pdf] [doi] [semantic scholar]
[J6]HD Tran, LV Nguyen, W Xiang and Taylor T. Johnson, "Order-reduction abstractions for safety verification of high-dimensional linear systems", Discrete Event Dynamic Systems (DEDS), Springer, vol. 27, no. 2, pp. 443–461, 2017. [bibtex] [pdf] [doi] [dblp]
2016
[J5]Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski and Martin Wehrle, "Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions", International Journal on Software Tools for Technology Transfer (STTT), Springer, vol. 18, no. 4, pp. 449–467, 2016. [bibtex] [pdf] [doi] [citations] [dblp] [semantic scholar] [pubmed]
[J4]Taylor T. Johnson, S Bak, M Caccamo and L Sha, "Real-time reachability for verified simplex design", ACM Transactions on Embedded Computing Systems (TECS), ACM, vol. 15, no. 2, pp. 26:1–26:27, 2016. [bibtex] [pdf] [doi] [dblp]
2015
[J3]Taylor T. Johnson and S Mitra, "Safe and stabilizing distributed multi-path cellular flows", Theoretical Computer Science (TCS), Elsevier, vol. 579, pp. 9–32, 2015. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
2014
[J2]LV Nguyen, H Tran and Taylor T. Johnson, "Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics", IEEE Transactions on Energy Conversion (TEC), IEEE, vol. 29, no. 4, pp. 841–850, 2014. [bibtex] [pdf] [doi]
2011
[J1]Taylor T. Johnson and S Mitra, "Safe Flocking in Spite of Actuator Faults using Directional Failure Detectors", Journal of Nonlinear Systems and Applications, Watam Press, vol. 2, no. 1-2, pp. 73–95, 2011. [bibtex] [pdf] [citations]

Refereed Highly-Selective Conference Proceedings Papers (74)

2026
[C74]Hongchao Zhang, Mohamad Kazma, Ben Wooding, Meiyi Ma, Taylor T. Johnson and Ahmad Taha, "Control Barrier Function Synthesis for Differential-Algebraic Systems", In 65th IEEE Conference on Decision and Control (CDC'26), Honolulu, HI, USA, IEEE, 2026. [bibtex]
[C73]Mohamad Kazma, Hongchao Zhang, Abdallah Alalem Albustami, Ben Wooding, Meiyi Ma, Taylor T. Johnson and Ahmad Taha, "Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification", In 65th IEEE Conference on Decision and Control (CDC'26), Honolulu, HI, USA, IEEE, 2026. [bibtex]
[C72]Ben Wooding, Mohamad Kazma, Hongchao Zhang, Ahmad Taha, Meiyi Ma and Taylor T. Johnson, "Safe Autonomous Takeover for Unknown Descriptor Systems", In 65th IEEE Conference on Decision and Control (CDC'26), Honolulu, HI, USA, IEEE, 2026. [bibtex]
[C71]Anne M. Tumlin, Samuel Sasaki, Ben Wooding, Diego Manzanas Lopez, Muhammad Usama Zubair, Navid Hashemi, Hongchao Zhang, Waseem Abbas, Ipek Oguz, Meiyi Ma and Taylor T. Johnson, "NNV3: Expanding Neural Network Verification to New Architectures and Domains", In 24th International Symposium on Automated Technology for Verification and Analysis (ATVA 2026), Hong Kong, Springer, 2026. [bibtex]
[C70]Jingyi Guo, Dung Thuy Nguyen, Taylor T. Johnson and Kevin Leach, "Indelible Backdoors: On the Limits of Post-Training Defenses", In European Conference on Computer Vision (ECCV'26), Springer, 2026. [bibtex]
[C69]Quang Pham, Ben Wooding, Luke Nam, Samuel Sasaki and Taylor T. Johnson, "MetaMoE: Formal Verification of Compositional Robustness and Scalability of Mixture-of-Experts Architecture", In 3rd International Symposium on AI Verification (SAIV 2026), Springer, pp. 167–190, 2026. [bibtex] [doi] [dblp] [semantic scholar]
[C68]Ben Wooding, Kiersten Brennan, Anne M. Tumlin, Hongchao Zhang and Taylor T. Johnson, "A Self-correcting Neuro-symbolic AI Reasoning Framework", In 3rd International Symposium on AI Verification (SAIV 2026), Springer, pp. 191–211, 2026. [bibtex] [doi]
[C67]Anne M. Tumlin, Ben Wooding, Zhenxuan Shao, Diego Manzanas Lopez, Tyler Derr and Taylor T. Johnson, "Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features", In 3rd International Symposium on AI Verification (SAIV 2026), Springer, pp. 271–298, 2026. [bibtex] [doi] [dblp] [semantic scholar]
[C66]Yilin Liu, Hongchao Zhang, Ahmad Taha, Taylor T. Johnson and Meiyi Ma, "Modeling Spectral Energy Shifts in Spatio-Temporal Graph Anomaly Detection", In 43rd International Conference on Machine Learning (ICML'26), 2026. [bibtex] [url]
[C65]Nicholas Potteiger, Ankita Samaddar, Taylor T. Johnson and Xenofon D. Koutsoukos, "Reward Shaping and Action Masking for Compositional Tasks using Behavior Trees and LLMs", In 3rd International Conference on Neuro-symbolic Systems (NeuS'26), PMLR, 2026. [bibtex] [dblp]
[C64]Ben Wooding, Hongchao Zhang, Taylor T. Johnson and Abolfazl Lavaei, "k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics", In 3rd International Conference on Neuro-symbolic Systems (NeuS'26), PMLR, 2026. [bibtex] [dblp]
[C63]Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Ayan Mukhopadhyay, Taylor T. Johnson, Jonathan Sprinkle and Meiyi Ma, "LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning", In 17th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'26), 2026. [bibtex]
[C62]Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma and Kevin Leach, "LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning", In 17th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'26), 2026. [bibtex]
[C61]Preston K. Robinette, Andrew Hard, Swaroop Ramaswamy, Ehsan Amid, Rajiv Mathews and Taylor T. Johnson, "We Are What We Repeatedly Do: Improving Long Context Instruction Following", In Findings of the 23rd Conference of the European Chapter of the Association for Computational Linguistics (EACL'26), 2026. [bibtex] [dblp]
[C60]Dung Thuy Nguyen, Quang Nguyen, Preston K. Robinette, Eli Jiang, Taylor T. Johnson and Kevin Leach, "SUGAR: A Sweeter Spot for Generative Unlearning of Many Identities", In IEEE/CVF Winter Conference on Applications of Computer Vision (WACV'26), 2026. [bibtex] [dblp]
2025
[C59]Navid Hashemi, Samuel Sasaki, Ipek Oguz, Meiyi Ma and Taylor T. Johnson, "Scaling Data-Driven Probabilistic Robustness Analysis for Semantic Segmentation Neural Networks", In 39th Annual Conference on Neural Information Processing Systems (NeurIPS'25), 2025. [bibtex] [pdf]
[C58]Preston K. Robinette, Dung Thuy Nguyen, Samuel Sasaki and Taylor T. Johnson, "Trigger-Based Fragile Model Watermarking for Image Transformation Networks", In 30th European Symposium on Research in Computer Security (ESORICS'25), Springer, pp. 346–365, 2025. [bibtex] [doi] [dblp] [semantic scholar]
[C57]Dung Thuy Nguyen, Taylor T. Johnson and Kevin Leach, "PARDON: Privacy-Aware and Robust Federated Domain Generalization", In 45th IEEE International Conference on Distributed Computing Systems (ICDCS'25), IEEE, pp. 703–713, 2025. [bibtex] [pdf] [doi] [dblp]
[C56]Nicholas Potteiger, Diego Manzanas Lopez, Taylor T. Johnson and Xenofon Koutsoukos, "Real-Time Reachability for Neurosymbolic Reinforcement Learning based Safe Autonomous Navigation", In 2nd International Conference on Neuro-symbolic Systems (NeuS'25), PMLR, 2025. [bibtex] [pdf]
[C55]Samuel Sasaki, Diego Manzanas Lopez and Taylor T. Johnson, "Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs)", In 2nd International Conference on Neuro-symbolic Systems (NeuS'25), PMLR, 2025. [bibtex] [pdf]
[C54]Serena Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen and Taylor T. Johnson, "Neuro-Symbolic Behavior Trees and Their Verification", In 2nd International Conference on Neuro-symbolic Systems (NeuS'25), PMLR, 2025. [bibtex] [pdf]
[C53]Tianshu Bao, Xiaoou Liu, Meiyi Ma, Taylor T. Johnson and Hua Wei, "Uncertainty Quantification for Physics-Informed Traffic Graph Networks", In 16th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'25), ACM/IEEE, pp. 1–10, 2025. [bibtex] [pdf] [doi] [dblp]
[C52]Samuel Sasaki, Preston K. Robinette, Diego Manzanas Lopez and Taylor T. Johnson, "Robustness Verification of Video Classification Neural Networks", In 13th International Conference on Formal Methods in Software Engineering (FormaliSE'25), ACM, pp. 22–33, 2025. [bibtex] [pdf] [doi] [dblp]
[C51]Lucas Cordeiro, Matthew Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs and Haoze Wu, "Neural Network Verification is a Programming Language Challenge (Fresh Perspectives)", In 34th European Symposium on Programming (ESOP'25), Springer, pp. 206–235, 2025. [bibtex] [pdf] [doi]
[C50]Dung Thuy Nguyen, Ngoc N. Tran, Taylor T. Johnson and Kevin Leach, "PBP: Post-training Backdoor Purification for Malware Classifiers", In 32nd Network and Distributed System Security Symposium (NDSS'25), Internet Society, 2025. [bibtex] [pdf] [doi] [dblp]
2024
[C49]Anne M. Tumlin, Diego Manzanas Lopez, Preston K. Robinette, Yuying Zhao, Tyler Derr and Taylor T. Johnson, "FairNNV: The Neural Network Verification Tool For Certifying Fairness", In 5th ACM International Conference on AI in Finance (ICAIF'24), ACM, pp. 36–44, 2024. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C48]Preston K. Robinette, Daniel Moyer and Taylor T. Johnson, "Sanitizing Hidden Information with Diffusion Models", In 27th European Conference on Artificial Intelligence (ECAI'24), IOS Press, 2024. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C47]Tianshu Bao, Hua Wei, Junyi Ji, Daniel Work and Taylor T. Johnson, "Spatial-Temporal PDE Networks for Traffic Flow Forecasting", In European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD'24), Applied Data Science Track, Springer, pp. 166–182, 2024. [bibtex] [doi] [dblp] [semantic scholar]
[C46]Tianshu Bao, Taylor T. Johnson and Xiaowei Jia, "Transfer Learning Using Inaccurate Physics Rule for Streamflow Prediction", In 33rd International Joint Conference on Artificial Intelligence (IJCAI'24), AI for Good Track, International Joint Conferences on Artificial Intelligence Organization, pp. 7170–7178, 2024. [bibtex] [pdf] [doi] [dblp]
[C45]Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach and Taylor T. Johnson, "Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets", In 12th International Conference on Formal Methods in Software Engineering (FormaliSE'24), ACM, pp. 127–137, 2024. [bibtex] [pdf] [doi] [dblp]
[C44]Ziyan An, Taylor T. Johnson and Meiyi Ma, "Formal Logic Enabled Personalized Federated Learning Through Property Inference", In 38th AAAI Conference on Artificial Intelligence (AAAI'24), AAAI, pp. 10882–10890, 2024. [bibtex] [doi] [dblp]
2023
[C43]Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle and Meiyi Ma, "Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models", In 23rd International Conference on Runtime Verification (RV'23), Springer, pp. 376–388, 2023. [bibtex] [pdf] [doi] [dblp]
[C42]Preston K. Robinette, Taylor T. Johnson, David Wang, Nishan Shehadeh and Daniel C. Moyer, "SUDS: Sanitizing Universal and Dependent Steganography", In 26th European Conference on Artificial Intelligence (ECAI'23), IOS Press, 2023. [bibtex] [pdf] [doi] [dblp]
[C41]Neelanjana Pal, Diego Manzanas Lopez and Taylor T. Johnson, "Robustness verification of deep neural networks using star-based reachability analysis with variable-length time series input", In ERCIM Working Group 28th International Conference on Formal Methods for Industrial Critical Systems (FMICS'23), Springer, pp. 170–188, 2023. [bibtex] [pdf] [doi] [dblp]
[C40]Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran and Taylor T. Johnson, "NNV 2.0: The Neural Network Verification Tool", In 35th International Conference on Computer Aided Verification (CAV'23), Springer, 2023. [bibtex] [pdf] [doi] [dblp]
[C39]Nathaniel Hamilton, Kyle Dunlap, Taylor T. Johnson and Kerianne L. Hobbs, "Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents", In IEEE 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT'23), IEEE, 2023. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
[C38]Preston K. Robinette, Nathaniel Hamilton and Taylor T. Johnson, "Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces", In 14th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'23), ACM/IEEE, 2023. [bibtex] [pdf] [doi] [dblp]
2022
[C37]Nathaniel Hamilton, Preston K. Robinette and Taylor T. Johnson, "Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning", In 20th International Conference on Software Engineering and Formal Methods (SEFM'22), Springer, pp. 190–206, 2022. [bibtex] [pdf] [doi] [dblp]
[C36]Serena Serbinowska and Taylor T. Johnson, "BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees", In 20th International Conference on Software Engineering and Formal Methods (SEFM'22), Springer, pp. 307–323, 2022. [bibtex] [pdf] [doi] [dblp]
[C35]Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton and Taylor T. Johnson, "Reachability Analysis of a General Class of Neural Ordinary Differential Equations", In 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'22), Springer, pp. 258–277, 2022. [bibtex] [pdf] [doi] [dblp]
[C34]Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Taylor T. Johnson and Danil Prokhorov, "Neural Network Repair with Reachability Analysis", In 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'22), Springer, pp. 221–236, 2022. [bibtex] [pdf] [doi] [dblp]
[C33]Tianshu Bao, Shengyu Chen, Taylor T. Johnson, Peyman Givi, Shervin Sammak and Xiaowei Jia, "Physics Guided Neural Networks for Spatio-temporal Super-resolution of Turbulent Flows", In 38th Conference on Uncertainty in Artificial Intelligence (UAI'22), Proceedings of Machine Learning Research (PMLR), pp. 118–128, 2022. [bibtex] [pdf] [dblp]
2021
[C32]Tianshu Bao, Xiaowei Jia, Jacob Zwart, Jeffrey Sadler, Alison Appling, Samantha Oliver and Taylor T. Johnson, "Partial Differential Equation Driven Dynamic Graph Networks for Predicting Stream Water Temperature", In 21st IEEE International Conference on Data Mining (ICDM'21), IEEE, pp. 11–20, 2021. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C31]Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak and Taylor T. Johnson, "Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability", In 33rd International Conference on Computer-Aided Verification (CAV'21), Springer, pp. 263–283, 2021. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C30]Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson and Danil Prokhorov, "Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence", In 24th ACM International Conference on Hybrid Systems (HSCC'21), ACM, pp. 18:1–7, 2021. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
2020
[C29]Hoang-Dung Tran, Stanley Bak, Weiming Xiang and Taylor T. Johnson, "Verification of Deep Convolutional Neural Networks Using ImageStars", In 32nd International Conference on Computer-Aided Verification (CAV'20), Springer, pp. 18–42, 2020. [bibtex] [pdf] [doi] [dblp]
[C28]Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs and Taylor T. Johnson, "Improved Geometric Path Enumeration for Verifying ReLU Neural Networks", In 32nd International Conference on Computer-Aided Verification (CAV'20), Springer, pp. 66–96, 2020. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C27]Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak and Taylor T. Johnson, "NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems", In 32nd International Conference on Computer-Aided Verification (CAV'20), Springer, pp. 3–17, 2020. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
[C26]Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson and Christoph Csallner, "SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink", In 42nd International Conference on Software Engineering (ICSE'20), ACM, pp. 335–346, 2020. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
2019
[C25]HD Tran, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang and Taylor T. Johnson, "Star-Based Reachability Analysis of Deep Neural Networks", In 23rd International Symposium on Formal Methods (FM'19), Springer, pp. 670–686, 2019. [bibtex] [pdf] [doi] [dblp]
[C24]HD Tran, LV Nguyen, N Hamilton, W Xiang and Taylor T. Johnson, "Reachability Analysis for High-Index Linear Differential Algebraic Equations", In 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'19), Springer, pp. 160–177, 2019. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C23]HD Tran, LV Nguyen, P Musau, W Xiang and Taylor T. Johnson, "Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems", In 39th International Conference on Formal Techniques for Distributed Objects (FORTE'19), Springer, pp. 261–277, 2019. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C22]S Bak, HD Tran and Taylor T. Johnson, "Numerical verification of affine systems with up to a billion dimensions", In 22nd ACM International Conference on Hybrid Systems (HSCC'19), ACM, pp. 23–32, 2019. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
2018
[C21]SA Chowdhury, S Mohian, S Mehra, Taylor T. Johnson and C Csallner, "Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge", In 40th International Conference on Software Engineering (ICSE'18), ACM, pp. 981–992, 2018. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
2017
[C20]LV Nguyen, J Kapinski, X Jin, JV Deshmukh and Taylor T. Johnson, "Hyperproperties of real-valued signals", In 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'17), ACM, pp. 104–113, 2017. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C19]A Sogokon, PB Jackson and Taylor T. Johnson, "Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants", In 9th NASA Formal Methods Symposium (NFM'17), Springer, pp. 194–211, 2017. [bibtex] [pdf] [doi] [dblp]
[C18]LV Nguyen, J Kapinski, X Jin, JV Deshmukh, K Butts and Taylor T. Johnson, "Abnormal data classification using time-frequency temporal logic", In 20th International Conference on Hybrid Systems: Computation and Control (HSCC'17), ACM, pp. 237–242, 2017. [bibtex] [pdf] [doi] [dblp]
[C17]U Siddique, KA Hoque and Taylor T. Johnson, "Formal Specification and Dependability Analysis of Optical Communication Networks", In Design, Automation, and Test in Europe (DATE'17), IEEE, pp. 1564–1569, 2017. [bibtex] [doi] [dblp] [semantic scholar]
2016
[C16]A Sogokon, K Ghorbal and Taylor T. Johnson, "Decoupling Abstractions of Non-linear Ordinary Differential Equations", In International Symposium on Formal Methods (FM'16), Springer, pp. 628–644, 2016. [bibtex] [pdf] [doi] [citations] [dblp] [semantic scholar]
[C15]MU Sardar, N Afaq, KA Hoque, Taylor T. Johnson and O Hasan, "Probabilistic formal verification of the SATS concept of operation", In 8th NASA Formal Methods Symposium (NFM'16), Springer, pp. 191–205, 2016. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C14]S Bak, S Bogomolov, TA Henzinger, Taylor T. Johnson and P Prakash, "Scalable Static Hybridization Methods for Analysis of Nonlinear Systems", In 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'16), ACM, pp. 155–164, 2016. [bibtex] [pdf] [doi] [dblp]
2015
[C13]S Bak and Taylor T. Johnson, "Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization", In 36th IEEE Real-Time Systems Symposium (RTSS'15), IEEE, pp. 195–205, 2015. [bibtex] [pdf] [doi] [dblp]
[C12]LV Nguyen, C Schilling, S Bogomolov and Taylor T. Johnson, "Runtime Verification for Hybrid Analysis Tools", In 15th International Conference on Runtime Verification (RV'15), Springer, pp. 281–286, 2015. [bibtex] [pdf] [doi] [dblp]
[C11]Taylor T. Johnson, S Bak and S Drager, "Cyber-Physical Specification Mismatch Identification with Dynamic Analysis", In ACM/IEEE 6th International Conference on Cyber-Physical Systems (ICCPS'15), ACM, pp. 208–217, 2015. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[C10]S Bak, S Bogomolov and Taylor T. Johnson, "HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models", In 18th International Conference on Hybrid Systems: Computation and Control (HSCC'15), ACM, pp. 128–133, 2015. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
2014
[C9]S Bak, Taylor T. Johnson, M Caccamo and L Sha, "Real-Time Reachability for Verified Simplex Design", In 35th IEEE Real-Time Systems Symposium (RTSS'14), IEEE, pp. 138–148, 2014. [bibtex] [pdf] [doi] [dblp]
[C8]Taylor T. Johnson and S Mitra, "Anonymized Reachability of Hybrid Automata Networks", In 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'14), Springer, pp. 130–145, 2014. [bibtex] [pdf] [doi] [dblp]
2013
[C7]Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski and Martin Wehrle, "Abstraction-based guided search for hybrid systems", In 20th International SPIN Symposium on Model Checking of Software (SPIN'13), Springer, pp. 117–134, 2013. [bibtex] [pdf] [doi] [citations] [dblp]
2012
[C6]PS Duggirala, Taylor T. Johnson, A Zimmerman and S Mitra, "Static and dynamic analysis of timed distributed traces", In 33rd IEEE Real-Time Systems Symposium (RTSS'12), IEEE, pp. 173–182, 2012. [bibtex] [pdf] [doi] [citations] [dblp]
[C5]Taylor T. Johnson, J Green, S Mitra, R Dudley and RS Erwin, "Satellite rendezvous and conjunction avoidance: Case studies in verification of nonlinear hybrid systems", In International Symposium on Formal Methods (FM'12), Springer, pp. 252–266, 2012. [bibtex] [pdf] [doi] [citations] [dblp] [semantic scholar]
[C4]Taylor T. Johnson and S Mitra, "A small model theorem for rectangular hybrid automata networks", In IFIP International Conference on Formal Techniques for Distributed Systems: Joint International Conference of 14th Formal Methods for Open Object-Based Distributed Systems and 32nd Formal Techniques for Networked and Distributed Systems (FORTE/FMOODS'12), Springer, pp. 18–34, 2012. [bibtex] [pdf] [doi] [citations] [dblp] [semantic scholar]
[C3]Taylor T. Johnson and S Mitra, "Parameterized verification of distributed cyber-physical systems: An aircraft landing protocol case study", In 3rd ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'12), IEEE, pp. 161–170, 2012. [bibtex] [pdf] [doi] [citations]
2010
[C2]Taylor T. Johnson and S Mitra, "Safe flocking in spite of actuator faults", In Stabilization, Safety, and Security of Distributed Systems (SSS'10), Springer, pp. 588–602, 2010. [bibtex] [pdf] [doi] [citations] [dblp] [semantic scholar]
[C1]Taylor T. Johnson, S Mitra and K Manamcheri, "Safe and stabilizing distributed cellular flows", In 30th IEEE International Distributed Computing Systems (ICDCS'10), IEEE, pp. 577–586, 2010. [bibtex] [pdf] [doi] [citations] [dblp]

Book Chapters (4)

2026
[BC4]Abhishek Dubey, Taylor T. Johnson, Xenofon Koutsoukos, Baiting Luo, Diego Manzanas Lopez, Miklos Maroti, Ayan Mukhopadhyay, Nicholas Potteiger, Serena Serbinowska, Daniel Stojcsics, Yunuo Zhang and Gabor Karsai, "Toward Assured Autonomy Using Neurosymbolic Components and Systems", Chapter in Neurosymbolic AI (Wiley book, edited by G. Karsai et al.), Chapter 4, Wiley, pp. 89–118, 2026. [bibtex] [url] [doi]
[BC3]Taylor T. Johnson and Barbara Steffen, "Let's Talk AI with Computer Science Expert Taylor T. Johnson", Chapter in Let's Talk AI, Lecture Notes in Computer Science (LNCS), Springer, pp. 130–137, 2026. [bibtex] [url] [doi]
2025
[BC2]Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov and Taylor T. Johnson, "Metacognition with Neural Network Verification and Repair using Veritex", In Metacognitive Artificial Intelligence, Cambridge University Press, pp. 212–228, 2025. [bibtex] [doi]
2019
[BC1]W Xiang, DM Lopez, P Musau and Taylor T. Johnson, "Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems", Chapter in Safe, Autonomous and Intelligent Vehicles, Series on Unmanned Systems Technologies, Springer, pp. 123–144, 2019. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]

Other Fully Refereed Conference Proceedings Papers (22)

2025
[OC22]Xia Wang, Anda Liang, Jonathan Sprinkle and Taylor T. Johnson, "Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes", In Future of Information and Communication Conference (FICC 2025), pp. 572–585, 2025. [bibtex] [doi] [dblp]
[OC21]Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu and Waseem Abbas, "Verification of Neural Network Robustness Against Weight Perturbations Using Star Sets", In IEEE Conference on Artificial Intelligence (CAI 2025), pp. 637–642, 2025. [bibtex] [doi] [dblp] [semantic scholar]
[OC20]Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma and Taylor T. Johnson, "Combining LLMs with a Logic-Based Framework to Explain MCTS", In 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), pp. 2405–2407, 2025. [bibtex] [doi] [dblp]
[OC19]Ziyan An, Daniel Moyer, Ipek Oguz, Meiyi Ma and Taylor T. Johnson, "ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis", In 25th International Conference on Runtime Verification (RV 2025), pp. 477–496, 2025. [bibtex] [doi] [dblp]
2024
[OC18]Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp and Sadegh Soudjani, "The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems", In TOOLympics Challenge 2023 and TOOLympics 2024, Springer, pp. 1–37, 2024. [bibtex] [doi] [dblp] [semantic scholar]
2023
[OC17]Neelanjana Pal, Seojin Lee and Taylor T. Johnson, "Benchmark: formal verification of semantic segmentation neural networks", In 1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23), Springer, pp. 311–330, 2023. [bibtex] [doi] [dblp]
[OC16]Preston K. Robinette, Diego Manzanas Lopez and Taylor T. Johnson, "Benchmark: neural network malware classification", In 1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23), Springer, pp. 291–298, 2023. [bibtex] [doi] [dblp] [semantic scholar]
[OC15]Diego Manzanas Lopez and Taylor T. Johnson, "Empirical analysis of benchmark generation for the verification of neural network image classifiers", In 1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23), Springer, pp. 331–347, 2023. [bibtex] [doi] [dblp]
2022
[OC14]Preston K. Robinette, Benjamin Heiner, Umberto Ravaioli, Nathaniel Hamilton, Taylor T. Johnson and Kerianne Hobbs, "Reinforcement Learning Heuristics for Aerospace Control Systems", In IEEE Aerospace Conference, IEEE, pp. 1–12, 2022. [bibtex] [doi] [semantic scholar]
[OC13]Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez and Taylor T. Johnson, "Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning versus Imitation Learning", In IEEE International Conference on Assured Autonomy (ICAA'22), IEEE, pp. 11–20, 2022. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[OC12]Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston K. Robinette and Taylor T. Johnson, "On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers", In IEEE International Conference on Assured Autonomy (ICAA'22), IEEE, pp. 1–10, 2022. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
2021
[OC11]Joel A. Rosenfeld, Rushikesh Kamalapurkar, L. Forest Gruss and Taylor T. Johnson, "On Occupation Kernels, Liouville Operators, and Dynamic Mode Decomposition", In 2021 American Control Conference (ACC), IEEE, pp. 3957–3962, 2021. [bibtex] [doi] [dblp]
2020
[OC10]Omar Ali Beg, Ajay P. Yadav, Taylor T. Johnson and Ali Davoudi, "Formal Online Resiliency Monitoring in Microgrids", In IEEE 2020 Resilience Week (RWS), IEEE, pp. 99–105, 2020. [bibtex] [doi]
2019
[OC9]J. A. Rosenfeld, R. Kamalapurkar, B. Russo and Taylor T. Johnson, "Occupation Kernels and Densely Defined Liouville Operators for System Identification", In IEEE 58th Conference on Decision and Control (CDC'19), IEEE, pp. 6455–6460, 2019. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
2018
[OC8]LV Nguyen, B Hoxha, Taylor T. Johnson and G Fainekos, "Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS", In 6th IFAC Analysis and Design of Hybrid Systems (ADHS'18), IFAC/Elsevier, pp. 67–72, 2018. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[OC7]HD Tran, W Xiang, S Bak and Taylor T. Johnson, "Reachability Analysis for One Dimensional Linear Parabolic Equations", In 6th IFAC Analysis and Design of Hybrid Systems (ADHS'18), IFAC/Elsevier, pp. 133–138, 2018. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[OC6]W Xiang, HD Tran, JA Rosenfeld and Taylor T. Johnson, "Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers", In American Control Conference (ACC'18), IEEE, pp. 1574–1579, 2018. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
2017
[OC5]OA Beg, L Nguyen, A Davoudi and Taylor T. Johnson, "Computer-Aided Formal Verification of Power Electronics Circuits", In VDE Frontiers in Analog Computer Aided Design (FAC'17), VDE, pp. 21–26, 2017. [bibtex] [pdf]
[OC4]W Xiang, HD Tran and Taylor T. Johnson, "On reachable set estimation for discrete-time switched linear systems under arbitrary switching", In American Control Conference (ACC'17), IEEE, pp. 4534–4539, 2017. [bibtex] [pdf] [doi] [dblp]
2016
[OC3]W Xiang, HD Tran and Taylor T. Johnson, "Reachable set estimation and control for switched linear systems with dwell-time restriction", In 55th IEEE Conference on Decision and Control (CDC'16), IEEE, pp. 7246–7251, 2016. [bibtex] [pdf] [doi] [citations] [dblp] [semantic scholar]
[OC2]Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran and Weiming Xiang, "Tutorial: software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP", In IEEE Conference on Control Applications (CCA'16), IEEE, pp. 1024–1029, 2016. [bibtex] [pdf] [doi] [citations] [dblp]
2011
[OC1]Taylor T. Johnson, S Mitra and C Langbort, "Stability of Digitally Interconnected Linear Systems", In 50th IEEE Conference on Decision and Control (CDC'11), IEEE, pp. 2687–2692, 2011. [bibtex] [pdf] [doi] [citations] [dblp] [semantic scholar]

Lightly Refereed Conference Proceedings Papers (10)

2025
[LC10]Taylor T. Johnson, "Is Neural Network Verification Useful and What Is Next?", In 61st Allerton Conference on Communication, Control, and Computing, 2025. [bibtex] [url]
2021
[LC9]Krishna Muvva, Justin M. Bradley, Marilyn Wolf and and Taylor T. Johnson, "Assuring Learning-Enabled Components in Small Unmanned Aircraft Systems", In AIAA Scitech 2021 Forum, AIAA, 2021. [bibtex] [pdf] [doi]
[LC8]Diego Manzanas Lopez, Taylor T. Johnson, Hoang-Dung Tran, Stanley Bak, Xin Chen and and Kerianne L. Hobbs, "Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability", In AIAA Scitech 2021 Forum, AIAA, 2021. [bibtex] [pdf] [doi] [semantic scholar]
2020
[LC7]Nathaniel Hamilton, Lena Schlemmer, Christopher Menart, Chad Waddington, Todd Jenkins and Taylor T. Johnson, "Sonic to knuckles: evaluations on transfer reinforcement learning", In SPIE Defense + Commercial Sensing - Unmanned Systems Technology XXII, SPIE, pp. 20, 2020. [bibtex] [doi] [semantic scholar]
2015
[LC6]Taylor T. Johnson, R Gannamaraju and S Fischmeister, "A survey of electrical and electronic (e/e) notifications for motor vehicles", In 24th International Technical Conference on the Enhanced Safety of Vehicles (ESV'15), NHTSA, pp. 1–15, 2015. [bibtex] [pdf]
[LC5]L Bobadilla, Taylor T. Johnson, A LaViers and U Huzaifa, "Verified Planar Formation Control Algorithms by Composition of Primitives", In AIAA Science and Technology Forum and Exposition (SciTech'15), AIAA, 2015. [bibtex] [pdf] [doi] [semantic scholar]
2013
[LC4]Taylor T. Johnson and S Mitra, "Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems", In AIAA Infotech at Aerospace, AIAA, pp. 1–16, 2013. [bibtex] [pdf] [doi] [semantic scholar]
[LC3]S Hossain, Taylor T. Johnson and S Dhople, "Reachability Analysis of Closed Loop Switching Power Converters", In IEEE Power and Energy Conference at Illinois (PECI'13), IEEE, pp. 130–134, 2013. [bibtex] [pdf] [doi] [citations] [semantic scholar]
2012
[LC2]Taylor T. Johnson, Z Hong and A Kapoor, "Design Verification Methods for Switching Power Converters", In IEEE Power and Energy Conference at Illinois (PECI'12), IEEE, pp. 1–6, 2012. [bibtex] [pdf] [doi] [citations]
2011
[LC1]Taylor T. Johnson and AE Hoefel, "Turbo-alternator stalling protection using available-power estimate", In IEEE Power and Energy Conference at Illinois (PECI'11), IEEE, pp. 1–6, 2011. [bibtex] [pdf] [doi] [citations] [semantic scholar]

Refereed Workshop Proceedings Papers (34)

2026
[W34]Preston K. Robinette and Taylor T. Johnson, "MorphoMod: Visible Watermark Removal with Morphological Dilation", In SAFE: Synthetic & Adversarial ForEnsics Workshop at the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2026), 2026. [bibtex] [pdf] [doi] [arXiv]
2025
[W33]Diego Manzanas Lopez, Samuel Sasaki and Taylor T. Johnson, "NNV: A Star Set Reachability Approach (Competition Contribution)", In 2nd International Symposium on AI Verification (SAIV 2025), pp. 260–265, 2025. [bibtex] [doi] [dblp]
[W32]Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen and Haoze Wu, "The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results", In 2nd International Symposium on AI Verification (SAIV 2025), 2025. [bibtex] [dblp]
2024
[W31]Serena S. Serbinowska, Preston K. Robinette, Gabor Karsai and Taylor T. Johnson, "Formalizing Stateful Behavior Trees", In 6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24), EPTCS, pp. 201–218, 2024. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
[W30]Serena S. Serbinowska, Nicholas Potteiger, Anne M. Tumlin and Taylor T. Johnson, "Verification of Behavior Trees with Contingency Monitors", In 6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24), EPTCS, pp. 56–72, 2024. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
2023
[W29]Neelanjana Pal and Taylor T. Johnson, "Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach", In 5th International Workshop on Formal Methods for Autonomous Systems (FMAS'23), EPTCS, pp. 162–179, 2023. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
[W28]Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau and Paulius Stankaitis, "Online Reachability Analysis and Space Convexification for Autonomous Racing", In 5th International Workshop on Formal Methods for Autonomous Systems (FMAS'23), EPTCS, pp. 95–112, 2023. [bibtex] [pdf] [doi] [arXiv] [dblp] [semantic scholar]
2020
[W27]Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran and Taylor T. Johnson, "Case Study: Safety Verification of an Unmanned Underwater Vehicle", In IEEE Workshop on Assured Autonomous Systems (WAAS'20), Co-located with the 41st IEEE Symposium on Security and Privacy (Oakland), 2020. [bibtex] [dblp]
2019
[W26]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon Koutsoukos, Janos Sztipanovits and Gabor Karsai, "CPS Design with Learning-Enabled Components: A Case Study", In 30th International Workshop on Rapid System Prototyping (RSP'19), ACM, pp. 57–63, 2019. [bibtex] [doi] [dblp]
[W25]Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang and Taylor T. Johnson, "Decentralized real-time safety verification for distributed cyber-physical systems", In 3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS'19), 2019. [bibtex] [dblp]
[W24]Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson and Xenofon Koutsoukos, "Safety Verification in Reinforcement Learning Control", In 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS'19), 2019. [bibtex] [pdf]
[W23]HD Tran, P Musau, DM Lopez, X Yang, LV Nguyen, W Xiang and Taylor T. Johnson, "Parallelizable reachability analysis algorithms for feed-forward neural networks", In 7th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormalISE'19), IEEE/ACM, pp. 31–40, 2019. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[W22]DM Lopez, P Musau, HD Tran and Taylor T. Johnson, "Verification of closed-loop systems with neural network controllers", In EPiC Series in Computing 61, 6th Applied Verification for Continuous and Hybrid Systems (ARCH'19), EasyChair, pp. 201–210, 2019. [bibtex] [pdf] [doi] [dblp]
[W21]T Kecskes, P Meijer, Taylor T. Johnson and M Lucas, "Demo: A Design Studio for Verification Tools", In 1st Workshop on Design Automation for CPS and IoT (DESTION'19), ACM, pp. 60–61, 2019. [bibtex] [doi] [dblp] [semantic scholar]
[W20]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon Koutsoukos, Janos Sztipanovits and Gabor Karsai, "Model-based design for CPS with learning-enabled components", In 1st Workshop on Design Automation for CPS and IoT (DESTION'19), ACM, pp. 1–9, 2019. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[W19]W Xiang, HD Tran and Taylor T. Johnson, "Specification-Guided Safety Verification for Feedforward Neural Networks", In 2nd Verification of Neural Networks (VNN'19), AAAI 2019 Spring Symposium, 2019. [bibtex] [pdf] [dblp]
[W18]W Xiang, Xiaodong Yang, HD Tran and Taylor T. Johnson, "Reachability Analysis and Safety Verification for Neural Network Control Systems", In 2nd Verification of Neural Networks (VNN'19), AAAI 2019 Spring Symposium, 2019. [bibtex] [pdf] [dblp]
2018
[W17]Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson, "Differential Algebraic Equations (DAEs) with Varying Index (Benchmark Proposal)", In 5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18), EasyChair, pp. 174–184, 2018. [bibtex] [doi]
[W16]Patrick Musau and Taylor T. Johnson, "Continuous-Time Recurrent Neural Networks (CTRNNs) (Benchmark Proposal)", In 5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18), EasyChair, pp. 196–207, 2018. [bibtex] [doi]
[W15]Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson, "Discrete-Space Analysis of Partial Differential Equations (PDEs) (Benchmark Proposal)", In 5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18), EasyChair, pp. 185–195, 2018. [bibtex] [doi]
[W14]SA Chowdhury, LS Varghese, S Mohian, Taylor T. Johnson and C Csallner, "A Curated Corpus of Simulink Models for Model-based Empirical Studies", In 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS '18), ACM, pp. 45–48, 2018. [bibtex] [doi] [dblp] [semantic scholar]
2017
[W13]Taylor T. Johnson, "Reusable and Understandable Formal Verification for Cyber-Physical Systems", In 1st International Workshop on Formal Approaches to Explainable VERification (FEVER'17), 2017. [bibtex] [pdf]
[W12]HD Tran, LV Nguyen, W Xiang and Taylor T. Johnson, "Distributed Autonomous Systems (Benchmark Proposal)", In 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'17), EasyChair, pp. 33–43, 2017. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[W11]OA Beg, A Davoudi and Taylor T. Johnson, "Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal)", In 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'17), EasyChair, pp. 52–64, 2017. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
2016
[W10]SA Chowdhury, Taylor T. Johnson and C Csallner, "CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments", In 6th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'16), Springer, pp. 46–60, 2016. [bibtex] [pdf] [doi] [dblp]
[W9]HD Tran, LV Nguyen and Taylor T. Johnson, "Large-Scale Linear Systems from Order-Reduction (Benchmark Proposal)", In 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'16), EasyChair, pp. 60–67, 2016. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[W8]A Sogokon, K Ghorbal and Taylor T. Johnson, "Non-linear Continuous Systems for Safety Verification (Benchmark Proposal)", In 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'16), EasyChair, pp. 42–51, 2016. [bibtex] [pdf] [doi]
[W7]OA Beg, A Davoudi and Taylor T. Johnson, "Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis (Benchmark Proposal)", In 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'16), EasyChair, pp. 27–35, 2016. [bibtex] [pdf] [doi]
2015
[W6]LV Nguyen, D Maksimovic, Taylor T. Johnson and A Veneris, "Quantified Bounded Model Checking for Rectangular Hybrid Automata", In 9th International Workshop on Constraints in Formal Verification (CFV'15), 2015. [bibtex] [pdf]
[W5]S Bak, S Bogomolov and Taylor T. Johnson, "HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models", In 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR'15), 2015. [bibtex] [pdf] [dblp]
[W4]HD Tran, LV Nguyen and Taylor T. Johnson, "Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis", In 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'15), EasyChair, pp. 89–97, 2015. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[W3]S Bak, S Bogomolov, M Greitschus and Taylor T. Johnson, "Benchmark: Stratified Controllers of Tank Networks", In 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'15), EasyChair, pp. 73–79, 2015. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
2014
[W2]Luan Viet Nguyen, Eric J. Nelson, Amol Vengurlekar, Ruoshi Zhang, Kristopher I. White, Victor Salinas and Taylor T. Johnson, "Model-based design and analysis of a reconfigurable continuous-culture bioreactor", In 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy'14), ACM, pp. 48–51, 2014. [bibtex] [pdf] [doi] [dblp]
[W1]LV Nguyen and Taylor T. Johnson, "Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters).", In 1st International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'14), EasyChair, pp. 19–24, 2014. [bibtex] [pdf] [doi] [dblp] [semantic scholar]

Other Workshop Proceedings Papers (16)

2024
[OW15]Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Clemens Blab, Marcelo Forets, Yuhao Jia, Taylor T. Johnson, Manuel Kranzl, Tobias Ladner, Lukas Linauer, Philipp Neubauer, Sophie Neubauer, Christian Schilling, Huan Zhang and Xiangru Zhong, "ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 103, 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'24), EasyChair, pp. 64–121, 2024. [bibtex] [doi]
2023
[OW14]Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner and Christian Schilling, "ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 96, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'23), EasyChair, pp. 89–51, 2023. [bibtex] [pdf] [doi] [dblp]
[OW13]Taylor T. Johnson, "ARCH-COMP23 Repeatability Evaluation Report", In EPiC Series in Computing 96, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'23), EasyChair, pp. 189–181, 2023. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
2022
[OW12]Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu, "ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 90, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), EasyChair, pp. 142–98, 2022. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[OW11]Taylor T. Johnson, "ARCH-COMP22 Repeatability Evaluation Report", In EPiC Series in Computing 90, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), EasyChair, pp. 222–212, 2022. [bibtex] [pdf] [doi] [dblp]
2021
[OW16]Neelanjana Pal and Taylor T. Johnson, "Safety and Robustness Verification of Autoencoder based Regression Model using NNV Tool", In 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR'21), 2021. [bibtex]
[OW10]Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer and Insup Lee, "ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 80, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), EasyChair, pp. 90–119, 2021. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[OW9]Taylor T. Johnson, "ARCH-COMP21 Repeatability Evaluation Report", In EPiC Series in Computing 80, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), EasyChair, pp. 153–160, 2021. [bibtex] [pdf] [doi] [dblp]
2020
[OW8]Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan and Chao Huang, "ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 74, 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'20), EasyChair, pp. 107–139, 2020. [bibtex] [pdf] [doi] [dblp]
[OW7]Taylor T. Johnson, "ARCH-COMP20 Repeatability Evaluation Report", In EPiC Series in Computing 74, 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'20), EasyChair, pp. 175–183, 2020. [bibtex] [pdf] [doi] [dblp]
2019
[OW6]Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov and Taylor T. Johnson, "ARCH-COMP19 Category Report: Artificial Intelligence/Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In EPiC Series in Computing 61, 6th Applied Verification for Continuous and Hybrid Systems (ARCH'19), EasyChair, pp. 103–119, 2019. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
[OW5]Taylor T. Johnson, "ARCH-COMP19 Repeatability Evaluation Report", In EPiC Series in Computing 61, 6th Applied Verification for Continuous and Hybrid Systems (ARCH'19), EasyChair, pp. 162–169, 2019. [bibtex] [pdf] [doi] [dblp]
[OW4]Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov and Taylor T. Johnson, "ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants", In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, pp. 103–119, 2019. [bibtex] [doi] [dblp] [semantic scholar]
2018
[OW3]Taylor T. Johnson, "ARCH-COMP18 Repeatability Evaluation Report", In 5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18), EasyChair, pp. 128–134, 2018. [bibtex] [doi] [dblp]
2017
[OW2]Taylor T. Johnson, "ARCH-COMP17 Repeatability Evaluation Report", In 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'17), EasyChair, pp. 175–180, 2017. [bibtex] [pdf] [doi] [dblp]
2015
[OW1]Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov and Taylor T. Johnson, "HyRG: a random generation tool for affine hybrid automata", 2015. [bibtex] [pdf] [doi] [citations]

Position/Editorial/Opinion Papers (2)

2023
[E2]Daniel Neider and Taylor T. Johnson, "Track C1: Safety Verification of Deep Neural Networks (DNNs)", In 1st International Conference on Bridging the Gap between AI and Reality (AISoLA'23), Springer, pp. 217–224, 2023. [bibtex] [doi] [dblp] [semantic scholar]
2009
[E1]Taylor T. Johnson and S Mitra, "Handling Failures in Cyber-Physical Systems: Potential Directions", In Real-Time Systems Symposium (RTSS'09), 2009. [bibtex] [pdf] [citations]

Theses (2)

2013
[TH2]Taylor T. Johnson, "Uniform verification of safety for parameterized networks of hybrid automata", PhD thesis, University of Illinois at Urbana-Champaign, 2013. [bibtex] [pdf] [dblp]
2010
[TH1]Taylor T. Johnson, "Fault-tolerant distributed cyber-physical systems: Two case studies", Master's thesis, University of Illinois at Urbana-Champaign, 2010. [bibtex] [pdf] [citations]

Technical Reports (11)

2022
[R11]Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu and Taylor T. Johnson, "The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results", 2022. [bibtex] [dblp]
2019
[R10]JA Rosenfeld, R Kamalapurkar, L Gruss and Taylor T. Johnson, "Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator", Technical report, arXiv preprint arXiv:1910.03977, 2019. [bibtex] [dblp]
[R9]HD Tran, LV Nguyen, P Musau, W Xiang and Taylor T. Johnson, "Real-Time Verification for Distributed Cyber-Physical Systems", Technical report, arXiv preprint arXiv:1909.09087, 2019. [bibtex] [dblp]
[R8]S Bak, HD Tran and Taylor T. Johnson, "Numerical Verification of Affine Systems with up to a Billion Dimensions", Technical report, arXiv preprint arXiv:1804.01583, 2019. [bibtex] [dblp]
2018
[R7]W Xiang, P Musau, AA Wild, DM Lopez, N Hamilton, X Yang, J Rosenfeld and Taylor T. Johnson, "Verification for Machine Learning, Autonomy, and Neural Networks Survey", Technical report, arXiv preprint arXiv:1810.01989, 2018. [bibtex] [pdf]
[R6]W Xiang and Taylor T. Johnson, "Reachability Analysis and Safety Verification for Neural Network Control Systems", Technical report, arXiv preprint arXiv:1805.09944, 2018. [bibtex] [pdf]
[R5]HD Tran, W Xiang, N Hamilton and Taylor T. Johnson, "Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations", Technical report, arXiv preprint arXiv:1804.03227, 2018. [bibtex] [dblp]
[R4]Taylor T. Johnson, "Formal Modeling, Monitoring, and Control of Emergence in Distributed Cyber-Physical Systems", Technical report, University of Texas at Arlington Arlington United States, 2018. [bibtex]
2017
[R3]W Xiang, HD Tran and Taylor T. Johnson, "Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations", Technical report, arXiv preprint arXiv:1712.08163, 2017. [bibtex] [pdf] [dblp]
2010
[R2]Taylor T. Johnson and S Mitra, "Safe and stabilizing distributed flocking in spite of actuator faults", Technical report, Coordinated Science Laboratory Report no. UILU-ENG-10-2204, 2010. [bibtex] [pdf]
2008
[R1]Taylor T. Johnson, "Stability Analysis of Simplex Architecture Controlled Inverted Pendulum", Technical report, Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, 2008. [bibtex]

Patents and Patent Applications (1)

2015
[P1]A Hoefel, F Bernard, KD Harms, S Ramshaw, S Darayan and Taylor T. Johnson, "Control of a Component of a Downhole Tool", US Patent 9,222,352, 2015. [bibtex] [pdf]

Demonstrations, Tutorials, and Posters (8)

2024
[D12]Jonathan Andreasen, Diego Manzanas Lopez, Taylor T. Johnson and Yatis Dodia, "Parallel Verification of Neural Networks Applied to Medical Imaging (Research Poster)", 36th International Conference for High Performance Computing, Networking, Storage, and Analysis / Supercomputing Conference (SC'24), ACM, 2024. [bibtex]
[D11]Taylor T. Johnson, Hoang-Dung Tran and Diego Manzanas Lopez, "Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV", In 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'24), IEEE/IFIP, pp. 65–66, 2024. [bibtex] [pdf] [doi] [dblp] [semantic scholar]
2023
[D10]Hoang-Dung Tran, Diego Manzanas Lopez and Taylor T. Johnson, "Tutorial: Verification and Validation of Neural Networks in Automated Vehicles using the Neural Network Verification (NNV) Tool", In IEEE International Automated Vehicle Validation Conference (IAVVC'23), IEEE, 2023. [bibtex]
[D9]Hoang-Dung Tran, Diego Manzanas Lopez and Taylor T. Johnson, "Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy", In International Conference on Embedded Software (EMSOFT'23), ACM, pp. 1–2, 2023. [bibtex] [pdf] [doi] [dblp]
2020
[D8]Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson and Christoph Csallner, "Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)", In 42nd International Conference on Software Engineering (ICSE'20), ACM, pp. 1–4, 2020. [bibtex] [pdf] [doi]
[D7]Hoang-Dung Tran, Diego Manzanas Lopez, Xiaodong Yang, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak and Taylor T. Johnson, "NNV Demo: A Neural Network Verification Tool", In 2nd IEEE Workshop on Design Automation for CPS and IoT (DESTION'20), Co-located with IEEE/ACM CPS-IoT Week 2020, IEEE, pp. 21–22, 2020. [bibtex] [doi] [semantic scholar]
2019
[D6]SA Rees, T Kecskes, P Meijer, Taylor T. Johnson, K Dey, P Tabuada and M Lucas, "Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry", In 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'19), ACM/IEEE, pp. 340–341, 2019. [bibtex] [doi] [dblp] [semantic scholar]
2015
[D2]LV Nguyen, C Schilling, S Bogomolov and Taylor T. Johnson, "Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata", 18th International Conference on Hybrid Systems: Computation and Control (HSCC'15), ACM, pp. 289–290, 2015. [bibtex] [doi]

The entire BiBteX file is available here.

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.