Liveness Analysis for Parameterised Boolean Equation Systems
Today I have talked about our paper Liveness Analysis for Parameterised Boolean Equation Systems at ATVA’14 (which is currently being held in Sydney). Let’s ...
Today I have talked about our paper Liveness Analysis for Parameterised Boolean Equation Systems at ATVA’14 (which is currently being held in Sydney). Let’s ...
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 t...
The article that appeared in NWT Magazine in 2012 (see this post has been reprinted as Supersoftware, De Ingenieur, nr. 19, 22 November 2012, p. 24-29.
Check out this Open Letter to NWO in which Felienne points out the absurdity of the grant application deadline for the Innovational Research Incentives Schem...