Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)
Pun, Ka I; Stolz, Volker; Fazeldehkordi, Elahe; Owe, Olaf; Ramezanifarkhani, Toktam; Damasceno, Carlos Diego Nascimento; Damasceno, Carlos Diego Nascimento; Ahishakiye, Faustin; Kristensen, Lars Michael; Tabar, Asmae Heydari; Bubel, Richard; Hähnle, Reiner; Sagemüller, Justus; Verdier, Olivier
Abstract
Preface:
This research report contains the proceedings of the PhD Symposium at iFM’19 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19), which was held on 3 December, 2019 at Western Norway University of Applied Sciences, Bergen, Norway. The program of the symposium consisted of an invited talk by Andreas Griesmayer (ARM, Cambridge, UK) and 11 short presentations. Each short presentation received advices and feedbacks from a senior researcher. Among the 11 short presentations, 5 submitted their contributions in the form of extended abstracts, which were included in this report.
Has parts
Static Detection of Distributed Denial of Service Attacks in Active Object Systems / Elahe Fazeldehkordi, Olaf Owe, and Toktam RamezanifarkhaniLearning From Families: Inferring Behavioral Variability From Software Product Lines / Carlos Diego Nascimento Damasceno
Coverage Analysis of SML Expressions in CPN Models / Faustin Ahishakiye, Volker Stolz, and Lars Michael Kristensen
Automatic Loop Invariant Generation Using Predicate Abstraction for Dependence Analysis / Asmae Heydari Tabar, Richard Bubel, and Reiner Hähnle
Towards Better Data Structures for Numerics such as Optimal Transport / Justus Sagemüller, Olivier Verdier, Volker Stolz