All software
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
- Annotations
- Deductive verification
- Specifications
- + 1
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
- Annotations
- Deductive verification
- Semantics
- + 3
- Other
Speed Robust Scheduling Supplemental Material
Speed Robust Scheduling Supplemental Material
- Combinatorial optimization
- Computer assisted proof
- Data Structures
- + 1
SpinControl.jl, a numerical package written in Julia
SpinControl.jl, a numerical package written in Julia
- Monte-Carlo
- Noisy Quantum Simulation
- Open System
- + 2
spurious_sentience
Software and data underlying the publication: "Position: Stop Making Unscientific AGI Performance Claims"
- Artificial General Intelligence
- Artificial Intelligence
- interpretability
- + 1
- HTML
- Julia
- Markdown
- + 2
Structural dynamics model to find the dynamic behaviour as a response of the wave loading of the Tidal Bridge in Indonesia
Structural dynamics model to find the dynamic behaviour as a response of the wave loading of the Tidal Bridge in Indonesia
- Dynamic structure
- Hydraulic loading
- Morison equation
- + 1
structure_calibration_sparse_data
Code: Structural Calibration for Supply Chain Simulation Models with Sparse Data
- Simulation
- sparse data
- structure
- + 2
- Automake
- Other
- Python
- + 2
Stumblemeter: App and MATLAB code
Stumblemeter: App and MATLAB code
- Accelerometer
- gyroscope
- Machine learning
- + 3
styx-uncoordinated-artifact
Code underlying the master thesis: “Uncoordinated Checkpointing in Stateful Transactional Systems: Decoupling Fault Tolerance from Coordination in Styx”
- distributed computing
- fault tolerance
- performance evaluation
- + 4
- JSON
- Markdown
- Other
- + 3
Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming
Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming
- Constraint programming (Computer science)
- deep learning
- Enterprise engineering
- + 2
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
- Conformance testing
- Model-based testing
- Programmable logic controllers
- + 7
TESTER GHG abatement option selection Tool
TESTER GHG abatement option selection Tool
- Concept design
- emission abatement technologies
- Greenhouse gas (GHG) emmisions
- + 2