Table of Contents

• Complexity of a Special Deobfuscation ProblemDmitriy Dunaev, László Lengyel. 1-4 [doi]
• Using Template Metaprogramming to Enhance Reuse in Visitor-Based Model InterpretersJames H. Hill, Aniruddha S. Gokhale. 5-14 [doi]
• Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable SystemsAndrew Milakovich, Vijay Shankar Gopinath, Roman L. Lysecky, Jonathan Sprinkle. 15-23 [doi]
• Modeling and Verifying the Ariadne Protocol Using CSPXi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen. 24-32 [doi]
• Model Checking Goal-Oriented Requirements for Self-Adaptive SystemsDhaminda B. Abeywickrama, Franco Zambonelli. 33-42 [doi]
• Using Parameterized Attributes to Improve Testing Capabilities with Domain-Specific Modeling LanguagesJames H. Hill. 43-51 [doi]
• Touch-Screen Stimulation for Automated Verification of Touchscreen-Based DevicesIvan Kastelan, Nikola Bednar, Mihajlo Katona, Dusan Zivkov. 52-55 [doi]
• Simultaneous Functionality Verification System of Multiple Set-Top BoxesVukota Pekovic, Dako Banika, Damjan Kuburovic, Vladimir Zlokolica, Nikola Vranic. 56-59 [doi]
• Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional VerificationVladimir Zlokolica, Nebojsa Milutinovic, Vladimir Marinkovic, Vukota Pekovic, Jan Zloh. 60-63 [doi]
• An Analytical Review of Process-Centered Software Engineering EnvironmentsReza Matinnejad, Raman Ramsin. 64-73 [doi]
• A Way towards Efficiency of SCADA InfrastructureBranislav Atlagic, Mihaly Sagi, Dejan Milinkov, Bojan Bogovac, Stanko Culaja. 74-81 [doi]
• An Architecture for Safe and Secure Automation System Devices and Maintenance ProcessChristopher Preschern, Nermin Kajtazovic, Christian Kreiner. 82-89 [doi]
• Beyond Mainstream Adoption: From Agile Software Development to Agile Organizational ChangeDavid W. Bustard. 90-97 [doi]
• A Taxonomy of Change Types and Its Application in Software EvolutionSteffen Lehnert, Qurat-ul-ann Farooq, Matthias Riebisch. 98-107 [doi]
• A Metadata Driven Approach to Performing Multi-vendor Database Schema UpgradesRobert M. Marks. 108-116 [doi]
• Division of Road Traffic Network for Distributed Simulation Performed on Heterogeneous ClustersTomas Potuzak. 117-125 [doi]
• Discussion on the Zorn-Hypothesis on Inter-server Control Flow and Product Form Queueing NetworksStephan Kluth. 126-134 [doi]
• Target Tracking and Surrounding with Swarm RobotsLászló Blázovics, Kristóf Csorba, Bertalan Forstner, Hassan Charaf. 135-141 [doi]
• Decision Support Using Deterministic Equivalents of Probabilistic Game TreesMichael L. Valenzuela, Liana Suantak, Jerzy W. Rozenblit. 142-149 [doi]
• Route Separation Strategies for Human Movement DatasetsMarcell Feher, Krisztian Fekete, Kristóf Csorba, Bertalan Forstner. 150-153 [doi]
• An Architecture-Based Approach to Developing Context-Aware Adaptive SystemsMahmoud Hussein, Jun Han, Alan W. Colman, Jian Yu. 154-163 [doi]
• System Design for Passive Human Detection Using Principal Components of the Signal Strength SpaceBojan Mrazovac, Milan Z. Bjelica, Dragan Kukolj, Sasa Vukosavljev, Branislav M. Todorovic. 164-172 [doi]
• Hands-Free VoIP Terminal with Gain Control Based on Neural NetworkSzabolcs Pál, Zoran Saric, Stanislav Ocovaj, Istvan Papp. 173-181 [doi]
• Yield Modeling for Error Tolerant and Partially Defect Tolerant ArraysVladimir Ciric, Vladimir Simic, Ivan Milentijevic. 182-187 [doi]
• Modeling and Visualization of Classification-Based Control Schemes for Upper Limb ProsthesesAndreas Attenberger, Klaus Buchenrieder. 188-194 [doi]
• Technical Realization of the Optimal Motion Planning Method for Minimally Invasive SurgeryJan Nikodem, George Hwang, Jerzy W. Rozenblit, Liana Napalkova. 195-200 [doi]
• A Task Tree Executor Architecture Based on Intel Threading Building BlocksMiroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic. 201-209 [doi]
• Support for Holistic Response-Time Analysis in an Industrial Tool Suite: Implementation Issues, Experiences and a Case StudySaad Mubeen, Jukka Mäki-Turja, Mikael Sjödin. 210-221 [doi]
• ViDL: A Versatile ISA Description LanguageRalf Dreesen. 222-231 [doi]
• Influencing Factors on the Usability of API Classes and MethodsThomas Scheller, eva Kühn. 232-241 [doi]
• Analyzing the Complexity of Domain Model RepresentationsAndrea Leitner, Reinhold Weiss, Christian Kreiner. 242-248 [doi]
• On the Extraction and Analysis of a Social Network with Partial Organizational ObservationSean Whitsitt, Abishek Gopalan, Sangman Cho, Jonathan Sprinkle, Srinivasan Ramasubramanian, Liana Suantak, Jerzy W. Rozenblit. 249-256 [doi]
• An Ontology-Alignment Based Recommendation Mechanism for Improving the Acquisition and Implementation of Managerial Training Services in Project Oriented OrganizationsConstanta-Nicoleta Bodea, Maria-Iuliana Dascalu, Luca-Dan Serbanati. 257-266 [doi]
• A Host Based Method for Data Leak Protection by Tracking Sensitive Data FlowMiodrag Petkovic, Miroslav Popovic, Ilija Basicevic, Djordje Saric. 267-274 [doi]
• A Module for Automatic Assessment and Verification of Students' Work in Digital Logic DesignZarko Stanisavljevic, Bosko Nikolic, Jovan Djordjevic. 275-282 [doi]
• Towards Modeling and Holistic Timing Analysis of Industrial Component-Based DRE SystemsSaad Mubeen, Jukka Mäki-Turja, Mikael Sjödin. 283-292 [doi]
• Frequency Hopping Synchronization Scheme Based on Real-Time ClockSlavko Sajic, Nebojsa Maletic, Branislav M. Todorovic, Milan Sunjevaric. 293-297 [doi]
• A Formal Authorization Framework for Networked SCADA SystemsOndrej Rysavy, Jaroslav Ráb, Patrik Halfar, Miroslav Svéda. 298-302 [doi]
• A Case Study in Software Reengineering for a DSP-based System on a Chip: Adaptation of Dolby Virtual SpeakerZdravko Panjkov, Mihajlo Katona, Danijel Spasojevic, Zoltan Pele. 303-307 [doi]
• Model-based approach to the development of SCADA applicationsBranislav Atlagic, Mihaly Sagi, Dejan Milinkov, Bojan Bogovac, Stanko Culaja. 308-315 [doi]
• Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagramsYessine Hadj Kacem, Adel Mahfoudhi, Amina Magdich, Chokri Mraidha, Walid Karamti. 316-323 [doi]
• The challenges of a model transformation languagePéter Fehér, László Lengyel. 324-329 [doi]