Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Semantics Engineering & Materials Science
Testing Engineering & Materials Science
Markov processes Engineering & Materials Science
Algebra Engineering & Materials Science
Specification languages Engineering & Materials Science
Network protocols Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

No photo of Mehmet Akşit

Mehmet Akşit

19882017
No photo of Vincent Bloemen

Vincent Bloemen

20142017
No photo of Hendrik Brinksma

Hendrik Brinksma

19872017

Research Output 1988 2018

1 Citations

A Hierarchy of Scheduler Classes for Stochastic Automata

D'Argenio, P. R., Gerhold, M., Hartmanns, A. & Sedwards, S. 2018 Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Baier, C. & Dal Lago, U. (eds.). Cham: Springer, p. 384-402 19 p. (Lecture Notes in Computer Science; vol. 10803)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Scheduler
Automata
Trade-offs
Nondeterminism
Reachability

An Even Better Approach: Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis

Fehnker, A., Chaudhary, K. & Mehta, V. 2018 NASA Formal Methods: 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17-19, 2018 Proceedings. Dutle, A., Muñoz, C. & Narkawicz, A. (eds.). Cham: Springer International Publishing AG, 15 p. (Lecture Notes in Computer Science; vol. 10811)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wireless networks
Network protocols
Computer simulation
Network routing
Routing protocols

An overview of GPU Computing Research in the Netherlands: Results from the NIRICT GPGPU Reconnaissance workshop

Huisman, M., Varbanescu, A. L., van Werkhoven, B. & Wijs, A. 2018 7 p.

Research output: Contribution to conferencePaper

Open Access
File

Activities 1998 2017

Parallel Algorithms for Model Checking

van de Pol, J. C. (Speaker)
12 Sep 2017

Activity: Invited talk

Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie

Zebel, S. (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
4 Oct 2016

Activity: Oral presentation

Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
16 Dec 2016

Activity: Invited talk