print · source · login   

News

  • Marielle Stoelinga is PC co-chair of 24th International Conference on Fundamental Approaches to Software Engineering (FASE 2021).
  • Abhisek Midya and Frits Vaandrager coauthor the paper A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages, which has been accepted for publication at ICTAC 2020.
  • Starting September 1, Robbert Krebbers joined our group as assistant professor, and Jules Jacobs and Thom Badings joined as PhD students. Welcome!
  • The Erasmus+ project Sustrainable - Promoting Sustainability as a Fundamental Driver in Software Development Training and Education, 2020-1-PT01-KA203-078646, in which the SWS group participates (Pieter Koopman) got funded.
  • Comma interfaces open the door to reliable high-tech systems, news article in Bits&Chips on the industrial impact of Jozef Hooman's work
  • Bharat Garhewal and Frits Vaandrager coauthor the paper Grey-Box Learning of Register Automata, which has been accepted for publication at iFM 2020.
  • Starting August 1, Marnix Suilen has joined our group as PhD student on the NWO project Provably Correct Policies for Uncertain Partially Observable Markov Decision Processes. Welcome Marnix!
  • Nils Jansen coauthors the papers Synthesis of Provably Correct Autonomy Protocols for Shared Control which has been accepted for publication at IEEE Transactions of Automatic Control, the paper Safe Reinforcement Learning using Probabilistic Shields which has been accepted as a invited paper at CONCUR 2020, and the paper Shield Synthesis for Reinforcement Learning which has been accepted at ISoLA 2020.
  • Daniel Strüber coauthors the paper Variability Representations in Class Models: An Empirical Assessment which has been accepted for publication at MODELS 2020.
  • Daniel Strüber coauthors the paper Feature-Oriented Defect Prediction which has been accepted for publication at SPLC 2020.
  • The ICGT 2020 paper coauthored by Daniel Strüber was awarded with the EASST best paper award.
  • Dennis Gross and Nils Jansen coauthor the paper Robustness Verification for Classifier Ensembles which has been accepted for publication at ATVA 2020.
  • Jana Wagemaker and Jurriaan Rot coauthor the paper Partially Observable Concurrent Kleene Algebra which has been accepted for publication at CONCUR 2020.
  • Jurriaan Rot coauthors the paper Preservation of Equations by Monoidal Monads which has been accepted for publication at MFCS 2020.
  • Daniel Strüber coauthors the paper Robotics Software Engineering: A Perspective from the Service Robotics Domain which has been accepted for publication at ESEC/FSE 2020.
  • Daniel Strüber coauthors the paper Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations which has been accepted for publication at ICGT 2020.
  • Starting on May 1, Ike Mulder has joined our group as PhD student of Herman Geuvers. Welcome Ike!
  • Nils Jansen and Frits Vaandrager received a grant, together with Gethin Norman from Glasgow University, from the Radboud-Glasgow Collaboration Fund, entitled Safe Planning with Artificial Intelligence, April 2020.
  • Nils Jansen coauthors the papers Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization and Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints which have been accepted for publication at IJCAI 2020.
  • The paper Constructing Finitary 1-Truncated Higher Inductive Types as Groupoid Quotients by Niels van de Weide has been accepted for LICS 2020.
  • Nils Jansen will give an invited talk at the NFM-AI-SAFETY workshop. The meeting will be virtual this year.
  • Nils Jansen coauthors the paper Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions which has been accepted for publication in the journal IEEE Transactions of Automatic Control.
  • 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.
  • 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.

2019

2018