| 2022 | DSD | Energy-Efficient Radix-4 Belief Propagation Polar Code Decoding Using an Efficient Sign-Magnitude Adder and Clock Gating. | Oguz Meteer, Arvid B. Van Den Brink, Marco Jan Gerrit Bekooij |
| 2022 | ICASSP | Deep-MLE: Fusion between a Neural Network and MLE for A Single Snapshot DOA Estimation. | Marcio L. Lima de Oliveira, Marco Jan Gerrit Bekooij |
| 2019 | SCOPES | Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics. | Viktorio S. el Hakim, Marco Jan Gerrit Bekooij |
| 2018 | DSD | Stability Verification of Self-Timed Control Systems Using Model-Checking. | Viktorio Semir el Hakim, Marco Jan Gerrit Bekooij |
| 2017 | DATE | Latency analysis of homogeneous synchronous dataflow graphs using timed automata. | Guus Kuiper, Marco Jan Gerrit Bekooij |
| 2017 | SCOPES | Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis. | Guus Kuiper, Philip S. Kurtin, Marco Jan Gerrit Bekooij |
| 2016 | EMSOFT | A refinement theory for timed-dataflow analysis with support for reordering. | Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij |
| 2016 | RTAS | Combining Offsets with Precedence Constraints to Improve Temporal Analysis of Cyclic Real-Time Streaming Applications. | Philip S. Kurtin, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij |
| 2016 | SCOPES | CSDFa: A Model for Exploiting the Trade-Off between Data and Pipeline Parallelism. | Peter Koek, Stefan J. Geuns, Joost P. H. M. Hausmans, Henk Corporaal, Marco Jan Gerrit Bekooij |
| 2016 | SCOPES | Compositional Temporal Analysis Method for Fixed Priority Pre-emptive Scheduled Modal Stream Processing Applications. | Guus Kuiper, Stefan J. Geuns, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij |
| 2016 | SCOPES | HAPI: An Event-Driven Simulator for Real-Time Multiprocessor Systems. | Philip S. Kurtin, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij |
| 2015 | ISORC | Buffer Sizing to Reduce Interference and Increase Throughput of Real-Time Stream Processing Applications. | Philip S. Wilmanns, Stefan J. Geuns, Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij |
| 2014 | DSD | Accuracy Improvement of Dataflow Analysis for Cyclic Stream Processing Applications Scheduled by Static Priority Preemptive Schedulers. | Philip S. Wilmanns, Joost P. H. M. Hausmans, Stefan J. Geuns, Marco Jan Gerrit Bekooij |
| 2014 | MEMOCODE | Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizing. | Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Jan Gerrit Bekooij |
| 2014 | PPoPP | Programming a Multicore Architecture without Coherency and Atomic Operations. | Jochem H. Rutgers, Marco Jan Gerrit Bekooij, Gerard J. M. Smit |
| 2013 | RTAS | Two parameter workload characterization for improved dataflow analysis accuracy. | Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Jan Gerrit Bekooij |
| 2012 | DSD | Evaluation of a Connectionless NoC for a Real-Time Distributed Shared Memory Many-Core System. | Jochem H. Rutgers, Marco Jan Gerrit Bekooij, Gerard J. M. Smit |
| 2011 | DATE | Parallelization of while loops in nested loop programs for shared-memory multiprocessor systems. | Stefan J. Geuns, Marco Jan Gerrit Bekooij, Tjerk Bijlsma, Henk Corporaal |
| 2011 | DATE | Resynchronization of Cyclo-Static Dataflow graphs. | Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij, Henk Corporaal |