ResearcherID Thomson Reuters  

Johnson, Taylor T
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: E-8862-2015
Other Names: Taylor Johnson; T. T. Johnson
URL: http://www.researcherid.com/rid/E-8862-2015
ORCID: http://orcid.org/0000-0001-8021-9923
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Electrical Engineering and Computer Science
Role:
Description:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  5  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Abnormal Data Classification Using Time-Frequency Temporal Logic
 Author(s): Luan Viet Nguyen; James Kapinski; Xiaoqing Jin; et al.
 Conference: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC 17 Year: 2017
 DOI: 10.1145/3049797.3049809
added
18-Dec-17
2.  Title: CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments
 Author(s): Shafiul Azam Chowdhury; Taylor T. Johnson; Christoph Csallner
 Source: Cyber Physical Systems. Design, Modeling, and Evaluation Pages: 46--60 Published: 2017
 DOI: 10.1007/978-3-319-51738-4_4
added
18-Dec-17
3.  Title: Event-triggered control for continuous-time switched linear systems
 Author(s): Weiming Xiang; Taylor T. Johnson
 Source: IET Control Theory & Applications Published: 2017
 Times Cited: 0
 DOI: 10.1049/iet-cta.2016.0672
added
18-Dec-17
4.  Title: Formal specification and dependability analysis of optical communication networks
 Author(s): Umair Siddique; Khaza Anuarul Hoque; Taylor T. Johnson
 Conference: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 Year: 2017
 DOI: 10.23919/date.2017.7927239
added
18-Dec-17
5.  Title: Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification
 Author(s): Weiming Xiang; Hoang-Dung Tran; Taylor T. Johnson
 Source: IEEE Transactions on Automatic Control Pages: 1--1 Published: 2017
 Times Cited: 1
 DOI: 10.1109/TAC.2017.2692100
added
18-Dec-17
6.  Title: Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants
 Author(s): Andrew Sogokon; Paul B. Jackson; Taylor T. Johnson
 DOI: 10.1007/978-3-319-57288-8_14
added
18-Dec-17
7.  Title: HyRG
 Author(s): Luan Viet Nguyen; Christian Schilling; Sergiy Bogomolov; et al.
 Conference: Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC 15 Year: 2015
 DOI: 10.1145/2728606.2728650
added
18-Dec-17
8.  Title: HYST
 Author(s): Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson
 Conference: Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC 15 Year: 2015
 DOI: 10.1145/2728606.2728630
added
18-Dec-17
9.  Title: Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization
 Author(s): Stanley Bak; Taylor T. Johnson
 Conference: 2015 IEEE Real-Time Systems Symposium Year: 2015
 Times Cited: 0
 DOI: 10.1109/RTSS.2015.26
added
18-Dec-17
10.  Title: Runtime Verification for Hybrid Analysis Tools
 Author(s): Luan Viet Nguyen; Christian Schilling; Sergiy Bogomolov; et al.
 Source: Runtime Verification Pages: 281--286 Published: 2015
 Times Cited: 0
 DOI: 10.1007/978-3-319-23820-3_19
added
18-Dec-17
publication(s)  
First Page Previous Page Page   of  5  Go Next Page Last Page
  Sort by:    Results per page: