print · source · login   

News

  • Nils Jansen coauthors the paper Formalizing and Guaranteeing* Human-Robot Interaction which has been accepted for publication at Communications of the ACM.
  • Robbert Krebbers has been awarded a 40.000 USD grant from Google. He will work together with Google (Android Security and Privacy Research), MPI-SWS, Cambridge University, and Seoul National University on the verification of the PKVM hypervisor.
  • The paper Paradoxes of Probabilistic Programming by Jules Jacobs has been accepted for POPL 2021.
  • Cynthia Kop received a Vidi grant!!
  • Nils Jansen became a member of ELLIS (European Lab for Learning and Intelligent Systems) and Radboud's ELLIS unit.
  • Nils Jansen coauthors the paper Control Theory Meets POMDPs: A Hybrid Systems Approach which has been accepted for publication at IEEE Transactions on Automatic Control.
  • On December 8, at 15.30, Niels van der Weide will defend his PhD thesis Constructing Higher Inductive Types.
  • Daniel Strüber received a best reviewer award at SPLC 2020.
  • On October 8, at 13.30, Petra van den Bos successfully defended her PhD thesis Coverage and Games in Model-Based Testing.
  • On October 8, at 12.30, former SWS colleague Ilona Wilmont will defend her PhD thesis Eén klein detail kan een groot geheel ontwrichten… maar zie jij ook hoe?.
  • On October 1, Liye Guo and Christoph Schmidl joined our group as PhD students. Welcome!
  • Dennis Gross and Nils Jansen work together with TNO on applying adversarial machine learning to create patches for objects such as planes. These patches conceal the planes from machine learning object recognition tools. The paper is available on arxiv and published in SPIE Security + Defence. The work is featured in the media, see NRC, NewScientist, digitaltrends, yahoo!finance, nrc.nl, and the IMPORT AI blog.
  • Marcos Bueno, Arjen Hommersom and Peter Lucas had their paper Temporal Exceptional Model Mining using Dynamic Bayesian Networks accepted and presented at the AALTD workshop @ ECML/PKDD 2020.
  • Markus Klinik, Bernard van Gastel, Cynthia Kop, and Marko van Eekelen coauthor the paper "Skylines for Symbolic Energy Consumption Analysis", which has been presented at FMICS 2020.
  • Peter Achten is PC chair of TFPIE'2021, a workshop dedicated to the educational aspects of functional programming.
  • Marielle Stoelinga is PC co-chair of 24th International Conference on Fundamental Approaches to Software Engineering (FASE 2021).
  • Abhisek Midya's and Frits Vaandrager's paper A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages 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 paper Synthesis of Provably Correct Autonomy Protocols for Shared Control which has been accepted for publication at IEEE Transactions on Automatic Control, the paper Safe Reinforcement Learning using Probabilistic Shields which has been accepted as an 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 Robbert Krebbers and 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 on 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.
  • Nils Jansen (iCIS, project leader), Jeroen Jansen (IMM), and Jan Driessen (Nexperia) received a Green IT voucher grant 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.
  • The paper Complexity of Automatic Sequences by Hans Zantema has been awarded the best paper award at LATA 2020.

2019

2018