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

Formal System Modelling Using Abstract Data Types in Event-B., , , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 222-237. Springer, (2014)T4: A two-tap based user interface system using a touch-type device for motor-impaired company employees., , , , , and . ICCE-TW, page 122-123. IEEE, (2015)An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC., , and . DATE, page 1157-1158. European Design and Automation Association, Leuven, Belgium, (2006)Point-of-care functional and molecular imaging using LED-based photoacoustics., , , and . TENCON, page 109-113. IEEE, (2019)Consistency Verification of Specification Rules., , , , , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 50-66. Springer, (2015)Inverted Stabilization Control of Electric Wheelchairs with Tristar Wheel Mechanism., , , , and . AMC, page 1-6. IEEE, (2024)Static vs. Dynamic Validation of BSP Conformance., , , , , and . ICWS, page 919-927. IEEE Computer Society, (2009)Code Generation for Event-B., , , , , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 323-338. Springer, (2014)A Data Flow Language for Hybrid Query and Programming Languages., , and . FLOPS, volume 7294 of Lecture Notes in Computer Science, page 228-242. Springer, (2012)DeepSaucer: Unified Environment for Verifying Deep Neural Networks., , , , , , and . CoRR, (2018)