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

    C++ 0 MIT 0 0 0 Updated May 16, 2022
  • scemf Public

    EMF Metamodel SystemC and C++ Standard Library

    Java 0 MIT 0 0 0 Updated Apr 17, 2021
  • verification-runtime-analysis Public

    Sources of the DATE 2020 Paper "Verification Runtime Analysis"

    0 0 0 0 Updated Jan 9, 2020
  • specific-sysml Public

    Textual Modelling Language for a formal subset of SysML

    HTML 0 MIT 1 0 0 Updated Aug 8, 2019
  • selfie-demo Public

    Interactive demonstrator -- exploration of self-verification

    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

    JavaScript 0 MIT 0 0 0 Updated Feb 12, 2017
  • secore Public

    Semantic diffs and merges on ECore models

    Scala 0 MIT 0 0 0 Updated Feb 3, 2017
  • egraph Public

    Store ECore resources in neo4j database

    Scala 0 MIT 0 0 0 Updated Feb 3, 2017
  • stools Public

    Tools for semantic diff algorithms

    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

    0 MIT 0 0 0 Updated Jan 9, 2017

People

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