Programme and proceedings

The conference will start with a plenary session in the morning, January 31, 2020. In the afternoon there were parallel sessions with the various tracks. The slots allocated for the presentations at the conference will be 15 minutes per paper. This includes the presentation itself (12 minutes), and 3 minutes questioning. The language is English.

Lunch, coffe/tea breaks and a "borrel" at the end in the Educafé will be provided.

The papers scheduled in the morning session are best paper nominations. Out of these papers the best papers will be selected, and awarded with the TSCiT best paper award.

The proceedings will be published on-line with open access policies.

Morning session: best paper nominations (Horstring C101)

10:00: Welcome coffee

10:30: Opening

10:45 Best paper nominees

• Sander ten Brinke , "The Effect of Manipulating Perceived Action Boundaries On Catching Performance"

• Viktoriia Lapshyna, "Sparse Artificial Neural Networks: Adaptive Performance-based Connectivity inspired by Human-Brain processes"

• Pieter Staal, "An Analysis of Programming Paradigms in High-Level Synthesis Tools"

• Raoul Linssen, "Vulnerability of DNS name servers against BGP hijacking"

• Thomas Stein, "Uniform Random Samples for Second-Order Restricted k-Compositions"

12:00: Best paper award ceremony

Afternoon sessions

The tracks have parallel sessions in separate rooms. There will be a cofee/tea break at 14:30.

13:30 Information Management (Carré , CR 3D)

• Fritz Hast, "The Impact of 5G on Future Data Center’s Carbon Dioxide Emission"

• Martijn Woudstra, "Exploring possibilities to increase ease of use of IT portfolio management"

• Ioana Miu, "Defining the Fundamental Characteristics and Concept of Material Passports"

• Bram van Vliet, "Student study behavior and knowledge retention"

13:30 Software technology and Formal Methods (Carré, CR 3A)

• Coen van Kampen, "Formal Automated Verification of a Work-Stealing Deque"

• Dré van Oorschot, "Let's sort this out: GPGPU Verification of Radix Sort"

• Casper Plentinger, "GUI for FIG: Visualising simulation results"

• Yernar Kumashev, "GPGPU Verification: Correctness of Odd-Even Transposition Sort Algorithm"

• Frank Stapel, "A Heuristic Approach to Indoor Rock Climbing Route Generation"

• Lars van Arkel, "Demonstrating program verification using Snap!"

13:30 Machine Learning, Data and Networks (Carré, CR 3H)

• Denys Flederus "Enhancing Music Genre Classification with Neural Networks by using Extracted Musical Features"

• Justin Praas, "Predicting influence spread in Online Social Networks using combinations of node centralities"

• Arwin Sleutjes, "Identification of Profiles Based on Physical Behaviour Patterns"

• Alexandru-Ionut Imbrea, "An Empirical Comparison of Automated Machine Learning Techniques for Data Streams"

• Bas van’t Spijker, "Classifying Classical Piano Music Into Time Period UsingMachine Learning"

• Abe Winters, "Examining the effect of hyperparameters on the training of a residual network for emotion recognition"

• Maurits van der Vijgh, "A comparison of open-source real-time online learning frameworks for neural networks"

• Stan Peters, "Distribution of advertisements on YouTube among diverse content categories"

13:30 Embedded Systems & Dependable Networks (Carré, CR 3B)

• Jelle Maas. "Cyber-attack detection in smart-grids"

• Birte Brunt. "Decreasing the computation time that’s used for saving data in the DEMKit simulator"

• Pelle de Greeuw. "Robustness of Microgrid Control Mechanisms Against Cyber Attacks"

• Jelle Smits, "What does a Domain Name say"

• Luc Jansen, "Comparing cloud security directions between the academia and the Industry, A survey"

• Daniël Lijcklama À Nijeholt, "Control for Cooperative Autonomous Driving Inspired by Bird Flocking Behaviour"

• Jesse van der Velden, "Blacklist, do you copy? Characterizing information flow in public domain blacklists"