PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kosmatov, Nikolai"

Author of the publication

copydeleteadd this publication to your clipboard
MetAcsl: Specification and Verification of High-Level Properties.

, , , , and . CoRR, (2018)

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.

Nikolai Klempp University of Stuttgart

Nikolai Otto University of Stuttgart

Nikolai von Ruckteschell University of Stuttgart

 

Other publications of authors with the same name

Frama-C: A software analysis perspective., , , , and . Formal Asp. Comput., 27 (3): 573-609 (2015)Structural Testing with PathCrawler: Tutorial Synopsis., and . QSIC, page 289-292. IEEE, (2012)Structural Unit Testing as a Service with PathCrawler-online.com., , , and . SOSE, page 435-440. IEEE Computer Society, (2013)Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process., , , , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 104-120. Springer, (2018)Frama-C - A Software Analysis Perspective., , , , , and . SEFM, volume 7504 of Lecture Notes in Computer Science, page 233-247. Springer, (2012)Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices., , and . FASE, volume 9633 of Lecture Notes in Computer Science, page 179-196. Springer, (2016)Self-composition to Prove Relational Properties in Annotated C Program., , , and . CoRR, (2018)Deductive Verification with Relational Properties., , , and . CoRR, (2016)Instrumentation of Annotated C Programs for Test Generation., , , , and . SCAM, page 105-114. IEEE Computer Society, (2014)Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report., , and . TAP, volume 10889 of Lecture Notes in Computer Science, page 139-156. Springer, (2018)