Widder, Josef

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Privatdoz. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Widder, Josef
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 68 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue 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
5Damian, Andrei ; Drăgoi, Cezara ; Militaru, Alexandru ; Widder, Josef Communication-Closed Asynchronous ProtocolsKonferenzbeitrag Inproceedings 2019
6Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef Verification of Randomized Consensus Algorithms Under Round-Rigid AdversariesKonferenzbeitrag Inproceedings 2019
7Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model CheckingKonferenzbeitrag Inproceedings 2019
8Kukovec, Jure ; Konnov, Igor ; Widder, Josef Reachability in Parameterized Systems: All Flavors of Threshold AutomataKonferenzbeitrag Inproceedings 2018
9Dragoi, Cezara ; Lazić, Marijana ; Widder, Josef Communication-Closed Layers as Paradigm for Distributed Systems: A ManifestoKonferenzbeitrag Inproceedings2018
10Konnov, Igor ; Widder, Josef ByMC: Byzantine Model CheckerKonferenzbeitrag Inproceedings 2018
11Aminof 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
12Konnov, Igor ; Veith, Helmut ; Widder, Josef On the completeness of bounded model checking for threshold-based distributed algorithms: ReachabilityArtikel Article2017
13Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed AlgorithmsArtikel Article2017
14Lazić, Marijana ; Konnov, Igor ; Widder, Josef ; Bloem, Roderick Synthesis of Distributed Algorithms with Parameterized Threshold GuardsKonferenzbeitrag Inproceedings 2017
15Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithmsKonferenzbeitrag Inproceedings 2017
16Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef Parameterized Verification of Liveness of Distributed AlgorithmsPräsentation Presentation2016
17Lazić, Marijana ; Konnov, Igor ; Veith, Helmut ; Widder, Josef Model Checking of Threshold-based Fault-Tolerant Distributed AlgorithmsPräsentation Presentation2016
18Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationArtikel Article2016
19Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationBuch Book2015
20Charron-Bost, Bernadette ; Függer, Matthias ; Welch, Jennifer L. ; Widder, Josef Time Complexity of Link Reversal RoutingArtikel Article2015

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Schmid, Ulrich ; Widder, Josef 32nd International Symposium on Distributed ComputingKonferenzband Proceedings 2018
2Charron-Bost, Bernadette ; Merz, Stephan ; Rybalchenko, Andrey ; Widder, Josef Formal Verification of Distributed AlgorithmsKonferenzband Proceedings2013

Projects Projekte


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

TitleP-Investigator
Parametrized Verification of Fault-tolerant Distributed AlgorithmsWidder, Josef