SOFSEM 2017: Theory and Practice of Computer Science

43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

  • Bernhard Steffen
  • Christel Baier
  • Mark van den Brand
  • Johann Eder
  • Mike Hinchey
  • Tiziana Margaria
Conference proceedings SOFSEM 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10139)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10139)

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Foundations in Computer Science

    1. Front Matter
      Pages 1-1
    2. Kim Guldstrand Larsen
      Pages 3-10
    3. Igor Walukiewicz
      Pages 11-14
    4. Othon Michail, Paul G. Spirakis
      Pages 15-34
  3. Semantics, Specification and Compositionality

    1. Front Matter
      Pages 35-35
    2. Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
      Pages 37-48
  4. Theory of Mobile and Distributed Systems

    1. Front Matter
      Pages 77-77
    2. Evangelos Kranakis, Danny Krizanc, Euripides Markou, Aris Pagourtzis, Felipe Ramírez
      Pages 79-90
    3. Petr Jančar
      Pages 91-102
    4. Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer
      Pages 103-115
  5. Verification and Automated System Analysis

    1. Front Matter
      Pages 117-117
    2. Zhaowei Xu, Wenhui Zhang, Yuefei Sui
      Pages 119-131
    3. Eike Best, Nataliya Gribovskaya, Irina Virbitskaite
      Pages 132-146
    4. Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker
      Pages 147-160
  6. Petri Nets, Games and Relaxed Data Structures

    1. Front Matter
      Pages 161-161
    2. Eike Best, Raymond Devillers, Uli Schlachter
      Pages 163-175
    3. Dimitris Fotakis, Laurent Gourvès, Jérôme Monnot
      Pages 176-187

About these proceedings


This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.


approximation computational complexity distributed programming dynamic programming machine learning algorithms bisimilarity cloud migration combinatorial problems data similarity decidability general graphs information retrieval malware analysis mobile agents model-driven engineering quantum search social network synchronization system synthesis

Editors and affiliations

  • Bernhard Steffen
    • 1
  • Christel Baier
    • 2
  • Mark van den Brand
    • 3
  • Johann Eder
    • 4
  • Mike Hinchey
    • 5
  • Tiziana Margaria
    • 6
  1. 1.TU Dortmund DortmundGermany
  2. 2.TU Dresden DresdenGermany
  3. 3.Eindhoven University of Technology EindhovenThe Netherlands
  4. 4.Alpen Adria University Klagenfurt KlagenfurtAustria
  5. 5.Lero - Irish Software Research Center LimerickIreland
  6. 6.Lero - Irish Software Research Center LimerickIreland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-51962-3
  • Online ISBN 978-3-319-51963-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book