Lagrangian Reachabililty,
Cyranka, Jacek, Islam Md. Ariful, Byrne Greg, Jones Paul L., Smolka Scott A., and Grosu Radu
, Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}, (2017)
Scott Smolka and Me,
Cleaveland, Rance
, From Reactive Systems to Cyber-Physical Systems, p.1–6, (2019)
Programming is modeling,
Cleaveland, Rance
, International Symposium on Leveraging Applications of Formal Methods, (2018)
Data assimilation for cardiac electrical dynamics,
Cherry, E. M., Cairns D. I., Holt N., LaVigne N. S., Fenton F. H., and Hoffman M. J.
, Proceedings of the 5th {International} {Conference} on {Computational} and {Mathematical} {Biomedical} {Engineering}, Pittsburgh, PA, (2017)