Skip to content

Taylor Johnson

  • Assistant Professor
  • University of Texas at Arlington
  • 9h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 209CitationsNumber of citations received by Taylor's publications. Updated daily.

Other IDs

Research interests

distributed systemshybrid systemsformal methodsverificationControl theory

Co-authors (73)

  • Jonathan LeSage

Publications (5)

  • Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge

    • Chowdhury S
    • Mohian S
    • Mehra S
    • et al.
    N/AReaders
    2Citations
    Get full text
  • Experimental study of low-latency HD VoD streaming using flexible dual TCP-UDP streaming protocol

    • Gatimu K
    • Dhamodaran A
    • Johnson T
    • et al.
    N/AReaders
    0Citations
    Get full text
  • Output Reachable Set Estimation and Verification for Multilayer Neural Networks

    • Xiang W
    • Tran H
    • Johnson T
    N/AReaders
    0Citations
    Get full text
  • Signal Temporal Logic-based Attack Detection in DC Microgrids

    • Beg O
    • Nguyen L
    • Johnson T
    • et al.
    N/AReaders
    0Citations
    Get full text
  • Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

    • Duggirala P
    • Fan C
    • Potok M
    • et al.
    N/AReaders
    1Citations
    Get full text

Professional experience

Assistant Professor

University of Texas at Arlington

September 2013 - Present

Research Assistant

Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign

August 2008 - August 2013(5 years)

Education

University of Illinois at Urbana-Champaign

August 2010 - August 2013(3 years)

MSc

University of Illinois at Urbana-Champaign

August 2008 - May 2010(2 years)

BSEE

Rice University

August 2004 - May 2008(4 years)