Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

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

Category: Research

News about research

Paper accepted for ACM TOCL

Posted on September 11, 2023September 11, 2023 by Jeroen Keiren

The following paper has been accepted for publication in ACM Transactions on Computational Logic:Extensible Proof Systems for Infinite-State Systems, by Rance Cleaveland (University of Maryland, College Park) and Jeroen Keiren

Posted in Research

Two papers accepted at ICTAC 2023

Posted on September 11, 2023 by Thomas Neele

Two papers submitted by members of FSA were accepted for publication at ICTAC 2023, which will take place in Peru. The following will be presented there: Simplifying process parameters by unfolding algebraic data types, by …continue reading

Posted in Research

Four papers accepted at CONCUR

Posted on June 29, 2023September 4, 2023 by Tim Willemse

A whopping four papers, submitted by members of the FSA group, have been accepted for publication in this year’s CONCUR edition in Antwerp. Bas Luttik and Myrthe Spronck have a paper on multi-writer, multi-reader non-atomic …continue reading

Posted in Research

Two papers accepted at IJCAI 2023

Posted on May 17, 2023May 17, 2023 by Clemens Dubslaff

We are happy to have two papers accepted at IJCAI 2023: “More for Less: Safe Policy Improvement With Stronger Performance Guarantees” together with TU Dresden and Radboud University Nijmegen and “A Unifying Formal Approach to …continue reading

Posted in Research

Paper accepted at NASA formal methods

Posted on April 28, 2023April 28, 2023 by Clemens Dubslaff

The paper “Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access” by C. Dubslaff from FSA and a collaboration with TU Dresden (P. Wienhöft, C. Baier, and S. J. Kiebel) has been accepted for …continue reading

Posted in Research

New book: ‘Spelen met oneindigheid’

Posted on March 13, 2023March 13, 2023 by Tim Willemse

Hans Zantema has published a book (‘Spelen met oneindigheid, verrassende figuren en patronen’, in Dutch—English translation is work in progress) about infinite sequences and their visualisations, see this link. An interview with Hans can be …continue reading

Posted in People, Research

Visitor: Maurice ter Beek

Posted on February 27, 2023March 13, 2023 by Tim Willemse

Maurice ter Beek (ISTI, CNR, Pisa) will be visiting us from 1-6 March. He’ll be working on variability parity games, together with Erik de Vink and Tim Willemse.

Posted in People, Research

New book on mCRL2

Posted on February 27, 2023February 27, 2023 by Jan Friso Groote

The book ‘Understanding behaviour of distributed systems using mCRL2‘, written by Muhammad Atif and Jan Friso Groote has appeared in the Systems, Decision and Control series of Springer. It gives an introduction into mCRL2 with …continue reading

Posted in Education, Research

FSA Vacancies

Posted on February 16, 2023May 15, 2023 by Tim Willemse

Our department has 25 (assistant) professor vacancies; some such positions may end up in our group. We encourage those with a Formal Methods background (broadly construed) to apply for a position (ASAP). For details, see …continue reading

Posted in People, Research

Journal paper on decomposing monolithic processes accepted for JLAMP

Posted on February 16, 2023February 16, 2023 by Maurice Laveaux

The journal article “Decomposing monolithic processes in a process algebra with multi-actions” by Maurice Laveaux and Tim A.C. Willemse has been accepted for publication at JLAMP as part of a special issue of ICE. The …continue reading

Posted in Research
Posts navigation
Older posts →

Agenda

September 2023
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  
« Aug   Oct »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box