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

Data and code underlying the research project: Evaluation of Perceptual Accuracy in Simulated Room Impulse Responses
Posted on 2024-06-28
Perceived Mental Workload Detection using Multimodal Physiological Data - Deep Learning, GitHub Linked
Posted on 2020-09-22
Permission-based Verification of Red-Black Trees and Their Merging - Code
Posted on 2021-01-21
Source code of the jEULYNX prototype framework
Posted on 2021-04-14
Data underlying the research on "Comprehensibility of Tabular and Graphical Risk Model Representations: Results of Two Controlled Experiments"
Posted on 2019-06-26
VideoToStill StillToStill Face Recognition dataset
Posted on 2019-07-24
Mining Branching LSCs: CrossFTP, Columba traces and results
Posted on 2013-08-19
Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language
Posted on 2024-10-31
ETSI GS QKD 014 client command-line program and library for Rust and C
Posted on 2024-10-10
Code underlying the publication: Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language
Posted on 2024-08-16
SWMM GNN metamodel – Code for paper: Transferable and Data Efficient Metamodeling of Storm Water System Nodal Depths Using Auto-Regressive Graph Neural Networks
Posted on 2024-09-12
Code underlying the publication: Dealing with Uncertainty: Understanding the Impact of Prognostic Versus Diagnostic Tasks on Trust and Reliance in Human-AI Decision Making
Posted on 2024-07-01
Code underlying the publication: When in Doubt! Understanding the Role of Task Characteristics on Peer Decision-Making with AI Assistance
Posted on 2024-07-01
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
Scripts and data for the paper: Differential analysis of binarized single-cell RNA sequencing data captures biological variation
Posted on 2024-10-15
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 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
[Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems
Posted on 2024-10-09
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
Custom code created for the purposes of the thesis: "Applications of statistical theory to sensor data analysis"
Posted on 2024-05-23
Data and software supporting "Design and demonstration of an operating system for executing applications on quantum network nodes"
Posted on 2024-07-23
Artifact for Paper: (Deductive verification of SYCL in VerCors)
Posted on 2024-07-05
Visualizing Collaboration with Superstars - Replication Package
Posted on 2024-07-04
FBX Conversion Of The CMU Graphics Lab Motion Capture Database
Posted on 2024-06-12
[Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems
Posted on 2024-06-30
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
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
Everyday environments as cues to smoke: Personalized environments in virtual reality to elicit smoking cravings - Data and Analysis Code
Posted on 2022-03-31
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
Programs to evaluate superoptimizer STOKE.
Posted on 2022-06-20
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
Code and data of research project: The effect of tempo transformations on Essentia’s beat tracking pipelines
Posted on 2022-01-14
DUECA/DUSIME Middleware for Implementing Distributed Real-Time Simulations
Posted on 2022-07-05
Coverage-Driven SLAM Testing
Posted on 2023-01-25
ProVerB: Dataset of Tools and Formats for Program Verification
Posted on 2022-07-21
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
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
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
SAMXL - Virtual Environment for Virtual Reality Development
Posted on 2022-01-03
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