| Vol-2240 urn:nbn:de:0074-2240-3 Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# CS&P 2018
Concurrency, Specification and Programming

### Proceedings of the 27th International Workshop on Concurrency, Specification and Programming

### Berlin, Germany, September 24-26, 2018.

Edited by

### Bernd-Holger Schlingloff
Samira Akili

Humboldt-Universität zu Berlin, Institut für Informatik, 10099 Berlin, Germany
Fraunhofer FOKUS, Kaiserin-Augusta-Allee 31, 10589 Berlin, Germany

## Table of Contents

- Preface
  Bernd-Holger Schlingloff, Samira Akili

### Invited Talk 1

- Formal Analysis of Complex Event Processing - Potential and Challenges
  Matthias Weidlich

### Session 1: Concurrent Systems

- Opacity-enforcing for Process Algebras
  Damas Gruska, M. Carmen Ruiz
- Extensions of Elementary Cause-Effect Structures
  Ludwik Czaja

### Session 2: Rough Sets

- Automated Comparative Study of Some Generalized Rough Approximations
  Adam Grabowski
- The Bayes Theorem Counterpart in Mass-Based Rough Mereology
  Lech Polkowski

### Session 3: Optimizing Computations

- On Some Heuristic Method for Optimal Workload Reconstruction
  Marcin Zimniak, Marta Burzanska, Bogdan Franczyk
- Automated Validation of Big Data Classifiers on Multiple Diverse Datasets
  Przemyslaw Czaus

### Session 4: Verification

- Investigating Characteristics and Differences Between Easy and Hard SAT Instances Teofil Sidoruk
- Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions
  Sinem Getir, Esteban Pavese, Lars Grunske
- More about Left Recursion in PEG
  Roman Redziejowski

### Session 5: Reaction Systems

- Linking Exploration Systems with Local Logicsover Information Systems
  Andrzej Skowron, Soma Dutta, Grzegorz Rozenberg
- Simulating Gene Regulatory Networks using Reaction Systems
  Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo
- Hidden States in Reaction Systems
  Roberta Gori, Damas Gruska, Paolo Milazzo

### Invited Talk 2

- Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic
  Wojciech Penczek

### Session 6: Specification

- Preserving Behavior in Transition Systems from Event Structure Models
  Irina Virbitskaite, Nataliya Gribovskaya
- Compositional Expressiveness of Hybrid Models
  Jafar Akhundov, Michael Reißner, Matthias Werner
- The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics
  Linh Anh Nguyen

### Session 7: Learning Systems

- Deep Learning Guinea Pig Image Classification Using Nvidia DIGITS and GoogLeNet
  Lukasz Zmudzinski
- A Novel Ensemble Model - The Random Granular Reflections
  Piotr Artiemjew, Krzysztof Ropiak
- The Hierarchical Learning Algorithm for Deep Neural Networks
  Stanislaw Placzek, Aleksander Placzek

### Additional Items

- Program Committee
- Complete proceedings in one PDF file (at the CS&P 2018 home page)

2018-10-24: submitted by Samira Akili, metadata incl. bibliographic data published under Creative Commons CC0
2018-11-03: published on CEUR-WS.org |valid HTML5|