Taylor T Johnson

Citado por

	Total	Desde 2019
Citas	5003	4309
Índice h	35	34
Índice i10	93	77

1100

550

275

825

201220132014201520162017201820192020202120222023202418 28 46 88 146 117 229 329 510 642 917 1095 804

Acceso público

Ver todo

100 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Hoang-Dung TranUniversity of Nebraska at LincolnDirección de correo verificada de unl.edu
Weiming XiangAssociate Professor, School of Computer and Cyber Sciences, Augusta UniversityDirección de correo verificada de augusta.edu
Diego Manzanas LopezResearch Scientist, Vanderbilt UniversityDirección de correo verificada de vanderbilt.edu
Stanley BakStony Brook UniversityDirección de correo verificada de stonybrook.edu
Luan Viet NguyenAssistant Professor, University of DaytonDirección de correo verificada de udayton.edu
Patrick MusauVanderbilt UniversityDirección de correo verificada de vanderbilt.edu
Xiaodong YangVisa IncDirección de correo verificada de visa.com
Nathaniel HamiltonAI Scientist, Parallax Advanced ResearchDirección de correo verificada de parallaxresearch.org
Omar A. BegAssistant Professor at The University of Texas Permian Basin, TX, USADirección de correo verificada de utpb.edu
Sayan MitraUniversity of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityDirección de correo verificada de newcastle.ac.uk
Ali DavoudiProfessor, The University of Texas at ArlingtonDirección de correo verificada de uta.edu
Joel A. RosenfeldAssistant Professor, Department of Mathematics and Statistics, University of South FloridaDirección de correo verificada de usf.edu
Kerianne HobbsResearch Aerospace Engineer, Air Force Research LaboratoryDirección de correo verificada de us.af.mil
Christian SchillingAssociate Professor at Aalborg UniversityDirección de correo verificada de cs.aau.dk
Christoph CsallnerUniversity of Texas at ArlingtonDirección de correo verificada de uta.edu
Shafiul Azam ChowdhuryGraduate Research Assistant at The University of Texas at ArlingtonDirección de correo verificada de mavs.uta.edu
Changliu LiuAssistant Professor, Carnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
Xenofon KoutsoukosVanderbilt UniversityDirección de correo verificada de vanderbilt.edu
Rushikesh KamalapurkarUniversity of FloridaDirección de correo verificada de ufl.edu

Seguir

Taylor T Johnson

Associate Professor, Computer Science, Vanderbilt University

Dirección de correo verificada de vanderbilt.edu - Página principal

formal methods hybrid systems formal verification safe AI trustworthy AI


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	359	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	306	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	288	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	207	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	145	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	143	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	139	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	131	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	119	2021
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	117	2018
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	117	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	114	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	90	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	79*	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	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	71	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	69	2023
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores