Author of the publication

Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation.

, , , , , , and . TCPS, 2 (4): 32:1-32:26 (2018)

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

Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay., , , and . Computers & OR, (2018)An improved simulated annealing heuristic for static partitioning of task graphs onto heterogeneous architectures., , and . ICPADS, page 95-102. IEEE Computer Society, (2014)Orchestrating stream graphs using model checking., and . TACO, 10 (3): 19:1-19:25 (2013)Investment Recommendation System for Low-Liquidity Online Peer to Peer Lending (P2PL) Marketplaces., and . WSDM, page 510-518. ACM, (2019)LibGALS: a library for GALS systems design and modeling., , and . ASP-DAC, page 107-112. IEEE, (2010)Quantized State Hybrid Automata for Cyber-Physical Systems., and . CoRR, (2018)GALS-HMP: A heterogeneous multiprocessor for embedded applications., and . ACM Trans. Embedded Comput. Syst., 12 (1s): 58:1-58:26 (2013)System-level approach to the design of a smart distributed surveillance system using systemj., , , and . ACM Trans. Embedded Comput. Syst., 11 (4): 77:1-77:24 (2012)A machine learning approach to reconstruction of heart surface potentials from body surface potentials., , and . EMBC, page 4828-4831. IEEE, (2018)Tandem virtual machine - An efficient execution platform for GALS language SystemJ., , and . ACSAC, page 1-8. IEEE Computer Society, (2008)