G. Kuiper MSc (Guus)


Data Flow Analysis
Wireless Local Area Networks (Wlan)
Model Checking
Timed Automata
Data Flow


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. 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
Kuiper, G., Geuns, S. J., & Bekooij, M. J. G. (2015). Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications. In Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015) (pp. -). New York: ACM. DOI: 10.1145/2764967.2764970

UT Research Information System

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands