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

Prespecification in Data Refinement., , and . Inf. Process. Lett., 25 (2): 71-76 (1987)rCOS: A refinement calculus of object systems., , and . Theor. Comput. Sci., 365 (1-2): 109-142 (2006)Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs., and . Formal Asp. Comput., 15 (1): 84-99 (2003)The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs., , and . Formal Asp. Comput., 9 (2): 149-174 (1997)An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model., , , , , and . SEFM, page 376-385. IEEE Computer Society, (2004)An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem., , and . DDECS, page 151-152. IEEE Computer Society, (2006)Unifying theories of programming., and . RelMiCS, page 97-99. (1998)Contract Oriented Development of Component Software., , and . IFIP TCS, volume 155 of IFIP, page 349-366. Kluwer/Springer, (2004)Service Refinement.. APSEC, page 5. IEEE Computer Society, (2008)Refinement and test case generation in Unifying Theory of Programming.. ICSM, page 6. IEEE Computer Society, (2008)