Automated Specification Extraction and Analysis with Specstractor,
Schulze, Christoph, Cleaveland Rance, and Lindvall Mikael
, Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings, (2018)
Declarative vs Rule-based Control for Flocking Dynamics,
Mehmood, Usama, Paoletti Nicola, Phan Dung, Grosu Radu, Lin Shan, Stoller Scott D., Tiwari Ashish, Yang Junxing, and Smolka Scott A.
, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, New York, NY, USA, (2018)
(904.24 KB) Discordant Alternans as a Mechanism for Initiation of Ventricular Fibrillation In Vitro,
Munoz, Laura, Gelzer Anna R. M., Fenton Flavio, Qian Wei, Lin WeiYe, Gilmour Robert F., and Otani Niels F.
, Journal of the American Heart Association, 09, Volume 7, (2018)
(4.08 MB) OpenUAV: A UAV Testbed for the CPS and Robotics Community,
Schmittle, Matt, Lukina Anna, Vacek Lukas, Das Jnaneshwar, Buskirk Christopher P., Rees Stephen, Sztipanovits Janos, Grosu Radu, and Kumar Vijay
, Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Piscataway, NJ, USA, (2018)
(825.63 KB) An Optimization-Based Algorithm for the Construction of Cardiac Purkinje Network Models,
Ulysses, Jesuliana N., Berg Lucas A., CHERRY ELIZABETH M., Liu Ben R., Santos Rodrigo W. dos, de Barros Bruno G., Rocha Bernardo M., and de Queiroz Rafael A. B.
, IEEE Transactions on Biomedical Engineering, Volume 65, p.2760–2768, (2018)
The role of conductivity discontinuities in design of cardiac defibrillation,
Lim, Hyunkyung, Cun Wenjing, Wang Yue, Gray Richard A., and Glimm James
, Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 28, p.013106, (2018)
(3 MB) (552.91 KB)