Taylor T. Johnson

Affiliations:
  • Vanderbilt University, Nashville, TN, USA


According to our database1, Taylor T. Johnson authored at least 138 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Formal Logic Enabled Personalized Federated Learning Through Property Inference.
CoRR, 2024

2023
Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis.
IEEE Trans. Control. Netw. Syst., September, 2023

First three years of the international verification of neural networks competition (VNN-COMP).
Int. J. Softw. Tools Technol. Transf., June, 2023

The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results.
CoRR, 2023

Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes.
CoRR, 2023

Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach.
Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Online Reachability Analysis and Space Convexification for Autonomous Racing.
Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Monsters in the Dark: Sanitizing Hidden Threats with Diffusion Models.
CoRR, 2023

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability.
CoRR, 2023

Benchmark: Neural Network Malware Classification.
Proceedings of the Bridging the Gap Between AI and Reality, 2023

Benchmark: Formal Verification of Semantic Segmentation Neural Networks.
Proceedings of the Bridging the Gap Between AI and Reality, 2023

Track C1: Safety Verification of Deep Neural Networks (DNNs).
Proceedings of the Bridging the Gap Between AI and Reality, 2023

Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers.
Proceedings of the Bridging the Gap Between AI and Reality, 2023

Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models.
Proceedings of the Runtime Verification - 23rd International Conference, 2023

DEMO: Self-Preserving Genetic Algorithms vs. Safe Reinforcement Learning in Discrete Action Spaces.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy.
Proceedings of the International Conference on Embedded Software, 2023

SUDS: Sanitizing Universal and Dependent Steganography.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

NNV 2.0: The Neural Network Verification Tool.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces.
ACM Trans. Cyber Phys. Syst., 2022

Real-Time Verification for Distributed Cyber-Physical Systems.
Leibniz Trans. Embed. Syst., 2022

Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator.
J. Nonlinear Sci., 2022

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems.
IEEE Des. Test, 2022

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results.
CoRR, 2022

Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents.
CoRR, 2022

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.
CoRR, 2022

Physics guided neural networks for spatio-temporal super-resolution of turbulent flows.
Proceedings of the Uncertainty in Artificial Intelligence, 2022

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.
Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning.
Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Neural Network Repair with Reachability Analysis.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

Reachability Analysis of a General Class of Neural Ordinary Differential Equations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
IEEE Trans. Neural Networks Learn. Syst., 2021

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.
Formal Aspects Comput., 2021

Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach.
Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool.
Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results.
CoRR, 2021

Reachability Analysis of Convolutional Neural Networks.
CoRR, 2021

Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism.
IEEE Access, 2021

Partial Differential Equation Driven Dynamic Graph Networks for Predicting Stream Water Temperature.
Proceedings of the IEEE International Conference on Data Mining, 2021

Reachability analysis of deep ReLU neural networks using facet-vertex incidence.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ARCH-COMP21 Repeatability Evaluation Report.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

On Occupation Kernels, Liouville Operators, and Dynamic Mode Decomposition.
Proceedings of the 2021 American Control Conference, 2021

2020
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.
CoRR, 2020

Case Study: Safety Verification of an Unmanned Underwater Vehicle.
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI).
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Verification of Deep Convolutional Neural Networks Using ImageStars.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

ARCH-COMP20 Repeatability Evaluation Report.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019
Signal Temporal Logic-Based Attack Detection in DC Microgrids.
IEEE Trans. Smart Grid, 2019

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.
ACM Trans. Embed. Comput. Syst., 2019

Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint.
IEEE Trans. Autom. Control., 2019

Hybrid automata: from verification to implementation.
Int. J. Softw. Tools Technol. Transf., 2019

Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants.
J. Autom. Reason., 2019

CPS Design with Learning-Enabled Components: A Case Study.
Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019

Parallelizable reachability analysis algorithms for feed-forward neural networks.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Numerical verification of affine systems with up to a billion dimensions.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Reachability Analysis for High-Index Linear Differential Algebraic Equations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Star-Based Reachability Analysis of Deep Neural Networks.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Verification of Closed-loop Systems with Neural Network Controllers.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Demo: a design studio for verification tools.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

ARCH-COMP19 Repeatability Evaluation Report.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Model-based design for CPS with learning-enabled components.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

Occupation Kernels and Densely Defined Liouville Operators for System Identification.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Output Reachable Set Estimation and Verification for Multilayer Neural Networks.
IEEE Trans. Neural Networks Learn. Syst., 2018

Cyber-Physical Specification Mismatches.
ACM Trans. Cyber Phys. Syst., 2018

Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching.
IEEE Trans. Autom. Control., 2018

Specification-Guided Safety Verification for Feedforward Neural Networks.
CoRR, 2018

Verification for Machine Learning, Autonomy, and Neural Networks Survey.
CoRR, 2018

Reachability Analysis and Safety Verification for Neural Network Control Systems.
CoRR, 2018

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.
CoRR, 2018

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.
CoRR, 2018

A curated corpus of simulink models for model-based empirical studies.
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge.
Proceedings of the 40th International Conference on Software Engineering, 2018

Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.
Proceedings of the 2018 Annual American Control Conference, 2018

Reachability Analysis for One Dimensional Linear Parabolic Equations.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Discrete-Space Analysis of Partial Differential Equations.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Linear Differential-Algebraic Equations (Benchmark Proposal).
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal).
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Repeatability Evaluation Report.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
Detection of False-Data Injection Attacks in Cyber-Physical DC Microgrids.
IEEE Trans. Ind. Informatics, 2017

Model Validation of PWM DC-DC Converters.
IEEE Trans. Ind. Electron., 2017

Operational Models for Piecewise-Smooth Systems.
ACM Trans. Embed. Comput. Syst., 2017

Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification.
IEEE Trans. Autom. Control., 2017

Order-reduction abstractions for safety verification of high-dimensional linear systems.
Discret. Event Dyn. Syst., 2017

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.
CoRR, 2017

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks.
CoRR, 2017

Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Hyperproperties of real-valued signals.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Abnormal Data Classification Using Time-Frequency Temporal Logic.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Formal specification and dependability analysis of optical communication networks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Distributed Autonomous Systems.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Repeatability Evaluation Report.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Reachability Analysis of Transformer-Isolated DC-DC Converters.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

On reachable set estimation for discrete-time switched linear systems under arbitrary switching.
Proceedings of the 2017 American Control Conference, 2017

2016
Real-Time Reachability for Verified Simplex Design.
ACM Trans. Embed. Comput. Syst., 2016

Guided search for hybrid systems based on coarse-grained space abstractions.
Int. J. Softw. Tools Technol. Transf., 2016

Probabilistic Formal Verification of the SATS Concept of Operation.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Decoupling Abstractions of Non-linear Ordinary Differential Equations.
Proceedings of the FM 2016: Formal Methods, 2016

CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

Large-Scale Linear Systems from Order-Reduction.
Proceedings of the ARCH@CPSWeek 2016, 2016

Non-linear Continuous Systems for Safety Verification.
Proceedings of the ARCH@CPSWeek 2016, 2016

Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis.
Proceedings of the ARCH@CPSWeek 2016, 2016

Reachable set estimation and control for switched linear systems with dwell-time restriction.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015
Safe and stabilizing distributed multi-path cellular flows.
Theor. Comput. Sci., 2015

Runtime Verification for Hybrid Analysis Tools.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Cyber-physical specification mismatch identification with dynamic analysis.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

HyRG: a random generation tool for affine hybrid automata.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

HYST: a source transformation and translation tool for hybrid automaton models.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Benchmark Generator for Stratified Controllers of Tank Networks.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter.
CoRR, 2014

Anonymized Reachability of Hybrid Automata Networks.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Model-based design and analysis of a reconfigurable continuous-culture bioreactor.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters).
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

2013
Uniform verification of safety for parameterized networks of hybrid automata
PhD thesis, 2013

Abstraction-Based Guided Search for Hybrid Systems.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012
Static and Dynamic Analysis of Timed Distributed Traces.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

A Small Model Theorem for Rectangular Hybrid Automata Networks.
Proceedings of the Formal Techniques for Distributed Systems, 2012

Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems.
Proceedings of the FM 2012: Formal Methods, 2012

2011
Stability of digitally interconnected linear systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Safe Flocking in Spite of Actuator Faults.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Safe and Stabilizing Distributed Cellular Flows.
Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010


  Loading...