Welcome...

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

Full Professor

Expertise

Processing
Throughput
Data Flow Analysis
Real Time Systems
Jitter
Specifications
Topology
Jitter
Critical State
Particle Filter
State Estimation
Sampling
Model Checking
Servers
State Estimation
Latency
Wireless Local Area Networks (Wlan)
Computer Programming Languages

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