22 & 23 May 2025: Join the mini-conference on Open and FAIR in Natural and Engineering Sciences. Register to attend.

Computer Software

Top datasets

Dataset
 
 
 
 
 
 
 
 
 

Latest datasets

Collections

Multiagent STN benchmark instances
Posted on 2013-03-18
CounteringRumours
Posted on 2021-05-19

All datasets

Source code for the publication: Nonmyopic Global Optimisation via Approximate Dynamic Programming
Posted on 2025-01-08
Code supporting the publication: Gromit: Benchmarking the performance and scalability of blockchain systems
Posted on 2025-03-13
Cody accompanying the article "Frequency Response Analysis of Lure-Type Reset Control Systems"
Posted on 2025-03-20
Code underlying the publication: A Generalized Partitioning Strategy for Distributed Control
Posted on 2024-12-17
Data underlying the MSc thesis: Combining LLMs With BDI Systems For Training Children's Helpline Counsellors
Posted on 2025-03-24
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version)
Posted on 2025-02-12
Code for DeepLog: Anomaly detection and diagnosis from system logs through deep learning
Posted on 2023-10-26
Code for DeepCASE: Semi-Supervised Contextual Analysis of Security Events
Posted on 2023-10-26
Code for Threat Intelligence Processing - Unleashing the Real Power of Natural Language Processing for Cyber Threat Intelligence
Posted on 2023-10-26
Data underlying the BSc thesis: Evaluating the Believability of the Lilobot Conversational Agent.
Posted on 2023-06-23
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Posted on 2023-10-31
Data underlying the research on path planning of robot unknown environment based on improved A * algorithm
Posted on 2023-09-29
Data underlying the BSc project: "An analysis of Java release practices on GitHub"
Posted on 2024-01-29
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Posted on 2023-08-21
Data and code underlying the BSc thesis: Towards Effective Smoking Cessation: Understanding the Needs of Daily Smokers from eHealth Chatbot Interactions
Posted on 2024-01-29
Analytical quay wall model; MODEL underlying the dissertation: "Amsterdam quays under pressure - Modelling and testing of historic canal walls"
Posted on 2023-10-11
QMI - Quantum Measurement Infrastructure, a Python 3 framework for controlling laboratory equipment
Posted on 2023-10-17
Generics library for datatype-generic programming in Agda
Posted on 2023-05-25
Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
Posted on 2024-03-13
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
Posted on 2023-06-19
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
Posted on 2024-03-21
Data concerning inter-rater reliability agreement analysis for a paper titled "Agent-based Social Skills Training Systems: The ARTES Architecture, Interaction Characteristics, Learning Theories and Future Outlooks".
Posted on 2023-11-21
Data and code underlying the research project: Evaluation of Perceptual Accuracy in Simulated Room Impulse Responses
Posted on 2024-06-28
Data underlying the research of: “A multi-agent system for an intelligent driving instruction application”
Posted on 2023-08-31
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Posted on 2023-07-26
Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material
Posted on 2023-09-18
Data underlying the Bachelor Thesis: Using Newsletters to Analyze Curated Software Testing Content
Posted on 2023-06-21
Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems
Posted on 2023-06-21
Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems
Posted on 2023-06-20
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
Posted on 2023-06-21
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
Posted on 2023-09-05
Data underlying the BSc thesis: Writing in VR with a word-gesture keyboard and matching gestures using Bezier curves
Posted on 2024-06-28
Data concerning inter-rater reliability agreement analysis for a paper titled "Agent-based Social Skills Training Systems: The ARTES Architecture, Interaction Characteristics, Learning Theories and Future Outlooks".
Posted on 2024-06-25
Code and data underlying the publication: City3D: Large-scale Building Reconstruction from Airborne LiDAR Point Clouds
Posted on 2023-07-19
Code for FlowPrint: Semi-Supervised Mobile-App Fingerprinting on Encrypted Network Traffic
Posted on 2023-10-26
Code for Appscanner: Automatic fingerprinting of smartphone apps from encrypted network traffic
Posted on 2023-10-26
Code underlying the publication: A Benchmark for the Application of Distributed Control Techniques to the Electricity Network of the European Economic Area
Posted on 2024-03-27
Code for Tiresias: Predicting Security Events Through Deep Learning
Posted on 2023-10-26
Code for Detecting Anomalous Misconfigurations in AWS Identity and Access Management Policies
Posted on 2023-10-26
Artifact for paper (First Steps towards Deductive Verification of LLVM IR)
Posted on 2024-01-11
Source code of the 4TU.ResearchData repository
Posted on 2023-03-20
PyNOMAD: A microscopic pedestrian simulation model
Posted on 2023-10-18
Artifact of Knor: reactive synthesis using Oink
Posted on 2023-11-09
LBSN2Vec++: Global-scale Check-in Dataset with User Social Networks
Posted on 2021-08-05
Data for: NetQASM - A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet
Posted on 2022-10-19
Perceived Mental Workload Detection using Multimodal Physiological Data - Deep Learning, GitHub Linked
Posted on 2020-09-22
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)
Posted on 2023-03-08
Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
Posted on 2021-08-25
PhD Thesis Artifact: Correct Optimized GPU Programs
Posted on 2022-01-31
Sampling Distributed Schedulers for Resilient Space Communication (Artifact)
Posted on 2020-11-03
Data underlying the publication: “No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic Analysis”
Posted on 2022-03-01
DUECA/DUSIME Middleware for Implementing Distributed Real-Time Simulations
Posted on 2022-07-05
ProVerB: Dataset of Tools and Formats for Program Verification
Posted on 2022-07-21
Everyday environments as cues to smoke: Personalized environments in virtual reality to elicit smoking cravings - Data and Analysis Code
Posted on 2022-03-31
Programs to evaluate superoptimizer STOKE.
Posted on 2022-06-20
Code and data of research project: The effect of tempo transformations on Essentia’s beat tracking pipelines
Posted on 2022-01-14
Coverage-Driven SLAM Testing
Posted on 2023-01-25
Data underlying the PhD thesis: Accelerating Programmer-Friendly Intermittent Computing (Chapter 6)
Posted on 2023-03-17
Video Annotation Software
Posted on 2022-06-29
Screenshots of Virtual Reality Imagery Rescripting tool
Posted on 2022-09-22
Script to register Figshare dois in Datacite
Posted on 2022-05-03
Soft Gripper AR Framework
Posted on 2021-11-09
Soft Gripper AR Framework
Posted on 2022-02-18
Permission-based Verification of Red-Black Trees and Their Merging - Code
Posted on 2021-01-21
Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
Posted on 2022-07-19
Dataset 1 and 2 from Master Thesis Building Interactive Text-to-SQL Systems
Posted on 2022-05-10
Implementation of Study 1 from Master Thesis Building Interactive Text-to-SQL Systems
Posted on 2022-05-10
Replication Package for the master thesis "An Empirical Assessment on the Limits of Binary Code Summarisation with Transformer-based Models"
Posted on 2022-07-14
Code for the master thesis "Exploring the Effect of Automation Failure on the Human's Trustworthiness in Human-Agent Teamwork"
Posted on 2023-01-03
Experiment results supporting the master thesis Scaling Up, Staying Secure
Posted on 2023-01-11
Evaluation of Specification Inference Tools for Deductive Verification
Posted on 2023-06-19
Data underlying the research on "Comprehensibility of Risk Modeling Notations (Effect of Search Availability)"
Posted on 2021-03-30
SAMXL - Virtual Environment for Virtual Reality Development
Posted on 2022-01-03
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Posted on 2021-11-26
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Posted on 2021-11-22
Source code of the jEULYNX prototype framework
Posted on 2021-04-14
Code for the paper "Characterizing residential segregation in cities using intensity, separation, and scale indicators"
Posted on 2022-10-19
Agent-based model software written for the master thesis Scaling Up, Staying Secure
Posted on 2023-01-11
Data underlying the research on phylogenetic network rearrangement move heuristics.
Posted on 2021-01-20
Protocols for creating and distilling multipartite GHZ states with Bell pairs (pre-calculated data)
Posted on 2020-12-01
Data underlying the publication: Protocols for creating and distilling multipartite GHZ states with Bell pairs
Posted on 2021-10-28
Real-world sales forecasting benchmark data - Extended version
Posted on 2021-04-13
A Modest Approach to Modelling and Checking Markov Automata (Artifact)
Posted on 2019-09-05
Catcher, artifact of the paper: “Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing”.
Posted on 2019-07-03
Analysis of technological state of the art in e-mental health for the prevention and treatment of depression
Posted on 2019-08-19
Large scale API Usage dataset
Posted on 2019-03-05
The Effects of Change Decomposition on Code Review - A Controlled Experiment - Online appendix
Posted on 2018-05-03
Profile hidden Markov models trained on aligned KEGG Orthology sequences for enzyme annotation
Posted on 2019-10-07
Data and analysis underlying User study location-sharing mobile app the Netherlands
Posted on 2018-10-17
Data underlying the research on "Comprehensibility of Tabular and Graphical Risk Model Representations: Results of Two Controlled Experiments"
Posted on 2019-06-26
Classifying code comments in Java open-source software systems
Posted on 2020-03-16
Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
Posted on 2020-02-20
Data originating from deprecation mechanism interviews
Posted on 2020-04-02
WiseNET: Multi-camera dataset
Posted on 2019-09-27
Software artefact for FIG: the Finite Improbability Generator
Posted on 2020-05-12
BDH agent problem instances
Posted on 2013-03-18
VideoToStill StillToStill Face Recognition dataset
Posted on 2019-07-24
Technology-based social skills training systems: A systematic literature review
Posted on 2020-05-19
WS task problem instances
Posted on 2013-03-18
MTL Music Representation, data underlying the publication: One deep music representation to rule them all? A comparative analysis of different representation learning strategies
Posted on 2019-03-13