Skip to content
@merce-fra

Mitsubishi Electric R&D Centre Europe (MERCE)

Mitsubishi Electric R&D Centre Europe is the European R&D centre from the Corporate R&D organisation of Mitsubishi Electric

Popular repositories Loading

  1. SKT-VerifedContractTheory SKT-VerifedContractTheory Public

    Specification and implementation of Benveniste's contract theory in a framework formalized in Coq

    Coq 4 1

  2. PELCA PELCA Public

    PELCA - Power Electronics Life Cycle Assessment

    Python 4 2

  3. reqkit reqkit Public

    ReqKit: Requirement Analysis and Repair Tool Kit

    OCaml 1

  4. ECL-pyrobustness ECL-pyrobustness Public

    Python 1

  5. FFS-CoqRK-FP FFS-CoqRK-FP Public

    Coq formally-verified rounding error analyses of explicit Runge-Kutta methods implemented in floating-point arithmetic

    Coq

  6. ECL-Symbolic-Implementation ECL-Symbolic-Implementation Public

    Symbolic implementation of FORMATS 2020 algorithm

    Python

Repositories

Showing 10 of 11 repositories
  • Reliable-VFL-in-5G-Core-NW-Arch Public

    The code optimizes vertical feature splits and clients' local models definitions across 5G CN, based on the clients reliability metrics to mitigate generalization loss in Vertical Federated Learning under reliability constraints

    merce-fra/Reliable-VFL-in-5G-Core-NW-Arch’s past year of commit activity
    Python 0 BSD-3-Clause 0 0 0 Updated Apr 14, 2025
  • PELCA Public

    PELCA - Power Electronics Life Cycle Assessment

    merce-fra/PELCA’s past year of commit activity
    Python 4 2 4 1 Updated Apr 2, 2025
  • NWDAF-Common-Library Public

    This repository contains all the common Python code used by the NWDAF microservices

    merce-fra/NWDAF-Common-Library’s past year of commit activity
    Python 0 0 0 0 Updated Apr 2, 2025
  • 5G-NWDAF Public

    This repository is the central repository for the microservices NWDAF

    merce-fra/5G-NWDAF’s past year of commit activity
    Python 0 0 0 0 Updated Apr 1, 2025
  • NWDAF-3GPP-APIs Public

    This project is used to build a Python library containing models generated from 3GPP yaml files

    merce-fra/NWDAF-3GPP-APIs’s past year of commit activity
    Shell 0 0 0 0 Updated Apr 1, 2025
  • reqkit Public

    ReqKit: Requirement Analysis and Repair Tool Kit

    merce-fra/reqkit’s past year of commit activity
    OCaml 1 BSD-3-Clause 0 0 0 Updated Feb 10, 2025
  • fast-dds-patch Public

    A simple patch for Fast-DDS repository to setup a white list of topics that are allowed to communicate. This helped us improve wireless communication on remote agents with limited resources

    merce-fra/fast-dds-patch’s past year of commit activity
    0 0 0 0 Updated Feb 2, 2024
  • FFS-CoqRK-FP Public

    Coq formally-verified rounding error analyses of explicit Runge-Kutta methods implemented in floating-point arithmetic

    merce-fra/FFS-CoqRK-FP’s past year of commit activity
    Coq 0 0 0 0 Updated Nov 30, 2022
  • SKT-VerifedContractTheory Public

    Specification and implementation of Benveniste's contract theory in a framework formalized in Coq

    merce-fra/SKT-VerifedContractTheory’s past year of commit activity
    Coq 4 GPL-3.0 1 0 0 Updated Oct 7, 2022
  • ECL-pyrobustness Public
    merce-fra/ECL-pyrobustness’s past year of commit activity
    Python 0 GPL-3.0 1 0 0 Updated Feb 1, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…