Author of the publication

A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology.

, , , , and . IEEE Trans. Biomed. Eng., 66 (12): 3320-3329 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications., , , , , and . EMBC, page 5595-5598. IEEE, (2016)Heuristics on Reachability Trees for Bicriteria Scheduling of Stream Graphs on Heterogeneous Multiprocessor Architectures., and . ACM Trans. Embed. Comput. Syst., 14 (2): 23:1-23:26 (2015)Reducing Worst Case Reaction Time of Synchronous Programs on Chip-multiprocessors with Application-Specific TDMA Scheduling., , and . JTRES, page 11:1-11:9. ACM, (2015)SystemJ compilation using the tandem virtual machine approach., , and . ACM Trans. Design Autom. Electr. Syst., 14 (3): 34:1-34:37 (2009)Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing., , , , , , and . CoRR, (2016)A unified framework for modeling and implementation of hybrid systems with synchronous controllers., and . CoRR, (2015)Memory management of safety-critical hard real-time systems designed in SystemJ., , , and . Microprocess. Microsystems, (2019)Designing, Modeling and Analysis of GALS Software Systems., , and . IEEE Trans. Software Eng., 49 (8): 3989-4003 (August 2023)A Novel Emulation Model of the Cardiac Conduction System., , , , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 157:1-157:20 (2017)Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion.. Numer. Algorithms, 87 (2): 849-872 (2021)