12. ECBS 2012: Novi Sad, Serbia
Miroslav Popovic, Bernhard Schätz, Sebastian Voss (Eds.): IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012. IEEE 2012 ISBN 978-1-4673-0912-7
Model-Based Development
- James H. Hill, Aniruddha S. Gokhale: Using Template Metaprogramming to Enhance Reuse in Visitor-Based Model Interpreters. 5-14
- Andrew Milakovich, Vijay Shankar Gopinath, Roman Lysecky, Jonathan Sprinkle: Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems. 15-23
Verification & Validation I
- Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen: Modeling and Verifying the Ariadne Protocol Using CSP. 24-32
- Dhaminda B. Abeywickrama, Franco Zambonelli: Model Checking Goal-Oriented Requirements for Self-Adaptive Systems. 33-42
- James H. Hill: Using Parameterized Attributes to Improve Testing Capabilities with Domain-Specific Modeling Languages. 43-51
Verification & Validation II
- Ivan Kastelan, Nikola Bednar, Mihajlo Katona, Dusan Zivkov: Touch-Screen Stimulation for Automated Verification of Touchscreen-Based Devices. 52-55
- Vukota Pekovic, Dako Banika, Damjan Kuburovic, Vladimir Zlokolica, Nikola Vranic: Simultaneous Functionality Verification System of Multiple Set-Top Boxes. 56-59
Infrastructure & Platform
- Vladimir Zlokolica, Nebojsa Milutinovic, Vladimir Marinkovic, Vukota Pekovic, Jan Zloh: Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional Verification. 60-63
- Reza Matinnejad, Raman Ramsin: An Analytical Review of Process-Centered Software Engineering Environments. 64-73
- Branislav Atlagic, Mihaly Sagi, Dejan Milinkov, Bojan Bogovac, Stanko Culaja: A Way towards Efficiency of SCADA Infrastructure. 74-81
- Christopher Preschern, Nermin Kajtazovic, Christian Kreiner: An Architecture for Safe and Secure Automation System Devices and Maintenance Process. 82-89
Evolution & Change
- David W. Bustard: Beyond Mainstream Adoption: From Agile Software Development to Agile Organizational Change. 90-97
- Steffen Lehnert, Qurat-ul-ann Farooq, Matthias Riebisch: A Taxonomy of Change Types and Its Application in Software Evolution. 98-107
- Robert M. Marks: A Metadata Driven Approach to Performing Multi-vendor Database Schema Upgrades. 108-116
Simulation & Validation
- Tomas Potuzak: Division of Road Traffic Network for Distributed Simulation Performed on Heterogeneous Clusters. 117-125
- Stephan Kluth: Discussion on the Zorn-Hypothesis on Inter-server Control Flow and Product Form Queueing Networks. 126-134
Adaptive/Autonomic Systems
- László Blázovics, Kristóf Csorba, Bertalan Forstner, Hassan Charaf: Target Tracking and Surrounding with Swarm Robots. 135-141
- Michael L. Valenzuela, Liana Suantak, Jerzy W. Rozenblit: Decision Support Using Deterministic Equivalents of Probabilistic Game Trees. 142-149
Autonomous Systems
- Marcell Feher, Krisztian Fekete, Kristóf Csorba, Bertalan Forstner: Route Separation Strategies for Human Movement Datasets. 150-153
- Mahmoud Hussein, Jun Han, Alan W. Colman, Jian Yu: An Architecture-Based Approach to Developing Context-Aware Adaptive Systems. 154-163
Signal Processing
- Bojan Mrazovac, Milan Z. Bjelica, Dragan Kukolj, Sasa Vukosavljev, Branislav M. Todorovic: System Design for Passive Human Detection Using Principal Components of the Signal Strength Space. 164-172
- Szabolcs Pál, Zoran Saric, Stanislav Ocovaj, Istvan Papp: Hands-Free VoIP Terminal with Gain Control Based on Neural Network. 173-181
- Vladimir Ciric, Vladimir Simic, Ivan Milentijevic: Yield Modeling for Error Tolerant and Partially Defect Tolerant Arrays. 182-187
Applications
- Andreas Attenberger, Klaus Buchenrieder: Modeling and Visualization of Classification-Based Control Schemes for Upper Limb Prostheses. 188-194
- Jan Nikodem, George Hwang, Jerzy W. Rozenblit, Liana Napalkova: Technical Realization of the Optimal Motion Planning Method for Minimally Invasive Surgery. 195-200
Real-Time Systems and Platforms
- Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic: A Task Tree Executor Architecture Based on Intel Threading Building Blocks. 201-209
- Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin: Support for Holistic Response-Time Analysis in an Industrial Tool Suite: Implementation Issues, Experiences and a Case Study. 210-221
- Ralf Dreesen: ViDL: A Versatile ISA Description Language. 222-231
Reengineering & Reuse
- Andrea Leitner, Reinhold Weiss, Christian Kreiner: Analyzing the Complexity of Domain Model Representations. 242-248
Domain Models
- Sean Whitsitt, Abishek Gopalan, Sangman Cho, Jonathan Sprinkle, Srinivasan Ramasubramanian, Liana Suantak, Jerzy W. Rozenblit: On the Extraction and Analysis of a Social Network with Partial Organizational Observation. 249-256
- Constanta-Nicoleta Bodea, Maria-Iuliana Dascalu, Luca-Dan Serbanati: An Ontology-Alignment Based Recommendation Mechanism for Improving the Acquisition and Implementation of Managerial Training Services in Project Oriented Organizations. 257-266
Doctoral Symposium
- Miodrag Petkovic, Miroslav Popovic, Ilija Basicevic, Djordje Saric: A Host Based Method for Data Leak Protection by Tracking Sensitive Data Flow. 267-274
- Zarko Stanisavljevic, Bosko Nikolic, Jovan Djordjevic: A Module for Automatic Assessment and Verification of Students' Work in Digital Logic Design. 275-282
- Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin: Towards Modeling and Holistic Timing Analysis of Industrial Component-Based DRE Systems. 283-292
Poster Session
- Slavko Sajic, Nebojsa Maletic, Branislav M. Todorovic, Milan Sunjevaric: Frequency Hopping Synchronization Scheme Based on Real-Time Clock. 293-297
- Ondrej Rysavy, Jaroslav Ráb, Patrik Halfar, Miroslav Svéda: A Formal Authorization Framework for Networked SCADA Systems. 298-302
- Zdravko Panjkov, Mihajlo Katona, Danijel Spasojevic, Zoltan Pele: A Case Study in Software Reengineering for a DSP-based System on a Chip: Adaptation of Dolby Virtual Speaker. 303-307
- Branislav Atlagic, Mihaly Sagi, Dejan Milinkov, Bojan Bogovac, Stanko Culaja: Model-based approach to the development of SCADA applications. 308-315
- Yessine Hadj Kacem, Adel Mahfoudhi, Amina Magdich, Chokri Mraidha, Walid Karamti: Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams. 316-323
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team