Petr Ročkai


Ontology type: schema:Person     


Person Info

NAME

Petr

SURNAME

Ročkai

Publications in SciGraph latest 50 shown

  • 2022-04-01 DivSIM , an interactive simulator for LLVM bitcode in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2022-03-30 LART: Compiled Abstract Execution in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2020-10-23 Reproducible execution of POSIX programs with DiOS in SOFTWARE AND SYSTEMS MODELING
  • 2020-08-13 Compiling C and C++ Programs for Dynamic White-Box Analysis in FORMAL METHODS. FM 2019 INTERNATIONAL WORKSHOPS
  • 2020-08-13 Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table in FORMAL METHODS. FM 2019 INTERNATIONAL WORKSHOPS
  • 2019-10-02 String Abstraction for Model Checking of C Programs in MODEL CHECKING SOFTWARE
  • 2019-09-09 Reproducible Execution of POSIX Programs with DiOS in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2019-07-25 A Simulator for LLVM Bitcode in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
  • 2019-04-04 Extending DIVINE with Symbolic Verification Using SMT in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2018-10-15 Symbolic Computation via Program Transformation in THEORETICAL ASPECTS OF COMPUTING – ICTAC 2018
  • 2017-09-27 Model Checking of C and C++ with DIVINE 4 in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2017-09-06 From Model Checking to Runtime Verification and Back in RUNTIME VERIFICATION
  • 2016-04-09 DIVINE: Explicit-State LTL Model Checker in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016 Weak Memory Models as LLVM-to-LLVM Transformations in MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE
  • 2015-08-27 Fast, Dynamically-Sized Concurrent Hash Table in MODEL CHECKING SOFTWARE
  • 2015-08-21 Techniques for Memory-Efficient Model Checking of C and C++ Code in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2014 Context-Switch-Directed Verification in DIVINE in MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE
  • 2013 DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs in COMPUTER AIDED VERIFICATION
  • 2013 Improved State Space Reductions for LTL Model Checking of C and C++ Programs in NASA FORMAL METHODS
  • 2012 Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
  • 2012 Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs in NASA FORMAL METHODS
  • 2010-02-03 Scalable shared memory LTL model checking in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2009 A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2008 DiVinE Multi-Core – A Parallel LTL Model-Checker in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2007-01-01 Scalable Multi-core LTL Model-Checking in MODEL CHECKING SOFTWARE
  • 2006 DiVinE – A Tool for Distributed Verification in COMPUTER AIDED VERIFICATION
  • Affiliations

  • Masaryk University (current)
  • 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.10267.32", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Ro\u010dkai", 
        "givenName": "Petr", 
        "id": "sg:person.07377571657.86", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-8484-1063"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07377571657.86", 
          "https://orcid.org/0000-0002-8484-1063"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-06-01T22:52", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/person/person_644.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.07377571657.86'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...