( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.

, , и . CAV (2), том 10427 из Lecture Notes in Computer Science, стр. 564-570. Springer, (2017)

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

Johannes Finkbeiner

Hans Finkbeiner

 

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

Verifying hyperproperties of hardware systems., и . FMCAD, стр. 5. IEEE, (2016)Vehicle Platooning Simulations with Functional Reactive Programming., , , и . CoRR, (2018)Deciding Hyperproperties., и . CONCUR, том 59 из LIPIcs, стр. 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Synthesizing Reactive Systems from Hyperproperties., , , , и . CoRR, (2019)Model Checking Quantitative Hyperproperties., , и . CoRR, (2019)Detecting Unrealizability of Distributed Fault-tolerant Systems., и . Logical Methods in Computer Science, (2015)Encodings of Bounded Synthesis., , , и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 354-370. (2017)Bounded Cycle Synthesis., и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 118-135. Springer, (2016)The Hierarchy of Hyperlogics., , , и . LICS, стр. 1-13. IEEE, (2019)Collecting Statistics Over Runtime Executions., , и . Formal Methods Syst. Des., 27 (3): 253-274 (2005)