| Vol-2951 urn:nbn:de:0074-2951-9 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 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).

# CS&P 2021
Concurrency, Specification and Programming 2021

### Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021)

### Berlin, Germany, September 27-28, 2021.

Edited by

### Holger Schlingloff *
Thomas Vogel *

* Humboldt Universität zu Berlin, Berlin, Germany

## Table of Contents

- Preface
- Specifying Event/Data-based Systems (keynote) 1
  Alexander Knapp
- Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates 2-17
  Roman Milewski, Simon Heiden, Lars Grunske
- NLP-Based Requirements Formalization for Automatic Test Case Generation 18-30
  Robin Gröpler, Viju Sudhi, Emilio José Calleja García, Andre Bergmann
- Cause-Effect Structures Behaving like Reaction Systems 31-45
  Ludwik Czaja
- Interactive Granular Computing Connecting Abstract and Physical Worlds: An Example 46-59
  Soma Dutta, Andrzej Skowron
- On Semantics for Testing in Time Petri Nets 60-71
  Elena Bozhenkova, Irina Virbitskaite
- Left Recursion by Recursive Ascent 72-82
  Roman R. Redziejowski
- Process Opacity and Insertion Functions 83-92
  Damas P. Gruska, M. Carmen Ruiz
- Attack Trees with Time Constraints 93-105
  Aliyu Tanko Ali, Damas Gruska
- Extended Abstract: Simulation of Interactions between Beehives 106-112
  Volha Taliaronak, Heinrich Mellmann, Verena V. Hafner
- Extended Abstract: A Novel Mobile App for the Next Generation of Beekeepers 113-116
  Eugen Puzynin, Heinrich Mellmann, Verena V. Hafner
- Efficient Machine Learning Methods over Pairwise Space (keynote) 117-119
  Hung Son Nguyen
- Influence of Data Dimension Reduction, Feature Scaling and Activation Function on Machine Learning Performance (short paper) 120-125
  Grzegorz Słowiński
- Sorting by Decision Trees with Hypotheses (extended abstract) 126-130
  Mohammad Azad, Igor Chikalov, Shahid Hussain, Mikhail Moshkov
- On Reliable Wireless Streaming of Real-time Sensor Data 131-144
  Agnieszka Boruta, Pawel Gburzynski, Ewa Kuznicka
- Graph-based Sparse Neural Networks for Traffic Signal Optimization 145-155
  Lukasz Skowronek, Pawel Gora, Marcin Mozejko, Arkadiusz Klemenko
- Prediction of Football Games Results 156-165
  Roman Nestoruk, Grzegorz Słowiński
- Dry Beans Classification Using Machine Learning (short paper) 166-173
  Grzegorz Słowiński

2021-09-22: submitted by Thomas Vogel, metadata incl. bibliographic data published under Creative Commons CC0
2021-09-22: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|