Taylor T. Johnson

203 papers A* 6A 10B 8C 9Misc 1Journal 76Unranked 89
YearRankTypeTitle / Venue / Authors
2026 — ch.
Let's Talk AI with Computer Science Expert Taylor T. Johnson.
Let's Talk AI
Taylor T. Johnson, Barbara Steffen
2026 J jnl
ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations.
J. Artif. Intell. Res.
Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu, Waseem Abbas
2026 J jnl
Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems.
CoRR
Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma, Taylor T. Johnson, Ahmad F. Taha
2026 — conf
We Are What We Repeatedly Do: Improving Long Context Instruction Following.
EACL (Findings)
Preston K. Robinette, Andrew Hard, Swaroop Ramaswamy, Ehsan Amid, Rajiv Mathews, Taylor T. Johnson
2025 J jnl
Blind Visible Watermark Removal with Morphological Dilation.
CoRR
Preston K. Robinette, Taylor T. Johnson
2025 J jnl
Combining LLMs with Logic-Based Framework to Explain MCTS.
CoRR
Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
2025 A conf
Combining LLMs with a Logic-Based Framework to Explain MCTS.
AAMAS
Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
2025 B conf
ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis.
RV
Ziyan An, Daniel Moyer, Ipek Oguz, Taylor T. Johnson, Meiyi Ma
2025 — conf
NNV: A Star Set Reachability Approach (Competition Contribution).
SAIV
Diego Manzanas Lopez, Samuel Sasaki, Taylor T. Johnson
2025 — conf
Neural Network Verification is a Programming Language Challenge.
ESOP (1)
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 J jnl
Neural Network Verification is a Programming Language Challenge.
CoRR
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 — conf
Neuro-Symbolic Behavior Trees (NSBTs) and Their Verification.
NeuS
Serena Serafina Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen, Taylor T. Johnson
2025 — conf
Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs).
NeuS
Samuel Sasaki, Diego Manzanas Lopez, Taylor T. Johnson
2025 A conf
PARDON: Privacy-Aware and Robust Federated Domain Generalization.
ICDCS
Dung Thuy Nguyen, Taylor T. Johnson, Kevin Leach
2025 A* conf
PBP: Post-training Backdoor Purification for Malware Classifiers.
NDSS
Dung Thuy Nguyen, Ngoc N. Tran, Taylor T. Johnson, Kevin Leach
2025 J jnl
Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network.
CoRR
Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez, Ipek Oguz, Meiyi Ma, Taylor T. Johnson
2025 — conf
Real-Time Reachability for Neurosymbolic Reinforcement Learning-based Safe Autonomous Navigation.
NeuS
Nicholas Potteiger, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon D. Koutsoukos
2025 — conf
Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes.
FICC (3)
Xia Wang, Anda Liang, Jonathan Sprinkle, Taylor T. Johnson
2025 — conf
Robustness Verification of Video Classification Neural Networks.
FormaliSE
Samuel Sasaki, Diego Manzanas Lopez, Preston K. Robinette, Taylor T. Johnson
2025 J jnl
SUGAR: A Sweeter Spot for Generative Unlearning of Many Identities.
CoRR
Dung Thuy Nguyen, Quang Nguyen, Preston K. Robinette, Eli Jiang, Taylor T. Johnson, Kevin Leach
2025 J jnl
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results.
CoRR
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen, Haoze Wu
2025 — conf
Trigger-Based Fragile Model Watermarking for Image Transformation Networks.
ESORICS (1)
Preston K. Robinette, Thuy Dung Nguyen, Samuel Sasaki, Taylor T. Johnson
2025 — conf
Uncertainty Quantification for Physics-Informed Traffic Graph Networks.
ICCPS
Tianshu Bao, Xiaoou Liu, Meiyi Ma, Taylor T. Johnson, Hua Wei
2025 — conf
Verification of Neural Network Robustness Against Weight Perturbations Using Star Sets.
CAI
Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu, Waseem Abbas
2024 J jnl
A New Hybrid Automaton Framework with Partial Differential Equation Dynamics.
CoRR
Tianshu Bao, Hengrong Du, Weiming Xiang, Taylor T. Johnson
2024 — ed.
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
SAIV
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
2024 — conf
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.
FormaliSE@ICSE
Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson
2024 J jnl
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.
CoRR
Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson
2024 J jnl
EditScout: Locating Forged Regions from Diffusion-based Edited Images with Multimodal LLM.
CoRR
Quang Nguyen, Truong Vu, Trong-Tung Nguyen, Yuxin Wen, Preston K. Robinette, Taylor T. Johnson, Tom Goldstein, Anh Tran, Khoi Nguyen
2024 J jnl
FISC: Federated Domain Generalization via Interpolative Style Transfer and Contrastive Learning.
CoRR
Dung Thuy Nguyen, Taylor T. Johnson, Kevin Leach
2024 — conf
FairNNV: The Neural Network Verification Tool For Certifying Fairness.
ICAIF
Anne M. Tumlin, Diego Manzanas Lopez, Preston Robinette, Yuying Zhao, Tyler Derr, Taylor T. Johnson
2024 J jnl
Formal Logic Enabled Personalized Federated Learning Through Property Inference.
CoRR
Ziyan An, Taylor T. Johnson, Meiyi Ma
2024 A* conf
Formal Logic Enabled Personalized Federated Learning through Property Inference.
AAAI
Ziyan An, Taylor T. Johnson, Meiyi Ma
2024 J jnl
Formal Logic-guided Robust Federated Learning against Poisoning Attacks.
CoRR
Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach
2024 — conf
Formalizing Stateful Behavior Trees.
FMAS@iFM
Serena Serafina Serbinowska, Preston Robinette, Gabor Karsai, Taylor T. Johnson
2024 J jnl
PBP: Post-training Backdoor Purification for Malware Classifiers.
CoRR
Dung Thuy Nguyen, Ngoc N. Tran, Taylor T. Johnson, Kevin Leach
2024 A conf
Sanitizing Hidden Information with Diffusion Models.
ECAI
Preston K. Robinette, Daniel Moyer, Taylor T. Johnson
2024 — conf
Spatial-Temporal PDE Networks for Traffic Flow Forecasting.
ECML/PKDD (10)
Tianshu Bao, Hua Wei, Junyi Ji, Daniel B. Work, Taylor T. Johnson
2024 J jnl
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.
CoRR
Christopher Brix, Stanley Bak, Taylor T. Johnson, Haoze Wu
2024 J jnl
The Occupation Kernel Method for Nonlinear System Identification.
SIAM J. Control. Optim.
Joel A. Rosenfeld, Benjamin P. Russo, Rushikesh Kamalapurkar, Taylor T. Johnson
2024 A* conf
Transfer Learning Using Inaccurate Physics Rule for Streamflow Prediction.
IJCAI
Tianshu Bao, Taylor T. Johnson, Xiaowei Jia
2024 J jnl
Trigger-Based Fragile Model Watermarking for Image Transformation Networks.
CoRR
Preston K. Robinette, Dung Thuy Nguyen, Samuel Sasaki, Taylor T. Johnson
2024 — conf
Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV.
DSN-S
Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran
2024 — conf
Verification of Behavior Trees with Contingency Monitors.
FMAS@iFM
Serena Serafina Serbinowska, Nicholas Potteiger, Anne M. Tumlin, Taylor T. Johnson
2023 — conf
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
2023 — conf
ARCH-COMP23 Repeatability Evaluation Report.
ARCH
Taylor T. Johnson
2023 — conf
Benchmark: Formal Verification of Semantic Segmentation Neural Networks.
AISoLA
Neelanjana Pal, Seojin Lee, Taylor T. Johnson
2023 — conf
Benchmark: Neural Network Malware Classification.
AISoLA
Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson
2023 — conf
DEMO: Self-Preserving Genetic Algorithms vs. Safe Reinforcement Learning in Discrete Action Spaces.
ICCPS
Preston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson
2023 J jnl
Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis.
IEEE Trans. Control. Netw. Syst.
Luan Viet Nguyen, Hoang-Dung Tran, Taylor T. Johnson, Vijay Gupta
2023 J jnl
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability.
CoRR
Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor T. Johnson
2023 — conf
Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers.
AISoLA
Diego Manzanas Lopez, Taylor T. Johnson
2023 J jnl
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP).
CoRR
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
2023 J jnl
First three years of the international verification of neural networks competition (VNN-COMP).
Int. J. Softw. Tools Technol. Transf.
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
2023 — conf
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach.
FMAS@iFM
Neelanjana Pal, Taylor T. Johnson
2023 J jnl
Monsters in the Dark: Sanitizing Hidden Threats with Diffusion Models.
CoRR
Preston K. Robinette, Daniel Moyer, Taylor T. Johnson
2023 — conf
NNV 2.0: The Neural Network Verification Tool.
CAV (2)
Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
2023 — conf
Online Reachability Analysis and Space Convexification for Autonomous Racing.
FMAS@iFM
Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis
2023 J jnl
Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes.
CoRR
Xia Wang, Anda Liang, Jonathan Sprinkle, Taylor T. Johnson
2023 C conf
Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input.
FMICS
Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson
2023 J jnl
Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input.
CoRR
Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson
2023 B conf
Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models.
RV
Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma
2023 A conf
SUDS: Sanitizing Universal and Dependent Steganography.
ECAI
Preston K. Robinette, Hanchen D. Wang, Nishan Shehadeh, Daniel Moyer, Taylor T. Johnson
2023 J jnl
SUDS: Sanitizing Universal and Dependent Steganography.
CoRR
Preston K. Robinette, Hanchen D. Wang, Nishan Shehadeh, Daniel Moyer, Taylor T. Johnson
2023 — conf
Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces.
ICCPS
Preston K. Robinette, Nathaniel P. Hamilton, Taylor T. Johnson
2023 — conf
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems.
TOOLympics@ETAPS
Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani
2023 J jnl
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results.
CoRR
Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson
2023 — conf
Track C1: Safety Verification of Deep Neural Networks (DNNs).
AISoLA
Daniel Neider, Taylor T. Johnson
2023 Misc conf
Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy.
EMSOFT
Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson
2022 J jnl
A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces.
ACM Trans. Cyber Phys. Syst.
Xiaodong Yang, Omar Ali Beg, Matthew Kenigsberg, Taylor T. Johnson
2022 — conf
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH@SAFECOMP
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
2022 — conf
ARCH-COMP22 Repeatability Evaluation Report.
ARCH@SAFECOMP
Taylor T. Johnson
2022 J jnl
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents.
CoRR
Nathaniel Hamilton, Kyle Dunlap, Taylor T. Johnson, Kerianne L. Hobbs
2022 J jnl
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.
CoRR
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
2022 B conf
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.
SEFM
Bernard Serbinowski, Taylor T. Johnson
2022 J jnl
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.
CoRR
Serena Serafina Serbinowska, Taylor T. Johnson
2022 J jnl
Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator.
J. Nonlinear Sci.
Joel A. Rosenfeld, Rushikesh Kamalapurkar, L. Forest Gruss, Taylor T. Johnson
2022 — conf
Neural Network Repair with Reachability Analysis.
FORMATS
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
2022 — conf
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.
ICAA
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
2022 A conf
Physics guided neural networks for spatio-temporal super-resolution of turbulent flows.
UAI
Tianshu Bao, Shengyu Chen, Taylor T. Johnson, Peyman Givi, Shervin Sammak, Xiaowei Jia
2022 — conf
Reachability Analysis of a General Class of Neural Ordinary Differential Equations.
FORMATS
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
2022 J jnl
Reachability Analysis of a General Class of Neural Ordinary Differential Equations.
CoRR
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
2022 J jnl
Real-Time Verification for Distributed Cyber-Physical Systems.
Leibniz Trans. Embed. Syst.
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
2022 J jnl
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results.
CoRR
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson
2022 B conf
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning.
SEFM
Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson
2022 J jnl
Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems.
IEEE Des. Test
Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
2022 — conf
Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning.
ICAA
Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson
2021 — conf
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH@ADHS
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
2021 — conf
ARCH-COMP21 Repeatability Evaluation Report.
ARCH@ADHS
Taylor T. Johnson
2021 J jnl
Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism.
IEEE Access
Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi
2021 — conf
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach.
SNR
Luan Viet Nguyen, Wesam Haddad, Taylor T. Johnson
2021 J jnl
Neural Network Repair with Reachability Analysis.
CoRR
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
2021 C conf
On Occupation Kernels, Liouville Operators, and Dynamic Mode Decomposition.
ACC
Joel A. Rosenfeld, Rushikesh Kamalapurkar, L. Forest Gruss, Taylor T. Johnson
2021 A* conf
Partial Differential Equation Driven Dynamic Graph Networks for Predicting Stream Water Temperature.
ICDM
Tianshu Bao, Xiaowei Jia, Jacob Zwart, Jeffrey M. Sadler, Alison P. Appling, Samantha Oliver, Taylor T. Johnson
2021 J jnl
Reachability Analysis of Convolutional Neural Networks.
CoRR
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
2021 — conf
Reachability analysis of deep ReLU neural networks using facet-vertex incidence.
HSCC
Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
2021 J jnl
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
IEEE Trans. Neural Networks Learn. Syst.
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
2021 — conf
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.
CAV (1)
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
2021 J jnl
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results.
CoRR
Stanley Bak, Changliu Liu, Taylor T. Johnson
2021 J jnl
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.
Formal Aspects Comput.
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2021 — conf
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool.
SNR
Neelanjana Pal, Taylor T. Johnson
2020 — conf
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
2020 — conf
ARCH-COMP20 Repeatability Evaluation Report.
ARCH
Taylor T. Johnson
2020 — conf
Case Study: Safety Verification of an Unmanned Underwater Vehicle.
SP (Workshops)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson
2020 — conf
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.
CAV (1)
Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson
2020 — conf
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.
CAV (1)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020 J jnl
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.
CoRR
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020 J jnl
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.
CoRR
Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
2020 J jnl
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
CoRR
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
2020 A* conf
SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink.
ICSE
Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner
2020 — conf
SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI).
ICSE (Companion Volume)
Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner
2020 — conf
Verification of Deep Convolutional Neural Networks Using ImageStars.
CAV (1)
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
2020 J jnl
Verification of Deep Convolutional Neural Networks Using ImageStars.
CoRR
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
2019 — conf
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH@CPSIoTWeek
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
2019 — conf
ARCH-COMP19 Repeatability Evaluation Report.
ARCH@CPSIoTWeek
Taylor T. Johnson
2019 C conf
CPS Design with Learning-Enabled Components: A Case Study.
RSP
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2019 — conf
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry.
ICCPS
Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas
2019 C conf
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.
FORTE
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
2019 — conf
Demo: a design studio for verification tools.
DESTION@CPSIoTWeek
Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Marcus Lucas
2019 J jnl
Hybrid automata: from verification to implementation.
Int. J. Softw. Tools Technol. Transf.
Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling
2019 — conf
Model-based design for CPS with learning-enabled components.
DESTION@CPSIoTWeek
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2019 J jnl
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint.
IEEE Trans. Autom. Control.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2019 — conf
Numerical verification of affine systems with up to a billion dimensions.
HSCC
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
2019 — conf
Occupation Kernels and Densely Defined Liouville Operators for System Identification.
CDC
Joel A. Rosenfeld, Rushikesh Kamalapurkar, Benjamin Russo, Taylor T. Johnson
2019 — conf
Parallelizable reachability analysis algorithms for feed-forward neural networks.
FormaliSE@ICSE
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2019 — conf
Reachability Analysis for High-Index Linear Differential Algebraic Equations.
FORMATS
Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
2019 J jnl
Real-Time Verification for Distributed Cyber-Physical Systems.
CoRR
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
2019 J jnl
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.
ACM Trans. Embed. Comput. Syst.
Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos
2019 J jnl
Signal Temporal Logic-Based Attack Detection in DC Microgrids.
IEEE Trans. Smart Grid
Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi
2019 B conf
Star-Based Reachability Analysis of Deep Neural Networks.
FM
Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2019 — conf
Verification of Closed-loop Systems with Neural Network Controllers.
ARCH@CPSIoTWeek
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson
2019 J jnl
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants.
J. Autom. Reason.
Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson
2018 — conf
A curated corpus of simulink models for model-based empirical studies.
SEsCPS@ICSE
Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner
2018 — conf
ARCH-COMP18 Repeatability Evaluation Report.
ARCH@ADHS
Taylor T. Johnson
2018 — ed.
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018
ARCH@ADHS
Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson
2018 A* conf
Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge.
ICSE
Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T. Johnson, Christoph Csallner
2018 J jnl
Cyber-Physical Specification Mismatches.
CoRR
Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
2018 J jnl
Cyber-Physical Specification Mismatches.
ACM Trans. Cyber Phys. Syst.
Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
2018 — conf
Discrete-Space Analysis of Partial Differential Equations.
ARCH@ADHS
Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson
2018 — conf
Linear Differential-Algebraic Equations (Benchmark Proposal).
ARCH@ADHS
Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson
2018 — conf
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.
ADHS
Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos
2018 J jnl
Numerical Verification of Affine Systems with up to a Billion Dimensions.
CoRR
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Output Reachable Set Estimation and Verification for Multilayer Neural Networks.
IEEE Trans. Neural Networks Learn. Syst.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Reachability Analysis and Safety Verification for Neural Network Control Systems.
CoRR
Weiming Xiang, Taylor T. Johnson
2018 — conf
Reachability Analysis for One Dimensional Linear Parabolic Equations.
ADHS
Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2018 C conf
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.
ACC
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
2018 J jnl
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.
CoRR
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
2018 J jnl
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.
CoRR
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson
2018 J jnl
Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching.
IEEE Trans. Autom. Control.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.
CoRR
Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson
2018 J jnl
Specification-Guided Safety Verification for Feedforward Neural Networks.
CoRR
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Verification for Machine Learning, Autonomy, and Neural Networks Survey.
CoRR
Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson
2018 — conf
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal).
ARCH@ADHS
Patrick Musau, Taylor T. Johnson
2017 — conf
ARCH-COMP17 Repeatability Evaluation Report.
ARCH@CPSWeek
Taylor T. Johnson
2017 — conf
Abnormal Data Classification Using Time-Frequency Temporal Logic.
HSCC
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson
2017 J jnl
Detection of False-Data Injection Attacks in Cyber-Physical DC Microgrids.
IEEE Trans. Ind. Informatics
Omar Beg, Taylor T. Johnson, Ali Davoudi
2017 — conf
Distributed Autonomous Systems.
ARCH@CPSWeek
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2017 A conf
Formal specification and dependability analysis of optical communication networks.
DATE
Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson
2017 C conf
Hyperproperties of real-valued signals.
MEMOCODE
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson
2017 J jnl
Model Validation of PWM DC-DC Converters.
IEEE Trans. Ind. Electron.
Omar Beg, Houssam Abbas, Taylor T. Johnson, Ali Davoudi
2017 C conf
On reachable set estimation for discrete-time switched linear systems under arbitrary switching.
ACC
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 J jnl
Operational Models for Piecewise-Smooth Systems.
ACM Trans. Embed. Comput. Syst.
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
2017 J jnl
Order-reduction abstractions for safety verification of high-dimensional linear systems.
Discret. Event Dyn. Syst.
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2017 J jnl
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks.
CoRR
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 J jnl
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification.
IEEE Trans. Autom. Control.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 — conf
Reachability Analysis of Transformer-Isolated DC-DC Converters.
ARCH@CPSWeek
Omar Beg, Ali Davoudi, Taylor T. Johnson
2017 J jnl
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.
CoRR
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 — conf
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants.
NFM
Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson
2016 — conf
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis.
ARCH@CPSWeek
Omar Beg, Ali Davoudi, Taylor T. Johnson
2016 — conf
CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments.
CyPhy
Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner
2016 B conf
Decoupling Abstractions of Non-linear Ordinary Differential Equations.
FM
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
2016 J jnl
Guided search for hybrid systems based on coarse-grained space abstractions.
Int. J. Softw. Tools Technol. Transf.
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
2016 — conf
Large-Scale Linear Systems from Order-Reduction.
ARCH@CPSWeek
Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson
2016 — conf
Non-linear Continuous Systems for Safety Verification.
ARCH@CPSWeek
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
2016 J jnl
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems.
CoRR
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2016 — conf
Probabilistic Formal Verification of the SATS Concept of Operation.
NFM
Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan
2016 — conf
Reachable set estimation and control for switched linear systems with dwell-time restriction.
CDC
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2016 J jnl
Real-Time Reachability for Verified Simplex Design.
ACM Trans. Embed. Comput. Syst.
Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha
2016 — conf
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems.
HSCC
Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash
2016 C conf
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
CCA
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, Weiming Xiang
2015 — conf
Benchmark Generator for Stratified Controllers of Tank Networks.
ARCH@CPSWeek
Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson
2015 — conf
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.
ARCH@CPSWeek
Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson
2015 — conf
Cyber-physical specification mismatch identification with dynamic analysis.
ICCPS
Taylor T. Johnson, Stanley Bak, Steven Drager
2015 — conf
HYST: a source transformation and translation tool for hybrid automaton models.
HSCC
Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson
2015 — conf
HyRG: a random generation tool for affine hybrid automata.
HSCC
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
2015 A conf
Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization.
RTSS
Stanley Bak, Taylor T. Johnson
2015 B conf
Runtime Verification for Hybrid Analysis Tools.
RV
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
2015 J jnl
Safe and stabilizing distributed multi-path cellular flows.
Theor. Comput. Sci.
Taylor T. Johnson, Sayan Mitra
2014 — conf
Anonymized Reachability of Hybrid Automata Networks.
FORMATS
Taylor T. Johnson, Sayan Mitra
2014 — conf
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters).
ARCH@CPSWeek
Luan Viet Nguyen, Taylor T. Johnson
2014 — conf
Model-based design and analysis of a reconfigurable continuous-culture bioreactor.
CyPhy
Luan Viet Nguyen, Eric J. Nelson, Amol Vengurlekar, Ruoshi Zhang, Kristopher I. White, Victor Salinas, Taylor T. Johnson
2014 A conf
Real-Time Reachability for Verified Simplex Design.
RTSS
Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha
2014 J jnl
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter.
CoRR
Luan Viet Nguyen, Taylor T. Johnson
2013 — conf
Abstraction-Based Guided Search for Hybrid Systems.
SPIN
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
2013 — —
Uniform verification of safety for parameterized networks of hybrid automata
Taylor T. Johnson
2012 — conf
A Small Model Theorem for Rectangular Hybrid Automata Networks.
FMOODS/FORTE
Taylor T. Johnson, Sayan Mitra
2012 — conf
Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study.
ICCPS
Taylor T. Johnson, Sayan Mitra
2012 J jnl
Safe and Stabilizing Distributed Multi-Path Cellular Flows
CoRR
Taylor T. Johnson, Sayan Mitra
2012 B conf
Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems.
FM
Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin
2012 A conf
Static and Dynamic Analysis of Timed Distributed Traces.
RTSS
Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra
2011 — conf
Stability of digitally interconnected linear systems.
CDC/ECC
Taylor T. Johnson, Sayan Mitra, Cédric Langbort
2010 C conf
Safe Flocking in Spite of Actuator Faults.
SSS
Taylor T. Johnson, Sayan Mitra
2010 A conf
Safe and Stabilizing Distributed Cellular Flows.
ICDCS
Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri