A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs
☆11Apr 28, 2017Updated 9 years ago
Alternatives and similar repositories for aadl2uppaal
Users that are interested in aadl2uppaal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX的一些模板☆11Aug 15, 2019Updated 7 years ago
- A oversampling approach☆11Nov 21, 2018Updated 7 years ago
- Examples and case-study that use OSATE☆60Apr 15, 2025Updated last year
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆16Jul 9, 2017Updated 9 years ago
- This work shows the viability of automatically generated attack graphs that are used for adversary behavior execution in industrial contr…☆11Jun 3, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models☆16Sep 3, 2020Updated 6 years ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆11Mar 18, 2022Updated 4 years ago
- This repo contains the code for the preprint 'Game Theory for Adversarial Attacks and Defenses' (https://arxiv.org/abs/2110.06166v2)☆10Oct 24, 2021Updated 5 years ago
- PythonRoboticsPaper☆18Sep 3, 2018Updated 8 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆77Mar 23, 2022Updated 4 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- ☆16Apr 15, 2019Updated 7 years ago
- A toggleable Hollow Knight mod that gives infinite charm notches, and can be safely uninstalled.☆13Aug 25, 2021Updated 5 years ago
- NOVA Microhypervisor☆12Jul 1, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Minimal hitting set solver in Python☆11Dec 15, 2018Updated 7 years ago
- Aimbot for CS:GO.☆10Jul 31, 2018Updated 8 years ago
- An implementation of a BinaryConnect network for cifar10☆11Nov 4, 2019Updated 7 years ago
- 人脸识别SDK 采用C++编写，支持两张照片进行比对1:1，以及1：N 人脸搜索☆12Nov 23, 2014Updated 11 years ago
- System support for long-running programs on RFID-scale devices☆13Oct 2, 2014Updated 12 years ago
- ☆13Jul 26, 2019Updated 7 years ago
- ☆10Oct 14, 2019Updated 7 years ago
- Take your first step in writing a compiler. Implemented in Rust.☆16Apr 17, 2023Updated 3 years ago
- ☆14Apr 13, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Automated Analysis Framework for Simulink/Stateflow☆14Jul 25, 2023Updated 3 years ago
- 利用connect、tcpsyn、tcpfin、udp实现端口扫描，使用socket☆11Jul 17, 2020Updated 6 years ago
- M.H.S algorithms encoded☆13Jun 14, 2016Updated 10 years ago
- Open Source AADL2 Tool Environment☆58Oct 28, 2026Updated last week
- 南航（南京航空航天大学）即选即中抢课程序☆12Jul 9, 2021Updated 5 years ago
- NUAA操作系统实验课☆10Jun 23, 2023Updated 3 years ago
- ☆14Oct 15, 2017Updated 9 years ago
- Experiments evaluating preemption on the NVIDIA Pascal architecture☆17Nov 10, 2016Updated 9 years ago
- Failure dataset accompanying the paper "How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computi…☆11Jun 12, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 快捷指令集☆15Apr 19, 2021Updated 5 years ago
- Simple landing page built with Tailwind CSS and Next.js☆11May 18, 2022Updated 4 years ago
- NNEF public repository☆20Oct 9, 2026Updated 3 weeks ago
- ☆25Mar 24, 2023Updated 3 years ago
- Assume-Guarantee REasoning Environment☆25Dec 3, 2025Updated 11 months ago
- Specification and Analysis for Requirements Tool☆21Mar 6, 2026Updated 8 months ago
- All materials related to GNN☆13Jan 4, 2023Updated 3 years ago