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

Component-Based Design and Analysis: A Case Study., , and . SEFM, page 126-. IEEE Computer Society, (2003)Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking., and . ACSC, volume 26 of CRPIT, page 65-71. Australian Computer Society, (2004)Analysis-oriented semantics definition of visual languages., , and . HCC, page 189-191. IEEE Computer Society, (2003)Lightweight Consistency Analysis of Dataflow Process Networks., , and . ACSC, volume 16 of CRPIT, page 291-300. Australian Computer Society, (2003)Towards Novel Approaches in Design Automation for FPGA Power Optimization., , , , and . PATMOS, volume 5349 of Lecture Notes in Computer Science, page 419-428. Springer, (2008)Generic Software Framework for Adaptive Applications on FPGAs., , , , and . FCCM, page 55-62. IEEE Computer Society, (2009)A predicate-based approach to defining visual language syntax., and . HCC, page 40-47. IEEE Computer Society, (2001)A method for describing the syntax and semantics of UML statecharts., , and . Software and Systems Modeling, 3 (2): 150-163 (2004)Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment., , and . Diagrams, volume 2317 of Lecture Notes in Computer Science, page 320-334. Springer, (2002)Development Framework for Implementing FPGA-Based Cognitive Network Nodes., , , , , and . GLOBECOM, page 1-7. IEEE, (2009)