( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Deciding Hyperproperties.

, и . CONCUR, том 59 из LIPIcs, стр. 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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.

Bernd Finkbeiner

Hans Finkbeiner

Hans Finkbeiner

Hans Finkbeiner

Johannes Finkbeiner

 

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

Verifying hyperproperties of hardware systems., и . FMCAD, стр. 5. IEEE, (2016)The Hierarchy of Hyperlogics., , , и . LICS, стр. 1-13. IEEE, (2019)Collecting Statistics Over Runtime Executions., , и . Formal Methods Syst. Des., 27 (3): 253-274 (2005)Deciding Hyperproperties., и . CONCUR, том 59 из LIPIcs, стр. 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Synthesizing Skeletons for Reactive Systems., и . ATVA, том 9938 из Lecture Notes in Computer Science, стр. 271-286. (2016)Probabilistic Hyperproperties of Markov Decision Processes., , и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 484-500. Springer, (2020)BOCoSy: Small but Powerful Symbolic Output-Feedback Control., , , , и . HSCC, стр. 24:1-24:11. ACM, (2022)Prophecy Variables for Hyperproperty Verification., и . CSF, стр. 471-485. IEEE, (2022)Reactive Synthesis of Smart Contract Control Flows., , , и . ATVA (1), том 14215 из Lecture Notes in Computer Science, стр. 248-269. Springer, (2023)AutoHyper: Explicit-State Model Checking for HyperLTL., и . TACAS (1), том 13993 из Lecture Notes in Computer Science, стр. 145-163. Springer, (2023)