Taylor T. Johnson
发表
Luan Viet Nguyen,
James Kapinski,
Xiaoqing Jin,
2017,
MEMOCODE.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2018,
IEEE Transactions on Automatic Control.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2017,
2017 American Control Conference (ACC).
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
pdf
Weiming Xiang,
Taylor T. Johnson,
Diego Manzanas Lopez,
2018,
Safe, Autonomous and Intelligent Vehicles.
Taylor T. Johnson,
Albert E. Hoefel,
2011,
2011 IEEE Power and Energy Conference at Illinois.
Mahesh Viswanathan,
Sergiy Bogomolov,
Christian Schilling,
2016,
2016 IEEE Conference on Control Applications (CCA).
Taylor T. Johnson,
Sayan Mitra,
Karthik Manamcheri,
2010,
2010 IEEE 30th International Conference on Distributed Computing Systems.
Sergiy Bogomolov,
Christian Schilling,
Luan Viet Nguyen,
2015
.
Weiming Xiang,
Taylor T. Johnson,
Stanley Bak,
2018,
ADHS.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
FORMATS.
Taylor T. Johnson,
Sayan Mitra,
2014,
FORMATS.
Taylor T. Johnson,
Sayan Mitra,
Jeremy Green,
2012,
FM.
Osman Hasan,
Taylor T. Johnson,
Khaza Anuarul Hoque,
2016,
NFM.
Taylor T. Johnson,
Stanley Bak,
Kerianne Hobbs,
2020,
CAV.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2017,
ArXiv.
Taylor T. Johnson,
2019,
ARCH@CPSIoTWeek.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
FORTE.
Steven Drager,
Luan Viet Nguyen,
Taylor T. Johnson,
2018,
ACM Trans. Cyber Phys. Syst..
Taylor T. Johnson,
Nathaniel Hamilton,
Lena Schlemmer,
2020,
Defense + Commercial Sensing.
Taylor T. Johnson,
Stanley Bak,
Hoang-Dung Tran,
2019
.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2017,
Discret. Event Dyn. Syst..
Taylor T. Johnson,
Sayan Mitra,
S. Mitra,
2013
.
Lui Sha,
Marco Caccamo,
Taylor T. Johnson,
2014,
2014 IEEE Real-Time Systems Symposium.
Luan Viet Nguyen,
Taylor T. Johnson,
Hoang-Dung Tran,
2017
.
Taylor T. Johnson,
Sayan Mitra,
2012,
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2020,
CAV.
Taylor T. Johnson,
Sayan Mitra,
2009
.
Taylor T. Johnson,
Sayan Mitra,
S. Mitra,
2010,
SSS.
Taylor T. Johnson,
Stanley Bak,
2015,
2015 IEEE Real-Time Systems Symposium.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2017,
IEEE Transactions on Automatic Control.
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations
pdf
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2018,
ArXiv.
Luan Viet Nguyen,
Taylor T. Johnson,
Hoang-Dung Tran,
2016,
ARCH@CPSWeek.
Ali Davoudi,
Taylor T. Johnson,
Omar Beg,
2017,
IEEE Transactions on Industrial Informatics.
Steven Drager,
Taylor T. Johnson,
Stanley Bak,
2015,
ICCPS.
Ali Davoudi,
Taylor T. Johnson,
Omar Ali Beg,
2020,
2020 Resilience Week (RWS).
Ali Davoudi,
Taylor T. Johnson,
Omar Beg,
2016,
ARCH@CPSWeek.
Taylor T. Johnson,
2018
.
Sergiy Bogomolov,
Radu Grosu,
Andreas Podelski,
2015,
International Journal on Software Tools for Technology Transfer.
Taylor T. Johnson,
Khalil Ghorbal,
Andrew Sogokon,
2016
.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
ArXiv.
Cédric Langbort,
Taylor T. Johnson,
Sayan Mitra,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Taylor T. Johnson,
Rushikesh Kamalapurkar,
Joel A. Rosenfeld,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Taylor T. Johnson,
Hoang-Dung Tran,
Tianshu Bao,
2018,
ARCH@ADHS.
Taylor T. Johnson,
Khalil Ghorbal,
Andrew Sogokon,
2017,
ACM Trans. Embed. Comput. Syst..
Taylor T. Johnson,
Patrick Musau,
Patrick Musau,
2018,
ARCH@ADHS.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2022,
IEEE Design & Test.
Taylor T. Johnson,
Sayan Mitra,
Parasara Sridhar Duggirala,
2012,
2012 IEEE 33rd Real-Time Systems Symposium.
Taylor T. Johnson,
Khalil Ghorbal,
Andrew Sogokon,
2016,
FM.
Ali Davoudi,
Taylor T. Johnson,
Omar Beg,
2017,
ARCH@CPSWeek.
Houssam Abbas,
Ali Davoudi,
Taylor T. Johnson,
2017,
IEEE Transactions on Industrial Electronics.
Taylor T. Johnson,
Stanley Bak,
Hoang-Dung Tran,
2018,
HSCC.
Luan Viet Nguyen,
Taylor T. Johnson,
Hoang-Dung Tran,
2015,
ARCH@CPSWeek.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2020,
IEEE Transactions on Neural Networks and Learning Systems.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Charles Hartsell,
Gabor Karsai,
Xenofon D. Koutsoukos,
2019,
RSP.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2017
.
Taylor T. Johnson,
Sayan Mitra,
Sayan Mitra,
2011
.
Luan Viet Nguyen,
Taylor T. Johnson,
Hoang-Dung Tran,
2014,
IEEE Transactions on Energy Conversion.
Taylor T. Johnson,
Hoang-Dung Tran,
Souradeep Dutta,
2019,
ARCH@CPSIoTWeek.
Taylor T. Johnson,
2013
.
Taylor T. Johnson,
Leonardo Bobadilla,
Umer Huzaifa,
2015
.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2018,
2018 Annual American Control Conference (ACC).
Taylor T. Johnson,
Khalil Ghorbal,
Andrew Sogokon,
2016,
ARCH@CPSWeek.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
FM.
Sergiy Bogomolov,
Christian Schilling,
Luan Viet Nguyen,
2015,
HSCC.
Xenofon D. Koutsoukos,
Taylor T. Johnson,
Hoang-Dung Tran,
2019,
ACM Trans. Embed. Comput. Syst..
Ali Davoudi,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
IEEE Transactions on Smart Grid.
Ken Butts,
Luan Viet Nguyen,
James Kapinski,
2017,
HSCC.
Taylor T. Johnson,
Christoph Csallner,
Soumik Mohian,
2018,
2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).
Georgios Fainekos,
Luan Viet Nguyen,
Taylor T. Johnson,
2018,
ADHS.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2019,
IEEE Transactions on Automatic Control.
Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge
Taylor T. Johnson,
Siddhant Gawsane,
Christoph Csallner,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Sergiy Bogomolov,
Taylor T. Johnson,
Stanley Bak,
2015
.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2017,
ARCH@CPSWeek.
Taylor T. Johnson,
2017,
ARCH@CPSWeek.
Taylor T. Johnson,
Christoph Csallner,
Sohil Lal Shrestha,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Taylor T. Johnson,
Paul B. Jackson,
Andrew Sogokon,
2018,
Journal of Automated Reasoning.
Taylor T. Johnson,
Sayan Mitra,
Sayan Mitra,
2012,
Theor. Comput. Sci..
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2020,
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION).
Ali Davoudi,
Luan Viet Nguyen,
Taylor T. Johnson,
2017
.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2017,
IEEE Transactions on Neural Networks and Learning Systems.
Thomas A. Henzinger,
Sergiy Bogomolov,
Taylor T. Johnson,
2016,
HSCC.
Taylor T. Johnson,
Hoang-Dung Tran,
Diego Manzanas Lopez,
2018,
ARCH@ADHS.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2018,
ArXiv.
Sebastian Fischmeister,
Taylor T. Johnson,
Raghunath Gannamaraju,
2015
.
Taylor T. Johnson,
Sayan Mitra,
2009
.
Umair Siddique,
Taylor T. Johnson,
Khaza Anuarul Hoque,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).
Sergiy Bogomolov,
Christian Schilling,
Luan Viet Nguyen,
2017,
International Journal on Software Tools for Technology Transfer.
Taylor T. Johnson,
Paul B. Jackson,
Andrew Sogokon,
2017,
NFM.
Taylor T. Johnson,
Christoph Csallner,
Sohil Lal Shrestha,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Taylor T. Johnson,
Christoph Csallner,
Shafiul Azam Chowdhury,
2016,
CyPhy.
Taylor T. Johnson,
Sayan Mitra,
S. Mitra,
2012,
FMOODS/FORTE.
Taylor T. Johnson,
2017
.
Sergiy Bogomolov,
Taylor T. Johnson,
Stanley Bak,
2015,
ARCH@CPSWeek.
Luan Viet Nguyen,
Taylor T. Johnson,
L. V. Nguyen,
2014,
ARCH@CPSWeek.
Taylor T. Johnson,
Sayan Mitra,
2012
.
Sergiy Bogomolov,
Taylor T. Johnson,
Stanley Bak,
2015,
HSCC.
Taylor T. Johnson,
Sayan Mitra,
S. Mitra,
2010
.
Weiming Xiang,
Taylor T. Johnson,
Xiaodong Yang,
2018,
ArXiv.
Ziaur Rahman,
Stephen P. Mattingly,
Colleen Casey,
2017
.
Sergiy Bogomolov,
Christian Schilling,
Luan Viet Nguyen,
2015,
RV.
Taylor T. Johnson,
2010
.
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter
pdf
Luan Viet Nguyen,
Taylor T. Johnson,
L. V. Nguyen,
2014,
ArXiv.
Weiming Xiang,
Taylor T. Johnson,
Hoang-Dung Tran,
2018
.
Weiming Xiang,
Taylor T. Johnson,
Stanley Bak,
2020,
CAV.
Sergiy Bogomolov,
Radu Grosu,
Andreas Podelski,
2013,
SPIN.
Weiming Xiang,
Taylor T. Johnson,
Weiming Xiang,
2017,
IET Control Theory & Applications.
Lui Sha,
Marco Caccamo,
Taylor T. Johnson,
2014,
RTSS.
Weiming Xiang,
Taylor T. Johnson,
Weiming Xiang,
2018,
ArXiv.
Taylor T. Johnson,
Tamás Kecskés,
Patrik Meijer,
2019,
DESTION@CPSIoTWeek.
Paulo Tabuada,
Taylor T. Johnson,
Tamás Kecskés,
2019,
ICCPS.
Andreas Veneris,
Luan Viet Nguyen,
Taylor T. Johnson,
2015
.
Taylor T. Johnson,
Hoang-Dung Tran,
Diego Manzanas Lopez,
2019,
ARCH@CPSIoTWeek.
Luan Viet Nguyen,
Taylor T. Johnson,
Ruoshi Zhang,
2014,
CyPhy '14.
Ali Davoudi,
Luan Viet Nguyen,
Taylor T. Johnson,
2021,
IEEE Access.
Christian Schilling,
Taylor T. Johnson,
James Weimer,
2021,
ARCH@ADHS.
Xin Chen,
Taylor T. Johnson,
Stanley Bak,
2020,
AIAA Scitech 2021 Forum.
Taylor T. Johnson,
Stanley Bak,
Hoang-Dung Tran,
2021,
CAV.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2021,
Formal Aspects of Computing.
Taylor T. Johnson,
Patrick Musau,
Xiaodong Yang,
2021
.
Justin M. Bradley,
Marilyn Wolf,
Taylor T. Johnson,
2021
.
Taylor T. Johnson,
Rushikesh Kamalapurkar,
Joel A. Rosenfeld,
2019,
Journal of Nonlinear Science.
Taylor T. Johnson,
2021,
ARCH@ADHS.
Taylor T. Johnson,
Shafiul Azam Chowdhury,
C. Csallner,
2020,
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering.
Taylor T. Johnson,
Shafiul Azam Chowdhury,
C. Csallner,
2020,
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings.
Taylor T. Johnson,
A. Davoudi,
O. Beg,
2017
.
Taylor T. Johnson,
Sayan Mitra,
2013
.
Taylor T. Johnson,
Hoang-Dung Tran,
Bardh Hoxha,
2021,
FORMATS.
Taylor T. Johnson,
A. LaViers,
2014
.
Stephen P. Mattingly,
Colleen Casey,
Taylor Johnson,
2017
.
Taylor T. Johnson,
Diego Manzanas Lopez,
Patrick Musau,
2022,
ArXiv.
Taylor T. Johnson,
Stacey Nofziger,
2020
.
Taylor T. Johnson,
Neelanjana Pal,
2022,
SNR.
Taylor T. Johnson,
Khalil Ghorbal,
Andrew Sogokon,
2016
.
Taylor T. Johnson,
O. Beg,
Xiaodong Yang,
2022,
ACM Transactions on Cyber-Physical Systems.
Taylor T. Johnson,
N. Serra,
C. Geyer,
2020,
Biology of Reproduction.
Taylor T. Johnson,
R. Carstens,
Chaolin Zhang,
2022,
PLoS genetics.
Taylor T. Johnson,
Diego Manzanas Lopez,
Patrick Musau,
2022,
FORMATS.
Taylor T. Johnson,
Kerianne L. Hobbs,
Kerianne Hobbs,
2022,
2023 IEEE 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT).
Taylor T. Johnson,
J. Wilt,
R. Obeid,
2022,
Personality and Individual Differences.
Taylor T. Johnson,
Paul B. Jackson,
A. Sogokon,
2018,
Journal of Automated Reasoning.
Taylor T. Johnson,
A. Podelski,
Alexandre Donzé,
2015,
International Journal on Software Tools for Technology Transfer.
Taylor Johnson,
Ben Lee,
Taylor T. Johnson,
2020,
Multimedia Systems.
Taylor T. Johnson,
N. Serra,
C. Geyer,
2021,
Biology of Reproduction.
Taylor T. Johnson,
2019
.
Taylor T. Johnson,
Weiming Xiang,
Stanley Bak,
2020,
CAV.
Taylor T. Johnson,
Xiaowei Jia,
S. Sammak,
2022,
UAI.
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
pdf
Taylor Johnson,
Taylor T. Johnson,
Stanley Bak,
2021,
ArXiv.
Taylor T. Johnson,
X. Jia,
J. Zwart,
2021,
2021 IEEE International Conference on Data Mining (ICDM).
Taylor T. Johnson,
Joel A. Rosenfeld,
Benjamin P. Russo,
2019,
1909.11792.
Taylor T. Johnson,
Sophia Vicente,
Malini Josiam,
2023,
2023 IEEE International Symposium on Ethics in Engineering, Science, and Technology (ETHICS).
Taylor T. Johnson,
Katherine E. M. Hoops,
C. Crifasi,
2020,
Preventive Medicine.
Taylor T. Johnson,
S. H. Lincoln,
Jill Laquidara,
2021,
Schizophrenia Research.
Taylor T. Johnson,
R. Plymale,
Danielle Schaal,
2022,
Microbiology resource announcements.
Taylor T. Johnson,
Bryan A. Niedenberger,
C. Geyer,
2023,
Biology of Reproduction.
Ziaur Rahman,
Colleen Casey,
Taylor T. Johnson,
2019,
Accident; analysis and prevention.
Taylor T. Johnson,
Changliu Liu,
Christopher Brix,
2023,
International Journal on Software Tools for Technology Transfer.
Taylor T. Johnson,
A. Seifi,
Sheetal Hegde,
2019,
Critical Care Medicine.
Taylor T. Johnson,
T. W. Johnson,
J. W. Pierre,
1993,
Proceedings of 36th Midwest Symposium on Circuits and Systems.
Taylor T. Johnson,
Malle R. Schilling,
H. Matusovich,
2022,
Journal of Engineering Education.
Taylor T. Johnson,
Hoang-Dung Tran,
Bardh Hoxha,
2021,
HSCC.
Taylor T. Johnson,
Diego Manzanas Lopez,
Taylor J. Carpenter,
2022,
EPiC Series in Computing.
Taylor T. Johnson,
D. Moyer,
H. Wang,
2023,
ArXiv.
Taylor T. Johnson,
Kerianne L. Hobbs,
Stanley Bak,
2022,
Journal of Air Transportation.
Taylor T. Johnson,
S. Mitra,
2012,
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
Taylor T. Johnson,
Hoang-Dung Tran,
Bardh Hoxha,
2021,
ArXiv.
Taylor T. Johnson,
Diego Manzanas Lopez,
Patrick Musau,
2022,
2022 IEEE International Conference on Assured Autonomy (ICAA).
Taylor T. Johnson,
Diego Manzanas Lopez,
Kerianne L. Hobbs,
2021
.
Taylor T. Johnson,
Hoang-Dung Tran,
L. V. Nguyen,
2015,
ARCH@CPSWeek.
Taylor T. Johnson,
Bernard Serbinowski,
2022,
SEFM.