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.

Roderick Bloem
SearchCollections
Map detail
Roderick Bloem13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRoderick BloemARoderick BloemResearcherIt's Time to Play Safe: Shield Synthesis for Timed SystemsWIt's Time to Play Safe:...preprint / 2020Synthesizing Robust Systems with RATSYWSynthesizing Robust Sys...preprint / 2012SAT-Based Synthesis Methods for Safety SpecsWSAT-Based Synthesis Met...preprint / 2013Better Quality in Synthesis through Quantitative ObjectivesWBetter Quality in Synth...preprint / 2013How to Handle Assumptions in SynthesisWHow to Handle Assumptio...preprint / 2014Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial InformationWAssume-Guarantee Synthe...preprint / 2014Shield Synthesis: Runtime Enforcement for Reactive SystemsWShield Synthesis: Runti...preprint / 2015Cooperative Reactive SynthesisWCooperative Reactive Sy...preprint / 2015Satisfiability-Based Methods for Reactive Synthesis from Safety SpecificationsWSatisfiability-Based Me...preprint / 2016Parameterized Synthesis Case Study: AMBA AHB (extended version)WParameterized Synthesis...preprint / 2015Conformance Testing of Mealy Machines Under Input RestrictionsWConformance Testing of ...preprint / 2022Correct-by-Construction Runtime Enforcement in AI -- A SurveyWCorrect-by-Construction...preprint / 2022
Person12 links

Roderick Bloem

Researcher

PaperIt's Time to Play Safe: Shield Synthesis for Timed SystemsAuthorship / preprint / 2020PaperSynthesizing Robust Systems with RATSYAuthorship / preprint / 2012PaperSAT-Based Synthesis Methods for Safety SpecsAuthorship / preprint / 2013PaperBetter Quality in Synthesis through Quantitative ObjectivesAuthorship / preprint / 2013PaperHow to Handle Assumptions in SynthesisAuthorship / preprint / 2014PaperAssume-Guarantee Synthesis for Concurrent Reactive Programs with Partial InformationAuthorship / preprint / 2014PaperShield Synthesis: Runtime Enforcement for Reactive SystemsAuthorship / preprint / 2015PaperCooperative Reactive SynthesisAuthorship / preprint / 2015

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)