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)