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

Towards a Kernel Language for Heterogeneous Computing., and . DATE, page 1136. IEEE Computer Society, (2002)Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation., and . ACSD, page 125-134. IEEE Computer Society, (2004)Accurate energy modeling for many-core static schedules with streaming applications., , , and . Microprocessors and Microsystems - Embedded Hardware Design, (2016)Erratum to: Exploiting smart spaces for interactive TV applications development., , and . The Journal of Supercomputing, 70 (3): 1617 (2014)Energy consumption analysis for two embedded Java virtual machines., and . Journal of Systems Architecture, 53 (5-6): 328-337 (2007)Defining Precise Semantics for UML., , , and . ECOOP Workshops, volume 1964 of Lecture Notes in Computer Science, page 113-122. Springer, (2000)Formalising UML State Machines for Model Checking., and . UML, volume 1723 of Lecture Notes in Computer Science, page 430-445. Springer, (1999)A language for multiple models of computation., and . CODES, page 25-30. ACM, (2002)IoT at Sea., , , , , , and . BMSB, page 1-7. IEEE, (2018)Design Complexity Management in Embedded System Design., , , , , and . ACES-MB@MoDELS, volume 507 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)