pierg / crome-web

Related projects ⓘ

Alternatives and complementary repositories for crome-web

• pierg / crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-logic
  ☆10Updated 2 years ago
• pierg / synthesis-web
  web interface for crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-contracts
  Contracts operations tools, based on LTL
  ☆10Updated 2 years ago
• pierg / crome-cgg
  Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems
  ☆11Updated 2 years ago
• zmlin1998 / RUN
  Official repository of "Root Cause Analysis In Microservice Using Neural Granger Causal Discovery" @ AAAI 2024
  ☆18Updated 3 months ago
• Ruoyu-Li / UAD-Rule-Extraction
  Rule Extraction from Unsupervised Anomaly Detection in Security
  ☆16Updated 7 months ago
• dhl123 / Airtag-2023
  ☆22Updated last year
• azamikram / rcd
  Root Cause Discovery: Root Cause Analysis of Failures in Microservices through Causal Discovery
  ☆42Updated 6 months ago
• AbductiveLearning / ABLkit
  An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…
  ☆48Updated 2 months ago
• logpai / AutoLog
  AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection [ASE'23]
  ☆38Updated 8 months ago
• dlfaults / deepcrime
  DeepCrime - Mutation Testing Tool for Deep Learning Systems
  ☆13Updated last year
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆42Updated 5 years ago
• haldai / ABL_minimal
  A minimal example of Abductive Learning
  ☆13Updated 11 months ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆166Updated 3 weeks ago
• msrocean / continual-learning-malware
  This repository contains code and data of the paper **On the Limitations of Continual Learning for Malware Classification**, accepted to …
  ☆15Updated 10 months ago
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆56Updated 4 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆20Updated 2 years ago
• DES-Lab / Extracting-FSM-From-RNNs
  Black-box extraction of Finite-State Machines from RNNs.
  ☆18Updated 2 years ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated last year
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆27Updated 4 years ago
• hfeniser / DeepSmartFuzzer
  Reward Guided Test Generation for Deep Learning
  ☆20Updated 3 months ago
• ArabelaTso / DeepFD
  The repository of "DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs"
  ☆15Updated 2 years ago
• ant-research / BayesianLinearAttributionForRootCauseLocalization_BALANCE
  ☆11Updated last year
• daochenzha / autosmote
  [CIKM 2022] Towards Automated Over-Sampling for Imbalanced Classification
  ☆10Updated last year
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆13Updated 4 years ago
• tudelft-cda-lab / FlexFringe
  The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…
  ☆16Updated this week
• lonyle / ShapleyIQ
  Code and Data to reproduce the ASPLOS'23 paper "ShapleyIQ: Influence Quantification by Shapley Values for Performance Debugging of Micros…
  ☆10Updated 8 months ago
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆23Updated last year
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆62Updated 6 months ago