( en | de | ru )

 

Disambiguierung von "Finkbeiner, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Collecting Statistics Over Runtime Executions.

, , und . Formal Methods Syst. Des., 27 (3): 253-274 (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bernd Finkbeiner

Hans Finkbeiner

Hans Finkbeiner

Johannes Finkbeiner

Hans Finkbeiner

 

Weitere Publikationen von Autoren mit dem selben Namen

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