PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Brun, Yuriy"

Author of the publication

copydeleteadd this publication to your clipboard
Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms.

, , , , and . IEEE Trans. Software Eng., 41 (4): 408-428 (2015)

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.

Univ. -Prof. Piero Bruno University of Stuttgart

Prof. Dr. Herwig Brunner University of Stuttgart

Malte Brunn

M. Brunn

Thomas Brunner University of Stuttgart

 

Other publications of authors with the same name

Nondeterministic polynomial time factoring in the tile assembly model.. Theor. Comput. Sci., 395 (1): 3-23 (2008)Smart Redundancy for Distributed Computation., , , and . ICDCS, page 665-676. IEEE Computer Society, (2011)Constant-Size Tileset for Solving an NP-Complete Problem in Nondeterministic Linear Time.. DNA, volume 4848 of Lecture Notes in Computer Science, page 26-35. Springer, (2007)Crystal-growth-inspired algorithms for computational grids., and . BADS@ICAC, page 19-26. ACM, (2009)Automatically generating precise Oracles from structured natural language specifications., and . ICSE, page 188-199. IEEE / ACM, (2019)Engineering Self-Adaptive Systems through Feedback Loops., , , , , , , , and . Software Engineering for Self-Adaptive Systems, volume 5525 of Lecture Notes in Computer Science, page 48-70. Springer, (2009)Software Engineering for Self-Adaptive Systems: A Second Research Roadmap., , , , , , , , , and 32 other author(s). Software Engineering for Self-Adaptive Systems, volume 7475 of Lecture Notes in Computer Science, page 1-32. Springer, (2010)Understanding regression failures through test-passing and test-failing code changes., , , , and . ICSE, page 1177-1180. IEEE Computer Society, (2013)Visually reasoning about system and resource behavior., , , and . ICSE (Companion Volume), page 601-604. ACM, (2016)Inferring models of concurrent systems from logs of their behavior with CSight., , , and . ICSE, page 468-479. ACM, (2014)