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
Formal methods Engineering & Materials Science

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

Profiles

No photo of A. Adil
20122017
No photo of Mehmet Akşit

Mehmet Akşit

Person: Academic

19882018
Photo of Yeray Barrios

Yeray Barrios

Person: Academic

20152018

Research Output 1988 2018

A Broader View on Verification: From Static to Runtime and Back (Track Summary)

Ahrendt, W., Huisman, M., Reger, G. & Rozier, K. Y., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; no. 11245).

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

Costs

A Formalization of the LLL Basis Reduction Algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 4 Jul 2018, Interactive Theorem Proving: 9th International Conference, ITP 2018. Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018. Proceedings. Avigad, J. & Mahboubi, A. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science; vol. 10895).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Formalization
LLL Algorithm
Computer Algebra
Number theory
Soundness
2 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 contributionAcademicpeer-review

Open Access
File
Scheduler
Automata
Trade-offs
Nondeterminism
Reachability

Prizes

Beste paper award

Maurice van Keulen (Recipient), Benjamin Kaminski (Recipient), Christoph Matheja (Recipient) & Joost P. Katoen (Recipient), 4 Oct 2018

Prize

Uncertainty

Best Paper Award SPIN 2017

Wytse Hendrikus Marinus Oortwijn (Recipient), Tom van Dijk (Recipient) & Jan Cornelis van de Pol (Recipient), 14 Jul 2017

Prize: Honorary award

trucks
diagrams

Best Student Paper Award

Vincent Bloemen (Recipient), Sebastiaan van Zelst (Recipient), Wil van der Aalst (Recipient), Boudewijn van Dongen (Recipient) & Jan Cornelis van de Pol (Recipient), 2018

Prize

Students

Activities 1998 2017

Parallel Algorithms for Model Checking

Jaco van de Pol (Speaker)
12 Sep 2017

Activity: Talk or presentationInvited talk

Design and implementation of digital communication systems for victim-offender mediation

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker), Ellen Giebels (Speaker)
31 Aug 2016

Activity: Talk or presentationOral presentation

Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker), Ellen Giebels (Speaker)
16 Dec 2016

Activity: Talk or presentationInvited talk