Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Compositional runtime enforcement revisited., , , und . Formal Methods Syst. Des., 59 (1): 205-252 (2021)Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure., , , , , und . MEMOCODE, Seite 1-11. IEEE, (2020)Runtime verification of implantable medical devices using multiple physiological signals., , , , und . SAC, Seite 1837-1840. ACM, (2021)REFLIX: a processor core with native support for control-dominated embedded applications., , , und . Microprocess. Microsystems, 28 (1): 13-25 (2004)A novel approach for model-based design of gastric pacemakers., , , , , und . Comput. Biol. Medicine, (2020)REMIC: design of a reactive embedded microprocessor core., , , und . ASP-DAC, Seite 977-981. ACM Press, (2005)Observer based verification of IEC 61499 function blocks, , und . Industrial Informatics (INDIN), 2011 9th IEEE International Conference on, Seite 609-614. (Juli 2011)CFSMcharts: A New Language for Microprocessor Based system Design., und . VLSI Design, Seite 342-346. IEEE Computer Society, (1998)Design of Heterogeneous Embedded Systems Using DFCharts Model of Computation., , und . VLSI Design, Seite 461-464. IEEE Computer Society, (2006)Design of a closed-loop gastric pacemaker for modulating dysrhythmic conduction patterns via extracellular potentials., , , , , und . EMBC, Seite 2504-2507. IEEE, (2020)