Skip to content

Taylor Johnson

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

Other IDs

Research interests

distributed systemshybrid systemsformal methodsverificationControl theory

Co-authors (70)

  • Jonathan LeSage

Publications (5)

  • Abnormal data classification using time-frequency temporal logic

    • Nguyen L
    • Deshmukh J
    • Kapinski J
    • et al.
    N/AReaders
    1Citations
    Get full text
  • Guided search for hybrid systems based on coarse-grained space abstractions

    • Bogomolov S
    • Donzé A
    • Frehse G
    • et al.
    N/AReaders
    1Citations
    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
    0Citations
    Get full text
  • Abstraction-based guided search for hybrid systems

    • Bogomolov S
    • Donzé A
    • Frehse G
    • et al.
    N/AReaders
    6Citations
    Get full text
  • Evaluation of wireless high definition video transmission using H.264 over WLANs

    • Gatimu K
    • Johnson T
    • Sinky M
    • et al.
    N/AReaders
    4Citations
    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 history

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)