Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Taylor Johnson
First name
Taylor
Middle name
T.
Last name
Johnson
Sogokon, A., Jackson, P. B., & Johnson, T. T
.
(2017)
.
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants
.
In
NASA Formal Methods - 9th International Symposium
(
Vol.
10227, pp.
194-211
)
.
Moffett Field, CA, USA:
Springer
. (
Original work published
May 2017)
View
Sogokon, A., Ghorbal, K., & Johnson, T. T
.
(2016)
.
Decoupling Abstractions of Non-linear Ordinary Differential Equations
.
In
FM 2016, 21st International Symposium on Formal Methods
(
Vol.
9995 Lecture Notes in Computer Science, pp.
628-644
)
.
Limassol, Cyprus:
Springer
. (
Original work published
November 2016)
View
Hartsell, C., Mahadevan, N., Ramakrishna, S., Dubey, A., Bapty, T., Johnson, T. T., et al
.
(2019)
.
Model-Based Design for CPS with Learning-Enabled Components
.
In
Design Automation for CPS and IoT (DESTION 2019)
.
Montreal, Canada
. (
Original work published
April 2019)
View