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.

Robert Koenighofer
SearchCollections
Map detail
Robert Koenighofer6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRobert KoenighoferARobert KoenighoferResearcherAutomatic Error Localization for Software using Deductive VerificationWAutomatic Error Localiz...preprint / 2014SAT-Based Synthesis Methods for Safety SpecsWSAT-Based Synthesis Met...preprint / 2013Shield Synthesis: Runtime Enforcement for Reactive SystemsWShield Synthesis: Runti...preprint / 2015Cooperative Reactive SynthesisWCooperative Reactive Sy...preprint / 2015Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial InformationWAssume-Guarantee Synthe...preprint / 2014
Person5 links

Robert Koenighofer

Researcher

PaperAutomatic Error Localization for Software using Deductive VerificationAuthorship / preprint / 2014PaperSAT-Based Synthesis Methods for Safety SpecsAuthorship / preprint / 2013PaperShield Synthesis: Runtime Enforcement for Reactive SystemsAuthorship / preprint / 2015PaperCooperative Reactive SynthesisAuthorship / preprint / 2015PaperAssume-Guarantee Synthesis for Concurrent Reactive Programs with Partial InformationAuthorship / preprint / 2014

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)