Author of the publication

Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System.

, , and . AINA, page 936-943. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts., , and . AINA Workshops, page 334-341. IEEE Computer Society, (2014)Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation., , and . Annual Simulation Symposium, page 183-192. IEEE Computer Society, (2008)Combining decomposition and reduction for state space analysis of a self-stabilizing system., , and . J. Comput. Syst. Sci., 79 (7): 1113-1125 (2013)Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems., , and . AINA, page 1049-1056. IEEE Computer Society, (2014)Unmasking fault tolerance: quantifying deterministic recovery dynamics in probabilistic environments.. University of Oldenburg, Germany, (2013)Experiencing Technology Independence., , , and . COMPSAC (2), page 153-158. IEEE, (2019)The Degree of Masking Fault Tolerance vs. Temporal Redundancy., and . AINA Workshops, page 21-28. IEEE Computer Society, (2011)Unmasking Fault Tolerance: Masking vs. Non-masking Fault-tolerant Systems.. AlgoSyn, page 54. Verlagshaus Mainz, Aachen, Germany, (2010)Estimating the probability of a timely traffic-hazard warning via simulation., , and . SpringSim (ANSS), page 130-137. SCS/ACM, (2015)A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios., , , , and . Computers & Electrical Engineering, (2018)