Impressions from ICTAC’23 – I’ve presented our work on “Modular Soundness Checking of Feature Model Evolution Plans”, joint work with Ida Motzfeldt (formerly UiO, now Finn.no), Ingrid Chieh Yu (UiO), Crystal Din (UiB), Violet Ka I Pun and me (HVL). You can find the full paper until end of the year directly from the ICTAC webpage, or in our full-text repository (https://app.cristin.no/results/show.jsf?id=2212099) once that has been processed.

#ictac2023 #spl 1/2

Shout-out to the friendly #Lufthansa agent in #Bergen airport who printed my boarding pass GRU-LIM (I was wondering why that was taking like a minute) -- half of Frankfurt airport has failed to manage the same for my companion, and only the senior agent at a LATAM-gate finally managed to pull off an equivalent feat!

#ictac2023

The paper "Simplifying process parameters by unfolding algebraic data types" by Anna Stramaglia, Thomas Neele and yt will be presented at #ictac2023

We describe how algebraic data types can be unfolded to improve the performance of symbolic #modelchecking in #mCRL2.

Abstract: https://easychair.org/smart-program/ICTAC2023/2023-12-08.html#talk:239997