Vis enkel innførsel

Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)

dc.contributor.authorPun, Ka I
dc.contributor.authorStolz, Volker
dc.contributor.authorFazeldehkordi, Elahe
dc.contributor.authorOwe, Olaf
dc.contributor.authorRamezanifarkhani, Toktam
dc.contributor.authorDamasceno, Carlos Diego Nascimento
dc.contributor.authorDamasceno, Carlos Diego Nascimento
dc.contributor.authorAhishakiye, Faustin
dc.contributor.authorKristensen, Lars Michael
dc.contributor.authorTabar, Asmae Heydari
dc.contributor.authorBubel, Richard
dc.contributor.authorHähnle, Reiner
dc.contributor.authorSagemüller, Justus
dc.contributor.authorVerdier, Olivier
dc.date.accessioned2020-12-15T09:04:12Z
dc.date.available2020-12-15T09:04:12Z
dc.date.issued2020
dc.identifier.isbn978-82-93677-34-5
dc.identifier.issn2535-8103
dc.identifier.urihttps://hdl.handle.net/11250/2719437
dc.description.abstractPreface: 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.en_US
dc.language.isoengen_US
dc.publisherHøgskulen på Vestlandeten_US
dc.relation.ispartofseriesHVL-rapport;14/2020
dc.relation.haspartStatic Detection of Distributed Denial of Service Attacks in Active Object Systems / Elahe Fazeldehkordi, Olaf Owe, and Toktam Ramezanifarkhanien_US
dc.relation.haspartLearning From Families: Inferring Behavioral Variability From Software Product Lines / Carlos Diego Nascimento Damascenoen_US
dc.relation.haspartCoverage Analysis of SML Expressions in CPN Models / Faustin Ahishakiye, Volker Stolz, and Lars Michael Kristensenen_US
dc.relation.haspartAutomatic Loop Invariant Generation Using Predicate Abstraction for Dependence Analysis / Asmae Heydari Tabar, Richard Bubel, and Reiner Hähnleen_US
dc.relation.haspartTowards Better Data Structures for Numerics such as Optimal Transport / Justus Sagemüller, Olivier Verdier, Volker Stolzen_US
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.titleProceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)en_US
dc.typeReporten_US
dc.source.pagenumber15en_US


Tilhørende fil(er)

Thumbnail
Filnavn:
HVL_Rapport 14_2020_Pun_Stolz.pdf
Størrelse:
1.948Mb
Format:
PDF
Åpne

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel

Navngivelse 4.0 Internasjonal
Med mindre annet er angitt, så er denne innførselen lisensiert som Navngivelse 4.0 Internasjonal