( en | de | ru )

 

Disambiguation of "Finkbeiner, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing functional reactive programs.

, , , and . Haskell@ICFP, page 162-175. ACM, (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. You can also use the button next to the name to display some publications already assigned to the person.

Bernd Finkbeiner

Hans Finkbeiner

Hans Finkbeiner

Johannes Finkbeiner

Hans Finkbeiner

 

Other publications of authors with the same name

Proceedings Second Workshop on Synthesis, and . (2014)cite arxiv:1403.7264.Monitoring Realizability., and . RV, volume 7186 of Lecture Notes in Computer Science, page 427-441. Springer, (2011)Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents., , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 157-173. (2016)Bounded Synthesis of Reactive Programs., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 441-457. Springer, (2018)Reactive Safety, and . GandALF, volume 54 of EPTCS, page 178-191. (2011)Bounded Synthesis for Petri Games.. Correct System Design, volume 9360 of Lecture Notes in Computer Science, page 223-237. Springer, (2015)Fast DQBF Refutation., and . SAT, volume 8561 of Lecture Notes in Computer Science, page 243-251. Springer, (2014)Model Checking Branching Properties on Petri Nets with Transits., , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 394-410. Springer, (2020)Relational abstract interpretation for the verification of 2-hypersafety properties., , and . ACM Conference on Computer and Communications Security, page 211-222. ACM, (2013)Logics and Algorithms for Hyperproperties.. ACM SIGLOG News, 10 (2): 4-23 (2023)