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

Cody accompanying the article "Frequency Response Analysis of Lure-Type Reset Control Systems"
Posted on 2025-03-20
Data, codes, and scripts underlying the PhD thesis: From Colors to Spectra and Back Again
Posted on 2025-04-08
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
Data underlying the BSc project: "An analysis of Java release practices on GitHub"
Posted on 2024-01-29
Data and code underlying the research project: Evaluation of Perceptual Accuracy in Simulated Room Impulse Responses
Posted on 2024-06-28
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
PyNOMAD: A microscopic pedestrian simulation model
Posted on 2023-10-18
Script to register Figshare dois in Datacite
Posted on 2022-05-03
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
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
Real-world sales forecasting benchmark data - Extended version
Posted on 2021-04-13
Catcher, artifact of the paper: “Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing”.
Posted on 2019-07-03
The Effects of Change Decomposition on Code Review - A Controlled Experiment - Online appendix
Posted on 2018-05-03
Data underlying the research on "Comprehensibility of Tabular and Graphical Risk Model Representations: Results of Two Controlled Experiments"
Posted on 2019-06-26
BDH agent problem instances
Posted on 2013-03-18
VideoToStill StillToStill Face Recognition dataset
Posted on 2019-07-24
WS task problem instances
Posted on 2013-03-18
MaryGold 7 ecoli simulated metagenome assembly (AMOS bank)
Posted on 2013-11-26
Reduction and Solving of Parity Games
Posted on 2013-07-16
Mining Branching LSCs: CrossFTP, Columba traces and results
Posted on 2013-08-19
Data underlying the research on path planning of robot unknown environment based on improved A * algorithm
Posted on 2023-09-29
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
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
Code and data underlying the publication: City3D: Large-scale Building Reconstruction from Airborne LiDAR Point Clouds
Posted on 2023-07-19
Code for Tiresias: Predicting Security Events Through Deep Learning
Posted on 2023-10-26
Source code of the 4TU.ResearchData repository
Posted on 2023-03-20
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
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
Data underlying the research on "Comprehensibility of Risk Modeling Notations (Effect of Search Availability)"
Posted on 2021-03-30
Source code of the jEULYNX prototype framework
Posted on 2021-04-14
A Modest Approach to Modelling and Checking Markov Automata (Artifact)
Posted on 2019-09-05
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
WiseNET: Multi-camera dataset
Posted on 2019-09-27
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
Statechart Workbench and Alignments Software Event Log
Posted on 2018-08-31
Supplementary materials for the article: Exploratory factor analysis with small sample sizes
Posted on 2019-09-30
Classifying code comments in Java Mobile Applications
Posted on 2020-03-16
DTS measurements supporting a DTS calibration paper.
Posted on 2019-03-18
BDH external constraint problem instances
Posted on 2013-03-18
Real-world MDVRP data with realistic constraints
Posted on 2020-02-06
Evidence-Based Software Portfolio Management (EBSPM) Research Repository
Posted on 2017-07-20
Eclipse Third-party Plug-ins Source code
Posted on 2013-04-15
JUnit 4.12 Software Event Log
Posted on 2016-08-15
Source code of version 25.3 of the 4TU.ResearchData and Nikhef data repository
Posted on 2025-04-07
Code underlying the publication: A Generalized Partitioning Strategy for Distributed Control
Posted on 2024-12-17
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
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Posted on 2023-10-31
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 underlying the research of: “A multi-agent system for an intelligent driving instruction application”
Posted on 2023-08-31
Data underlying the Bachelor Thesis: Using Newsletters to Analyze Curated Software Testing Content
Posted on 2023-06-21
Artifact for paper (First Steps towards Deductive Verification of LLVM IR)
Posted on 2024-01-11
LBSN2Vec++: Global-scale Check-in Dataset with User Social Networks
Posted on 2021-08-05
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)
Posted on 2023-03-08
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
Data underlying the PhD thesis: Accelerating Programmer-Friendly Intermittent Computing (Chapter 6)
Posted on 2023-03-17
Screenshots of Virtual Reality Imagery Rescripting tool
Posted on 2022-09-22
Soft Gripper AR Framework
Posted on 2021-11-09
Soft Gripper AR Framework
Posted on 2022-02-18
Implementation of Study 1 from Master Thesis Building Interactive Text-to-SQL Systems
Posted on 2022-05-10
SAMXL - Virtual Environment for Virtual Reality Development
Posted on 2022-01-03
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
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
Technology-based social skills training systems: A systematic literature review
Posted on 2020-05-19
Proper Orthogonal Decomposition and Trajectory Piecewise Linearization module for SINTEF's Matlab Reservoir Simulation Toolbox
Posted on 2015-08-20
FEVER: the Feature Evolution Extractor Dataset - Linux releases
Posted on 2016-06-07
The Maven Dependency Dataset
Posted on 2013-01-10
A Data Set of OCL Expressions on GitHub
Posted on 2017-08-31
Towards a generic distributed adaptive hypermedia environment
Posted on 2012-04-16
Results of DSL SLR
Posted on 2014-03-17
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-08-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 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 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