print · source · login   

News

  • Starting March 1, Mathijs Schuts has joined our group as part-time lecturer. Mathijs' main job is at Philips Medical Systems, where he is software designer in the Mechatronic Development Cluster. Starting next semester, Mathijs will be responsible for the Master's course Design of Embedded Systems.
  • Daniel Strüber coauthors the paper Applying MDD in the Content Management System Domain that has been accepted for publication in SoSyM.
  • Thom Badings, Marnix Suilen, and Nils Jansen coauthor the paper Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids that has been accepted for publication at the NASA Formal Methods Symposium 2021.
  • Marielle Stoelinga was interviewed by A/G Connect about the current problems at the GGD
  • New approach to AI offers more certainty in the face of uncertainty, press release about Marnix Suilen's and Nils Jansen's work on uncertainty in AI, picked up by e.g. Innovation Origins, Computable, Bits & Chips, Engineers Forum, Executive-People, Brainport Eindhoven, AZO Robotics, and CACM.
  • Jurriaan Rot coauthors the paper Learning Pomset Automata that has been accepted for publication at FoSSaCS 2021.
  • Nils Jansen coauthors the paper Adaptive Shielding under Uncertainty that has been accepted for publication at the American Control Conference 2021.
  • Daniel Strüber coauthors the paper Asset Management in Machine Learning: A Survey that has been accepted at the SEIP track at ICSE 2021.
  • Nils Jansen coauthors the paper AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training that has been accepted for publication at AAMAS 2021.
  • Daniel Strüber coauthors the paper Seamless Variability Management With the Virtual Platform that has been accepted for ICSE 2021!
  • Daniel Strüber coauthors the paper A Maturity Assessment Framework for Conversational AI Development Platforms that has been accepted for SAC 2021.
  • Een halfuurtje Google-storing legt bloot hoe afhankelijk we zijn van één bedrijf, according to Marielle Stoelinga in de Dutch national newspaper the Volkskrant.
  • Robbert Krebbers has been awarded a 100.000 USD grant from Google, on top of the 40.000 USD grant he received previous month. He will work together with Google (Android Security and Privacy Research), MPI-SWS, Cambridge University, Seoul National University and Aarhus University on formal verification of the safety and security of the PKVM hypervisor. PKVM will be used in future versions of Android to isolate applications from each other.
  • On December 8, at 15.30, Niels van der Weide has successfully defended his PhD thesis Constructing Higher Inductive Types.
  • We would like to announce Tactician 1.0 beta1, the first official release of Tactician, a tactic learner and prover for the Coq Proof Assistant. See the website and an online demo for more information.
  • Marnix Suilen and Nils Jansen coauthor the paper Robust Finite-State Controllers for Uncertain POMDPs that has been accepted for publication at AAAI 2021!
  • Cynthia Kop received a Vidi grant!!
  • Marielle Stoelinga and Nils Jansen coauthor the article PrimaVera: Synergising Predictive Maintenance that describes the concerted approach on predictive maintenance within the PrimaVera project. The article has been accepted for publication in Applied Sciences.
  • Frits Vaandrager coauthors the paper Learning Mealy Machines with One Timer that was accepted for LATA 2020-2021.
  • 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.
  • 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.
  • 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 successfully defended 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