Title | |
12/10/18 | Best Paper at FACS! |
04/09/18 | ERTMS-HL3 study receives Best Paper award |
01/09/18 | VOICE-B |
17/08/18 | Yay: Excellent Course Evaluation! |
17/08/18 | Using Quotienting to solve PBESs |
17/08/18 | BDD-based Parity Game Solving |
23/05/18 | Here come counterexamples! |
11/04/18 | Paper on Attribute-Based Access Control |
20/09/17 | Best paper at FMICS/AVoCS |
Copyright © 2018 Tim A.C. Willemse | based on a design by alec gorge