Home

ISIS Publications

Export 3 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Taylor T. Johnson  [Clear All Filters]
Conference Paper
Sogokon, A., K. Ghorbal, and T. T. Johnson, "Decoupling Abstractions of Non-linear Ordinary Differential Equations", FM 2016, 21st International Symposium on Formal Methods, vol. 9995 Lecture Notes in Computer Science, Limassol, Cyprus, Springer, pp. 628-644, 11/2016. Abstract  Download: decoupling-abstractions-fm-2016.pdf (366.46 KB)
Hartsell, C., N. Mahadevan, S. Ramakrishna, A. Dubey, T. Bapty, T. T. Johnson, X. Kousoukos, J. Szipanovits, and G. Karsai, "Model-Based Design for CPS with Learning-Enabled Components", Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, April 2019.
Sogokon, A., P. B. Jackson, and T. T. Johnson, "Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants", NASA Formal Methods - 9th International Symposium, vol. 10227, Moffett Field, CA, USA, Springer, pp. 194-211, 05/2017. Abstract  Download: persistence-safety-nfm-2017.pdf (1.25 MB)