( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Language Inclusion for Finite Prime Event Structures.

, , и . CoRR, (2019)

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.

Georg Weissenbacher

Petra Weißenbacher

Ernst Weissenbacher

Heidemarie Weissenbacher

Stephanie Weissenbacher

 

Другие публикации лиц с тем же именем

Bounded Model Checking of Speculative Non-Interference., , и . ICCAD, стр. 1-9. IEEE, (2021)Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search., , , , и . ACM Trans. Embed. Comput. Syst., 18 (1): 4:1-4:28 (2019)Model Checking AUTOSAR Components with CBMC., , , и . FMCAD, стр. 96-101. IEEE, (2021)Model-Based Diagnosis with Multiple Observations., , , и . IJCAI, стр. 1108-1115. ijcai.org, (2019)Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017., и . Formal Methods Syst. Des., 57 (3): 303-304 (2021)RAT Elimination., и . LPAR, том 73 из EPiC Series in Computing, стр. 423-448. EasyChair, (2020)A Formalization of Heisenbugs and Their Causes., , и . SEFM, том 14323 из Lecture Notes in Computer Science, стр. 282-300. Springer, (2023)Language Inclusion for Finite Prime Event Structures., , и . VMCAI, том 11990 из Lecture Notes in Computer Science, стр. 314-336. Springer, (2020)Extracting safe thread schedules from incomplete model checking results., , и . Int. J. Softw. Tools Technol. Transf., 22 (5): 565-581 (2020)Language Inclusion for Finite Prime Event Structures., , и . CoRR, (2019)