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)
Accelerating simulations of cardiac electrical dynamics through a multi‐GPU platform and an optimized data structure,
Vasconcellos, Eduardo C., Clua Esteban W. G., Fenton Flavio H., and Zamith Marcelo
, Concurrency and Computation: Practice and Experience, 03/2020, Volume 32, Issue 5, (2020)