( en | de | ru )

 

Disambiguierung von "Finkbeiner, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesizing functional reactive programs.

, , , und . Haskell@ICFP, Seite 162-175. ACM, (2019)

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

Claudia Finkbeiner

Johannes 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)Collecting Statistics Over Runtime Executions., , und . Formal Methods Syst. Des., 27 (3): 253-274 (2005)The Hierarchy of Hyperlogics., , , und . LICS, Seite 1-13. IEEE, (2019)Bounded Cycle Synthesis., und . CAV (1), Volume 9779 von Lecture Notes in Computer Science, Seite 118-135. Springer, (2016)Encodings of Bounded Synthesis., , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 354-370. (2017)Synthesizing Reactive Systems from Hyperproperties., , , , und . CoRR, (2019)Model Checking Quantitative Hyperproperties., , und . CoRR, (2019)AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL., , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 64-76. Springer, (2020)