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)
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)