Browsing

Showing results 1 to 4 of 4
PreviewAuthors / EditorsTitleTypeIssue Date
Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Eliminating Message Counters in Threshold AutomataInproceedings Konferenzbeitrag 12-Oct-2020
Stoilkovska Ilina - 2021 - Modeling and Verification of Synchronous...pdf.jpgStoilkovska, Ilina Modeling and verification of synchronous fault-tolerant distributed algorithmsThesis Hochschulschrift 2021
main.pdf.jpgKonnov, Igor ; Lazic, Marijana ; Stoilkovska, Ilina ; Widder, Josef Tutorial: Parameterized Verification with Byzantine Model CheckerInproceedings Konferenzbeitrag 8-Jun-2020
Stoilkovska Ilina - 2014 - XML data integration.pdf.jpgStoilkovska, Ilina XML data integrationThesis Hochschulschrift 2014