An Extensible Operational Semantics for UML Activity Diagrams,
Daw, Zamira, and Cleaveland Rance
, Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings, (2015)
High-Confidence Medical Device Software Development,
Jiang, Z., and Mangharam R.
, Foundations and Trends in Electronic Design Automation, Volume 9, (2015)
(14.77 MB) Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation,
Islam, Md. A., Murthy A., Bartocci E., Cherry E. M., Fenton F. H., Glimm J., Smolka S. A., and Grosu R.
, Theoretical Computer Science, 09/2015, Volume 599C, (2015)
SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems,
Haghighi, Iman, Jones Austin, Kong Zhaodan, Bartocci Ezio, Grosu Radu, and Belta Calin
, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2015)
(679.39 KB)