Author of the publication

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

Verification of Adaptive Systems., , , , , and . Infotech@Aerospace, (2012)Design, Implementation, and Evaluation of Highly Available Distributed Call Processing Systems., , , , and . FTCS, page 118-127. IEEE Computer Society, (1998)Simulation of the Adapt On-Line Diagnosis Algorithm for General Topology Networks., , and . SRDS, page 180-187. IEEE Computer Society, (1992)Towards rapid development of configurable, reliable, and scalable wireless applications., and . PIMRC, page 1037-1043. IEEE, (2000)NAOMI - An Experimental Platform for Multi-modeling., , , , and . MoDELS, volume 5301 of Lecture Notes in Computer Science, page 143-157. Springer, (2008)Cluster mobile switching center for third generation wireless systems., , , , and . PIMRC, page 121-125. IEEE, (1998)An Adaptive Distributed System-Level Diagnosis Algorithm and Its Implementation., and . FTCS, page 222-229. IEEE Computer Society, (1991)Distributed On-Line Diagnosis in the Presence of Arbitrary Faults., and . FTCS, page 470-479. IEEE Computer Society, (1993)Reliable multicasting of continuous data streams., , and . Bell Labs Tech. J., 2 (2): 151-174 (1997)The AdaptiV approach to verification of adaptive systems., , , , and . C3S2E, page 118-122. ACM, (2012)