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

Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
Dependable and Optimal Cyber-Physical Systems....Pages 3-10
Verifying Parametric Thread Creation....Pages 11-14
Network Constructors: A Model for Programmable Matter....Pages 15-34
Front Matter....Pages 35-35
Logical Characterisations and Compositionality of Input-Output Conformance Simulation....Pages 37-48
A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories....Pages 49-61
Symbolic Semantics for Multiparty Interactions in the Link-Calculus....Pages 62-75
Front Matter....Pages 77-77
Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs....Pages 79-90
Deciding Structural Liveness of Petri Nets....Pages 91-102
Distributed Network Generation Based on Preferential Attachment in ABS....Pages 103-115
Front Matter....Pages 117-117
Completeness of Hoare Logic Relative to the Standard Model....Pages 119-131
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict....Pages 132-146
Hardness of Deriving Invertible Sequences from Finite State Machines....Pages 147-160
Front Matter....Pages 161-161
A Graph-Theoretical Characterisation of State Separation....Pages 163-175
Selfish Transportation Games....Pages 176-187
Decomposable Relaxation for Concurrent Data Structures....Pages 188-202
Front Matter....Pages 203-203
Sufficient Conditions for a Connected Graph to Have a Hamiltonian Path....Pages 205-216
Enumerating Minimal Tropical Connected Sets....Pages 217-228
Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors)....Pages 229-240
Front Matter....Pages 241-241
Adjacent Vertices Can Be Hard to Find by Quantum Walks....Pages 243-255
Front Matter....Pages 256-267
Front Matter....Pages 241-241
Order-Preserving 1-String Representations of Planar Graphs....Pages 268-279
How to Draw a Planarization....Pages 281-281
Finding Largest Common Substructures of Molecules in Quadratic Time....Pages 283-294
Front Matter....Pages 295-308
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints....Pages 309-321
Parameterized and Exact Algorithms for Class Domination Coloring....Pages 323-323
The Approximability of Partial Vertex Covers in Trees....Pages 325-335
Front Matter....Pages 336-349
Longest Common Subsequence in at Least k Length Order-Isomorphic Substrings....Pages 350-360
Computing Longest Single-arm-gapped Palindromes in a String....Pages 361-361
Edit-Distance Between Visibly Pushdown Languages....Pages 363-374
Front Matter....Pages 375-386
Model-Driven Development in Practice: From Requirements to Code....Pages 387-401
Webpage Menu Detection Based on DOM....Pages 403-403
A Hybrid Model for Linking Multiple Social Identities Across Heterogeneous Online Social Networks....Pages 405-410
Eco-Data Warehouse Design Through Logical Variability....Pages 411-422
Front Matter....Pages 423-435
On Featured Transition Systems....Pages 436-449
Domain-Specific Languages: A Systematic Mapping Study....Pages 451-451
Characterising Malicious Software with High-Level Behavioural Patterns....Pages 453-463
AErlang at Work....Pages 464-472
Software System Migration to Cloud-Native Architectures for SME-Sized Software Vendors....Pages 473-484
Using n-grams for the Automated Clustering of Structural Models....Pages 485-497
Back Matter....Pages 498-509
....Pages 510-524