Excitable dynamics in neural and cardiac systems,
Barrio, Roberto, Coombes Stephen, Desroches Mathieu, Fenton Flavio, Luther Stefan, and Pueyo Esther
, Communications in Nonlinear Science and Numerical Simulation, 07/2020, Volume 86, (2020)
Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus,
Ganesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W.
, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), Oct, (2016)
(976.61 KB) 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)