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
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.RP, volume 7550 of Lecture Notes in Computer Science, page 79-91. Springer, (2012)An array-processor based architecture for classification problems.ASAP, page 148-151. IEEE, (1993)Time and memory tradeoffs in the implementation of AUTOSAR components.DATE, page 864-869. IEEE, (2009)Formalization and completeness of evolving requirements using Contracts.SIES, page 120-129. IEEE, (2013)A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).FDL, page 142-147. IEEE, (2008)Composing hybrid systems.CDC, page 4693-4699. IEEE, (2008)Type Inference, Abstract Interpretation and Strictness Analysis.Theor. Comput. Sci., 121 (1&2):
113-143 (1993)Efficient embedded software design with synchronous models.EMSOFT, page 187-190. ACM, (2005)Semantics-Preserving Design of Embedded Control Software from Synchronous Models.IEEE Trans. Software Eng., 33 (8):
497-509 (2007)SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 150-162. Springer, (2004)