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

2024

NFM

Committee Member in Program Committee within the NFM 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