Liveness Analysis for PBES accepted for ATVA
We got word that our paper Liveness Analysis for Parameterised Boolean Equation Systems has been accepted for ATVA 2014! I will write up a blog post on the technique soon.
You May Also Enjoy
On Games and Simulations
9 minute read
This is a guest blog by Hans-Dieter Hiep, a student from Vrije Universiteit Amsterdam who worked with me to build a GUI for our work on game-based (bi)simula...
A MOOC on system validation is born
less than 1 minute read
Exciting news! Today the MOOC on system validation that I have developed with Mohammad Reza Mousavi from Halmstad University has started. The MOOC is based o...
Recording a MOOC on System Validation: Some Experiences
3 minute read
Recently I visited Halmstad University Together with Mohammad Mousavi, we recorded a MOOC (Massive Open Online Course) on the subject of system validation. T...
WSFM/BEAT 2015 Deadline Extension
less than 1 minute read
This is just a quick note about WSFM/BEAT 2015. The submission deadlines have been extended by a couple of days, so you can still submit.