PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Finkbeiner, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

, , , , , , , , , , , , , and . CoRR, (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.

Jakob Finkbeiner University of Stuttgart

Bernd Bertsche

Dr. rer. nat. Bernd Schulz University of Stuttgart

Bernd Peters University of Stuttgart

apl. Prof. Dr. Bernd Flemisch University of Stuttgart

 

Other publications of authors with the same name

Semi-automatic Distributed Synthesis., and . Int. J. Found. Comput. Sci., 18 (1): 113-138 (2007)Translating Asynchronous Games for Distributed Synthesis (Full Version)., , and . CoRR, (2019)Verifying Security Policies in Multi-agent Workflows with Loops., , , and . ACM Conference on Computer and Communications Security, page 633-645. ACM, (2017)The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results., , , , , , , , , and 4 other author(s). SYNT@CAV, volume 260 of EPTCS, page 116-143. (2017)Symbolic vs. Bounded Synthesis for Petri Games., , , and . SYNT@CAV, volume 260 of EPTCS, page 23-43. (2017)Reactive Safety, and . GandALF, volume 54 of EPTCS, page 178-191. (2011)Lossy Channel Games under Incomplete Information, and . SR, volume 112 of EPTCS, page 43-51. (2013)Monitoring Temporal Information Flow., , and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 342-357. Springer, (2012)Directed Model Checking with Distance-Preserving Abstractions., , and . SPIN, volume 3925 of Lecture Notes in Computer Science, page 19-34. Springer, (2006)Bounded Synthesis of Reactive Programs., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 441-457. Springer, (2018)