Skip to content
@DFKI-CPS

DFKI - Cyber-Physical Systems (CPS)

Popular repositories Loading

  1. chimpanc chimpanc Public

    Graphical user interface to explore and integrate functional change management, verification and NLP techniques from the SPECifIC project

    JavaScript

  2. specific-dependencies specific-dependencies Public

    project files to bundle all eclipse osgi dependencies of the SPECifIC toolset

  3. specific-sysml specific-sysml Public

    Textual Modelling Language for a formal subset of SysML

    HTML 1

  4. specific-ocl specific-ocl Public

    utilities to work with ocl in a verification context

    Scala

  5. stools stools Public

    Tools for semantic diff algorithms

    Java

  6. guideline-checking guideline-checking Public

Repositories

Showing 10 of 12 repositories
  • tf-dynamics-op Public

    TensorFlow op to calculate a robot-dynamics-based loss and its preconditioned gradient

    DFKI-CPS/tf-dynamics-op’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated May 16, 2022
  • scemf Public

    EMF Metamodel SystemC and C++ Standard Library

    DFKI-CPS/scemf’s past year of commit activity
    Java 0 MIT 0 0 0 Updated Apr 17, 2021
  • verification-runtime-analysis Public

    Sources of the DATE 2020 Paper "Verification Runtime Analysis"

    DFKI-CPS/verification-runtime-analysis’s past year of commit activity
    0 0 0 0 Updated Jan 9, 2020
  • specific-sysml Public

    Textual Modelling Language for a formal subset of SysML

    DFKI-CPS/specific-sysml’s past year of commit activity
    HTML 0 MIT 1 0 0 Updated Aug 8, 2019
  • selfie-demo Public

    Interactive demonstrator -- exploration of self-verification

    DFKI-CPS/selfie-demo’s past year of commit activity
    TypeScript 0 0 0 0 Updated May 21, 2019
  • chimpanc Public

    Graphical user interface to explore and integrate functional change management, verification and NLP techniques from the SPECifIC project

    DFKI-CPS/chimpanc’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Feb 12, 2017
  • secore Public

    Semantic diffs and merges on ECore models

    DFKI-CPS/secore’s past year of commit activity
    Scala 0 MIT 0 0 0 Updated Feb 3, 2017
  • egraph Public

    Store ECore resources in neo4j database

    DFKI-CPS/egraph’s past year of commit activity
    Scala 0 MIT 0 0 0 Updated Feb 3, 2017
  • stools Public

    Tools for semantic diff algorithms

    DFKI-CPS/stools’s past year of commit activity
    Java 0 MIT 0 0 0 Updated Jan 27, 2017
  • specific-dependencies Public

    project files to bundle all eclipse osgi dependencies of the SPECifIC toolset

    DFKI-CPS/specific-dependencies’s past year of commit activity
    0 MIT 0 0 0 Updated Jan 9, 2017
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…