print · source · login   


  • 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.