Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)
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...
Gespeichert in:
| Veröffentlicht in: | HVL-rapport 2020 |
|---|---|
| Hauptverfasser: | , , , , , , , , , , , , |
| Format: | Report |
| Sprache: | eng |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | HVL-rapport |
| container_volume | |
| creator | Pun, Ka I Stolz, Volker Fazeldehkordi, Elahe Owe, Olaf Ramezanifarkhani, Toktam Damasceno, Carlos Diego Nascimento Ahishakiye, Faustin Kristensen, Lars Michael Tabar, Asmae Heydari Bubel, Richard Hähnle, Reiner Sagemüller, Justus Verdier, Olivier |
| description | 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. |
| format | Report |
| fullrecord | <record><control><sourceid>cristin_3HK</sourceid><recordid>TN_cdi_cristin_nora_11250_2719437</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>11250_2719437</sourcerecordid><originalsourceid>FETCH-cristin_nora_11250_27194373</originalsourceid><addsrcrecordid>eNqNzDEKwjAUgOEuDqLe4bkpWDCtUupW1OJSKNi9hDZtHiR5IYmDm9fwep5EB92d_uXnm0a2dtQJ0aMZPdAAQQqo5Qmud23J400DD4Bl9Xo8WU4GSnKaK6hEkNT7AxRqJIdBar-Bhkh54KaHwlqFHQ9IxsPq48U_Yj2PJgNXXiy-nUXL8twcL3Hn0Ac0rSHHW8aS_bZNMpbv0iz953kDr1xBzg</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>report</recordtype></control><display><type>report</type><title>Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)</title><source>NORA - Norwegian Open Research Archives</source><creator>Pun, Ka I ; Stolz, Volker ; Fazeldehkordi, Elahe ; Owe, Olaf ; Ramezanifarkhani, Toktam ; Damasceno, Carlos Diego Nascimento ; Ahishakiye, Faustin ; Kristensen, Lars Michael ; Tabar, Asmae Heydari ; Bubel, Richard ; Hähnle, Reiner ; Sagemüller, Justus ; Verdier, Olivier</creator><creatorcontrib>Pun, Ka I ; Stolz, Volker ; Fazeldehkordi, Elahe ; Owe, Olaf ; Ramezanifarkhani, Toktam ; Damasceno, Carlos Diego Nascimento ; Ahishakiye, Faustin ; Kristensen, Lars Michael ; Tabar, Asmae Heydari ; Bubel, Richard ; Hähnle, Reiner ; Sagemüller, Justus ; Verdier, Olivier</creatorcontrib><description>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.</description><language>eng</language><publisher>Høgskulen på Vestlandet</publisher><ispartof>HVL-rapport, 2020</ispartof><rights>info:eu-repo/semantics/openAccess</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,780,885,4490,26567</link.rule.ids><linktorsrc>$$Uhttp://hdl.handle.net/11250/2719437$$EView_record_in_NORA$$FView_record_in_$$GNORA$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Pun, Ka I</creatorcontrib><creatorcontrib>Stolz, Volker</creatorcontrib><creatorcontrib>Fazeldehkordi, Elahe</creatorcontrib><creatorcontrib>Owe, Olaf</creatorcontrib><creatorcontrib>Ramezanifarkhani, Toktam</creatorcontrib><creatorcontrib>Damasceno, Carlos Diego Nascimento</creatorcontrib><creatorcontrib>Ahishakiye, Faustin</creatorcontrib><creatorcontrib>Kristensen, Lars Michael</creatorcontrib><creatorcontrib>Tabar, Asmae Heydari</creatorcontrib><creatorcontrib>Bubel, Richard</creatorcontrib><creatorcontrib>Hähnle, Reiner</creatorcontrib><creatorcontrib>Sagemüller, Justus</creatorcontrib><creatorcontrib>Verdier, Olivier</creatorcontrib><title>Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)</title><title>HVL-rapport</title><description>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.</description><fulltext>true</fulltext><rsrctype>report</rsrctype><creationdate>2020</creationdate><recordtype>report</recordtype><sourceid>3HK</sourceid><recordid>eNqNzDEKwjAUgOEuDqLe4bkpWDCtUupW1OJSKNi9hDZtHiR5IYmDm9fwep5EB92d_uXnm0a2dtQJ0aMZPdAAQQqo5Qmud23J400DD4Bl9Xo8WU4GSnKaK6hEkNT7AxRqJIdBar-Bhkh54KaHwlqFHQ9IxsPq48U_Yj2PJgNXXiy-nUXL8twcL3Hn0Ac0rSHHW8aS_bZNMpbv0iz953kDr1xBzg</recordid><startdate>2020</startdate><enddate>2020</enddate><creator>Pun, Ka I</creator><creator>Stolz, Volker</creator><creator>Fazeldehkordi, Elahe</creator><creator>Owe, Olaf</creator><creator>Ramezanifarkhani, Toktam</creator><creator>Damasceno, Carlos Diego Nascimento</creator><creator>Ahishakiye, Faustin</creator><creator>Kristensen, Lars Michael</creator><creator>Tabar, Asmae Heydari</creator><creator>Bubel, Richard</creator><creator>Hähnle, Reiner</creator><creator>Sagemüller, Justus</creator><creator>Verdier, Olivier</creator><general>Høgskulen på Vestlandet</general><scope>3HK</scope></search><sort><creationdate>2020</creationdate><title>Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)</title><author>Pun, Ka I ; Stolz, Volker ; Fazeldehkordi, Elahe ; Owe, Olaf ; Ramezanifarkhani, Toktam ; Damasceno, Carlos Diego Nascimento ; Ahishakiye, Faustin ; Kristensen, Lars Michael ; Tabar, Asmae Heydari ; Bubel, Richard ; Hähnle, Reiner ; Sagemüller, Justus ; Verdier, Olivier</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-cristin_nora_11250_27194373</frbrgroupid><rsrctype>reports</rsrctype><prefilter>reports</prefilter><language>eng</language><creationdate>2020</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Pun, Ka I</creatorcontrib><creatorcontrib>Stolz, Volker</creatorcontrib><creatorcontrib>Fazeldehkordi, Elahe</creatorcontrib><creatorcontrib>Owe, Olaf</creatorcontrib><creatorcontrib>Ramezanifarkhani, Toktam</creatorcontrib><creatorcontrib>Damasceno, Carlos Diego Nascimento</creatorcontrib><creatorcontrib>Ahishakiye, Faustin</creatorcontrib><creatorcontrib>Kristensen, Lars Michael</creatorcontrib><creatorcontrib>Tabar, Asmae Heydari</creatorcontrib><creatorcontrib>Bubel, Richard</creatorcontrib><creatorcontrib>Hähnle, Reiner</creatorcontrib><creatorcontrib>Sagemüller, Justus</creatorcontrib><creatorcontrib>Verdier, Olivier</creatorcontrib><collection>NORA - Norwegian Open Research Archives</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Pun, Ka I</au><au>Stolz, Volker</au><au>Fazeldehkordi, Elahe</au><au>Owe, Olaf</au><au>Ramezanifarkhani, Toktam</au><au>Damasceno, Carlos Diego Nascimento</au><au>Ahishakiye, Faustin</au><au>Kristensen, Lars Michael</au><au>Tabar, Asmae Heydari</au><au>Bubel, Richard</au><au>Hähnle, Reiner</au><au>Sagemüller, Justus</au><au>Verdier, Olivier</au><format>book</format><genre>unknown</genre><ristype>RPRT</ristype><atitle>Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19)</atitle><jtitle>HVL-rapport</jtitle><date>2020</date><risdate>2020</risdate><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.</abstract><pub>Høgskulen på Vestlandet</pub><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | HVL-rapport, 2020 |
| issn | |
| language | eng |
| recordid | cdi_cristin_nora_11250_2719437 |
| source | NORA - Norwegian Open Research Archives |
| title | Proceedings of the PhD Symposium at iFM’19on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’19) |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T20%3A41%3A38IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-cristin_3HK&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=unknown&rft.atitle=Proceedings%20of%20the%20PhD%20Symposium%20at%20iFM%E2%80%9919on%20Formal%20Methods:%20Algorithms,%20Tools%20and%20Applications%20(PhD-iFM%E2%80%9919)&rft.jtitle=HVL-rapport&rft.au=Pun,%20Ka%20I&rft.date=2020&rft_id=info:doi/&rft_dat=%3Ccristin_3HK%3E11250_2719437%3C/cristin_3HK%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |