Table Of ContentLecture Notes in Computer Science 7741
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
MadhuSudan
MicrosoftResearch,Cambridge,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbruecken,Germany
Peter van Emde Boas Frans C. A. Groen
Giuseppe F. Italiano Jerzy Nawrocki
Harald Sack (Eds.)
SOFSEM 2013:
Theory and Practice
of Computer Science
39th International Conference on Current Trends
in Theory and Practice of Computer Science
Špindleru˚v Mlýn, Czech Republic, January 26-31, 2013
Proceedings
1 3
VolumeEditors
PetervanEmdeBoas
UniversityofAmsterdam,TheNetherlands
E-mail:[email protected]
FransC.A.Groen
UniversityofAmsterdam,TheNetherlands
E-mail:[email protected]
GiuseppeF.Italiano
UniversityofRomeTorVergata,Italy
E-mail:[email protected]
JerzyNawrocki
PoznanUniversityofTechnology,Poland
E-mail:[email protected]
HaraldSack
HassoPlattnerInstituteforSoftwareSystemsEngineering
Potsdam,Germany
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-642-35842-5 e-ISBN978-3-642-35843-2
DOI10.1007/978-3-642-35843-2
SpringerHeidelbergDordrechtLondonNewYork
LibraryofCongressControlNumber:2012954777
CRSubjectClassification(1998):G.2.2,F.2.2,H.3.3-5,D.2.13,D.2.11,D.2.2,
I.2.3-4,H.5.3,H.4.3,E.1,F.1.1,D.1.6
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©Springer-VerlagBerlinHeidelberg2013
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply,
evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws
andregulationsandthereforefreeforgeneraluse.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
Thisvolumecontainstheinvitedandcontributedpapersselectedforpresentation
atSOFSEM2013,the39thConferenceonCurrentTrendsinTheoryandPractice
of Computer Science, held January26–31,2013,in Hotel Bedˇrichov,Sˇpindler˚uv
Mly´n, in the Krkonoˇse Mountains of the Czech Republic.
SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearchand
fosters the cooperation among researchersand professionals from academia and
industryinallareasofcomputerscience.Asawell-establishedandfullyinterna-
tional conference, SOFSEM maintains the best of its original Winter School
aspects, like a high number of invited talks (10 this year) and an in-depth
coverageof novel researchresults in selected areas of computer science.
SOFSEM 2013 was organized around the following four tracks:
– Foundations of Computer Science (Chair: Giuseppe F. Italiano, University
of Rome“Tor Vergata”,Italy)
– Software and Web Engineering (Chair: Jerzy Nawrocki, Poznan University
of Technology, Poland)
– Data, Information and Knowledge Engineering (Chair: Harald Sack,
University of Potsdam, Germany)
– Social Computing and Human Factors (Chair:FransC.A.Groen,Intelligent
Systems Lab Amsterdam, The Netherlands)
Withitsfourtracks,SOFSEM2013coveredthelatestadvancesinresearch,both
theoreticalandapplied,inleadingareasofcomputerscience.TheSOFSEM2013
ProgramCommitteeconsistedof68internationalexpertsfrom21differentcoun-
tries, representing the track areas with outstanding expertise.
An integral part of SOFSEM 2013 was the traditional SOFSEM Student
Research Forum (Chair: Roman Sˇpa´nek, Institute of Computer Science of the
Academy of Sciences of the Czech Republic in Prague - ICS ASCR), organized
with the aim of presenting student projects on the theory and practice of com-
puter science and to giving students feedback on both the originality of their
scientific results and on their work in progress. The papers presented at the
Student Research Forum and at the poster section were published in the local
proceedings.
In response to the call for papers, SOFSEM 2013 received 117 submissions
by 297authorsfrom39differentcountriesof5 continents(Americas,Asia,Aus-
tralia,andEurope):fullpaperswereprovidedfor98(83%)ofthem.Fromthese,
therewere:57submissionsintheFoundationsofComputerScienceTrack(58%)
and55submissions(42%)inthe remainingthree tracks:22inthe Softwareand
Web Engineering Track (23%), 16 in the Data, Information and Knowledge
Engineering Track (16%), and 3 in the Social Computing and Human Factors
Track (3%).
Afteradetailedreviewprocess(usingtheEasyChairConferenceSystem)with
atleast3reviewersperpaper,acarefulelectronicselectionprocedurewascarried
VI Preface
outwithineachtrackbetweenAugust29thandSeptember21th,2012.Following
strictcriteria of quality and originality,37 papers were selectedfor presentation
at SOFSEM 2013. From these, there were: 22 submissions in the Foundations
of Computer Science Track (59%) and 15 (41%) in the other three tracks: 8 in
the Software and Web Engineering Track (21%), 5 in the Data, Information
and Knowledge Engineering Track (15%), and 2 in the Social Computing and
Human Factors Track (5%).
From98submittedfullpapers,22submissionswereprovidedbystudents,and
8 of them were accepted into regular tracks (see above). Based on the recom-
mendations of the Chair of the Student Research Forum and with the approval
of the Track Chairs and ProgramCommittee members, 10 student papers were
chosen for the SOFSEM 2013 Student Research Forum.
As editors of these proceedings,we are gratefulto everyonewho contributed
to the scientific program of the conference, especially the invited speakers and
all the authors of contributed papers. We thank all authors for their prompt
responses to our editorial requests.
SOFSEM2013wastheresultofaconsiderableeffortbymanypeople.Wewould
like to express our special thanks to:
– The SOFSEM 2013 Program Committees of four tracks and all additional
referees for their precise and detailed reviewing of the submissions
– Roman Sˇpa´nek, of the ICS ASCR, for his preparation and handling of the
Student Research Forum
– The SOFSEM Steering Committee headed by Ju´lius Sˇtuller (ICS ASCR),
for guidance and support throughout the preparationof the conference
– Springer’s LNCS series, for its great support of the SOFSEM conferences
We are also greatly indebted to:
– The SOFSEM 2013 Organizing Committee consisting of Martin Rˇimn´aˇc
(Chair), Ju´lius Sˇtuller, Pavel Tyl, and Dana Kuˇzelov´a for the support and
preparationof all aspects of the conference
– The Action M Agency, in particular Milena Zeithamlova´, for the local ar-
rangements of SOFSEM 2013
We thank the Institute of Computer Science of the Academy of Sciences of
the Czech Republic in Prague, for its invaluable support of all aspects of
SOFSEM 2013.
Finally, we are very grateful for the financial support of the Czech Society
for Cybernetics and Informatics, which enabled us to compose a high-quality
programof invited speakers and helped us to keep the student fees low.
November 2012 Peter van Emde Boas
Giuseppe F. Italiano
Jerzy Nawrocki
Harald Sack
Frans C.A. Groen
Organization
Steering Committee
Ivana Cˇerna´ Masaryk University, Brno, Czech Republic
Viliam Geffert P.J. Sˇafa´rik University, Koˇsice, Slovakia
Keith Jeffery STFC Rutherford Appleton Laboratory,UK
Miroslaw Kutylowski Wroclaw University of Technology, Poland
Jan van Leeuwen Utrecht University, The Netherlands
Branislav Rovan Comenius University, Bratislava, Slovakia
Petr Sˇaloun, Observer Technical University of Ostrava,
Czech Republic
Ju´lius Sˇtuller, Chair Institute of Computer Science, Academy of
Sciences, Czech Republic
Program Committee
PC General Chair
Peter van Emde Boas University of Amsterdam, The Netherlands
Track Chairs
Giuseppe F. Italiano University of Rome“Tor Vergata”,Italy
Jerzy Nawrocki Poznan University of Technology,Poland
Harald Sack University of Potsdam, Germany
Frans C.A. Groen Intelligent Systems Lab Amsterdam,
The Netherlands
Student Research Forum Chair
Roman Sˇpa´nek Institute of Computer Science, Academy of
Sciences, Czech Republic
PC Members
Ioannis Anagnostopoulos Lamia, Greece
S¨oren Auer Leipzig, Germany
Roman Barta´k Prague,Czech Republic
Petr Berka Prague,Czech Republic
Mark de Berg Eindhoven, The Netherlands
Ma´ria Bielikov´a Bratislava,Slovakia
Pˇremek Brada Pilsen, Czech Republic
VIII Organization
Ivan Bratko Lubljana, Slovenia
Ondˇrej Cˇepek Prague,Czech Republic
Radu G. Danescu Cluj Napoca, Romania
Daniel Delling Silicon Valley, USA
Feng Dong Luton, UK
Werner Dubitzky Ulster, UK
Peter van Emde Boas Amsterdam, The Netherlands
Uwe Egly Vienna, Austria
Thomas Erlebach Leicester, UK
Fedor V. Fomin Bergen, Norway
Dimitris Fotakis Athens, Greece
Gerhard Friedrich Klagenfurt, Austria
Loukas Georgiadis Ioannina, Greece
Siegfried Handschuh Galway, Ireland
PavelHerout Pilsen, Czech Republic
Martin Homola Bratislava,Slovakia
Andreas Hotho Wu¨rzburg, Germany
Zbigniew Huzar Wroclaw, Poland
Anna Ingolfsdottir Reykjavik, Iceland
Riko Jacob Zu¨rich, Switzerland
Klaus Jansen Kiel, Germany
Galina Jira´skov´a Koˇsice, Slovakia
Evangelos Kranakis Carleton, Canada
Milos Kravcik Aachen, Germany
Gregory Kucherov Paris, France
Michal Laclav´ık Bratislava,Slovakia
Pedro Lima Lisboa, Portugal
Martin Lopez-Nores Vigo, Spain
Leszek Maciaszek Wroclaw, Poland
Lech Madeyski Wroclaw, Poland
Ulrich Mayer Frankfurt, Germany
Roberto Navigli Rome, Italy
PavolN´avrat Bratislava,Slovakia
Anton Nijholt Enschede, The Netherlands
Jakob Nordstr¨om Stockholm, Sweden
Andreas Nu¨rnberger Magdeburg, Germany
Miroslaw Ochodek Poznan, Poland
Catuscia Palamidessi Palaiseau,France
Adrian Paschke Berlin, Germany
Dino Pedreschi Pisa, Italy
Tassilo Pellegrini Vienna, Austria
Andreas Pieris Oxford, UK
Giovanni Pighizzini Milan, Italy
Valentina Presutti Rome, Italy
Karel Richta Prague,Czech Republic
Organization IX
Liam Roditty Rehovot, Israel
Matthew Rowe Milton Keynes, UK
Giuseppe Serra Firenze, Italy
Hadas Shachnai Haifa, Israel
Marc Stevens Amsterdam, The Netherlands
Petr Sˇaloun Ostrava,Czech Republic
Jiˇr´ı Sˇ´ıma Prague,Czech Republic
Ju´lius Sˇtuller Prague,Czech Republic
Tarmo Uustalu Tallinn, Estonia
Valentino Vrani´c Bratislava,Slovakia
JaroslavZendulka Brno, Czech Republic
Wolf Zimmermann Halle Wittenberg, Germany
Subreviewers
Deepak Ajwani Rostislav Horˇc´ık
Judie Attard Sangxia Huang
Matt Austern Philipp Hupp
Balabhaskar Balasundaram Hans Huttel
Tom´aˇs Balyo Kazuo Iwama
Marco Bernardo Jakub Jurkiewicz
Daniela Besozzi Marta Kasprzak
Andreas Brandst¨adt Ramtin Khosravi
Dorota Bro´d Magnus Knuth
Matteo Cimini Nitish Korula
Jeremy Debattista Thomas Krennwallner
Yuxin Deng Petr Kuˇcera
Ehab Elsalamouny Alexander Kurz
Moran Feldman Martin Kutrib
Henning Fernau Michael Lampis
Thomas Fernique Marco Lanzagorta
Eldar Fischer Massimo Lauria
Tiziano Flati Mark Lawson
Dominik D. Freydenberger Tobias Lieber
Bernd Gaertner Markus Lohrey
Zsolt Gazdag Marco Lu¨bbecke
Rong Ge Marco Manna
Viliam Geffert Bodo Manthey
Petr Glivicky´ Tom´aˇs Masopust
Petr Gregor Isabella Mastroeni
Elad Haramaty Arie Matsliah
Leo Hatvani Jannik Matuschke
Reiko Heckel Carlo Mereghetti
Christian Hentschel George Mertzios
Luka´ˇs Holy´ Peter Bro Miltersen
X Organization
Matteo Mio Pierre-Alain Reynier
Matthias Mnich Christina Robenek
Tobias M¨omke Joshua Sack
Michael Morak Yoshifumi Sakai
Andrea Moro Federico Santaron
Mogens Nielsen Petr Savicky´
Nicolas Nisse Cezary Sobaniec
Alexander Okhotin Petr Sos´ık
Claudio Orlandi Nadine Steinmetz
Beatrice Palano Jaroslav Sˇnajberk
PrakashPanangaden Tami Tamir
Charis Papadopoulos Angelo Troina
Chellapilla Patvardhan Miroslav T˚uma
Luka´ˇs Pola´ˇcek Irek Ulidowski
Petros Potikas David Wajc
Lars Pr¨adel Bartosz Walter
Matteo Pradella Volker Weichert
Narad Rampersad Martin Wimmer
Alexander Razborov Stanislav Zˇ´ak
Roman Redziejowski
Organization
SOFSEM 2013 was organized by:
Institute of Computer Science, Academy of Sciences of the Czech Republic,
Prague
Action M Agency, Prague
Organizing Committee
Martin Rˇimn´aˇc, Chair Institute of Computer Science, Prague,
Czech Republic
Ju´lius Sˇtuller Institute of Computer Science, Prague,
Czech Republic
PavelTyl Technical University Liberec, Czech Republic
Dana Kuˇzelov´a Institute of Computer Science, Prague,
Czech Republic
Milena Zeithamlov´a Action M Agency, Prague, Czech Republic
Supported by
CˇSKI – Czech Society for Cybernetics and Informatics
SSCS – Slovak Society for Computer Science
Table of Contents
Invited Talks
Major Achievements in Software Studies
Theory of Multi Core Hypervisor Verification........................ 1
Ernie Cohen, Wolfgang Paul, and Sabine Schmaltz
Software Components in Computer Assisted Living? (Abstract)........ 28
Frantisek Plasil and Tomas Bures
Foundations of Computer Science
Engineering Algorithms for Large Data Sets ......................... 29
Peter Sanders
Core Stability in Hedonic Coalition Formation....................... 33
Gerhard J. Woeginger
Software and Web Engineering
Software Production: A New Paradigm for Software Engineering
Research (Abstract).............................................. 51
Sjaak Brinkkemper
A Model of the Commit Size Distribution of Open Source............. 52
Carsten Kolassa, Dirk Riehle, and Michel A. Salim
Data, Information and Knowledge Engineering
ISICIL: Semantics and Social Networks for Business Intelligence ....... 67
Michel Buffa, Nicolas Delaforge, Guillaume Er´et´eo, Fabien Gandon,
Alain Giboin, and Freddy Limpens
A Multi-dimensional Comparison of Ontology Design Patterns
for Representing n-ary Relations................................... 86
Aldo Gangemi and Valentina Presutti
Social Computing and Human Factors
Cognition-Enabled Autonomous Robot Control for the Realization
of Home Chore Task Intelligence (Abstract) ......................... 106
Michael Beetz
