PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ferrari, Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.

, , , , and . DATE, page 358-363. IEEE Computer Society, (2004)

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.

Hector Alberto Fernandez Bobadilla University of Stuttgart

Alberto Ramón Gallardo Rico University of Stuttgart

 

Other publications of authors with the same name

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited)., , , , , and . FDL, page 142-147. IEEE, (2008)Type Inference, Abstract Interpretation and Strictness Analysis., and . Theor. Comput. Sci., 121 (1&2): 113-143 (1993)Time and memory tradeoffs in the implementation of AUTOSAR components., , , , and . DATE, page 864-869. IEEE, (2009)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)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)