( en | de | ru )

 

Disambiguierung von "Finkbeiner, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
RTLola on Board: Testing Real Driving Emissions on your Phone.

, , , , , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 365-372. Springer, (2021)

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

Reactive Safety, und . GandALF, Volume 54 von EPTCS, Seite 178-191. (2011)Proceedings Second Workshop on Synthesis, und . (2014)cite arxiv:1403.7264.LOLA: Runtime Monitoring of Synchronous Systems., , , , , , , und . TIME, Seite 166-174. IEEE Computer Society, (2005)Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents., , und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 157-173. (2016)Bounded Synthesis of Reactive Programs., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 441-457. Springer, (2018)Bounded Synthesis for Petri Games.. Correct System Design, Volume 9360 von Lecture Notes in Computer Science, Seite 223-237. Springer, (2015)Monitoring Realizability., und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 427-441. Springer, (2011)Fast DQBF Refutation., und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 243-251. Springer, (2014)Relational abstract interpretation for the verification of 2-hypersafety properties., , und . ACM Conference on Computer and Communications Security, Seite 211-222. ACM, (2013)Model Checking Branching Properties on Petri Nets with Transits., , , und . ATVA, Volume 12302 von Lecture Notes in Computer Science, Seite 394-410. Springer, (2020)