No photo of Marco Jan Gerrit Bekooij

Marco Jan Gerrit Bekooij

prof.dr.ir.

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

Research Output 2006 2019

2019
24 Downloads (Pure)

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
Hybrid Automata
Reachability Analysis
Clocks
Pipe Flow
Pipe flow
2018
117 Downloads (Pure)

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

Kurtin, P-S., 9 Nov 2018, Enschede: University of Twente. 302 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Real time systems
Jitter
Scheduling
Substitution reactions
Simulators
63 Downloads (Pure)

Analysis and optimization techniques for real-time streaming image processing software on general purpose systems

Westmijze, M., 29 Jun 2018, Enschede: University of Twente. 107 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Image processing
Medical image processing
Bandwidth
Processing
Scheduling
1 Citation (Scopus)
39 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
Model checking
Model Checking
Stability Analysis
Workload Characterization
Control System
2017
3 Citations (Scopus)
1 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

Real time systems
Jitter
Specifications
50 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
Real time systems
Jitter
Specifications
1 Citation (Scopus)
2 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 conferencePaperAcademicpeer-review

Data flow analysis
Model checking
Wireless local area networks (WLAN)
Transceivers
Scheduling
2 Citations (Scopus)
66 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
1 Citation (Scopus)
31 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
Critical State
Jitter
Particle Filter
State Estimation
State estimation
2016
11 Downloads (Pure)

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
6 Citations (Scopus)

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

12 Citations (Scopus)
40 Downloads (Pure)

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
1 Citation (Scopus)
18 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)

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

2 Citations (Scopus)
30 Downloads (Pure)

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
39 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
2015
66 Downloads (Pure)

Abstractions for aperiodic multiprocessor scheduling of real-time stream processing applications

Hausmans, J. P. H. M., 24 Apr 2015, Enschede: Universiteit Twente. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
6 Citations (Scopus)
41 Downloads (Pure)

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
115 Downloads (Pure)

Low-Cost Heterogeneous Embedded Multiprocessor Architecture for Real-Time Stream Processing Applications

Dekens, B. H. J., 16 Oct 2015, Enschede: University of Twente. 152 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
1 Citation (Scopus)
49 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
40 Downloads (Pure)

Specification and Compilation of Real-Time Stream Processing Applications

Geuns, S. J., 28 May 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 170 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
1 Citation (Scopus)
18 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
Data flow analysis
Throughput
Processing
Wireless local area networks (WLAN)
Decoding
2014
5 Citations (Scopus)
22 Downloads (Pure)

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

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

Medical image processing
X rays
49 Downloads (Pure)

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
Computer programming languages
Processing
Specifications
Throughput
Parallel programming
2 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

29 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
150 Downloads (Pure)

Programming models for many-core architectures: a co-design approach

Rutgers, J. H., 14 May 2014, Enschede: Universiteit Twente. 175 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
6 Citations (Scopus)
4 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

Jitter
Topology
Processing
5 Citations (Scopus)
14 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
Processing
Orthogonal frequency division multiplexing
Transmitters
Synchronization
Throughput
3 Citations (Scopus)
30 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
2013
6 Citations (Scopus)
38 Downloads (Pure)

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
16 Citations (Scopus)
55 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
12 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
8 Citations (Scopus)
2 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

1 Citation (Scopus)
49 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
3 Citations (Scopus)

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

7 Citations (Scopus)
551 Downloads (Pure)

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
2012
64 Downloads (Pure)

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
3 Citations (Scopus)
64 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
10 Citations (Scopus)

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

6 Citations (Scopus)
36 Downloads (Pure)

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
8 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

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
58 Downloads (Pure)

Automatic parallelization of nested loop programs for non-manifest real-time stream processing applications

Bijlsma, T., 1 Jul 2011, Enschede, the Netherlands: University of Twente. 156 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

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

2 Citations (Scopus)

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 conferencePaperAcademicpeer-review

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

14 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