Skip to content
@PRECISE

PRECISE Lab at UPenn

Our researchers are collaborating to develop next-generation medical systems, automotive systems, and consumer electronics.

Popular repositories Loading

  1. HACMSDemo HACMSDemo Public

    A cross-platform graphical Python application used to display ROS telemetry

    Python 52 22

  2. ROSLab ROSLab Public

    ROSLab is a high-level programming environment based on ROS that allows a simplified and intuitive programming of robots using design blocks and links.

    HTML 8 3

  3. credal-bayesian-deep-learning credal-bayesian-deep-learning Public

    1

  4. TrustForge TrustForge Public

  5. DatadumpTool DatadumpTool Public

    A Python-based command-line utility for deploying, querying, and generating statistics from MongoDB datadumps.

  6. SMEDL SMEDL Public

    SMEDL is a runtime verification framework to specify monitors, to generate code from specifications, and to deploy the monitors in a centralized or distributed settings.

    C

Repositories

Showing 7 of 7 repositories
  • 1 0 0 0 Updated Oct 19, 2024
  • smedl-fiat-code Public

    Formalization of SMEDL

    Coq 0 0 0 0 Updated Aug 14, 2021
  • SMEDL Public

    SMEDL is a runtime verification framework to specify monitors, to generate code from specifications, and to deploy the monitors in a centralized or distributed settings.

    C 0 MIT 0 0 0 Updated Jul 22, 2021
  • ROSLab Public

    ROSLab is a high-level programming environment based on ROS that allows a simplified and intuitive programming of robots using design blocks and links.

    HTML 8 Apache-2.0 3 0 0 Updated May 17, 2021
  • HACMSDemo Public

    A cross-platform graphical Python application used to display ROS telemetry

    Python 52 22 0 0 Updated Oct 22, 2014
  • DatadumpTool Public

    A Python-based command-line utility for deploying, querying, and generating statistics from MongoDB datadumps.

    0 0 0 0 Updated Jun 6, 2013
  • TrustForge Public
    0 0 0 0 Updated Jun 5, 2013