• Skip to primary navigation
  • Skip to content
  • Skip to footer
Jeroen Keiren
  • Home
  • Research
  • Publications
  • Teaching
  • Students
  • Service
  • Contact
  • Blog
    Jeroen Keiren

    Jeroen Keiren

    Formal methods researcher at TU/e

    • Netherlands
    • Website
    • Email
    • Mastodon

    Liveness Analysis for PBES accepted for ATVA

    July 1, 2014 less than 1 minute read

    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.

    Updated: July 1, 2014

    Twitter Facebook LinkedIn
    Previous Next

    You May Also Enjoy

    On Games and Simulations

    February 23, 2017 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

    September 12, 2016 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

    August 6, 2015 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

    June 22, 2015 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.

    • Feed
    © 2025 Jeroen Keiren. Powered by Jekyll & Minimal Mistakes.