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.

Research Output

2020

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

2019

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)
2018

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)
2017

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)

Hybrid Latency Minimization Approach Using Model Checking and Dataflow Analysis

Kuiper, G., Kurtin, P. S. & Bekooij, M. J. G., Jun 2017, p. 41-50.

Research output: Contribution to conferencePaper

1 Citation (Scopus)
2 Downloads (Pure)

Latency analysis of homogeneous synchronous dataflow graphs using timed automata

Kuiper, G. & Bekooij, M. J. G., Mar 2017, Proceedings of the 2017 Design, Automation & Test in Europe (DATE): 27–31 March 2017, Swisstech, Lausanne, Switzerland. IEEE, p. 902-905

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

Open Access
File
2 Citations (Scopus)
117 Downloads (Pure)

Sampling Jitter mitigation in latency-critical state-estimation applications using particle filters

El Hakim, V. S. & Bekooij, M. J. G., 3 Apr 2017, 2017 SICE International Symposium on Control Systems. IEEE, 8 p.

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

Open Access
File
1 Citation (Scopus)
46 Downloads (Pure)
2016

Appendix to Temporal analysis of static priority preemptive scheduled cyclic streaming applications using CSDF models

Kurtin, P. S. & Bekooij, M. J. G., 2 Sep 2016, Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-16-10)

Research output: Book/ReportReportProfessional

Open Access
File
17 Downloads (Pure)

A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering

Hausmans, J. P. H. M. & Bekooij, M. J. G., 12 Oct 2016, Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016. Association for Computing Machinery (ACM), p. - 10 p.

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

6 Citations (Scopus)

Combining offsets with precedence constraints to improve temporal analysis of cyclic real-time streaming applications

Kurtin, P. S., Hausmans, J. P. H. M. & Bekooij, M. J. G., 14 Apr 2016, IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016. USA: IEEE Computer Society, p. 1-12 12 p.

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

File
12 Citations (Scopus)
46 Downloads (Pure)

Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications

Kuiper, G., Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 24 May 2016, 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016). New York: Association for Computing Machinery (ACM), p. 98-107 10 p.

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

File
1 Citation (Scopus)
24 Downloads (Pure)

CSDFa: a model for exploiting the trade-off between data and pipeline parallelism

Koek, P., Geuns, S. J., Hausmans, J. P. H. M., Corporaal, H. & Bekooij, M. J. G., 12 Jun 2016, Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems. New York: Association for Computing Machinery (ACM), p. 30-39 10 p.

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

1 Citation (Scopus)

HAPI: An event-driven simulator for real-time multiprocessor systems

Kurtin, P. S., Hausmans, J. P. H. M. & Bekooij, M. J. G., 23 May 2016, 2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES). New York: Association for Computing Machinery (ACM), p. 60-66 7 p.

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

File
2 Citations (Scopus)
43 Downloads (Pure)

Temporal analysis of static priority preemptive scheduled cyclic streaming applications using CSDF models

Kurtin, P. S. & Bekooij, M. J. G., 7 Oct 2016, 2016 ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia). New York: Association for Computing Machinery (ACM), p. 94-103 10 p.

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

Open Access
File
57 Downloads (Pure)
2015

Buffer sizing to reduce interference and increase throughput of real-time stream processing applications

Kurtin, P. S., Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 13 Apr 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015. USA: IEEE Computer Society, p. 9-18 10 p.

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

File
6 Citations (Scopus)
48 Downloads (Pure)

Real-time multiprocessor architecture for sharing stream processing accelerators

Dekens, B. H. J., Bekooij, M. J. G. & Smit, G. J. M., 25 May 2015, 22nd Reconfigurable Architectures Workshop (RAW 2015). USA: IEEE Computer Society, p. 81-89 9 p.

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

File
1 Citation (Scopus)
66 Downloads (Pure)

Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications

Kuiper, G., Geuns, S. J. & Bekooij, M. J. G., 2015, Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015). New York: Association for Computing Machinery (ACM), p. - 10 p.

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

File
1 Citation (Scopus)
24 Downloads (Pure)
2014

Accuracy improvement of dataflow analysis for cyclic stream processing applications scheduled by static priority preemptive schedulers

Kurtin, P. S., Hausmans, J. P. H. M., Geuns, S. J. & Bekooij, M. J. G., 29 Aug 2014, Euromicro Conference on Digital System Design, DSD 2014. USA: IEEE Computer Society, p. 623-630 8 p.

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

File
5 Citations (Scopus)
31 Downloads (Pure)

Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems

Westmijze, M., Bekooij, M. J. G. & Smit, G. J. M., Jul 2014, International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). USA: IEEE Computer Society, p. 290 -298 9 p.

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

Hierarchical programming language for modal multi-rate real-time stream processing applications

Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 12 Sep 2014, Proceedings of the 43rd International Conference on Parallel Processing Workshops (ICPPW 2014). USA: IEEE Computer Society, p. 453-460 8 p. (International Conference on Parallel Processing Workshops).

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

File
69 Downloads (Pure)

Low-cost Guaranteed-Throughput dual-ring communication infrastructure for heterogeneous MPSoCs

Dekens, B. H. J., Kurtin, P. S., Smit, G. J. M. & Bekooij, M. J. G., 8 Oct 2014, 2014 Conference on Design and Architectures for Signal and Image Processing (DASIP). France: ECSI Media, p. 157-164 8 p.

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

2 Downloads (Pure)

Programming a multicore architecture without coherency and atomic operations

Rutgers, J. H., Bekooij, M. J. G. & Smit, G. J. M., 15 Feb 2014, Proceedings of the International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM 2014). New York: Association for Computing Machinery (ACM), p. 29-38 10 p.

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

File
37 Downloads (Pure)

Temporal analysis flow based on an enabling rate characterization for multi-rate applications executed on MPSoCs with non-starvation-free schedulers

Hausmans, J. P. H. M., Geuns, S. J., Wiggers, M. H. & Bekooij, M. J. G., 11 Jun 2014, Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2014. New York: Association for Computing Machinery (ACM), p. 108-117 10 p.

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

6 Citations (Scopus)
4 Downloads (Pure)

Temporal analysis model extraction for optimizing modal multi-rate stream processing applications

Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 10 Jun 2014, Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014). New York: Association for Computing Machinery (ACM), p. 21-39 10 p.

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

File
5 Citations (Scopus)
21 Downloads (Pure)

Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizing

Hausmans, J. P. H. M., Geuns, S. J., Wiggers, M. H. & Bekooij, M. J. G., 19 Oct 2014, Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014. Washington, DC, USA: IEEE Computer Society, p. 12-21 10 p.

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

File
3 Citations (Scopus)
41 Downloads (Pure)
2013

Automatic dataflow model extraction from modal real-time stream processing applications

Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 21 Jun 2013, Proceedings of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems. New York: Association for Computing Machinery (ACM), p. 143-152 10 p.

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

File
5 Citations (Scopus)
47 Downloads (Pure)

Dataflow Analysis for Multiprocessor Systems with Non-Starvation-Free Schedulers

Hausmans, J. P. H. M., Geuns, S. J., Wiggers, M. H. & Bekooij, M. J. G., 19 Jun 2013, Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems. New York: Association for Computing Machinery (ACM), p. 13-22 10 p.

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

File
17 Citations (Scopus)
89 Downloads (Pure)

Interference control by best-effort process duty-cycling in chip multi-processor systems for real-time medical image processing

Westmijze, M., Bekooij, M. J. G. & Smit, G. J. M., 24 Mar 2013, The Fifth International Conference on Resource Intensive Applications and Services, INTENSIVE 2013. Canada: IARIA, p. - 7 p.

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

File
15 Downloads (Pure)

Low-cost guaranteed-throughput communication ring for real-time streaming MPSoCs

Dekens, B. H. J., Kurtin, P. S., Bekooij, M. J. G. & Smit, G. J. M., 8 Oct 2013, Proceedings of the 2013 Conference on Design and Architectures for Signal and Image Processing (DASIP). Los Alamitos, CA, USA: IEEE, p. 239-246 8 p.

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

8 Citations (Scopus)
2 Downloads (Pure)

Portable memory consistency for software managed distributed memory in many-core SoC

Rutgers, J. H., Bekooij, M. J. G. & Smit, G. J. M., 21 May 2013, Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2013) - 20th Reconfigurable Architectures Workshop (RAW 2013). USA: IEEE Computer Society, p. 212-221 10 p.

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

File
1 Citation (Scopus)
68 Downloads (Pure)

Sequential specification of time-aware stream processing applications

Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., Mar 2013, In : ACM transactions on embedded computing systems. 12, S1, p. 35 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)

Two Parameter Workload Characterization for Improved Dataflow Analysis Accuracy

Hausmans, J. P. H. M., Geuns, S. J., Wiggers, M. H. & Bekooij, M. J. G., 10 Apr 2013, Proceedings of the 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS). Washington, DC, USA: IEEE Computer Society, p. 117-126 10 p.

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

File
8 Citations (Scopus)
685 Downloads (Pure)
2012

Analytical approaches for performance evaluation of networks-on-chip

Kiasari, A. E., Jantsch, A., Bekooij, M. J. G., Burns, A. & Lu, Z., 7 Oct 2012, Proceedings of the 2012 International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2012. New York: Association for Computing Machinery (ACM), p. 211-212 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
83 Downloads (Pure)

An Efficient Asymmetric Distributed Lock for Embedded Multiprocessor Systems

Rutgers, J. H., Bekooij, M. J. G. & Smit, G. J. M., 16 Jul 2012, Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS 2012). USA: IEEE Circuits & Systems Society, p. 176-182 7 p.

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

File
3 Citations (Scopus)
102 Downloads (Pure)

Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design

Hausmans, J. P. H. M., Geuns, S. J., Wiggers, M. H. & Bekooij, M. J. G., 9 Oct 2012, Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2012. New York: Association for Computing Machinery (ACM), p. 185-194 10 p. (EMSOFT '12).

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

10 Citations (Scopus)

Evaluation of a Connectionless NoC for a Real-Time Distributed Shared Memory Many-Core System

Rutgers, J. H., Bekooij, M. J. G. & Smit, G. J. M., 5 Sep 2012, Proceedings of the 15th Euromicro Conference on Digital System Design, DSD 2012. USA: IEEE Computer Society, p. 727-730 4 p.

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

File
7 Citations (Scopus)
58 Downloads (Pure)

Real-time embedded computer systemen, ontwerp en analyse

Bekooij, M. J. G., 15 Nov 2012, Enschede: University of Twente. 28 p.

Research output: Book/ReportInaugural speechOther research output

Open Access
File
13 Downloads (Pure)

Sequential Specification of Time-aware Stream Processing Applications (Extended Abstract)

Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 11 Oct 2012, The 10th IEEE Symposium on Embedded Systems for Real-time Multimedia. USA: IEEE Computer Society, p. 56-56 1 p.

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

2011

Circular Buffers with Multiple Overlapping Windows for Cyclic Task Graphs

Bijlsma, T., Bekooij, M. J. G. & Smit, G. J. M., 12 Mar 2011, Transactions on High-Performance Embedded Architectures and Compilers III. Stenstrom, P. (ed.). Berlin: Springer, p. - 18 p. (Lecture Notes in Computer Science; no. 6590).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Circular Buffers with Multiple Overlapping Windows for Cyclic Task Graphs

Bijlsma, T., Bekooij, M. J. G. & Smit, G. J. M., 12 Mar 2011, Transactions on High-Performance Embedded Architectures and Compilers III. Stenström, P. (ed.). Berlin: Springer, 18 p. (Lecture Notes in Computer Science; vol. 6590).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Evaluation of scheduling heuristics for jitter reduction of real-time streaming applications on multi-core general purpose hardware

Westmijze, M., Bekooij, M. J. G., Smit, G. J. M., Schrijver, M. & Schrijver, M., 2011, p. 140-146. 7 p.

Research output: Contribution to conferencePaper

2 Citations (Scopus)

Mapping of Modal Applications given Throughput and Latency Constraints

Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., 20 Jul 2011, International Conference on Embedded Computer Systems, SAMOS 2011. USA: IEEE Computer Society, p. 372-379 8 p.

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

2 Citations (Scopus)

Parallelization of While Loops in Nested Loop Programs for Shared-Memory Multiprocessor Systems

Geuns, S. J., Bekooij, M. J. G., Bijlsma, T. & Corporaal, H., 16 Mar 2011, Design, Automation & Test in Europe Conference & Exhibition, DATE 2011. USA: IEEE Computer Society, p. 1-6 6 p.

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

14 Citations (Scopus)

Resynchronization of Cyclo-Static Dataflow Graphs

Hausmans, J. P. H. M., Bekooij, M. J. G. & Corporaal, H., 17 Mar 2011, Design, Automation & Test in Europe Conference & Exhibition, DATE 2011. USA: IEEE Computer Society, p. 1-6 6 p.

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

3 Citations (Scopus)
2010

Buffer Capacity Computation for Throughput-Constrained Modal Task Graphs

Wiggers, M. H., Bekooij, M. J. G. & Smit, G. J. M., Dec 2010, In : ACM transactions on embedded computing systems. 10, 2, p. 17:1-17:59 59 p., 17.

Research output: Contribution to journalArticleAcademicpeer-review

File
20 Citations (Scopus)
113 Downloads (Pure)

Modeling and Analyzing Real-Time Multiprocessor Systems

Wiggers, M. H., Thiele, L., Lee, E. A., Schlieker, S. & Bekooij, M. J. G., 24 Oct 2010, Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010. New York: Association for Computing Machinery (ACM), p. 329-330 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2 Citations (Scopus)

Monotonicity and Run-Time Scheduling

Wiggers, M. H., Bekooij, M. J. G. & Smit, G. J. M., 11 Feb 2010, Berkeley EECS Annual Research Symposium, BEARS 2010. Berkeley, CA, USA: Center for Hybrid and Embedded Software Systems, Chess, p. - 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
55 Downloads (Pure)

Multiprocessor communication system

Bekooij, M. J. G., 10 Feb 2010, Patent No. WO2010/020948 A1

Research output: Patent

File
14 Downloads (Pure)

Simultaneous Budget and Buffer Size Computation for Throughput-Constrained Task Graphs

Wiggers, M. H., Bekooij, M. J. G., Geilen, M. C. W. & Basten, T., Mar 2010, Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2010). European Design and Automation Association, p. 1669-1672 4 p.

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

File
8 Citations (Scopus)
76 Downloads (Pure)