-
Source code for the SECA symbolic execution engine
Source code accompanying the paper: Markus Klinik, Bernard van Gastel, Cynthia Kop, and Marko van Eekelen. Skylines for symbolic energy consumption analysis. In Proceedings of... -
Real-Time Community Detection in Full Social Networks on a Laptop
The project analysed the performance of community detection algorithms on the Twitter social network operating on a graph compressed using minhash signatures. The data supplied... -
Source code for the multitasking mTask language integrated with the iTask system
Source code accompanying the paper:Lubbers, M., Koopman, P. & Plasmeijer, R. (2019). Multitasking on Microcontrollers using Task Oriented Programming. In M. Koricic (Ed.), 2019... -
CGDTSM
CGDTSM, whose fullname is Coverage-guided Differential Testing with Syntax-based Mutation. It is a hybrid tool based on Nezha-dt and TLS-diff. CGDTSM exploits the behavioral... -
Source code and data relevant for the paper 'Combining Model Learning and Mod...
The dataset contains source code and data relevant for the paper "Combining Model Learning and Model Checking to Analyze TCP Implementations".Paper url:... -
BFCS: Bayes Factors of Covariance Structures
Gene regulatory networks play a crucial role in controlling an organism’s biological processes, which is why there is significant interest in developing computational methods... -
Coverage-Based Testing with Symbolic Transition Systems: Code and Case Study ...
The data set contains source code written in the Maude language for generation of coverage-based tests, and source code written in python, for test case execution. Also, it... -
Dataset belonging to CoHLA: Rapid Co-simulation Construction
This dataset belongs to the following dissertation: CoHLA: Rapid Co-simulation Construction. The dataset contains the source code for CoHLA and its libraries described in the... -
Source code for a simplified mTask language integrated with the iTask system
Source code accompanying the paper: Lubbers, M., Koopman, P. & Plasmeijer, R. (2018). Task Oriented Programming and the Internet of Things. In M. Cimini (Ed.), IFL 2018... -
OpenLISEM Hazard 2.0 alpha
The OpenLISEM Hazard 2.0 alpha version. A open-source multi-hazard modelling tool with a semi-structured mass movement model. Date Submitted: 2020-06-02 -
The effect of the stochasticity of photoionization on 3D streamer simulations
This dataset includes all the input and output files for the paper: The effect of the stochasticity of photoionization on 3D streamer simulations. The format of the files are... -
IMU and LIDAR SLAM for indoor mapping
These files are to support the published conference papers about the integration of IMU and LIDAR SLAM for indoor mapping. They include point cloud conversion, segmentation and... -
Position Estimation of Mobile Mapping Imaging Sensors Using Aerial Images
This project aims to improve the position estimation of mobile mapping platforms. Mobile Mapping (MM) is a technique to obtain geo-information on a large scale using sensors...
