Welcome...

prof.dr.ir. M.J.G. Bekooij (Marco)

Full Professor

Expertise

Throughput
Computational Complexity
Communication
Scheduling
Data Flow Analysis
Synchronization
Costs
Network-On-Chip

Ancillary Activities

  • NXP
    Onderzoeker

Publications

Recent Articles
Kuiper, G., Kurtin, P. S., & Bekooij, M. J. G. (2017). Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis. 41-50. Paper presented at 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, Sankt Goar, Germany.DOI: 10.1145/3078659.3078665
Kuiper, G., & Bekooij, M. J. G. (2017). Latency analysis of homogeneous synchronous dataflow graphs using timed automata. 902-905. Poster session presented at Design, Automation Test in Europe Conference Exhibition (DATE), 2017, Lausanne, Switzerland.DOI: 10.23919/DATE.2017.7927116
Kurtin, P. S., & Bekooij, M. J. G. (2017). An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems. ACM transactions on embedded computing systems, 16(5s), 173:1-173:20. [173]. DOI: 10.1145/3126507
Kurtin, P. S., & Bekooij, M. J. G. (2017). An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems (Extended Version). (CTIT Technical Report Series; No. TR-CTIT-17-06). Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT).
Kurtin, P. S., Hausmans, J. P. H. M., & Bekooij, M. J. G. (2016). HAPI: An event-driven simulator for real-time multiprocessor systems. In 2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES) (pp. 60-66). New York: ACM. DOI: 10.1145/2906363.2906381
Kurtin, P. S., Hausmans, J. P. H. M., & Bekooij, M. J. G. (2016). Combining offsets with precedence constraints to improve temporal analysis of cyclic real-time streaming applications. In IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 (pp. 1-12). USA: IEEE Computer Society. DOI: 10.1109/RTAS.2016.7461325
Koek, P., Geuns, S. J., Hausmans, J. P. H. M., Corporaal, H., & Bekooij, M. J. G. (2016). CSDFa: a model for exploiting the trade-off between data and pipeline parallelism. In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (pp. 30-39). New York: ACM. DOI: 10.1145/2906363.2906364
Kurtin, P. S., & Bekooij, M. J. G. (2016). Temporal analysis of static priority preemptive scheduled cyclic streaming applications using CSDF models. In 2016 ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia) (pp. 94-103). New York: ACM. DOI: 10.1145/2993452.2993564

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 5031
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  5031
P.O. Box 217
7500 AE Enschede
The Netherlands