https://www.jeroenkeiren.nl/2013/10/08/phd-dissertation.html 2013-10-08T00:00:00+02:00 https://www.jeroenkeiren.nl/2013/10/09/interview-in-nwt-magazine.html 2013-10-09T00:00:00+02:00 https://www.jeroenkeiren.nl/2013/10/09/more-on-verifying-CERNs-LHC.html 2013-10-09T00:00:00+02:00 https://www.jeroenkeiren.nl/2013/10/09/phd-dissertation-in-cursor.html 2013-10-09T00:00:00+02:00 https://www.jeroenkeiren.nl/2014/01/06/feliennes-open-letter-to-nwo.html 2014-01-06T00:00:00+01:00 https://www.jeroenkeiren.nl/2014/01/06/more-supersoftware.html 2014-01-06T00:00:00+01:00 https://www.jeroenkeiren.nl/2014/07/01/liveness-analysis-for-pbes-accepted-for-atva14.html 2014-07-01T00:00:00+02:00 https://www.jeroenkeiren.nl/2014/11/04/liveness-analysis-for-parameterised-boolean-equation-systems-atva14.html 2014-11-04T00:00:00+01:00 https://www.jeroenkeiren.nl/2014/11/14/university-teaching-qualification.html 2014-11-14T00:00:00+01:00 https://www.jeroenkeiren.nl/2015/01/24/moving-on.html 2015-01-24T00:00:00+01:00 https://www.jeroenkeiren.nl/2015/04/17/paper-benchmarking-parity-games.html 2015-04-17T00:00:00+02:00 https://www.jeroenkeiren.nl/2015/04/28/ttcs-2015-deadline-approaching.html 2015-04-28T00:00:00+02:00 https://www.jeroenkeiren.nl/2015/05/12/looking-back-at-fsen-2015.html 2015-05-12T00:00:00+02:00 https://www.jeroenkeiren.nl/2015/05/27/wsfmbeat-2015-deadline-approaching.html 2015-05-27T00:00:00+02:00 https://www.jeroenkeiren.nl/2015/06/22/wsfmbeat-2015-deadline-extension.html 2015-06-22T00:00:00+02:00 https://www.jeroenkeiren.nl/2015/08/06/recording-a-mooc-on-system-validation-some-experiences.html 2015-08-06T00:00:00+02:00 https://www.jeroenkeiren.nl/2016/09/12/a-mooc-on-system-validation-is-born.html 2016-09-12T00:00:00+02:00 https://www.jeroenkeiren.nl/2017/02/23/on-games-and-simulations.html 2017-02-23T00:00:00+01:00 https://www.jeroenkeiren.nl/students/cif-interpreter-in-mcrl2 https://www.jeroenkeiren.nl/students/communication-models-in-mcrl2 https://www.jeroenkeiren.nl/contact/ https://www.jeroenkeiren.nl/students/formalizing-structured-text-in-mcrl2-data-types https://www.jeroenkeiren.nl/ https://www.jeroenkeiren.nl/blog/ https://www.jeroenkeiren.nl/students/modeling-distributed-algorithms-in-mcrl2 https://www.jeroenkeiren.nl/publications/ https://www.jeroenkeiren.nl/students/proving-correctness-and-worst-case-time-complexity-of-bisimulation-algorithms https://www.jeroenkeiren.nl/research/ https://www.jeroenkeiren.nl/service/ https://www.jeroenkeiren.nl/students/specifying-verifiable-low-code-models https://www.jeroenkeiren.nl/students/ https://www.jeroenkeiren.nl/teaching/ https://www.jeroenkeiren.nl/students/variable-ordering-for-symbolic-reachability-in-mcrl2 https://www.jeroenkeiren.nl/blog/page2/ https://www.jeroenkeiren.nl/blog/page3/ https://www.jeroenkeiren.nl/blog/page4/ https://www.jeroenkeiren.nl/assets/publications/CGK+2013.pdf 2020-10-09T16:41:10+02:00 https://www.jeroenkeiren.nl/assets/publications/CKW2018.pdf 2020-10-09T08:57:35+02:00 https://www.jeroenkeiren.nl/assets/publications/FKS2020.pdf 2020-10-09T08:59:08+02:00 https://www.jeroenkeiren.nl/assets/publications/GKM+2008.pdf 2020-10-09T16:45:44+02:00 https://www.jeroenkeiren.nl/assets/publications/GKSWW2010.pdf 2020-10-09T16:44:20+02:00 https://www.jeroenkeiren.nl/assets/publications/HKKLW2013.pdf 2020-10-09T14:54:14+02:00 https://www.jeroenkeiren.nl/assets/publications/KRW2012.pdf 2020-10-09T14:59:12+02:00 https://www.jeroenkeiren.nl/assets/publications/KWW2014.pdf 2020-10-09T16:40:48+02:00 https://www.jeroenkeiren.nl/assets/publications/KWW2014.slides.pdf 2020-10-12T13:42:54+02:00 https://www.jeroenkeiren.nl/assets/publications/Kei2009.pdf 2020-10-09T16:49:08+02:00 https://www.jeroenkeiren.nl/assets/publications/Kei2013.pdf 2020-10-08T17:02:18+02:00 https://www.jeroenkeiren.nl/assets/publications/Kei2015.pdf 2020-10-09T16:33:38+02:00 https://www.jeroenkeiren.nl/assets/publications/Kei2015.slides.pdf 2015-04-24T06:44:48+02:00 https://www.jeroenkeiren.nl/assets/publications/KvWW2009.pdf 2020-10-09T16:45:25+02:00 https://www.jeroenkeiren.nl/assets/publications/WvdWK2010.pdf 2020-10-09T16:44:46+02:00 https://www.jeroenkeiren.nl/assets/publications/dFKW2017.pdf 2020-10-09T14:51:42+02:00 https://www.jeroenkeiren.nl/teaching/2IX20/VBoxHelpPage/ 2019-09-10T12:24:28+02:00 https://www.jeroenkeiren.nl/teaching/2IX20/VBoxWebPage/ 2019-09-10T12:24:28+02:00