• Sign in
  • Sign up
conf.researchr.org / Taylor T Johnson
  • * ICSE 2018 * profile
  • ECOOP 2025 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • IEEE SMC-IT/SCC 2025 profile
  • NASA Formal Methods 2024 profile
Taylor T Johnson

Registered user since Tue 19 Dec 2017

Name:Taylor T Johnson
Country:United States
Affiliation:Vanderbilt University
Personal website: http://www.TaylorTJohnson.com
Research interests:formal methods, cyber-physical systems, real-time systems, software engineering, distributed systems

Contributions

2025

SMC-IT/SCC

  • Committee Member in Program Committee (SMC-IT) within the Research Papers-track

FTfJP

  • PC Member in Program Committee within the FTfJP-track

FormaliSE

  • Author of Robustness Verification of Video Classification Neural Networks within the Research Track-track

2024

NFM

  • Committee Member in Program Committee within the NFM 2024-track

FormaliSE

  • Author of Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets within the FormaliSE 2024-track

2020

ICSE

  • Author of Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI) within the Demonstrations-track
  • Author of SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink within the Technical Papers-track

2019

FormaliSE

  • Author of Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks within the FormaliSE 2019-track

2018

ICSE

  • Author of Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge within the Technical Papers -track
Share
xMon 19 May 04:50
using conf.researchr.org (v1.69.0)
Support page
Sign Up