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|