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: Bloem:Roderick
Facilitated 1 volumes:
EdContributed to:
2015
2015
201420132013201220102009
20082007
2007
2007
20072006
20062007
2006200520022000200019992016201720182019Wrote 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.