| Vol-2568 urn:nbn:de:0074-2568-8 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# SOFSEM-SRF 2020
SOFSEM 2020 Doctoral Student Research Forum

### Proceedings of the SOFSEM 2020 Doctoral Student Research Forum
co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020)

### Limassol, Cyprus, January 20-24, 2020.

Edited by

### Yannis Manolopoulos *
George Α. Papadopoulos **
Theodoros Tzouramanis ***

* Open University of Cyprus, Faculty of Pure and Applied Sciences, Cyprus
** University of Cyprus , Department of Computer Science, Cyprus
*** University of Thessaly, Department of Computer Science and Biomedical Informatics, Greece

## Table of Contents

- Preface

### Foundations of Computer Science

- AOBA: An Online Benchmark Tool for Algorithms in Stringology 1-12
  Ryu Wakimoto, Satoshi Kobayashi, Yuki Igarashi, Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
- Bit-Layers Text Encoding for Efficient Text Processing 13-24
  Domenico Cantone, Simone Faro, Stefano Scafiti
- Exploration of MSC Trees Using Genetic Algorithms 25-36
  Jakub Řada, Tomáš Musil, Vít Fábera
- Fast-Insertion-Sort: a New Family of Efficient Variants of the Insertion-Sort Algorithm 37-48
  Simone Faro, Francesco Pio Marino, Stefano Scafiti
- Grammars and a Random Generator for Deterministic Chain Regular Expressions 49-60
  Xinyu Chu, Ping Lu, Haiming Chen

### Foundations of Software Engineering

- Early Prediction of Test Case Verdict with Word Embeddings vs. Bag-of-Words 61-72
  Khaled Al-Sabbagh, Miroslaw Staron, Wilhelm Meding, Miroslaw Ochodek
- Hybrid Analysis of BPEL Models with Grammars 73-84
  Erwin de Jager, Stijn de Gouw
- PointNet with Spin Images 85-96
  Jakub Střelský

### Foundations of Data Science and Engineering

- An Extension of Linear-size Suffix Tries for Parameterized Strings 97-108
  Katsuhito Nakashima, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
- Data-Driven Powertrain Component Aging Prediction Using In-Vehicle Signals 109-119
  Andreas Sass, Enes Esatbeyoglu, Till Iwwerks

### Foundations of Algorithmic Computational Biology

- A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework 121-132
  Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Nøjgaard, Marco Peressotti

2020-02-02: submitted by Theodoros Tzouramanis, metadata incl. bibliographic data published under Creative Commons CC0
2020-03-05: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|