Log in
About your Data
Getting started
Manage & Share
Publish & Cite
Find & Re-use
NetCDF & OPeNDAP
FAIR Data Fund
About 4TU.ResearchData
Organisation
Highlights
Testimonials
Policies & Guidelines
CoreTrustSeal
Collaboration
Frequently Asked Questions
Contact
About our Community
Join our community
Community members
Community groups
Researcher stories
Research support stories
Working together
FAIR Data Fund stories
Games & Activities
News & Events
Latest posts
Training & Events
Event highlights
Monthly newsletters
Subscribe to our newsletter
Log in & Upload Data
About Log in / Sign up
Log in (Data Repository)
Log in (Community)
Computer Software
Sorry, the top datasets and latest datasets require JavaScript.
Top datasets
Downloads
Views
Shares
Citations
Dataset
Latest datasets
Collections
Multiagent STN benchmark instances
Posted on 2013-03-18
CounteringRumours
Posted on 2021-05-19
All datasets
Evidence-Based Software Portfolio Management (EBSPM) Research Repository
Posted on 2017-07-20
Supplementary material for the paper: Using the Student’s t-test with extremely small sample sizes
Posted on 2019-09-09
Source code of the 4TU.ResearchData repository
Posted on 2023-03-20
Data underlying the research on "Comprehensibility of Tabular and Graphical Risk Model Representations: Results of Two Controlled Experiments"
Posted on 2019-06-26
DTS measurements supporting a DTS calibration paper.
Posted on 2019-03-18
Classifying code comments in Java Mobile Applications
Posted on 2020-03-16
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
MaryGold 7 ecoli simulated metagenome assembly (AMOS bank)
Posted on 2013-11-26
A Modest Approach to Modelling and Checking Markov Automata (Artifact)
Posted on 2019-09-05
Profile hidden Markov models trained on aligned KEGG Orthology sequences for enzyme annotation
Posted on 2019-10-07
Experimental data for "Software Data Analytics: Architectural Model Discovery and Design Pattern Detection"
Posted on 2019-01-29
Technology-based social skills training systems: A systematic literature review
Posted on 2020-05-19
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
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Posted on 2023-08-21
Soft Gripper AR Framework
Posted on 2021-11-09
Soft Gripper AR Framework
Posted on 2022-02-18
Proper Orthogonal Decomposition and Trajectory Piecewise Linearization module for SINTEF's Matlab Reservoir Simulation Toolbox
Posted on 2015-08-20
FEVER - feature oriented history of the Linux kernel
Posted on 2016-10-24
FEVER: the Feature Evolution Extractor Dataset - Linux releases
Posted on 2016-06-07
BDH external constraint problem instances
Posted on 2013-03-18
WS agent problem instances
Posted on 2013-03-18
Code for the paper "Characterizing residential segregation in cities using intensity, separation, and scale indicators"
Posted on 2022-10-19
WS task problem instances
Posted on 2013-03-18
Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
Posted on 2021-08-25
Script to register Figshare dois in Datacite
Posted on 2022-05-03
Data underlying the research on "Comprehensibility of Risk Modeling Notations (Effect of Search Availability)"
Posted on 2021-03-30
Statechart Workbench and Alignments Software Event Log
Posted on 2018-08-31
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
Supplementary materials for the article: Exploratory factor analysis with small sample sizes
Posted on 2019-09-30
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)
Posted on 2023-03-08
Programs to evaluate superoptimizer STOKE.
Posted on 2022-06-20
Data and analysis underlying User study location-sharing mobile app the Netherlands
Posted on 2018-10-17
Indoor 3D LIDAR scans with thermal images for mapping (the Automation Lab at Jacobs University Bremen)
Posted on 2019-10-28
ToMockOrNotToMock
Posted on 2017-04-06
Classifying code comments in Java open-source software systems
Posted on 2020-03-16
Software artefact for FIG: the Finite Improbability Generator
Posted on 2020-05-12
A Data Set of OCL Expressions on GitHub
Posted on 2017-08-31
Apache Commons Crypto 1.0.0 - Stream CbcNopad Unit Test Software Event Log
Posted on 2017-04-21
Towards a generic distributed adaptive hypermedia environment
Posted on 2012-04-16
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
Perceived Mental Workload Detection using Multimodal Physiological Data - Deep Learning, GitHub Linked
Posted on 2020-09-22
DUECA/DUSIME Middleware for Implementing Distributed Real-Time Simulations
Posted on 2022-07-05
Source code of the jEULYNX prototype framework
Posted on 2021-04-14
JUnit 4.12 Software Event Log
Posted on 2016-08-15
Mining Branching LSCs: CrossFTP, Columba traces and results
Posted on 2013-08-19
Data for: NetQASM - A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet
Posted on 2022-10-19
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
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
Real-world MDVRP data with realistic constraints
Posted on 2020-02-06
Code and data underlying the publication: City3D: Large-scale Building Reconstruction from Airborne LiDAR Point Clouds
Posted on 2023-07-19
The Effects of Change Decomposition on Code Review - A Controlled Experiment - Online appendix
Posted on 2018-05-03
Reduction and Solving of Parity Games
Posted on 2013-07-16
LBSN2Vec++: Global-scale Check-in Dataset with User Social Networks
Posted on 2021-08-05
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
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
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Posted on 2021-11-26
Results of DSL SLR
Posted on 2014-03-17
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
Posted on 2023-06-19
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Posted on 2021-11-22
Supplementary data for the article: Coupled simulator for research on the interaction between pedestrians and (automated) vehicles
Posted on 2020-04-23
Generics library for datatype-generic programming in Agda
Posted on 2023-05-25
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
ProVerB: Dataset of Tools and Formats for Program Verification
Posted on 2022-07-21
SAMXL - Virtual Environment for Virtual Reality Development
Posted on 2022-01-03
Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
Posted on 2020-02-20
DNS Queries to Authoritative DNS Server at SURFnet by Google's Public DNS Resolver
Posted on 2018-06-12
Permission-based Verification of Red-Black Trees and Their Merging - Code
Posted on 2021-01-21
VideoToStill StillToStill Face Recognition dataset
Posted on 2019-07-24
BDH agent problem instances
Posted on 2013-03-18
WiseNET: Multi-camera dataset
Posted on 2019-09-27
Eclipse Third-party Plug-ins Source code
Posted on 2013-04-15
Everyday environments as cues to smoke: Personalized environments in virtual reality to elicit smoking cravings - Data and Analysis Code
Posted on 2022-03-31
The Maven Dependency Dataset
Posted on 2013-01-10
Data underlying the research of: “A multi-agent system for an intelligent driving instruction application”
Posted on 2023-08-31
Evaluation of Specification Inference Tools for Deductive Verification
Posted on 2023-06-19
Data originating from deprecation mechanism interviews
Posted on 2020-04-02
Data underlying the Preliminary Evaluation of EvoCrash
Posted on 2018-11-13
DistSim: Java multiagent simulator
Posted on 2013-03-18
Data underlying the BSc thesis: Evaluating the Believability of the Lilobot Conversational Agent.
Posted on 2023-06-23
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 Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems
Posted on 2023-06-21
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
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
Posted on 2023-06-21
Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems
Posted on 2023-06-20
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Posted on 2023-07-26