Taylor T Johnson

Cited by

	All	Since 2020
Citations	5372	4346
h-index	38	34
i10-index	96	73

1200

600

300

900

2012201320142015201620172018201920202021202220232024202518 28 46 88 146 120 232 322 508 641 914 1095 1103 74

Public access

View all

103 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Hoang-Dung TranUniversity of Nebraska at LincolnVerified email at unl.edu
Weiming XiangAssociate Professor, School of Computer and Cyber Sciences, Augusta UniversityVerified email at augusta.edu
Diego Manzanas LopezResearch Scientist, Vanderbilt UniversityVerified email at vanderbilt.edu
Stanley BakStony Brook UniversityVerified email at stonybrook.edu
Luan Viet NguyenAssistant Professor, University of DaytonVerified email at udayton.edu
Patrick MusauGoogleVerified email at google.com
Xiaodong YangVisa IncVerified email at visa.com
Nathaniel HamiltonAI Scientist, Parallax Advanced ResearchVerified email at parallaxresearch.org
Omar A. BegAssistant Professor at The University of Texas Permian Basin, TX, USAVerified email at utpb.edu
Sayan MitraProfessor, ECE, University of Illinois at Urbana ChampaignVerified email at illinois.edu
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Ali DavoudiProfessor, The University of Texas at ArlingtonVerified email at uta.edu
Joel A. RosenfeldAssociate Professor, Department of Mathematics and Statistics, University of South FloridaVerified email at usf.edu
Christian SchillingAssociate Professor at Aalborg UniversityVerified email at cs.aau.dk
Kerianne HobbsResearch Aerospace Engineer, Air Force Research LaboratoryVerified email at us.af.mil
Christoph CsallnerUniversity of Texas at ArlingtonVerified email at uta.edu
Shafiul Azam ChowdhuryGraduate Research Assistant at The University of Texas at ArlingtonVerified email at mavs.uta.edu
Xenofon KoutsoukosVanderbilt UniversityVerified email at vanderbilt.edu
Changliu LiuAssistant Professor, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Rushikesh KamalapurkarUniversity of FloridaVerified email at ufl.edu

Taylor T Johnson

Associate Professor, Computer Science, Vanderbilt University

Verified email at vanderbilt.edu - Homepage

formal methods hybrid systems formal verification safe AI trustworthy AI


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Output reachable set estimation and verification for multilayer neural networks W Xiang, HD Tran, TT Johnson IEEE Transactions on Neural Networks and Learning Systems (TNNLS) 29 (11 …, 2018	369	2018
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems HD Tran, X Yang, DM Lopez, P Musau, LV Nguyen, W Xiang, S Bak, ... 32nd International Conference on Computer-Aided Verification (CAV), 2020	329	2020
Detection of false-data injection attacks in cyber-physical DC microgrids OA Beg, TT Johnson, A Davoudi IEEE Transactions on industrial informatics 13 (5), 2693-2703, 2017	304	2017
Star-Based Reachability Analysis of Deep Neural Networks HD Tran, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang, TT Johnson 23rd International Symposium on Formal Methods (FM), 2019	224	2019
Verification of Deep Convolutional Neural Networks Using ImageStars HD Tran, S Bak, W Xiang, TT Johnson 32nd International Conference on Computer-Aided Verification (CAV), 2020	164	2020
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control HD Tran, F Cai, ML Diego, P Musau, TT Johnson, X Koutsoukos ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-22, 2019	151	2019
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks S Bak, HD Tran, K Hobbs, TT Johnson 32nd International Conference on Computer-Aided Verification (CAV), 2020	148	2020
Reachable set computation and safety verification for neural networks with relu activations W Xiang, HD Tran, TT Johnson arXiv preprint arXiv:1712.08163, 2017	132	2017
The second international verification of neural networks competition (vnn-comp 2021): Summary and results S Bak, C Liu, T Johnson arXiv preprint arXiv:2109.00498, 2021	124	2021
Signal temporal logic-based attack detection in DC microgrids OA Beg, LV Nguyen, TT Johnson, A Davoudi IEEE Transactions on Smart Grid 10 (4), 3585-3595, 2018	124	2018
Verification for machine learning, autonomy, and neural networks survey W Xiang, P Musau, AA Wild, DM Lopez, N Hamilton, X Yang, J Rosenfeld, ... arXiv preprint arXiv:1810.01989, 2018	123	2018
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models S Bak, S Bogomolov, TT Johnson 18th International Conference on Hybrid Systems: Computation and Control …, 2015	120	2015
Real-Time Reachability for Verified Simplex Design S Bak, TT Johnson, M Caccamo, L Sha 35th IEEE Real-Time Systems Symposium (RTSS), 2014	96	2014
Reachable set estimation for neural network control systems: A simulation-guided approach W Xiang, HD Tran, X Yang, TT Johnson IEEE Transactions on Neural Networks and Learning Systems 32 (5), 1821-1830, 2020	94	2020
First three years of the international verification of neural networks competition (VNN-COMP) C Brix, MN Müller, S Bak, TT Johnson, C Liu International Journal on Software Tools for Technology Transfer 25 (3), 329-339, 2023	89	2023
Reachable Set Estimation and Verification for a Class of Piecewise Linear Systems with Neural Network Controllers W Xiang, HD Tran, JA Rosenfeld, TT Johnson	80*	2018
Output reachable set estimation for switched linear systems and its application in safety verification W Xiang, HD Tran, TT Johnson IEEE Transactions on Automatic Control 62 (10), 5380-5387, 2017	78	2017
Reachability analysis and safety verification for neural network control systems W Xiang, TT Johnson arXiv preprint arXiv:1805.09944, 2018	77	2018
Event‐triggered control for continuous‐time switched linear systems W Xiang, T T. Johnson IET Control Theory & Applications 11 (11), 1694-1703, 2017	74	2017
The third international verification of neural networks competition (VNN-COMP 2022): Summary and results MN Müller, C Brix, S Bak, C Liu, TT Johnson arXiv preprint arXiv:2212.10376, 2022	71	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors