No photo of Ka Lok Man

View Scopus Profile

Ka Lok Man

Professor

Calculated based on number of publications stored in Pure and citations from Scopus
20032025

Research activity per year

Filter
Conference Proceeding

Search results

  • 2008

    PAFSV: A process algebraic framework for systemVerilog

    Man, K. L., 2008, Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008. p. 535-542 8 p. 4747295. (Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008; vol. 3).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    3 Citations (Scopus)

  • Specification and analysis of hardware designs using mCRL2

    Man, K. L. & Van Der Wulp, J., 2008, IEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008. p. 211-214 4 p. 4564526. (Canadian Conference on Electrical and Computer Engineering).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    1 Citation (Scopus)

  • μ̂CRL: A Computer Science based Approach for and Verification of Hardware Circuits

    Man, K. L., 2008, 2008 International SoC Design Conference, ISOCC 2008. p. I387-I390 4815653. (2008 International SoC Design Conference, ISOCC 2008; vol. 1).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • 2007

    Analysis of a mixed-signal circuit in hybrid process algebra ACP hssrt

    Man, K. L. & Schellekens, M. P., 2007, IMECS 2007 - International MultiConference of Engineers and Computer Scientists 2007. p. 568-573 6 p. (Lecture Notes in Engineering and Computer Science).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    2 Citations (Scopus)

  • Deriving simulators for hybrid chi models

    Van Beek, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2007, Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD. p. 42-49 8 p. 4064726. (Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    5 Citations (Scopus)

  • Formal verification of mutual exclusion between the guards of deterministic choice structures

    Boubekeur, M., Man, K. L. & Schellekens, M. P., 2007, 2007 Canadian Conference on Electrical and Computer Engineering, CCECD. p. 1417-1420 4 p. 4233015. (Canadian Conference on Electrical and Computer Engineering).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • Mathematical modelling of digital hardware systems in timed Chi

    Man, K. L. & Schellekens, M. P., 2007, Proceedings of the 26th IASTED International Conference on Modelling, Identification, and Control, MIC 2007. p. 363-368 6 p. (Proceedings of the IASTED International Conference on Modelling, Identification, and Control, MIC).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    5 Citations (Scopus)

  • PAFESD: Process Algebras for Electronic System Designs

    Man, K. L., 2007, ASICON 2007 - 2007 7th International Conference on ASIC Proceeding. p. 110-113 4 p. 4415579. (ASICON 2007 - 2007 7th International Conference on ASIC Proceeding).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    1 Citation (Scopus)

  • Process algebraic approach to SystemVerilog

    Man, K. L., Boubekeur, M. & Schellekens, M. P., 2007, 2007 Canadian Conference on Electrical and Computer Engineering, CCECD. p. 86-89 4 p. 4232688. (Canadian Conference on Electrical and Computer Engineering).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    5 Citations (Scopus)

  • SC2SCFL: Automated SystemC to SystemC double-struck F signdouble-struck L sign translation

    Man, K. L., Fedeli, A., Mercaldi, M., Boubekeur, M. & Schellekens, M., 2007, Embedded Computer Systems: Architectures, Modeling, and Simulation - 7th International Workshop, SAMOS 2007, Proceedings. p. 34-45 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4599 LNCS).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    11 Citations (Scopus)
  • 2005

    An overview of systemCdouble-struck F signdouble-struck L sign

    Man, K. L., 2005, 2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference. p. 119-122 4 p. 1543024. (2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference; vol. I).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • Formal communication semantics of SystemCdouble-struck F sign double-struck L sign

    Man, K. L., 2005, Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. p. 338-345 8 p. 1559823. (Proceedings - DSD'2005: 8th Euromicro Conference on Digital System Design - Architectures, Methods and Tools; vol. 2005).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    3 Citations (Scopus)

  • SystemCdouble struck F sign double struck L sign: A formalism for hardware/software co-design

    Man, K. L., 2005, Proceedings of the 2005 European Conference on Circuit Theory and Design. p. 193-196 4 p. 1522943. (Proceedings of the 2005 European Conference on Circuit Theory and Design; vol. 1).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    4 Citations (Scopus)