Author of the publication

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language.

, , , , , and . MEMOCODE, page 139-148. IEEE Computer Society, (2007)

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

Error Estimation in Model-Driven Development for Real-Time Software., , , and . FDL, page 228-240. ECSI, (2004)Synthesis for Unified Control- and Data-Oriented Models., , and . FDL, page 531-543. ECSI, (2005)Reusing Real-Time Systems Design Experience., , , and . FDL, page 375-381. ECSI, (2006)Software/Hardware Engineering with the Parallel Object-Oriented Specification Language., , , , , and . MEMOCODE, page 139-148. IEEE Computer Society, (2007)Patterns for Automatic Generation of Soft Real-time System Models., , , and . Simulation, 85 (11-12): 709-734 (2009)Error computation for predictable real-time software synthesis., , , and . Simulation, 87 (4): 334-350 (2011)Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems., , , and . SAMOS, volume 4017 of Lecture Notes in Computer Science, page 206-215. Springer, (2006)A Unified Model for Analysis of Real-Time Properties., , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 220-226. Department of Computer Science, University of Cyprus, (2004)Strengthening Property Preservation in Concurrent Real-Time Systems., , , and . RTCSA, page 106-109. IEEE Computer Society, (2006)