Program and Proceedings

The conference will be in the morning, February 2nd, in building the Waaier, room WA3, and in the afternoon in building Ravelijn (RA2334 and RA2336). The papers scheduled in the morning session are best paper nominations. Out of these papers the best papers of the tracks will be selected, and awarded with the TSCiT best paper award.

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 preferred language is English.

8:45: Welcome coffee (Waaier)

9:15: Opening speech (WA3)

9:30 Session: Best paper nominees

• Jesse van Wieren, "A prototype containing interactive hierarchical visualizations to support the identification of Industrial Symbiosis"

• Rick Fontein, "Comparison of static analysis tooling for smart contracts on the EVM"

• Luce Sandfort, "How anthropomorphism in autonomous vehicles affects closeness, trust and ethical expectations"

• Roy Nijhuis, "The Impact of Latency Errors on Determining the Topology of Nearby Android Devices"

10:30 – 11:00 Coffee/Tea Break

• Dion Ikink, "Enriching a Co-Design Toolkit with an Indoor Tracking System to Design Assistance for Young Adults with Autism in Living Independently"

• Florian Ven: "Analyzing placement of sensors in wearable applications for use in hand gesture recognition"

• Jan Boerman, "Verification of JML specifications: A comparison between KeY and OpenJML"

11:45 Best paper award ceremony

12:30 – 13:30 Lunch (Waaier)

13:30 Track Formal methods and software engineering (Room RA2334)

• Dennis Eijkel, "Analysing the use of Selfish Mining among Bitcoin Miners and Mining Pools"

• Tycho Braams, "Modeling Degradation of Physical Objects in Fault Maintenance Trees"

• Matthijs van Helden, "Simulation of proposed theoretical improvements of the B.A.T.M.A.N. protocol "

• Frans van Dijk, "Implementing ROBDD algorithms on FPGA using CλaSH -"

• Jasper van Rooijen, "Sensitivity and Optimalisation of Uncertain Parameters in UPPAAL models"

• Victor Lap, "Introducing RAS: A domain specific language for trading card games"

• Joshua de Bie, "PTA as an approach to fault tree analysis"

• Pim van Leeuwen: "Lambda Calculus Syntax’s Definition and Completeness As Graph Database Querying Language"

13:30 Track Ubiquitous computing and IoT (RA 2336)

• Noah Goldsmid, "Impact of battery exhaustion attacks on LoRaWAN device"

• Koen Reefman, "Accurately and automatically recognizing animal interaction using GPS and motion data"

• Gerwin Puttenstein, "Determining Social Interaction using Connectivity Data"

14:45 Track Information management (RA 2336)

• Frank den Heijer, "Application Portfolio Prioritization for Legacy Migration"

• Jorn Boksem, "Mapping Text to an Existing Ontology"

15:15 Track Intelligent Interaction (RA 2336)

• Roberto Campisi, "Applying a deep Q-learning neural network approach on Crypt of the Necrodancer"

• Jens van der Meer, "Analysis of Driver to Pedestrians and Cyclists Communication for the Integration of Autonomous Vehicles in Present-day Traffic"

• Rens van Schouwenburg, "Displaying pedestrians in autonomous vehicles"

The afternoon coffee and tea break for all tracks will be at 14:30 in/around RA2409.

16:00 Reception (Educafe)

The program at a glance can be found here.