Taylor T Johnson

Cited by

	All	Since 2019
Citations	5144	4443
h-index	36	35
i10-index	94	78

1200

600

300

900

201220132014201520162017201820192020202120222023202418 28 46 88 146 120 232 322 508 644 911 1102 942

Public access

View all

100 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 MusauVanderbilt UniversityVerified email at vanderbilt.edu
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 MitraUniversity 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
Changliu LiuAssistant Professor, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Xenofon KoutsoukosVanderbilt UniversityVerified email at vanderbilt.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	363	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	316	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	293	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	213	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	151	2020
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	147	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	147	2019
Reachable set computation and safety verification for neural networks with relu activations W Xiang, HD Tran, TT Johnson arXiv preprint arXiv:1712.08163, 2017	133	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	120	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	120	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	119	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	117	2015
Real-Time Reachability for Verified Simplex Design S Bak, TT Johnson, M Caccamo, L Sha 35th IEEE Real-Time Systems Symposium (RTSS), 2014	93	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	91	2020
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
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	77	2023
Reachability analysis and safety verification for neural network control systems W Xiang, TT Johnson arXiv preprint arXiv:1805.09944, 2018	76	2018
Event‐triggered control for continuous‐time switched linear systems W Xiang, T T. Johnson IET Control Theory & Applications 11 (11), 1694-1703, 2017	72	2017
Robust exponential stability and disturbance attenuation for discrete-time switched systems under arbitrary switching W Xiang, HD Tran, TT Johnson IEEE Transactions on Automatic Control 63 (5), 1450-1456, 2017	67	2017

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