Roderick Bloem


Ontology type: schema:Person     


Person Info

NAME

Roderick

SURNAME

Bloem

Publications in SciGraph latest 50 shown

  • 2021-10-12 TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2021-10-12 Proving SIFA Protection of Masked Redundant Circuits in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2021-09-17 Vacuity in synthesis in FORMAL METHODS IN SYSTEM DESIGN
  • 2021-08-23 Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations in FORMAL METHODS IN SYSTEM DESIGN
  • 2021-05-19 Online Shielding for Stochastic Systems in NASA FORMAL METHODS
  • 2021-02-22 Learning Mealy Machines with One Timer in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2020-10-29 Shield Synthesis for Reinforcement Learning in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: VERIFICATION PRINCIPLES
  • 2020-10-02 Placement of Runtime Checks to Counteract Fault Injections in RUNTIME VERIFICATION
  • 2019-11-30 Preface for the SYNT in ACTA INFORMATICA
  • 2019-10-21 Efficient Information-Flow Verification Under Speculative Execution in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2019-10-14 Synthesizing adaptive test strategies from temporal logic specifications in FORMAL METHODS IN SYSTEM DESIGN
  • 2019-10-08 Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning in TESTING SOFTWARE AND SYSTEMS
  • 2019-07-12 Run-Time Optimization for Learned Controllers Through Quantitative Games in COMPUTER AIDED VERIFICATION
  • 2019-01-11 Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2018-09-30 Bounded Synthesis of Register Transducers in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2018-07-18 A Counting Semantics for Monitoring LTL Specifications over Finite Traces in COMPUTER AIDED VERIFICATION
  • 2018-05-19 Graph Games and Reactive Synthesis in HANDBOOK OF MODEL CHECKING
  • 2018-03-31 Formal Verification of Masked Hardware Implementations in the Presence of Glitches in ADVANCES IN CRYPTOLOGY – EUROCRYPT 2018
  • 2017-11-11 Designing Reliable Cyber-Physical Systems in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN
  • 2017-09-25 Shield synthesis in FORMAL METHODS IN SYSTEM DESIGN
  • 2017-07-13 Bounded Synthesis for Streett, Rabin, and in COMPUTER AIDED VERIFICATION
  • 2017-01-12 Synthesizing Non-Vacuous Systems in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2016-11-11 Dependability for the Internet of Things—from dependable networking in harsh environments to a holistic view on dependability in E & I ELEKTROTECHNIK UND INFORMATIONSTECHNIK
  • 2016-07-13 Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems in COMPUTER AIDED VERIFICATION
  • 2016-04-09 The first reactive synthesis competition (SYNTCOMP 2014) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2015-11-22 Cooperative Reactive Synthesis in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2015-07-17 Case Study: Automatic Test Case Generation for a Secure Cache Implementation in TESTS AND PROOFS
  • 2015 Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2015 Shield Synthesis: in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2014 Automatic Error Localization for Software Using Deductive Verification in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2014 SAT-Based Synthesis Methods for Safety Specs in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2014 Reduction of Resolution Refutations and Interpolants via Subsumption in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2013-12-05 Synthesizing robust systems in ACTA INFORMATICA
  • 2013 Towards Efficient Parameterized Synthesis in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2013 Repair with On-The-Fly Program Analysis in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2013 FoREnSiC– An Automatic Debugging Environment for C Programs in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2013 PARTY Parameterized Synthesis of Token Rings in COMPUTER AIDED VERIFICATION
  • 2012 Generalized Reactivity(1) Synthesis without a Monolithic Strategy in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2012 Parameterized Synthesis in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2012 Secure Embedded Platform with Advanced Process Isolation and Anonymity Capabilities in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS
  • 2011-12-16 Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2011 Debugging Unrealizable Specifications with Model-Based Diagnosis in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2010 Robustness in the Presence of Liveness in COMPUTER AIDED VERIFICATION
  • 2010 RATSY – A New Requirements Analysis Tool with Synthesis in COMPUTER AIDED VERIFICATION
  • 2009 Better Quality in Synthesis through Quantitative Objectives in COMPUTER AIDED VERIFICATION
  • 2008-01-01 Open Implication in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2007-01-01 Fault Localization and Correction with QBF in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2007
  • 2007-01-01 Automatic Fault Localization for Property Checking in HARDWARE AND SOFTWARE, VERIFICATION AND TESTING
  • 2007-01-01 RAT: A Tool for the Formal Analysis of Requirements in COMPUTER AIDED VERIFICATION
  • 2007-01-01 Anzu: A Tool for Property Synthesis in COMPUTER AIDED VERIFICATION
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.410413.3", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7704.4", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5132.5", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.510739.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.266190.a", 
            "type": "Organization"
          }
        ], 
        "familyName": "Bloem", 
        "givenName": "Roderick", 
        "id": "sg:person.011542074410.00", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-1411-5744"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011542074410.00", 
          "https://orcid.org/0000-0002-1411-5744"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2021-12-01T20:43", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/person/person_913.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.011542074410.00'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.011542074410.00'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.011542074410.00'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.011542074410.00'


     

    This table displays all metadata directly associated to this object as RDF triples.

    29 TRIPLES      11 PREDICATES      17 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.011542074410.00 schema:affiliation N56f1314349574e5db621346e8e3e8abf
    2 grid-institutes:grid.266190.a
    3 grid-institutes:grid.510739.9
    4 grid-institutes:grid.5132.5
    5 grid-institutes:grid.7704.4
    6 schema:familyName Bloem
    7 schema:givenName Roderick
    8 schema:identifier Na8bf4f774d5b41ebb93fe39777d92552
    9 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011542074410.00
    10 https://orcid.org/0000-0002-1411-5744
    11 schema:sdDatePublished 2021-12-01T20:43
    12 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    13 schema:sdPublisher Nf38490024d9d44c2a79ac0b1f2d69cad
    14 sgo:license sg:explorer/license/
    15 sgo:sdDataset persons
    16 rdf:type schema:Person
    17 N56f1314349574e5db621346e8e3e8abf schema:affiliation grid-institutes:grid.410413.3
    18 sgo:isCurrent true
    19 rdf:type schema:OrganizationRole
    20 Na8bf4f774d5b41ebb93fe39777d92552 schema:name orcid_id
    21 schema:value 0000-0002-1411-5744
    22 rdf:type schema:PropertyValue
    23 Nf38490024d9d44c2a79ac0b1f2d69cad schema:name Springer Nature - SN SciGraph project
    24 rdf:type schema:Organization
    25 grid-institutes:grid.266190.a schema:Organization
    26 grid-institutes:grid.410413.3 schema:Organization
    27 grid-institutes:grid.510739.9 schema:Organization
    28 grid-institutes:grid.5132.5 schema:Organization
    29 grid-institutes:grid.7704.4 schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...