Author of the publication

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

Type Inference, Abstract Interpretation and Strictness Analysis., and . Theor. Comput. Sci., 121 (1&2): 113-143 (1993)A Contract-based Formalism for the Specification of Heterogeneous Systems (invited)., , , , , and . FDL, page 142-147. IEEE, (2008)Formalization and completeness of evolving requirements using Contracts., , and . SIES, page 120-129. IEEE, (2013)Composing hybrid systems., , , and . CDC, page 4693-4699. IEEE, (2008)Time and memory tradeoffs in the implementation of AUTOSAR components., , , , and . DATE, page 864-869. IEEE, (2009)Efficient embedded software design with synchronous models., , , and . EMSOFT, page 187-190. ACM, (2005)Semantics-Preserving Design of Embedded Control Software from Synchronous Models., , , and . IEEE Trans. Software Eng., 33 (8): 497-509 (2007)Inter-operator reliability and prediction bands of a novel protocol to measure the coordinated movements of shoulder-girdle and humerus in clinical settings., , , , , , and . Med. Biol. Engineering and Computing, 47 (5): 475-486 (2009)A Wearable System for Gait Training in Subjects with Parkinson's Disease., , , , , and . Sensors, 14 (4): 6229-6246 (2014)An Application of SMC to continuous validation of heterogeneous systems., , , , , , , and . EAI Endorsed Trans. Indust. Netw. & Intellig. Syst., 4 (11): e2 (2017)