Tertiary Links

  • Publications
  • Education
  • Resources
  • People
  • Sponsors
  • Careers
  • Contact
  • Alumni

Secondary links

  • Login


Institute for Software Integrated Systems

Primary links

  • Projects
    • Active Projects
    • Archived Projects
  • Tools
  • Research
    • Model Integrated Computing
    • Smart Cities
    • Distributed Object Computing
    • Network Embedded Systems
    • Cyber-Physical Systems
    • Education Technology
    • Smart Mobility
    • Modeling and Analysis of Complex Systems
  • Careers
  • Internships
  • Calendar
  • Proposal Questionnaire
  • ISIS VPN
  • Printers

Home › johnsott

johnsott

  • View
  • Publications
2019
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.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
2017
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
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: persistence-safety-nfm-2017.pdf (1.25 MB)
2016
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
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: decoupling-abstractions-fm-2016.pdf (366.46 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering