Marco Jan Gerrit Bekooij

prof.dr.ir.

20062020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Marco Jan Gerrit Bekooij is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Conflict-Free Vectorized In-order In-place Radix-r Belief Propagation Polar Code Decoder Algorithm

van den Brink, A. B. & Bekooij, M. J. G., 15 Apr 2020, ICCBN '20: Proceedings of the 2020 8th International Conference on Communications and Broadband Networking. p. 18-23 6 p. (International Conference Proceedings Series).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics

    El Hakim, V. S. & Bekooij, M. J. G., 27 May 2019, SCOPES '19 Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems. Stuijk, S. (ed.). ACM Inc., p. 27-36 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 1 Citation (Scopus)
    77 Downloads (Pure)

    Stability Verification of Self-Timed Control Systems using Model-Checking

    El Hakim, V. S. & Bekooij, M. J. G., 2018, 2018 21st Euromicro Conference on Digital System Design (DSD) . IEEE, p. 312-319 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2 Citations (Scopus)
    64 Downloads (Pure)

    An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems

    Kurtin, P. S. & Bekooij, M. J. G., 1 Sep 2017, In : ACM transactions on embedded computing systems. 16, 5s, p. 173:1-173:20 20 p., 173.

    Research output: Contribution to journalArticleAcademicpeer-review

  • 4 Citations (Scopus)
    1 Downloads (Pure)

    An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems (Extended Version)

    Kurtin, P. S. & Bekooij, M. J. G., 24 Oct 2017, Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT). 43 p. (CTIT Technical Report Series; no. TR-CTIT-17-06)

    Research output: Book/ReportReportAcademic

    Open Access
    File
  • 54 Downloads (Pure)