Author of the publication

Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications.

, , , , , and . EMBC, page 5595-5598. IEEE, (2016)

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

Synthesizing Multirate Programs from IEC 61499., and . ISORC, page 43-50. IEEE Computer Society, (2015)Pruning infeasible paths for tight WCRT analysis of synchronous programs., , and . DATE, page 204-209. IEEE, (2011)Precise specification matching for adaptive reuse in embedded systems., , , , and . J. Applied Logic, 5 (2): 333-355 (2007)CFSMcharts: A New Language for Microprocessor Based system Design., and . VLSI Design, page 342-346. IEEE Computer Society, (1998)Stateful Web Services - Auto Modeling and Composition., , and . ICWS, page 284-291. IEEE Computer Society, (2013)Design of Distributed Heterogeneous Embedded Systems in DDFCharts., , and . IEEE Trans. Parallel Distrib. Syst., 22 (2): 296-308 (2011)REFLIX: a processor core with native support for control-dominated embedded applications., , , and . Microprocessors and Microsystems, 28 (1): 13-25 (2004)A new algorithm for implementation of design functions by available devices., , and . IEEE Trans. VLSI Syst., 4 (2): 170-180 (1996)A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC)., , , , and . CoRR, (2015)Forced simulation: A technique for automating component reuse in embedded systems., , and . ACM Trans. Design Autom. Electr. Syst., 6 (4): 602-628 (2001)