BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Bernd Finkbeiner
SearchCollections
Map detail
Bernd Finkbeiner20 visible / 20 total nodes / 48 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipAuthorshipBernd FinkbeinerABernd FinkbeinerResearcherNatural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning ModelsWNatural Synthesis: Outp...preprint / 2026Frederik SchmittAFrederik SchmittResearcherMatthias CoslerAMatthias CoslerResearcherNiklas MetzgerANiklas MetzgerResearcherJulian SiberAJulian SiberResearcherVladimir KrsmanovicAVladimir KrsmanovicResearcherMohamed GhanemAMohamed GhanemResearcherTemporal Stream Logic modulo Theories (Full Version)WTemporal Stream Logic m...preprint / 2022Information Flow Guided Synthesis (Full Version)WInformation Flow Guided...preprint / 2022Compositional Synthesis of Modular Systems (Full Version)WCompositional Synthesis...preprint / 2022Efficient Monitoring of Hyperproperties using Prefix TreesWEfficient Monitoring of...preprint / 2021Realizing Omega-regular HyperpropertiesWRealizing Omega-regular...preprint / 2021Canonical Representations of k-Safety HyperpropertiesWCanonical Representatio...preprint / 2020Model Checking Branching Properties on Petri Nets with Transits (Full Version)WModel Checking Branchin...preprint / 2020AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)WAdamMC: A Model Checker...preprint / 2020Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime MonitoringWCutting Corners on Unce...preprint / 2026A Temporal Logic for HyperpropertiesWA Temporal Logic for Hy...preprint / 2013Proceedings Second Workshop on SynthesisWProceedings Second Work...preprint / 2014Machine LearningTMachine Learning49008 works
Person19 links

Bernd Finkbeiner

Researcher

PaperNatural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning ModelsAuthorship / preprint / 2026PersonFrederik SchmittCo-authorship / ResearcherPersonMatthias CoslerCo-authorship / ResearcherPersonNiklas MetzgerCo-authorship / ResearcherPersonJulian SiberCo-authorship / ResearcherPersonVladimir KrsmanovicCo-authorship / ResearcherPersonMohamed GhanemCo-authorship / ResearcherPaperTemporal Stream Logic modulo Theories (Full Version)Authorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)