PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Prasetya, I. S. W. B."

Author of the publication

copydeleteadd this publication to your clipboard
Formal design of self-stabilizing programs.

, and . J. High Speed Networks, 14 (1): 59-83 (2005)

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.

I. Steinwart

B. Schlecht

S. Schumann

S. Seemann

I. Dudic

 

Other publications of authors with the same name

T3: Benchmarking at Third Unit Testing Tool Contest.. SBST@ICSE, page 44-47. IEEE Computer Society, (2015)On the Style of Mechanical Proving.. HUG, volume 780 of Lecture Notes in Computer Science, page 475-488. Springer, (1993)A mirroring architecture for sophisticated mobile games using computation-offloading., , , and . Concurrency and Computation: Practice and Experience, (2018)Mirror: A computation-offloading framework for sophisticated mobile games., , , and . WoWMoM, page 1-3. IEEE, (2017)Aplib: Tactical Programming of Intelligent Agents.. CoRR, (2019)Exploiting Annotations to Test Break-off Branches., , and . APSEC, page 80-87. IEEE Computer Society, (2015)Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.. TPHOLs, volume 859 of Lecture Notes in Computer Science, page 362-377. Springer, (1994)Random testing with austere budgeting in T3: benchmarking at SBST2019 testing tool contest.. SBST@ICSE, page 21-24. IEEE / ACM, (2019)Test Model Coverage Analysis Under Uncertainty., and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 222-239. Springer, (2019)Building Verification Condition Generators by Compositional Extensions., , , and . SEFM, page 220-230. IEEE Computer Society, (2005)