print · source · login   


  • On April 1, Bisimulation as a Service (BaaS), an online service for bisimulation checking went online. BaaS, a start-up of Jurriaan Rot and Joshua Moerman, brings the latest scientific insights to industrial use, and thereby revolutionalises the world of equivalence checking.
  • The PhD thesis of Petra van den Bos, Coverage and Games in Model-Based Testing, has been approved by the manuscript committee on March 27 and will be defended after the summer when - hopefully - it is possible again to organize (physical) defence meetings.
  • Nils Jansen (iCIS, project leader), Jeroen Jansen (IMM), and Jan Driessen (Nexperia) received a Green IT voucher from Radboud University's Faculty of Science for their project GRIMES: Green Production via Model-based Reasoning.
  • Nils Jansen received a grant within NWO Open Competition call for the research proposal Provably Correct Policies for Uncertain Partially Observable Markov Decision Processes.
  • Starting on March 1, Daniel Strüber has joined our group as assistant professor. Welcome Daniel!
  • Starting on March 1, Zaharah Bukhsh has joined our group as postdoc in the NWO PrimaVera project. Welcome Zaharah!
  • Jurriaan Rot has been nominated for the Faculty of Science teaching award 2019.
  • Marielle Stoelinga is PC co-chair of FASE 2021.
  • Nils Jansen will serve on the program committees of IJCAI-PRICAI 2020, ICML 2020, NeurIPS 2020, SETTA 2020, QAVS 2020, and FASE 2021.
  • Nils Jansen is PC co-chair of the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), September 1-3, 2020, Vienna, Austria
  • Jurriaan Rot is PC co-chair of the 15th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'20) in Dublin, 25-26 April 2020.
  • Jurriaan Rot is PC co-chair of the EXPRESS/SOS'20 workshop in Vienna, 31 August 2020.
  • Thomas Nägele has successfully defended his PhD thesis CoHLA: Rapid Co-simulation Constructionon January 31, 2020, in the Aula of Radboud University, Nijmegen.
  • Jurriaan Rot coauthors the paper Learning Weighted Automata over Principal Ideal Domains, which has been accepted for publication at FoSSaCS 2020.
  • Nils Jansen coauthors the paper Scenario-Based Verification of Uncertain MDPs, which has been accepted for publication at TACAS 2020.