Full name Familienname, Vorname
Widder, Josef
 
Main Affiliation Organisations­zuordnung
 

Filter:
Author:  Stoilkovska, Ilina

Results 1-6 of 6 (Search time: 0.009 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Verifying safety of synchronous fault-tolerant algorithms by bounded model checkingArticle Artikel Feb-2022
2Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Eliminating Message Counters in Synchronous Threshold AutomataKonferenzbeitrag Inproceedings 2021
3main.pdf.jpgStoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Eliminating Message Counters in Threshold AutomataInproceedings Konferenzbeitrag 12-Oct-2020
4main.pdf.jpgKonnov, Igor ; Lazic, Marijana ; Stoilkovska, Ilina ; Widder, Josef Tutorial: Parameterized Verification with Byzantine Model CheckerInproceedings Konferenzbeitrag 8-Jun-2020
5Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model CheckingKonferenzbeitrag Inproceedings 2019
6Aminof Benjamin - 2018 - Parameterized Model Checking of Synchronous Distributed...pdf.jpgAminof, Benjamin ; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef ; Zuleger, Florian Parameterized Model Checking of Synchronous Distributed Algorithms by AbstractionInproceedings Konferenzbeitrag 2018

Filter:
Author:  Stoilkovska, Ilina

Results 1-1 of 1 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Stoilkovska Ilina - 2021 - Modeling and verification of synchronous...pdf.jpgStoilkovska, Ilina Modeling and verification of synchronous fault-tolerant distributed algorithmsThesis Hochschulschrift 2021