Welcome...

G. Kuiper MSc (Guus)

Expertise

Data Flow Analysis
Wireless Local Area Networks (Wlan)
Model Checking
Throughput
Processing
Specifications
Transceivers
Switches
Decoding
Scheduling

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
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
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: Association for Computing Machinery. DOI: 10.1145/2764967.2764970

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