Welcome...

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

Full Professor

Expertise

Throughput
Scheduling
Computational Complexity
Communication
Data Flow Analysis
Real Time Systems
Synchronization
Costs

Ancillary Activities

  • NXP semiconductors
    Onderzoeker

Publications

Recent
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. In Proceedings of the 2017 Design, Automation & Test in Europe (DATE): 27–31 March 2017, Swisstech, Lausanne, Switzerland (pp. 902-905). IEEE. 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: Association for Computing Machinery (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
Kuiper, G., Geuns, S. J., Hausmans, J. P. H. M., & Bekooij, M. J. G. (2016). Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications. In 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016) (pp. 98-107). New York: Association for Computing Machinery (ACM). DOI: 10.1145/2906363.2906375
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: Association for Computing Machinery (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: Association for Computing Machinery (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