IEEE ECBS 2012 Program
Wednesday, April 11
08:00-09:00 Registration
Session 1
09:00-09:30 Welcome
09:30-10:30 Keynote 1
10:30-11:00 Coffee Break
Session 2
Track 1
(Amphitheater I)
11:00-12:30 Model-based Development (Chair: Bernhard Schatz)
- Complexity of a special deobfuscation problem
Dmitriy Dunaev and Laszlo Lengyel - Using Template Metaprogramming to Enhance Reuse in Visitor-based Model Interpreters
James Hill and Aniruddha Gokhale - Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems
Andrew Milakovich, Vijay Shankar Gopinath, Roman Lysecky and Jonathan Sprinkle
Track 2
(Room III)
11:00-12:30 Simulation & Validation (Chair: Jonathan Sprinkle)
- Division of Road Traffic Network for Distributed Simulation Performed on Heterogeneous Clusters
Tomas Potuzak - Discussion on the Zorn-Hypothesis on Inter-Server Control Flow and Product Form Queueing Networks
Stephan Kluth - Influencing Factors on the Usability of API Classes and Methods
Thomas Scheller and Eva Kühn
Session 3
Track 1
(Amphitheater I)
13:30-15:00 Verification & Validation I (Chair: Jonathan Sprinkle)
- Modeling and Verifying the Ariadne Protocol Using CSP
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao and Lei Chen - Model Checking Goal-Oriented Requirements for Self-Adaptive Systems
Dhaminda Abeywickrama and Franco Zambonelli - Using Parameterized Attributes to Improve Testing Capabilities with Domain-specific Modeling Languages
James Hill
Track 2
(Room III)
13:30-15:00 Signal Processing (Chair: Miodrag Temerinac)
- System Design for Passive Human Detection using Principal Components of the Signal Strength Space
Bojan Mrazovac, Milan Z. Bjelica, Dragan Kukolj, Sasa Vukosavljev and Branislav M. Todorovic - Hands free VoIP terminal with gain control based on neural network
Szabolcs Pal, Zoran Saric, Istvan Papp and Stanislav Ocovaj - Yield Modeling for Error Tolerant and Partially Defect Tolerant Arrays
Vladimir Ciric, Vladimir Simic and Ivan Milentijevic
15:00-15:30 Coffee Break
Session 4
Track 1
(Amphitheater I)
15:30-17:00 Verification & Validation II (Chair: Bernhard Schatz)
- Touch-Screen Stimulation for Automated Verification of Touchscreen-based Devices
Ivan Kastelan, Nikola Bednar, Mihajlo Katona and Dusan Zivkov - Simultaneous functionality verification system of multiple Set-Top Boxes
Vukota Pekovic, Vladimir Zlokolica, Damjan Kuburovic, Dako Banika and Nikola Vranic - Automatic Set-Top Box menu navigation scheme for improved STB menu functional verification
Vladimir Zlokolica, Vukota Pekovic, Nebojsa Milutinovic, Vladimir Marinkovic and Jan Zloh
Track 2
(Room III)
15:30-17:00 Applications (Chair: Branislav Atlagic)
- Modeling and Visualization of Classification-Based Control Schemes for Upper Limb Prostheses
Andreas Attenberger and Klaus Buchenrieder - Technical Realization of the Optimal Motion Planning Method for Minimally Invasive Surgery
Jan Nikodem, George Hwang, Jerzy Rozenblit, Liana Napalkova and Piotr Czapiewski - Route separation strategies for human movement datasets
Marcell Feher, Krisztian Fekete, Bertalan Forstner and Kristof Csorba
Thursday, April 12
Session 1
09:00-09:30 Organisational Remarks
09:30-10:30 Keynote 2
10:30-11:00 Coffee Break
Session 2
Track 1
(Amphitheater I)
11:00-12:30 Infrastructure & Platform (Chair: David Bustard)
- An Analytical Review of Process-Centered Software Engineering Environments
Reza Matinnejad and Raman Ramsin - A way towards efficiency of SCADA infrastructure
Branislav Atlagic, Mihaly Sagi, Dejan Milinkov, Stanko Culaja and Bojan Bogovac - An Architecture for Safe and Secure Automation System Devices and Maintenance Process
Christopher Preschern, Nermin Kajtazovic and Christian Kreiner
Track 2
(Room III)
11:00-12:30 Domain Models (Chair: Matthias Riebisch)
- On the Extraction and Analysis of a Social Network with Partial Organizational Observation
Sean Whitsitt, Abishek Gopalan, Sang Man Cho, Jonathan Sprinkle, Srini Ramasubramanian, Liana Suantak and Jerzy Rozenblit - An Ontology-Alignment based Recommendation Mechanism for Improving the Acquisition and Implementation of Managerial Training Services in Project oriented Organizations
Constanta N. Bodea, Maria Iuliana Dascalu and Luca Dan Serbanati - Analyzing the complexity of domain models
Andrea Leitner, Christian Kreiner and Weiss Reinhold
Session 3
Track 1
(Amphitheater I)
13:30-15:00 Evolution & Change (Chair: James Hill)
- Beyond Mainstream Adoption: From Agile Software Development to Agile Organizational Change
David Bustard - A Taxonomy of Change Types and its Application in Software Evolution
Steffen Lehnert, Qurat-Ul-Ann Farooq and Matthias Riebisch - A Metadata Driven Approach to Performing Multi-Vendor Database Schema Upgrades
Robert Marks
Track 2
(Room III)
13:30-15:00 Real-Time Systems and Platforms (Chair: Stefan Kluth)
- A Task Tree Executor Architecture Based on Intel Threading Building Blocks
Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic and Nikola Vranic - Support for Holistic Response-time Analysis in an Industrial Tool Suite: Implementation Issues, Experiences and a Case Study
Saad Mubeen, Jukka Mäki-Turja and Mikael Sjödin - ViDL: A Versatile ISA Description Language
Ralf Dreesen, Michael Thies and Uwe Kastens
15:00-15:30 Coffee Break
Session 4
Track 1
(Amphitheater I)
15:30-17:00 Poster Session (Chair: Miroslav Popovic)
- Frequency Hopping Synchronization Scheme Based on Real-Time Clock
Slavko Šajic, Nebojsa Maletic, Branislav M. Todorovic and Milan Šunjevaric - An Authorization Framework for SCADA Systems
Ondrej Rysavy, Jaroslav Rab, Miroslav Sveda and Patrik Halfar - A Case Study in Software Reeinginering for DSP based System on Chip
Zdravko Panjkov, Mihajlo Katona, Danijel Spasojevic and Zoltan Pele
Track 2
(Room III)
15:30-17:00 Doctorial Symposium (Chair: Tomas Potuzak)
- A host based method for data leak protection by tracking sensitive data flow
Miodrag Petkovic, Miroslav Popovic, Ilija Basicevic and Djordje Saric - A Module for Automatic Assessment and Verification of Students' Work in Digital Logic Design
Zarko Stanisavljevic, Bosko Nikolic and Jovan Djordjevic - Towards Modeling and Holistic Timing Analysis of Industrial Component-Based DRE Systems
Saad Mubeen, Jukka Mäki-Turja and Mikael Sjödin
17:00-17:30 SC & PC Meeting
Friday, April 13
Track 1
(Amphitheater I)
09:00-10:30 Joint ECBS & EASe Adaptive/Autonomic & Autonomous Systems (Chair: Roy Sterritt)
- Target tracking and surrounding with swarm robots
Laszlo Blazovics, Kristóf Csorba, Bertalan Forstner and Hassan Charaf - Decision Support using Deterministic Equivalents of Probabilistic Game Trees
Michael Valenzuela, Liana Suantak and Jerzy Rozenblit - An Architecture-based Approach to Developing Context-aware Adaptive Systems
Mahmoud Hussein
10:30-11:00 Coffee Break
11:00-17:00 WS2: Workshop on the Engineering of Autonomic & Autonomous (EASe)
Detailed program for WS2 available here.
Track 2
(Room III)
09:00-10:30 WS1: Workshop on Engineering of Multicore Based Systems (EMBS)
10:30-11:00 Coffee Break
11:00-14:00 WS3: Workshop on Model Based Development (MBD)
