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

Native 10 Gigabit Ethernet experiments over long distances., , , , , , , , , and . Future Generation Comp. Syst., 21 (4): 457-468 (2005)Constraint Oriented Temporal Logic Specification., and . Formal Systems Specification, volume 1169 of Lecture Notes in Computer Science, page 161-182. Springer, (1994)Teraflows over Gigabit WANs with UDT., , , , , , and . Future Generation Comp. Syst., 21 (4): 501-513 (2005)Formalisation of Requirements with Emphasis on Feature Interaction Detection.. FIW, page 61-77. IOS Press, (1997)Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing., , and . ICST Workshops, page 209-218. IEEE Computer Society, (2016)Exploring practical limitations of TCP over transatlantic networks., , , and . Future Generation Comp. Syst., 21 (4): 489-499 (2005)Specifying and Generating Test Cases Using Observer Automata., , , and . FATES, volume 3395 of Lecture Notes in Computer Science, page 125-139. Springer, (2004)TCP Behavior on Transatlantic Lambda's., , , , and . European Across Grids Conference, volume 2970 of Lecture Notes in Computer Science, page 282-290. Springer, (2003)Spatial Derivatives and the Propagation of Noise in Gaussian Scale Space., , , and . J. Visual Communication and Image Representation, 4 (1): 1-13 (1993)Using temporal logic for modular specification of telephone services., , and . FIW, page 197-216. IOS Press, (1994)