print · source · login   

News

  • On July 1st, Dr. Mairieli Wessel will join our group as assistant professor. Welcome, Mairieli!
  • The 2022 edition of the Term Rewriting Seminar (TeReSe) will be held in Nijmegen on June 8 in honor of Hans Zantema, who will retire in September.
  • The paper The Element of Surprise in Timed Games by Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar and Mariëlle Stoelinga has been selected for the CONCUR Test-of-Time Award. The purpose of the award is to recognize important achievements in Concurrency Theory that were published at the CONCUR conference and have stood the test of time. The paper was one of the two selected papers from the period 2000-2003. The paper studies concurrent two-person games played in real time, in which the players decide both which action to play, and when to play it. At CONCUR 2022 in Warsaw, the award will be handed out, and a talk on the paper will be presented.

%

  • Paper and tutorial at Uncertainty in Artificial Intelligence (UAI 2022): The paper Inductive Synthesis of Finite-State Controllers for POMDPs by Roman Andriushchenko, Milan Ceska (both TU Brno), Sebastian Junges (Radboud/SWS) and Joost-Pieter Katoen (RWTH Aachen) adopts a successful inductive synthesis framework such that it solves planning tasks by finding policies in POMDPs. Additionally, Sebastian will co-present a tutorial on Verification Techniques for Probabilistic Systems and Programs, with a particular focus on using the probabilistic model checker Storm for AI problems.
  • The 2022 ROCKS workshop took place from 18-20 May, 2022 in Nijmegen, the Netherlands, hosted by the SWS group, with 52 participants.
  • The paper entitled “Scenario-Based Verification of Uncertain Parametric MDPs” by Thom Badings, Nils Jansen, and Sebastian Junges (all Radboud/SWS), Murat Cubuktepe and Ufuk Topcu (UT Austin, USA) and Joost-Pieter Katoen (RWTH Aachen) has been accepted in the International Journal on Software Tools for Technology Transfer (STTT, special issue devoted to TACAS 2020). The paper uses the sampling-based scenario approach to obtain high-confidence guarantees for uncertain MDPs.
  • The second edition of the Iris Workshop took place at Radboud University Nijmegen, 2-6 May 2022, with 57 participants.
  • Two papers accepted at CAV 2022: The paper Sampling-Based Verification of CTMCs with Uncertain Rates by Thom Badings, Nils Jansen, Sebastian Junges, Marielle Stoelinga (all Radboud/SWS) and Matthias Volk (Twente) contributes a method for statistically correct verification of continuous-time Markov chains with unknown transition rates. The paper Abstraction-Refinement for Hierarchical Probabilistic Models by Sebastian Junges (Radboud/SWS) and Matthijs Spaan (TU Delft) introduces a novel approach towards model checking hierarchical Markov decision processes.
  • The paper Constructive Model Inference: Model Learning for Component-Based Software Architectures, co-authored by Dennis Hendriks has been accepted at the 17th International Conference on Software Technologies (ICSOFT 2022).
  • On April 21, Dennis Hendriks presented the CIF toolset in the Virtual Talk Series, this time organized by Kai Cai of Osaka City University and Michel Reniers of Eindhoven University of Technology, focused on Discrete Event Systems (DES) tools. With over 50 people in attendance, six tools and libraries were shortly presented (Supremica, UltaDES, DESLab, TCT, MDESops and CIF), followed by a lively panel discussion, on research challenges, industrial adoption, and potential collaborations.
  • The paper We're Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration, coauthored by Daniel Strüber, has been accepted for publication in IEEE TSE.
  • We are proud that our colleague Marielle Stoelinga made her debut on the half-marathon, albeit unintended.
  • The Association for the Understanding of Artificial Intelligence published an article about the recent Distinguished AAAI paper, co-authored by Thom Badings, Nils Jansen, and Marielle Stoelinga, on their blog AIhub. The article is available here.
  • Dennis Hendriks, as project lead of the Eclipse ESCET open source project, organized and hosted on March 30 the project's first community meeting, on Synthesis-Based Engineering (SBE) of supervisory controllers. About 30 people participated in the hybrid meeting, where SBE and ESCET were discussed, as well as the plans of Rijkswaterstaat in this direction.
  • The paper Large-scale semi-automated migration of legacy C/C++ test code, by Mathijs Schuts, has been published in journal Software: Practice and Experience.
  • Daniel Strüber coauthors the paper Checking security compliance between models and code published in SoSyM.
  • The paper A Benchmark for Active Learning of Variability-Intensive Systems, coauthored by Diego Damasceno, has been accepted in the Challenge Cases Track of the SPLC'22. The paper invites participants to develop solutions for benchmarking model learning techniques in the context of software product lines. Tool prototypes for synthesizing artificial benchmark models and handcrafted state machine models of SPLs are both welcome!
  • The NWO open competition grant proposal The Power of Equality by Herman Geuvers (SWS) and Benno van de Berg (UvA) has been accepted. Niels van der Weide will work on this project as a postdoc together with a PhD student at the UvA. Congratulations Herman and Niels!!
  • The paper Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise, coauthored by SWS researchers Thom Badings, Nils Jansen and Marielle Stoelinga, was selected for a distinguished paper award at AAAI 2022. The conference received 9251 submissions, of which 1349 were accepted for publication. According to research.com, AAAI is one of the top 5 Computer Science Conferences. The paper constitutes the first approach to provide hard safety guarantees on the behavior of autonomous systems in continuous-space environments under stochastic uncertainty stemming from unknown distributions. See also this news item of our faculty.
  • The paper Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks, co-authored by David Kerkkamp, Zaharah Bukhsh, and Nils Jansen, won the best student paper award at ICAART 2022. Congratulations David!
  • The paper Querying Images with Scenario Programs for Sim-to-Real Validation co-authored by Sebastian Junges has been accepted at the International Conference on Cyber-Physical Systems (ICCPS).
  • The paper Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations coauthored by Robbert Krebbers is the recipient of a distinguished paper award at POPL 2022.
  • Cynthia Kop chairs the programme committee of the 18th International Workshop on Termination (WST 2022), August 11-12, 2022, Haifa, Israel.
  • The paper A New Approach for Active Automata Learning Based on Apartness by Frits Vaandrager, Bharat Garhewal, Jurriaan Rot and Thorsten Wissmann has been accepted for presentation at TACAS'22.
  • The paper Concurrent NetKAT coauthored by Jana Wagemaker and Jurriaan Rot has been accepted for presentation at ESOP '22.

2021

  • Frits Vaandrager gave a keynote lecture at the 24th Brazilian Symposium on Formal Methods (SBMF 2021), December 9, 2021.
  • The paper Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks, with SWS Master student David Kerkkamp as first author and Zaharah Bukhsh and Nils Jansen as co-authors, has been accepted for ICAART 2022. The paper is based on David's Master thesis at Rolsch Assetmanagement within the PrimaVera project, and investigates the utility of graph neural networks in a setting that concerns predictive maintenance of sewer pipe networks.
  • Robbert Krebbers has been awarded a 85.000 USD grant from Google. He will work together with Google (Android Security and Privacy Research), MPI-SWS, Cambridge University, Aarhus University, and Seoul National University on the verification of the PKVM hypervisor.
  • The paper Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise, co-authored by Thom Badings, Nils Jansen, and Marielle Stoelinga, has been accepted for AAAI 2022 (acceptance rate 15%).
  • Nils Jansen will serve as program co-chair of the 23th International Conference on Quantitative Evaluation of SysTems (QEST 2023).
  • Daniel Strüber gave an invited talk in the GReTA – Graph TRansformation Theory and Applications virtual seminar series on December 3.
  • Thorsten Wißmann is publicity chair and PC member of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22), Munich, Germany, 2-3 April 2022
  • Daniel Strüber is co-chair of ICGT 2022, the 15th International Conference on Graph Transformations, to take place on July 7-8, 2022, in Nantes, France. ICGT 2022 will feature a special focus on Executable Applied Category Theory.
  • Frits Vaandrager gave a keynote lecture on the L# algorithm at the Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2021), Beijing, China, November 26, 2021.
  • The paper Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes, co-authored by Nils Jansen, has been published in the Journal of Artificial Intelligence Research (JAIR). The work extends previous papers on combining the training of recurrent neural networks as policy representation for POMDPs with the rigor of formal verification.
  • Daniel Strüber coauthors the paper A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits, which has been accepted in EMSE. The paper results from a large-scale effort for creating a curated dataset of bug-fixing commits, involving 48 researchers.
  • The paper Damage detection using in-domain and cross-domain transfer learning, co-authored by former SWS member Zaharah Bukhsh and Nils Jansen, has been published in the journal Neural Computing and Applications. The work investigates transfer learning techniques for predictive maintanances of bridge structures.
  • Europe Needs Strong Software Research!
  • The paper Convex Optimization for Parameter Synthesis in MDPs, co-authored by Nils Jansen and Sebastian Junges, has been accepted for publication in IEEE Transactions on Automatic Control. The paper subsumes and extends a succesful line of work that employs convex optimization techniques for the efficient parameter synthesis in Markov decision processes.
  • From October 20-22 the SWS group had a productive research retreat at Schloss Dagstuhl.
  • De Raad voor Accreditatie (RvA) heeft Mariëlle Stoelinga benoemd tot lid van de Commissie Accreditaties (C.A.). RvA is de nationale accreditatie-instantie en heeft als primaire taak het accrediteren en geaccrediteerd houden van conformiteitbeoordelende organisaties: laboratoria, inspectie-instellingen, certificatie-instellingen en verificatie-instellingen.
  • On October 14th, Robbert Krebbers's PhD student Arjen Rouvoet defended his PhD thesis with cum laude distinction (at TU Delft).
  • Sebastian Junges coauthors the paper Gradient-Descent for Randomized Controllers under Partial Observability which has been accepted at VMCAI'22.
  • Frits Vaandrager presented a tutorial lecture at the 13th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2021), October 19, 2021.
  • Sebastian Junges will co-present a tutorial on Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance at the Runtime Verification conference on October 14.
  • Dennis Hendriks presented his work on preventing regressions for software changes at the Bits & Chips Event on October 14.
  • Robbert Krebbers is coauthor on three papers that have been accepted at POPL22!!! Jules Jacobs is first author on one of these three.
  • Nils Jansen coauthors the paper Formalizing and Guaranteeing* Human-Robot Interaction that has been published at Communications of the ACM. The paper provides an overview to challenges in Human-Robot-Interaction regarding trust and safety, and how formal methods can help. This collaborative paper is a result of the very fruitful Dagstuhl Meeting Verification and Synthesis of Human-Robot Interaction.
  • Daniel Strüber coauthors the paper Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations that has been accepted for publication in SCP.
  • Mathijs Schuts and Jozef Hooman will present a paper on Industrial Experiences With the Evolution of a DSL at the DSM’21 (Domain-Specific Modeling) workshop at the SPLASH'21 conference.
  • On October 11, Jozef Hooman will present a tutorial on the CommaSuite at the MODELS'21 conference.
  • Diego Damasceno and Daniel Strüber author the paper Quality Guidelines for Research Artifacts in Model-Driven Engineering that has been accepted for presentation at MODELS'21.
  • Natuurlijk wil een wetenschapper soms ook winnen, NRC, 29 juli 2021
  • Jurriaan Rot received a grant within NWO Open Competition call for the research proposal Modular Construction and Analysis of Distributive Laws for Programming Language Semantics.
  • Thorsten Wißmann coauthors the paper Explaining Behavioural Inequivalence Generically in Quasilinear Time that has been accepted for presentation at CONCUR'21, where it is a candidate for the best paper award.

.

2020

  • 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