BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × Germany
1 × Iceland
1 × Portugal
1 × Russia
1 × Taiwan
2 × France
3 × Italy
3 × United Kingdom
5 × USA
Collaborated with:
S.Jacobs B.Jobstmann F.Somenzi A.Khalimov R.Könighofer M.Roveri K.Chatterjee I.Pill A.Cimatti A.Griesmayer K.Ravi T.A.Henzinger S.J.Galler M.Weiglhofer K.Greimel F.Röck S.Staber B.Könighofer R.Cavada S.Semprini M.Seidl N.Piterman A.Pnueli B.Cook S.Gurumurthy N.Braud-Santoni C.Wang D.M.Hein R.Schumi M.Y.Vardi E.Bartocci D.Nickovic A.Tchaltsev G.Avni S.Pranger G.Hofferek V.Schuppan R.Seeber
Talks about:
synthesi (12) parameter (3) implement (3) automata (3) program (3) hardwar (3) analysi (3) symbol (3) requir (3) effici (3)

Person: Roderick Bloem

DBLP DBLP: Bloem:Roderick

Facilitated 1 volumes:

CAV 2014Ed

Contributed to:

TACAS 20152015
TAP 20152015
VMCAI 20142014
CAV 20132013
VMCAI 20132013
TACAS 20122012
CAV 20102010
CAV 20092009
ICALP (2) 20082008
CAV 20072007
COCV 20072007
DATE 20072007
SAT 20072007
CAV 20062006
CIAA 20062006
CIAA 20062007
DAC 20062006
CAV 20052005
CAV 20022002
CAV 20002000
DAC 20002000
CAV 19991999
CAV (1) 20162016
CAV (2) 20172017
CAV (1) 20182018
CAV (1) 20192019

Wrote 29 papers:

TACAS-2015-BloemCJK #concurrent #source code #synthesis
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (RB, KC, SJ, RK), pp. 517–532.
TACAS-2015-BloemKKW #runtime #synthesis
Shield Synthesis: — Runtime Enforcement for Reactive Systems (RB, BK, RK, CW), pp. 533–548.
TAP-2015-BloemHRS #automation #case study #generative #implementation #testing
Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.
VMCAI-2014-BloemKS #safety #satisfiability #specification #synthesis
SAT-Based Synthesis Methods for Safety Specs (RB, RK, MS), pp. 1–20.
CAV-2013-KhalimovJB #synthesis
PARTY Parameterized Synthesis of Token Rings (AK, SJ, RB), pp. 928–933.
VMCAI-2013-KhalimovJB #performance #synthesis #towards
Towards Efficient Parameterized Synthesis (AK, SJ, RB), pp. 108–127.
TACAS-2012-JacobsB #synthesis
Parameterized Synthesis (SJ, RB), pp. 362–376.
CAV-2010-BloemCGHJ #liveness #robust
Robustness in the Presence of Liveness (RB, KC, KG, TAH, BJ), pp. 410–424.
CAV-2010-BloemCGHKRSS #analysis #named #requirements #synthesis
RATSY — A New Requirements Analysis Tool with Synthesis (RB, AC, KG, GH, RK, MR, VS, RS), pp. 425–429.
CAV-2009-BloemCHJ #quality #synthesis
Better Quality in Synthesis through Quantitative Objectives (RB, KC, TAH, BJ), pp. 140–156.
ICALP-B-2008-GreimelBJV
Open Implication (KG, RB, BJ, MYV), pp. 361–372.
CAV-2007-BloemCPRT #analysis #formal method #named #requirements
RAT: A Tool for the Formal Analysis of Requirements (RB, RC, IP, MR, AT), pp. 263–267.
CAV-2007-JobstmannGWB #named #synthesis
Anzu: A Tool for Property Synthesis (BJ, SJG, MW, RB), pp. 258–262.
COCV-2007-BloemGJPPW #hardware
Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.
DATE-2007-BloemGJPPW #automation #case study #hardware #interactive #specification #synthesis
Interactive presentation: Automatic hardware synthesis from specifications: a case study (RB, SJG, BJ, NP, AP, MW), pp. 1188–1193.
SAT-2007-StaberB #fault #locality
Fault Localization and Correction with QBF (SS, RB), pp. 355–368.
CAV-2006-GriesmayerBC #c #source code
Repair of Boolean Programs with an Application to C (AG, RB, BC), pp. 358–371.
CIAA-2006-BloemCPRS #automaton #implementation
Symbolic Implementation of Alternating Automata (RB, AC, IP, MR, SS), pp. 208–218.
CIAA-J-2006-BloemCPR07 #automaton #implementation
Symbolic Implementation of Alternating Automata (RB, AC, IP, MR), pp. 727–743.
DAC-2006-PillSCRBC #analysis #formal method #hardware #requirements
Formal analysis of hardware requirements (IP, SS, RC, MR, RB, AC), pp. 821–826.
CAV-2005-JobstmannGB #game studies #program repair
Program Repair as a Game (BJ, AG, RB), pp. 226–238.
CAV-2002-GurumurthyBS #simulation
Fair Simulation Minimization (SG, RB, FS), pp. 610–624.
CAV-2000-SomenziB #automaton #ltl #performance
Efficient Büchi Automata from LTL Formulae (FS, RB), pp. 248–263.
DAC-2000-BloemRS #model checking
Symbolic guided search for CTL model checking (RB, KR, FS), pp. 29–34.
CAV-1999-BloemRS #linear #logic #model checking #performance
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties (RB, KR, FS), pp. 222–235.
CAV-2016-BloemBJ #distributed #self #synthesis
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems (RB, NBS, SJ), pp. 157–176.
CAV-2017-KhalimovB #bound #synthesis
Bounded Synthesis for Streett, Rabin, and CTL* (AK, RB), pp. 333–352.
CAV-2018-BartocciBNR #finite #ltl #monitoring #semantics #specification
A Counting Semantics for Monitoring LTL Specifications over Finite Traces (EB, RB, DN, FR), pp. 547–564.
CAV-2019-AvniBCHKP #game studies #optimisation #runtime
Run-Time Optimization for Learned Controllers Through Quantitative Games (GA, RB, KC, TAH, BK, SP), pp. 630–649.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.