-
Development and Testing of the ALAT
Data are related to published article:Hoek, R. W., Rozendaal, E., Van Schie, H. T., & Buijzen, M. (2020). Development and testing of the advertising literacy activation task: an... -
Dataset Testing the Effectiveness of a Disclosure in Activating Children’s Ad...
Data sets and syntax files related to published article:Hoek, R. W., Rozendaal, E., Van Schie, H. T., Van Reijmersdal, E. A., & Buijzen, M. (2020). Testing the Effectiveness of... -
Source code of the PRSS and CWSS applications
Source code accompanying the paper:M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, ‘Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software... -
Code to count monomials of several rounds of Pyjamask
The result ons the number of monomials are obtained by running the code. Abstract from [Dobraunig, C., Rotella, Y., & Schoone, J. (2020). Algebraic and Higher-Order Differential... -
Source code and data relevant for the paper 'Learning Register Automata with ...
The dataset contains source code and data relevant for the journal extension of the conference paper "Learning Register Automata with Fresh Value Generation". The journal was... -
Source code and data relevant for the paper 'Model Learning and Model Checkin...
The dataset contains source code and data relevant for the paper "Model Learning and Model Checking of SSH Implementations".Paper url:... -
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... -
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 and data relevant for the paper 'Model Learning as a Satisfiabili...
This datasets belongs to the following paper: Model Learning as a Satisfiability Modulo Theories Problem.URL = http://www.sws.cs.ru.nl/publications/papers/fvaan/SMT/main.pdf The... -
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... -
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:... -
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... -
Modelling word learning and recognition using visually grounded speech
A set of recorded isolated nouns, verbs and image annotations used for testing the word recognition performance of our speech2image model. We trained a word recognition model... -
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... -
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:... -
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... -
Source code and data relevant for the paper 'Model Learning and Model Checkin...
The dataset contains source code and data relevant for the paper "Model Learning and Model Checking of SSH Implementations".Paper url:... -
Code to count monomials of several rounds of Pyjamask
The result ons the number of monomials are obtained by running the code. Abstract from [Dobraunig, C., Rotella, Y., & Schoone, J. (2020). Algebraic and Higher-Order Differential...
