Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

  • Home
  • Research
  • Education
  • Student projects
  • People
  • News

Author: Jan Friso Groote

Two papers accepted at FSEN 2019

Posted on January 21, 2019January 21, 2019 by Jan Friso Groote

The papers “Verifying System-Wide Properties of Industrial Component-Based Software” by Neele, Rol and Groote and “Active Learning of Industrial software with data” by Sanchez, Groote and Schiffelers have both been accepted at FSEN 2019, Teheran, Iran.

Posted in Research

Julien Schmaltz left FSA

Posted on November 1, 2018November 1, 2018 by Jan Friso Groote

On November 1, 2018, Julien Schmaltz left the FSA group to take up a new position at the company ICT. We congratulate Julien and wish to thank him for all he has done for our group. As he wants to strengthen the ties between industry and academia, he indicated that he will remain a regular …continue reading

Posted in People

New group member: Rick Erkens

Posted on September 17, 2018September 18, 2018 by Jan Friso Groote

Rick Erkens started to work 1 september 2018 as a teaching PhD student in the FSA group.

Posted in People

Paper accepted at ISoLA 2018

Posted on August 13, 2018September 13, 2018 by Jan Friso Groote

The paper “Pitfalls in Applying Model Learning to Industrial Legacy Software” by Omar al Duhaiby, Arjan Mooij, Hans van Wezep and Jan Friso Groote has been accepted for presentation at ISoLA 2018, Cyprus. The paper describes our experience in learning models from actual software at Philips Healthcare.

Posted in Research

Visitor from the Ukraine

Posted on July 5, 2018July 9, 2018 by Jan Friso Groote

Prof. Dmitry Zaitsev and dr. Tatiana Shmeleva from the International Humanitarian University, Odessa, Ukraine are visiting during the month of July, 2018.

Posted in Research
Posts navigation
← Newer posts

Agenda

May 2022
MTWTFSS
       1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31      
« Apr   Jun »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box