Publikationsliste für
Josef Widder
als Autorin / Autor bzw. wesentlich beteiligte Person
70 Datensätze (2003 - 2021)
Bücher und Buch-Herausgaben
R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder:
"Decidability of Parameterized Verification";
Morgan & Claypool Publishers,
San Rafael, CA, USA,
2015,
ISBN: 9781627057431;
170 S.
B. Charron-Bost, A. Rybalchenko, S. Merz, J. Widder:
"Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)";
in Buchreihe "Dagstuhl Reports",
Buchreihen-Herausgeber: Schloss Dagstuhl;
herausgegeben von: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik;
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
Dagstuhl, Deutschland,
2013,
ISSN: 2192-5283,
16 S.
U. Schmid, J. Widder (Hrg.):
"Proceedings 32nd International Symposium on Distributed Computing";
Dagstuhl Publishing LIPICS,
2018,
ISBN: 978-3-95977-092-7;
736 S.
Zusätzliche Informationen
Zeitschriftenartikel
R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder:
"Decidability of Parameterized Verification";
ACM SIGACT News,
47
(2016),
2;
S. 53
- 64.
Zusätzliche Informationen
B. Charron-Bost, M Függer, L. Welch, J. Widder:
"Time Complexity of Link Reversal Routing";
ACM Transactions on Algorithms,
11
(2015),
3;
S. 1
- 39.
Zusätzliche Informationen
B. Charron-Bost, A. Gaillard, L. Welch, J. Widder:
"Link Reversal Routing with Binary Link Labels: Work Complexity";
SIAM JOURNAL ON COMPUTING,
42
(2013),
2;
S. 634
- 661.
Zusätzliche Informationen
B. Charron-Bost, M. Hutle, J. Widder:
"In search of lost time";
Information Processing Letters,
110
(2010),
21;
S. 928
- 933.
Zusätzliche Informationen
I. Konnov, M. Lazić, H. Veith, J. Widder:
"Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms";
Formal Methods in System Design (eingeladen),
51
(2017),
2;
S. 270
- 307.
Zusätzliche Informationen
I. Konnov, H. Veith, J. Widder:
"On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability";
Information and Computation,
252
(2017),
S. 95
- 109.
Zusätzliche Informationen
J. Widder, M. Biely:
"Optimal Message-Driven Implementations of Omega with Mute Processes";
ACM Transactions on Autonomous and Adaptive Systems.,
4
(2009),
1;
S. ?.
Zusätzliche Informationen
J. Widder, M. Biely, G. Gridling, B. Weiss, J. Blanquart:
"Consensus in the presence of mortal Byzantine faulty processes";
Distributed Computing,
24
(2012),
6;
S. 299
- 321.
Zusätzliche Informationen
J. Widder, U. Schmid:
"The Theta-Model: achieving synchrony without clocks";
Distributed Computing,
22
(2009),
1;
S. 29
- 47.
Zusätzliche Informationen
Buchbeiträge
A. Gmeiner, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms";
in: "Formal Methods for Executable Software Models",
Springer,
2014, (eingeladen),
ISBN: 978-3-319-07316-3,
S. 122
- 171.
J. Widder, U. Schmid:
"Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures";
in: "Distributed Computing",
Springer-Verlag,
2007,
S. 115
- 140.
Zusätzliche Informationen
Beiträge in Tagungsbänden
N. Bertrand, I. Konnov, M. Lazić, J. Widder:
"Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries";
in: "30th International Conference on Concurrency Theory",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2019,
S. 33:1
- 33:15.
Zusätzliche Informationen
A. Damian, C. Dragoi, A. Militaru, J. Widder:
"Communication-Closed Asynchronous Protocols";
in: "International Conference on Computer Aided Verification",
Springer,
2019,
S. 344
- 363.
Zusätzliche Informationen
I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Eliminating Message Counters in Threshold Automata";
in: "Automated Technology for Verification and Analysis - 18th Symposium, 2020, Hanoi, Vietnam",
12302;
Springer LNCS,
2020,
S. 196
- 212.
Zusätzliche Informationen
I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking";
in: "International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
Springer,
2019,
S. 357
- 374.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
D. Albeseder, J. Widder:
"Simulating Distributed Real-Time Systems";
Poster: Junior Scientist Conference,
Wien;
19.04.2006
- 21.04.2006; in: "Junior Scientist Conference 2006",
(2006),
S. 83
- 84.
Zusätzliche Informationen
B. Aminof, S. Rubin, I. Stoilkovska, J. Widder, F. Zuleger:
"Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction";
Vortrag: Verification, Model Checking, and Abstract Interpretation (VMCAI),
Los Angeles;
07.01.2018
- 09.01.2018; in: "VMCAI",
LNCS/Springer,
10747
(2018),
S. 1
- 24.
Zusätzliche Informationen
B. Aminof, I. Stoilkovska, S. Rubin, J. Widder, F. Zuleger:
"Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction";
Vortrag: International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),
Los Angeles;
07.01.2018
- 09.01.2018; in: "Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings",
LNCS,
10747
(2018),
ISBN: 978-3-319-73720-1;
S. 1
- 24.
Zusätzliche Informationen
E. Anceaume, C. Delporte-Gallet, H. Fauconnier, M. Hurfin, J. Widder:
"Clock Synchronization in the Byzantine-Recovery Failure Model";
Vortrag: International Conference On Principles Of Distributed Systems (OPODIS),
Guadeloupe;
17.12.2007
- 20.12.2007; in: "International Conference On Principles Of DIstributed System",
(2007),
S. 90
- 104.
Zusätzliche Informationen
M. Biely, B. Charron-Bost, A. Gaillard, M. Hutle, A. Schiper, J. Widder:
"Tolerating Corrupted Communication";
Vortrag: ACM Symposium on Principles of Distributed Computing,
Portland;
12.08.2007
- 15.08.2007; in: "26th ACM Symposium on Principles of Distributed Computing (PODC'07)",
(2007),
S. 244
- 253.
Zusätzliche Informationen
M. Biely, M. Hutle, L. Penso, J. Widder:
"Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency";
Vortrag: Ninth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2007),
Paris;
14.11.2007
- 16.11.2007; in: "stabilization",
(2007).
Zusätzliche Informationen
M. Biely, J. Widder:
"Optimal Message-Driven Implementations of Omega with Mute Processes";
Vortrag: 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems,
Dallas;
17.11.2006
- 19.11.2006; in: "Stabilization, Safety, and Security of Distributed Systems",
(2006),
S. 110
- 121.
Zusätzliche Informationen
B. Charron-Bost, A. Gaillard, L. Welch, J. Widder:
"Routing without Ordering";
Vortrag: SPAA 2009 (Parallelism in Algorithms and Architectures),
Calgary, Alberta, Canada;
11.08.2009
- 13.08.2009; in: "Proceedings of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architectures",
ACM,
(2009),
ISBN: 978-1-60558-606-9;
S. 145
- 153.
Zusätzliche Informationen
B. Charron-Bost, L. Welch, J. Widder:
"Link Reversal: How to Play Better to Work Less";
Vortrag: ALGOSENSORS 2009 (5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks),
Rhodes, Greece;
10.07.2009
- 11.07.2009; in: "Algorithmic Aspects of Wireless Sensor Networks",
Springer,
5304/2008
(2009),
ISBN: 9783642054334;
S. 88
- 110.
Zusätzliche Informationen
T. Deutsch, J. Widder:
"Approaching Verification and Validation Challenges in Smart Grids";
Vortrag: Symposium Communications for Energy Systems,
Wien;
29.09.2014
- 01.10.2014; in: "Tagungsband ComForEn 2014",
Eigenverlag des Österreich isch en Verbandes für Elektrotec h nik,
(2014),
ISBN: 978-3-85133-083-0;
6 S.
C. Dragoi, T. Henzinger, H. Veith, J. Widder, D. Zufferey:
"A Logic-Based Framework for Verifying Consensus Algorithms";
Vortrag: Verification, Model Checking, and Abstract Interpretation (VMCAI),
San Diego;
19.02.2014
- 21.02.2014; in: "VMCAI",
Springer / LNCS,
8318
(2014),
ISBN: 978-3-642-54012-7;
S. 161
- 181.
C. Dragoi, M. Lazić, J. Widder:
"Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto";
Vortrag: Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research,
Belgrad, Serbien (eingeladen);
20.04.2018; in: "Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research",
Singidunum University,
15
(2018),
S. 131
- 138.
Zusätzliche Informationen
M Függer, T. Handl, A. Steininger, J. Widder, C. Tögel:
"An Efficient Test for a Transition Signalling based Up-/Down-Counter";
Poster: Austrochip,
Wien;
11.10.2006; in: "Austrochip Mikroelektroniktagung",
(2006),
S. 55
- 62.
Zusätzliche Informationen
M Függer, J. Widder:
"Efficient Checking of Link-Reversal-Based Concurrent Systems";
Vortrag: International Conference on Concurrency Theory (CONCUR),
Newcaslte upon Tyne, UK;
03.09.2012
- 08.09.2012; in: "CONCUR 2012 - Concurrency Theory",
Lecture Notes in Computer Science. Springer Verlag.,
7454
(2012),
ISBN: 978-3-642-32939-5;
S. 486
- 499.
Zusätzliche Informationen
J.-F. Hermant, J. Widder:
"Implementing Reliable Distributed Real Time Systems with the Theta Model";
Vortrag: International Conference on Principles of Distributed Systems,
Pisa;
12.12.2005
- 14.12.2005; in: "9th International Conference on Principles of Distributed Systems",
(2005),
S. 259
- 271.
M. Hutle, J. Widder:
"Brief Announcement: On the Possibility and the Impossibility of Message-Driven Self-Stabilizing Failure Detection";
Vortrag: ACM Symposium on Principles of Distributed Computing,
Las Vegas, Nevada;
17.07.2005
- 20.07.2005; in: "Proceedings of the 24th ACM Symposium on Principles of Distributed Computing",
(2005),
S. 208.
M. Hutle, J. Widder:
"On the Possibility and the Impossibility of Message-Driven Self-Stabilizing Failure Detection";
Vortrag: Seventh International Symposium on Self Stabilizing Systems (SSS 2005),
Barcelona, Spanien;
26.10.2005
- 27.10.2005; in: "Self Stabilizing Systems",
(2005),
S. 153
- 170.
Zusätzliche Informationen
M. Hutle, J. Widder:
"Self-Stabilizing Failure Detector Algorithms";
Vortrag: IASTED International Conference on Parallel and Distributed Computing Systems,
Innsbruck, Austria;
15.02.2005
- 17.02.2005; in: "IASTED International Conference on Parallel and Distributed Computing and Networks",
(2005),
ISBN: 0-88986-468-3;
S. 485
- 490.
Zusätzliche Informationen
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction";
Vortrag: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC),
Montreal, Kanada;
22.07.2013
- 24.07.2013; in: "PODC",
ACM,
(2013),
ISBN: 978-1-4503-2065-8;
S. 119
- 121.
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Parameterized model checking of fault-tolerant distributed algorithms by abstraction";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Portland, OR, USA;
20.10.2013
- 23.10.2013; in: "FMCAD",
(2013),
ISBN: 978-0-9835678-3-7;
S. 201
- 209.
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms";
Vortrag: International SPIN Symposium on Model Checking of Software (SPIN),
Stony Brook, NY, USA;
08.07.2013
- 09.07.2013; in: "SPIN",
LNCS, Springer,
7976
(2013),
ISBN: 978-3-642-39175-0;
S. 209
- 226.
Zusätzliche Informationen
I. Konnov, M. Lazić, H. Veith, J. Widder:
"A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms";
Vortrag: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL),
Paris, France;
18.01.2017
- 20.01.2017; in: "POPL",
ACM,
Paris
(2017),
ISBN: 978-1-4503-4660-3;
S. 719
- 734.
Zusätzliche Informationen
I. Konnov, H. Veith, J. Widder:
"On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability";
Vortrag: International Conference on Concurrency Theory (CONCUR),
Rom, Italien;
02.09.2014
- 05.09.2014; in: "CONCUR",
(2014),
S. 125
- 140.
I. Konnov, H. Veith, J. Widder:
"SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms";
Vortrag: International Conference on Computer Aided Verification (CAV),
San Francisco, CA, USA;
18.07.2015
- 24.07.2015; in: "Computer Aided Verification",
LNCS Springer,
9206
(2015),
ISBN: 978-3-319-21689-8;
S. 85
- 102.
Zusätzliche Informationen
I. Konnov, H. Veith, J. Widder:
"What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms";
Hauptvortrag: Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference,
Kazan, Russland (eingeladen);
25.08.2015
- 27.08.2015; in: "Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015",
LNCS / Springer,
9609
(2016),
S. 6
- 21.
Zusätzliche Informationen
I. Konnov, J. Widder:
"ByMC: Byzantine Model Checker";
Vortrag: International Symposium on Leveraging Applications of Formal Methods (ISoLA),
Limasol, Zypern;
05.11.2018
- 09.11.2018; in: "ISOLA",
Lecture Notes in Computer Science. Springer Verlag.,
11246
(2018),
ISBN: 978-3-642-34025-3;
S. 327
- 342.
Zusätzliche Informationen
I. Konnov, J. Widder, F. Spegni, L. Spalazzi:
"Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms";
Vortrag: Verification, Model Checking, and Abstract Interpretation (VMCAI),
Paris;
15.01.2017
- 17.01.2017; in: "VMCAI 2017: Verification, Model Checking, and Abstract Interpretation",
Springer,
LNCS/10145/Paris
(2017),
ISBN: 978-3-319-52233-3;
S. 347
- 366.
Zusätzliche Informationen
J. Kukovec, I. Konnov, J. Widder:
"Reachability in Parameterized Systems: All Flavors of Threshold Automata";
Vortrag: International Conference on Concurrency Theory (CONCUR),
Bejing, China;
04.09.2018
- 07.09.2018; in: "29th International Conference on Concurrency Theory (CONCUR 2018)",
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing,
118
(2018),
ISBN: 978-3-95977-087-3;
S. 19:1
- 19:17.
Zusätzliche Informationen
M. Lazić, I. Konnov, J. Widder, R. Bloem:
"Synthesis of Distributed Algorithms with Parameterized Threshold Guards";
Vortrag: International Conference On Principles Of Distributed Systems (OPODIS),
Lissabon;
18.12.2017
- 20.12.2017; in: "OPODIS",
LIPIcs-Leibniz International Proceedings in Informatics,
(2017),
S. 32:1
- 32:20.
Zusätzliche Informationen
S. Sastry, L. Welch, J. Widder:
"Wait-Free Stabilizing Dining Using Regular Registers";
Vortrag: International Conference On Principles Of Distributed Systems (OPODIS),
Rom;
17.12.2012
- 20.12.2012; in: "OPODIS",
LNCS / Springer,
7702
(2012),
ISBN: 978-3-642-35475-5;
S. 284
- 299.
Zusätzliche Informationen
S. Sastry, J. Widder:
"Solvability-Based Comparison of Failure Detectors";
Vortrag: International Symposium on Network Computing and Applications (NCA),
Boston, MA, USA;
21.08.2014
- 23.08.2014; in: "NCA",
IEEE Computer Society,
(2014),
ISBN: 978-1-4799-5392-9;
S. 269
- 276.
I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Eliminating Message Counters in Synchronous Threshold Automata";
Vortrag: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),
Copenhagen, Denmark;
17.01.2021
- 19.01.2021; in: "Proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
Springer LNCS,
12597
(2021),
S. 196
- 218.
J. Widder:
"Booting clock synchronization in partially synchronous systems.";
Vortrag: International Conference on Distributed Computing Systems,
Sorrento, Italy;
01.10.2003
- 03.10.2003; in: "Proceedings of the 17th International Symposium on Distributed Computing ",
(2003),
S. 121
- 135.
J. Widder, G. Gridling, B. Weiss, J. Blanquart:
"Synchronous Consensus with Mortal Byzantines";
Vortrag: IEEE Conference on Dependable Systems and Networks (DSN),
Edinburgh;
25.06.2007
- 28.06.2007; in: "Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks",
(2007).
Zusätzliche Informationen
J. Widder, G. Le Lann, U. Schmid:
"Failure Detection with Booting in Partially Synchronous Systems";
Vortrag: European Dependable Computing Conference,
Budapest, Ungarn;
20.04.2005
- 22.04.2005; in: "Dependable Computing Conference - EDCC5",
(2005),
S. 20
- 37.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
M Függer, J. Widder:
"On Efficient Checking of Link-reversal-based Concurrent Systems";
Vortrag: PUMA/RISE Seminar,
Traunkirchen;
03.10.2011
- 07.10.2011.
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Counter Attack against Byzantine Generals";
Vortrag: Alpine Verification Meeting,
Passau, Bayern, Deutschland;
21.05.2012
- 22.05.2012.
Zusätzliche Informationen
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Parameterized Model Checking of Fault-tolerant Distributed Algorithms";
Vortrag: Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering,
Dagstuhl, Deutschland (eingeladen);
11.11.2012
- 16.11.2012.
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Who is afraid of Model Checking Distributed Algorithms?";
Vortrag: PUMA/RISE Seminar,
Goldegg;
24.09.2012
- 28.09.2012.
I. Konnov, M. Lazić, H. Veith, J. Widder:
"Parameterized Verification of Liveness of Distributed Algorithms";
Vortrag: Workshop on Formal Reasoning in Distributed Algorithms (FRiDA),
Marrakech, Marocco;
17.05.2016.
Zusätzliche Informationen
I. Konnov, H. Veith, J. Widder:
"Who is afraid of Model Checking Distributed Algorithms?";
Vortrag: Workshop on Exploiting Concurrency Efficiently and Correctly,
Berkeley, CA, USA;
07.07.2012
- 08.07.2012.
Zusätzliche Informationen
M. Lazić, I. Konnov, H. Veith, J. Widder:
"Model Checking of Threshold-based Fault-Tolerant Distributed Algorithms";
Vortrag: 7th Workshop on Program Semantics, Specification and Verification: Theory and Applications,
St. Petersburg, Russia (eingeladen);
14.07.2016
- 15.07.2016.
Zusätzliche Informationen
J. Widder:
"The Theta-Model, and how to Boot Clock Synchronization in it";
Vortrag: Seminaire Reflecs in INRIA Rocquencourt, Frankreich,
INRIA Rocquencourt, Frankreich (eingeladen);
10.02.2004.
J. Widder:
"VLSI Design and the Theta-Model (Kurzvorstellungen aktueller Forschung)";
Vortrag: Diskussionskreis Fehlertoleranz,
Berlin;
12.11.2004.
J. Widder:
"Why, Where and How to Use the Theta-Model";
Vortrag: Seminaire Reflecs in INRIA Rocquencourt, Frankreich,
INRIA Rocquencourt, Frankreich (eingeladen);
10.03.2004.
J. Widder, G. Gridling, B. Weiss, J. Blanquart:
"Synchronous Consensus with Mortal Byzantines";
Vortrag: Dagstuhl Seminar 06371. From Security to Dependability,
Dagstuhl (eingeladen);
10.09.2006
- 15.09.2006.
Zusätzliche Informationen
Dissertationen (eigene und begutachtete)
J. Widder:
"Distributed Computing in the Presence of Bounded Asynchrony";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, M. Jazayeri;
Institut für Technische Informatik / Embedded Computing Systems,
2004.
Wissenschaftliche Berichte
J.-F. Hermant, J. Widder:
"Implementing Time Free Designs for Distributed Real-Time Systems (A Case Study)";
Bericht für Research Report 23/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria (Joint research report with INRIA Rocquencourt, France);
2004.
M. Hutle, J. Widder:
"On the Possibility and the Impossibility of Time Free Self-Stabilizing Failure Detection";
Bericht für Research Report 34/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
M. Hutle, J. Widder:
"Time Free Self-Stabilizing Local Failure Detection";
Bericht für Research Report 33/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
Zusätzliche Informationen
J. Widder, G. Le Lann, U. Schmid:
"Perfect failure detection with booting in partially synchronous systems";
Bericht für Technical Report 183/1-131, Department of Automation, Technische Universität Wien;
2003.
J. Widder, U. Schmid:
"Booting clock synchronization in partially synchronous systems with hybrid node and link failures.";
Bericht für Technical Report 183/1-126, Department of Automation, Technische Universität Wien;
2003.