Vol-2950⫷ Vol-2951 ⫸Vol-2952
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 |