 |
The Fourth International Conference on Software Engineering Advances ICSEA 2009 September 20-25, 2009 - Porto, Portugal |
| Preliminary Program |
SoftNet 2009
ICSNC 2009 // ICSEA 2009 // VALID 2009 // SIMUL 2009 // CENTRIC 2009
Conferences take place at
Hotel MELIA GAIA PORTO
Rua Diogo Macedo, 220
Vila Nova de Gaia, 4400-107, Portugal
Sunday, September 20
13:00 |
Registration starts |
14:00 - 17:00 |
Tutorial A Functional Approach to Semantic Retrieval of Text Documents Vitaly Klyuev, University of Aizu, Japan |
|
|
18:00 - 19:00 |
Welcome Cocktail |
Monday, September 21
08:30 - 08:45 |
Opening session |
||
08:45 - 10:15 |
Keynote Speakers European Technology Platform NESSI: delivering building blocks for the creation of service based ecosystems Future Internet - challenges for the mobile world |
||
10:15 - 10:30 |
Coffee Break |
||
10:30 - 12:15 |
ICSEA1 |
ICSNC1 |
VALID1 |
12:15 - 13:45 |
Lunch on your own |
||
13:45 - 15:30 |
ICSEA2 |
ICSNC2 |
VALID2 |
15:30 - 15:45 |
Coffee break |
||
15:45 - 17:30 |
ICSEA3 |
ICSNC3 |
SIMUL1 |
17:30 - 17:45 |
Coffee Break |
||
17:45 - 19:15 |
ICSEA4 |
ICSNC4 |
SIMUL2 |
|
|||
19:15 - 20:30 |
IARIA Work Group Meeting on Mobile Communications 1. Special Presentation A User-oriented Web Retrieval Summarizing Tool 2. Open discussion: ICSNS’s topics, journals, directions |
||
Tuesday, September 22
08:30 - 10:15 |
ICSEA5 |
ICSNC5 |
VALID3 |
10:15 - 10:30 |
Coffee Break |
||
10:30 - 12:15 |
ICSEA6 |
ICSNC6 |
VALID4 |
12:15 - 13:45 |
Lunch on your own |
||
13:45 - 15:30 |
ICSEA7 |
ICSNC7 |
VALID5 |
15;30 - 15;45 |
Coffee Break |
||
15:45 - 17:30 |
ICSEA8 |
VALID6 |
SIMUL3 |
17:30 - 17:45 |
Coffee Break |
||
17:45 - 19:15 |
ICSEA9 |
VALID7 |
SIMUL4 |
|
|
||
19:15 - 20:45 |
IARIA Kick-off Working Group Meeting on Simulation 1. DEMO Session 2. Special Presentaiton Sensitivity analysis as an ingredient of modelling 3. Open discussion: Simulation, Testing & Validation’s topics, journals, directions |
||
Wednesday, September 23
08:30 - 10:15 |
ICSEA10 |
ICSNC8 |
SIMUL5 |
10:15 - 10:30 |
Coffee Break |
||
10:30 - 12:15 |
ICSEA11 |
ICSNC9 |
SIMUL6 |
12:15 - 13:45 |
Lunch on your own |
||
13:45 - 15:30 |
ICSEA12 |
ICSNC10 |
CENTRIC1 |
15;30 - 15;45 |
Coffee Break |
||
15:45 - 17:30 |
ICSEA13 |
SIMUL7 |
CENTRIC2 |
|
|||
17:30 - 18:15 |
Keynote Speaker We are confused about what software engineering activities we are performing! |
||
18:15 - 20:00 |
IARIA Work Group Meeting on Software Advances 1. EXPERT PANEL Long-term Perspective of Agile Methods Moderator: Panelists: 2. Open discussion: Software’s topics, journals, directions |
||
|
|||
20:30 - 24:00 |
ICSNC 2009 // ICSEA 2009 // CENTRIC 2009 // VALID 2009 // SIMUL 2009 |
||
Thursday, September 24
08:30 - 10:15 |
ICSEA14 |
ICSNC11 |
CENTRIC3 |
10:15 - 10:30 |
Coffee Break |
||
10:30 - 12:15 |
ICSEA15 |
ICSNC12 |
SEDES1 |
12:15 - 13:45 |
Lunch on your own |
||
13:45 - 15:30 |
ICSEA16 |
CENTRIC4 |
SEDES2 |
15:30 - 15:45 |
Coffee Break |
||
15:45 - 17:30 |
ICSEA17 |
CENTRIC5 |
SEDES3 |
17:30 - 17:45 |
Coffee Break |
||
17:45 - 19:30 |
ICSEA18 |
ICSEA19 |
SEDES4 |
|
|||
19:30 - 17:45 |
Closing session |
||
Friday, September 25
8:00 - 18:00 |
One day trip by bus We'll drive by the famous sights of Oporto: the ancient XII century Cathedral (stop in this medieval quarter), Santa Clara Renaissance church, Batalha square, Santa Catarina shopping street, Bolhão market (typical market where one can buy nearly everything), Aliados Avenue, Liberty square, the Town Hall, São Bento train station, Clerigos church (XVIII century church, with one of the symbols of Oporto: Clerigos tower, 76 meters high, all in granite), Lello bookshop, Carmo church, Stock Exchange palace, Sao Francisco church, Ribeira quay (close to the river, the most typical district, with narrow streets, granite and multicoloured houses), Miragaia quarter, D. Luis and Arrabida bridges, Miragaia quarter, Foz ( largest part of Douro river), Boavista quarter, the Music Hall, Gaia section with Port wine cellars (stop for a visit and taste of Port wine). |
DETAILED PROGRAM
ICSEA 2009
ICSEA 1: Advances in Fundamentals for Software Development I
Session chair: Hervig Mannaert
Bridging the Gap between the Quality Requirements and Implementation
Janne Merilinna and Tomi Räty
Relating Security Requirements and Design Patterns: Reducing Security Requirements Implementation Impacts with Design Patterns
Felipe Silva Ferraz, Rodrigo Elia Assad, and Silvio Romero Lemos Meira
Challenges in Deployment of Model Driven Development
Susanna Teppola, Päivi Parviainen, and Juha Takalo
CMS-Based Web-Application Development Using Model-Driven Languages
João de Sousa Saraiva and Alberto Rodrigues da Silva
ICSEA 2: Advances in Fundamentals for Software Development II
Session chair: João Saraiva
Deriving Normalized Systems Elements from Business Process Models
Dieter Van Nuffel, Herwig Mannaert, Carlos De Backer, and Jan Verelst
Building a Service-Oriented ERP from an Open Source Software
Georges Edouard Kouamou
UML Specification and Correction of Object-Oriented Anti-patterns
Maria Teresa Llano and Rob Pooley
A Unification of the Essence of Goal-Oriented Requirements Engineering
Hermann Kaindl and Patrick Wagner
ICSEA 3: Advances in Fundamentals for Software Development III
Session chair: Angelo Gargantini
A Software Requirements Change Source Taxonomy
Sharon McGee and Des Greer
Handling Non-functional Requirements in Information System Architecture Design
Anargyros Tsadimas, Mara Nikolaidou, and Dimosthenis Anagnostopoulos
Reuse-Oriented Deployment of Software Components: Congregation in Service-Oriented Development
Colin Atkinson, Philipp Bostan, and Frederic Fink
Virtualization Techniques for Cross Platform Automated Software Builds, Tests and Deployment
Thomas Müller and Alois Knoll
ICSEA 4: Advances in Fundamentals for Software Development IV
Session chair: Sharon McGee
Symbolic Execution Techniques Extended to Systems
Christophe Gaston, Marc Aiguier, Diane Bahrami, and Arnault Lapitre
Integrating Formal Methods with Model-Driven Engineering
Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra
Incentive Systems in Software Organizations
Felipe Santana Furtado Soares, Gibeon Soares de Aquino Júnior, and Sílvio Romero de Lemos Meira
Requirements Engineering by Connecting Requirements Directly to Data and Operations during Modeling
Sukhamay Kundu
ICSEA 5: Advances in Software Testing I
Session chair: Jan Staunton
MFQ & PPDCS - Test Analysis and Test Design for Large Embedded Software Systems
Xiaomei Tai
Program Comprehension for User-Assisted Test Oracle Generation
Teemu Kanstrén
Analysis of the Introduction of Testability Antipatterns during the Development Process
Muhammad Rabee Shaheen and Lydie du Bousquet
Combinatorial Approach for Automated Platform Diversity Testing
Rajendra Singh Sisodia and Vijaykumar Channakeshava
ICSEA 6: Advances in Software Testing II
Session chair: Teemu Kanstren
A Comparative Study on Automated Software Test Oracle Methods
Seyed Reza Shahamiri, Wan Mohd Nasir Wan Kadir, and Siti Zaiton Mohd-Hashim
Mutation Analysis for SQL Database Applications
Andrea Gonçalves Cabeça, Mario Jino, and Plinio S. Leitao-Junior
Automatic Test Data Generation for Multiple Condition and MCDC Coverage
Kamran Ghani and John A. Clark
Automation Test Method for Automotive Embedded Software Based on AUTOSAR
Huichoun Moon, Gwanghun Kim, Yeongyun Kim, Seokkyoo Shin, Kyoung Kim, and Sanggui Im
ICSEA 7: Specialized Software Advanced Applications I
Session chair: Sted Nadeem Ahsan
Risk Management through Real-Time Wearable Services
Maria Grazia Fugini, Piercarlo Maggiolini, Claudia Raibulet, and Luigi Ubezio
Testing of Image Processing Algorithms on Synthetic Data
Kilian von Neumann-Cosel, Erwin Roth, Daniel Lehmann, Johannes Speth,
and Alois Knoll
Building a Canonical Language for Distributed System Repository
Landry Engelbert Tongo and Georges Edouard Kouamou
Software Requirements for Ubiquitous Ad Hoc Mobile Networks: An Example of a Bluetooth Application
Raquel Lacuesta, Lourdes Peñalver, Luis Fernández-Sanz, Jaime Lloret, and Miguel Garcia
ICSEA 8: Open Source Software & Agile Software Techniques
Session chair: Claudia Raibulet
Model-Driven Open Source Software Development - The Open Models Approach
Pekka Aho, Janne Merilinna, and Eila Ovaska
A Case Study of Developing an IDE for Embedded Software Using Open Source
Dominik Ertl and Harald Krapfenbauer
Semantic Interoperability Problem of OSS Forges
Alicja Ciemniewska, Pawel Kedziora, Bartosz Lewandowski, and Cezary Mazurek
Goal Sketching and the Business Case
Kenneth Boness and Rachel Harrison
ICSEA 9: Software Deployment and Maintenance
Session chair: Pekka Aho
Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla
Syed Nadeem Ahsan, Javed Ferzund, and Franz Wotawa
Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine
Syed Nadeem Ahsan, Javed Ferzund, and Franz Wotawa
Service System Development Based on Web Process Ontology
Noriaki Izumi, Osamu Takaki, and Kôiti Hasida
An Anonymous Social Network Site to Share Pictures
Miguel Garcia, Sandra Sendra, Jordi Girones, and Jaime Lloret
ICSEA 10: Software Engineering Techniques, Metrics, and Formalisms I
Session chair: Michael Gebhart
Preserving Cohesive Structures for Tool-Based Modularity Reengineering
Kai Spichale, Oleksandr Panchenko, Anja Bog, and Alexander Zeier
Towards Effective Productivity Measurement in Software Projects
Gibeon Soares de Aquino Júnior and Silvio Romero de Lemos Meira
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
Óscar R. Ribeiro and João M. Fernandes
Framework Characteristics - A Starting Point for Addressing Reuse Difficulties
Sérgio F. Lopes, Francisco Afonso, Adriano Tavares, and João Monteiro
ICSEA 11: Software Engineering Techniques, Metrics, and Formalisms II
Session chair: Sergio Lopez
Integration of PECOS into MARMOT for Embedded Real Time Software Component-Based Development
Suzila Sabil and Dayang Norhayati Abang Jawawi
Rule-Based Service Modeling
Michael Gebhart and Sebastian Abeck
Evaluation of Convertibility Issues between IFPUG and COSMIC Function Points
Md. Forhad Rabbi, Shailendra Natraj, and Olorisade Babatunde Kazeem
Functional Size of Use Case Diagrams: A Fine-Grain Measurement
Asma Sellami and Hanene Ben-Abdallah
ICSEA 12: Software Engineering Techniques, Metrics, and Formalisms III & Software Performance
Session chair: Luigi Lavazza
Historical Perspective of Two Process Transitions
Natalja Nikitina and Mira Kajko-Mattsson
An Ontology Based Approach to Non-functional Requirements Conceptualization
M. Kassab, O. Ormandjieva, and M. Daneva
Frameworks for the Development of Adaptive Systems: Evaluation of Their Adaptability Feature through Software Metrics
Laura Masciadri and Claudia Raibulet
Flexible Persistence Support for State Machine-Based Workflow Engines
Thomas Weigold, Thorsten Kramp, and Peter Buhler
ICSEA 13: Advanced Design Tools for Developing Software I
Session chair: Natalja Nikitina
Effective Recognition of Patterns in Object Oriented Designs
Trung Nguyen and Rob Pooley
An Emulator for Debugging Service Programs in Ad Hoc Networks
Koji Kawada and Tadashi Ohta
Developing Aspect-Oriented Software Architectures: A Framework Definition
Amparo Navasa, Miguel A. Perez-Toledano, and Juan M. Murillo
Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support
P. Colombo, L. Lavazza, A. Coen-Porisini, and V. del Bianco
ICSEA 14: Advanced Design Tools for Developing Software II
Session chair: Bernd Stadlhofer
A Monolithic Program vs. Modifiability: Enhancing a Visual Data Flow Program with Object-Oriented Techniques
Maija Marttila-Kontio, Marko Hassinen, and Mikko Kontio
Process-Based Approach for Developing Automotive Embeded Software Supporting Tool
JungEun Cha, DongSun Lim, and Chaedeok Lim
Wiki-Based Tool for Requirements Engineering According to the ProjectIT Approach
David de Almeida Ferreira and Alberto Rodrigues da Silva
Integrating Quality Modeling with Feature Modeling in Software Product Lines
Joerg Bartholdt, Marcel Medak, and Roy Oberhauser
ICSEA 15: Specialized Software Advanced Applications II & Software
Session chair: Luigi Lavazza
Economics, Adoption, and Education Enhancements in the Orphan Process for Wireless Personal Area Networks: Real Implementation Scenarios
Antonio-Javier Garcia-Sanchez, Felipe Garcia-Sanchez, and Joan Garcia-Haro
Ontology Driven E-Government
Peter Salhofer, Bernd Stadlhofer, and Gerald Tretter
Teaching Software Engineering Principles Using Micro Project with Eclipse (MPE) Activity: An Evaluation
Latifa Al-Abdulkarim and Maha Al-Yahya
A Practical Course on Mobile-Software Engineering: Mobile Solutions Laboratory
Alireza Hashemi Nekoo and Kaveh Vakili
ICSEA 16: Software Security, Privacy and Safeness
Session chair: Eugenijus Kurilovas
Enhancement of Use Case Diagram to Capture Authorization Requirements
Khaled Alghathbar
Polymorphic Worm Detection Using Double-Honeynet
Mohssen M.Z.E. Mohammed, H. Anthony Chan, Neco Ventura, Mohsin Hashim, and Izzeldin Amin
Identifying Security Requirements Hybrid Technique
Vandana Gandotra, Archana Singhal, and Punam Bedi
A Methodological Tool for Asset Identification in Web Applications: Security Risk Assessment
Brunil D. Romero M., Hisham M. Haddad, and Jorge E. Molero A.
Introducing Vulnerability Awareness to Common Criteria's Security Targets
Shanai Ardi and Nahid Shahmehri
ICSEA 17: Advanced Mechanisms for Software Development I
Session chair: Visar Januzaj
Comparative Evaluation of the State-of-the Art on Approaches to Software Adaptation
Nor Hazilawati Awang, Wan M.N. Wan Kadir, and Shamsul Shahibuddin
Exploiting Adaptive Mechanisms to Enhance Functionalities: ABC4All - A Case Study
Fabio Bolis and Claudia Raibulet
Scenario-Based Genetic Synthesis of Software Architecture
Outi Räihä, Kai Koskimies, and Erkki Mäkinen
Discussing the Difference between Model Driven Architecture and Model Driven Development in the Context of Supporting Tools
Oksana Nikiforova, Antons Cernickins, and Natalja Pavlova
ICSEA 18: Advanced Mechanisms for Software Development II
Session chair: Outi Raiha
Towards Simulation-Based Design of the Software Systems
Radek Kocí and Vladimír Janoušek
BIRF: Keeping Software Development under Control across the Organization
Paulo Marques, Paulo Gomes, Marco Vieira, Juan Prieto, Vicente Navarro, and Mauro Pecchioli
Towards End-to-End Traceability: Insights and Implications from Five Case Studies
Lars Klimpke and Tobias Hildenbrand
Integrating Context-Aware and Fuzzy Rule to Data Mining Model for Supply Chain Finance Cooperative Systems
Liu Xiang
ICSEA 19: Advanced Facilities for Accessing Software & Work InProgress
Session chair: Oksana Nikiforova
Evaluation and Optimisation of e-Learning Software Packages: Learning Object Repositories
Eugenijus Kurilovas
Goal-Oriented Service Selection in Business Processes
Roland Ukor and Andy Carpenter
Towards Resource Consumption-Aware Programming
Andreas Holzer, Visar Januzaj, and Stefan Kugele
Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model
Mourad Kmimech, Mohamed Tahar Bhiri, and Phillipe Aniorté
SEDES 2009
SEDES 1: Software Engineering I
Session chair: Ricardo Machado
Development of CMS-Based Web-Applications Using a Model-Driven Approach
João de Sousa Saraiva and Alberto Rodrigues da Silva
Managing Features and Aspect Interactions in Software Product Lines
Jorge Barreiros and Ana Moreira
Software Process Improvement in Multimodel Environments
Andre Ferreira and Ricardo Machado
SEDES 2: Software Engineering II
Session chair: João Miguel Fernandes
A Controlled Natural Language Approach for Integrating Requirements and Model-Driven Engineering
David de Almeida Ferreira and Alberto Rodrigues da Silva
Patterns and Tools for Improving Framework Understanding: A Collaborative Approach
Nuno Flores and Ademar Aguiar
Adaptive Object-Modelling: Patterns, Tools and Applications
Hugo Sereno Ferreira, Ademar Aguiar, and João Pascoal Faria
SEDES 3: Software Engineering III
Session chair: Ricardo Machado
Inception of Software Validation and Verification Practices within CMMI Level 2
Paula Monteiro, Ricardo J. Machado, and Rick Kazman
Software Knowledge Capture and Acquisition: Tool Support for Agile Settings
Filipe Figueiredo Correia and Ademar Aguiar
Testing for Unexpected Interactions in AOP
André Restivo and Ademar Aguiar
SEDES 4: Software Engineering IV
Session chair: João Miguel Fernandes
Integrating IT Service Management within the Enterprise Architecture
Anacleto Correia and Fernando Brito e Abreu
An Ontology-Based Approach to Model-Driven Software Product Lines
Nuno Ferreira, Ricardo J. Machado, and Dragan Gaševic
Multistage Model Transformations in Software Product Lines
Sofia Azevedo, Ricardo J. Machado, and Dirk Muthig
Strengthening Refactoring: Towards Software Evolution with Quantitative and Experimental Grounds
Sérgio Bryton and Fernando Brito e Abreu
Exploring and Overcoming Major Challenges in IT Infrastructures Faced by IT Executives
Luís Alexandre Ferreira da Silva and Fernando Brito e Abreu
CENTRIC 2009
CENTRIC 1: User-Centric Advanced Applications
Session chair: Georg Aichholzer
Elder Care Modular Solution
Isabel Marcelino and António Pereira
Survey of Assistive Technology Devices and Applications for Aging in Place
Andrea O'Brien and Rónán Mac Ruairí
Cultural Heritage Experience with Virtual Reality According to User Preferences
Nikoletta Mavrogeorgi, Stefanos Koutsoutos, Angelos Yannopoulos, Theodora Varvarigou, and George Kambourakis
Generating User Interface from Task, User and Domain Models
Vi Tran, Jean Vanderdonckt, Manuel Kolp, and Stéphane Faulkner
CENTRIC 2: User-Centric Networking and Services & Centric Views
Session chair: Andrea O'Brian
A Framework for Serving Inclusive Web Forms to Disabled and Elderly Individuals
Till Halbach
Towards Dynamic Representation of Rich Internet Applications through Web Service Invocation
Giner Alor-Hernandez, Raquel Vasquez-Ramirez, Ruben Posada-Gomez, Ulises Juarez-Martinez, Juan Miguel Gomez, Myriam Mencke, and Alejandro Rodriguez Gonzalez
RIA Optimization to Support Web Service Invocations on Mobile Safari for iPhone
Giner Alor-Hernandez, Cristian Aaron Rodriguez-Enriquez, Ruben Posada-Gomez, Ulises Juarez-Martinez, Anselmo Osorio-Mirón, Juan Miguel Gomez, Myriam Mencke, and Alejandro Rodriguez Gonzalez
The Citizen's Role in National Electronic Identity Management - A Case-study on Austria
Georg Aichholzer and Stefan Strauß
CENTRIC 3: Work in Progress
Session chair: Christian Bünnig
Otorob (Ortho Robot) with Docmata (Doctor's Eye): Role of Remote Presence in Developing Countries
M. Iftikhar and M. Mariappan
Individual Access to IT Resources Using User Context
Lars Krueger
Towards Mobile Collaborative Exergaming
Levent Gorgu, Gregory M.P. O’Hare, and Michael J. O’Grady
CENTRIC 4: User-Centric Supporting Mechanisms
Session chair: Michael O'Grady
Fuzzy Modeling of Resource Consumption for Service Composition Evaluation
Steffen Krüssel, Heiko Pfeffer, and Stephan Steglich
A User-Oriented Web Retrieval Summarization Tool
Denis Vazhenin, Satoru Ishikawa, and Vitaly Klyuev
Use of Granularity and Coverage in a User Profile Model to Personalise Visual Content Retrieval
Kraisak Kesorn, Zekeng Liang, and Stefan Poslad
CENTRIC 5: Privacy and Anonymity & Technologies for Personalized Services
Session chair: Heiko Pfeffer
Ad Hoc Privacy Management in Ubiquitous Computing Environments
Christian Bünnig and Clemens H. Cap
Personalized Systems Need Adaptable Privacy Statements! How to Make Privacy-related Legal Aspects Usable and Retraceable
Victor Manuel García-Barrios, Ariane Hemmelmayr, and Helmut Leitner
Semantic Personalization Framework for Connected Set-Top Box Environment
Sarfraz Alam, Zahid Iqbal, Josef Noll, and Mohammad M. R. Chowdhury
Context Sensitive Personalization Utilizing User Profiles: Standardization Work at European Telecommunications Standards Institute (ETSI)
Françoise Petersen, Giovanni Bartolomeo, Mike Pluke, and Tatiana Kovacikova
ICSNC 2009
ICSNC 1: VENET & POSYS
Session chair: Tijani Chahed
Relaying Controller Area Network Frames over Wireless Internetworks for Automotive Testing Applications
Mathias Johanson, Lennart Karlsson, and Tore Risch
The Optimal Radio Propagation Model in VANET
Khalid Abdel Hafeez, Lian Zhao, Zaiyi Liao, and Bobby Ngok-Wah Ma
Sensitivity Analysis on Flexray Dynamic Segment Design Parameters
Sri Kanajan and Jeffrey Abell
Managing QoS in a NGN Using a PBM Approach
Pedro Gonçalves, José Luis Oliveira, Rui Aguiar, and Ricardo Azevedo
ICSNC 2: MHNET I
Session chair: Ibrahim Idris
MA-AODV: Mobility Aware Routing Protocols for Mobile Ad Hoc Networks
Yaser Khamayseh, Omar M. Darwish, and Sana A. Wedian
Immuning Routing Protocols from the Wormhole Attack in Wireless Ad Hoc Networks
Marianne A. Azer, Sherif M. El-Kassas, and Magdy S. El-Soudani
Performance Analysis of Fast Handover Schemes for Proxy Mobile IPv6
Soo-Duek Kim, Jong-Hyouk Lee, and Tai-Myoung Chung
ICSNC 3: MHNET II
Session chair: Pedro Gonçalves
A Geographic Scheme with Location Update for Ad Hoc Routing
Chia-Chang Hsu and Chin-Laung Lei
Route Optimization Mechanisms Performance Evaluation in Proxy Mobile IPv6
Young-Hyun Choi, Jong-Hyouk Lee, and Tai-Myoung Chung
Multi-point Relaying Techniques with OSPF on Ad Hoc Networks
Emmanuel Baccelli, Juan Antonio Cordero, and Philippe Jacquet
Extending the Ad Hoc Horizon in Dense 802.11 Networks Using Fountain Codes
Amel Ksentini and Tijani Chahed
ICSNC 4: WINET I
Session chair: Soo-Duek Kim
Regulatory Approach to Introduction of WiMAX in Bosnia and Herzegovina
Kemal Huseinovic, Mirko Skrbic, and Zlatko Lagumdzija
Wireless Channel Model Based on SoC Design Methodology
N.A. Ahmed, I.A. Aref, F. Rodríguez-Salazar, and K. Elgaid
Performance Assessment of Single and Multiple Antenna Relays for the Uplink OFDM Systems
Hugo Lima, Andreia Moço, Adão Silva, and Atílio Gameiro
Error Rate of DS-IR with RAKE Reception in Frequency Selective Channels
Lorenzo Piazzo
ICSNC 5: WINET II
Session chair: Ajmal Muhammad
Maximum SINR Circular Weight Design of Multiple Transmitter Multiple Receiver System
Tetsuki Taniguchi, Yoshio Karasawa, and Nobuo Nakajima
802.21-MPA-IMS Architecture
Carlos Miguel de Jesus Rodrigues, Carlos Manuel da Silva Rabadão, and António Manuel de Jesus Pereira
Wireless Networks Interoperability - Wifi Wimax Handover
Luís Filipe Calado Carvalho de Figueiredo, Hugues Mickael Carreira da Silva, Carlos Manuel da Silva Rabadão, and António Manuel de Jesus Pereira
Performance Evaluation of Routing Protocols for MANET
Idris Skloul Ibrahim, Peter J.B King, and Robert Pooley
ICSNC 6: MCSYS I
Session chair: Idris Skloul Ibrahim
A Proposed Model for QoS Provisioning in IMS-Based IPTV Subsystem
Mehdi Samie, Hassan Yeganeh, and Maryam Shakiba
Experiments with and Enhancements to Echo Hiding
Sameer Mitra and Sathiamoorthy Manoharan
Effect of Buffer Placement on Performance When Communicating Over a Rate-Variable Channel
Ajmal Muhammad, Peter Johansson, and Robert Forchheimer
Generic Application Level Rate Control for Scalable Video Using Shadow Probing
Bjørnar Libæk and Øivind Kure
ICSNC 7: MCSYS II & PESYS
Session chair: Bjornar Libaek
A Key Distribution Method Based on an Adaptive Combined Coding and Cryptographic System
Ackburally M. Fezal and Soyjaudah K.M. Sunjiv
Sliding Window-Based Erasure Correction Using Biased Sampling
Tuomas Tirronen
Towards Understanding the Evolution of Wars in Virtual and Real Worlds
Géza Szabó, András Veres, and Sándor Molnár
Development and Enhancement of RLab - A Remote Laboratory System
Michael Straatsma, Daniel Cox, Christoph Ctistis, and Rainer Bartz
ICSNC 8: RFID
Session chair: Tuomas Tirronen
A Short Overview of the RFID Technology in Healthcare
Antti Lahtela
RFID Authentication of Academic Transcripts: In the Context of a RFID Rationale and Deployment Methodology
Eugene Lutton, Brian Regan, and Geoff Skinner
A Decentralized RFID Authentication Solution for Embedded Systems
Joel J.P.C. Rodrigues, Fábio D. Beirão, and Binod Vaidya
ICSNC 9: HSNET I
Session chair: Noriharu Miyaho
A Novel Applicable Model for IMS Network Based on Proposed Physical Components
Hassan Yeganeh, AmirHassan Darvishan, Farshad Sarabchi, and Parisa Eghtedari
Optical Transport Network Design for Inverse-Multiplexed 100 Gb/s Ethernet Services with Minimum Capacity and Buffer Requirements
João Santos, João Pedro, Paulo Monteiro, and João Pires
Data Symbol Phase Synchronizers of Mixed Loop
António Domingos Reis, José Rodrigues Ferreira da Rocha, Atilio Manuel Silva Gameiro, and José Alberto Ribeiro Pacheco Carvalho
Using Wavelets for Compression and Detecting Events in Anomalous Network Traffic
Konstantinos G. Kyriakopoulos and David J. Parish
ICSNC 10: SESYS
Session chair: Joel Rodrigues
Novel Speech Secure Communication System Based on Information Hiding and Compressed Sensing
Tingting Xu, Zhen Yang, and Xi Shao
FSS-Id/A Fast Safe Identity-Based Multi Signature Scheme
Sami Harari
Credible BGP - Extensions to BGP for Secure Networking
Junaid Israr, Mouhcine Guennoun, and Hussein T. Mouftah
Study on a Disaster Recovery Network Mechanism by Using Widely Distributed Client Nodes
N. Miyaho, Y. Ueno, S. Suzuki, K. Mori, and K. Ichihara
A Dynamic Conditional Access System for IPTV Multimedia Systems
Jinyoung Moon, Jungtae Kim, Jongyoul Park, Euihyun Paik, and Kwangro Park
ICSNC 11: SENET I
Session chair: Martin Brandl
A Novel Multi Channel Sensor Network MAC Protocol 230
Ali Chodari Khosrowshahi, Mehdi Dehghan, Hossein Pedram, and Mohammad Alizadeh
Relation Between Gradients and Geographic Distances in Dense Sensor Networks with Greedy Message Forwarding
Antonio Caruso, Stefano Chessa, and Swades De
Robustness in Autonomous and Central Wireless Sensor Network: The Orchard Example
Amir M. Jafari, Dirk Hentschel, and Walter Lang
Enhanced Location Based Sleep Scheduling for Target Tracking Applications in Travel Constrained Smart Space Environments
Ben Harrison and Alan Marshall
ICSNC 12: SENET II & HSNET II
Session chair: Antonio Caruso
A Simple Pheromone Based On-Demand Routing Protocol for Wireless Sensor Networks
Martin Brandl, Thomas Posnicek, Karlheinz Kellner, Andreas Kos, Christoph Mayerhofer, and Christian Fabian
Wireless Monitoring of a Computerized City Using SafeMobile Units
Nasui Dorel, Oprea Bogdan, Ene Cristian, Rancea Irina, Sgarciu Valentin, Tanase Cristian, and Negulescu Cristian
Performance Evaluation of Multisatge Service System Using Matrix Geometric Method
Wajiha Shah, Syed Asif Ali Shah, Safeeullah Soomro, Farrukh Zeeshan Khan, and Gordhan Das Menghwar
Data Symbol Phase Synchronizers of Closed Loop
António Domingos Reis, José Rodrigues Ferreira da Rocha, Atilio Manuel Silva Gameiro, and José Alberto Ribeiro Pacheco Carvalho
Primitive Operations for Prioritized Data Reduction in Wireless Sensor Network Nodes
Cosmin Dini and Pascal Lorenz
SIMUL 2009
SIMUL 1: Simulation Models
Session chair: Ricky Andriansyah
An Index Based Threat Modeling Method for Path Planning
Juan Liu, Xiao-bo Li, Yong-lin Lei, and Wei-ping Wang
A Monte Carlo Based Procedure for Analyzing Discrete-Time, Nonstationary Simulation Responses Using Classical Time Series Models
Rita Marques Brandão and Acácio M.O. Porta Nova
Comparison of Monte Carlo and Quasi Monte Carlo Sampling Methods in High Dimensional Model Representation
Balazs Feil, Sergei Kucherenko, and Nilay Shah
Two Level Approach for Validation of Microscopic Simulation Models
Stefan Detering and Eckehard Schnieder
SIMUL 2: Process Simulation
Session chair: Sergei Kucherenko
Simulation Model of a Single-Server Order Picking Workstation Using Aggregate Process Times
Ricky Andriansyah, Pascal Etman, and Jacobus Rooda
Modeling for Web Services Composition System with Restricted Resources
Huaizhou Yang and Zengzhi Li
Priority Cycle Time Behavior Modeling for Semiconductor Fabs
Shi-Chung Chang, Bo-Jiun Liao, Yu-Ting Kao, and Argon Chen
A Simulation of the Pharmaceutical Supply Chain to Provide Realistic Test Data
Jürgen Müller, Conrad Pöpke, Michaela Urbat, Alexander Zeier, and Hasso Plattner
SIMUL 3: Simulation Methodologies
Session chair: Christos Siaterlis
Modelling of the Uncertainty of Nuclear Fuel Thermal Behaviour Using the URANIE Framework
Antoine Bouloré, Christine Struzik, and Fabrice Gaudier
Toward a Collection of Principles, Techniques, and Elements of Modeling and Simulation Software
Jan Himmelspach
Experiments with Single Core, Multi-core, and GPU Based Computation of Cellular Automata
Stefan Rybacki, Jan Himmelspach, and Adelinde M. Uhrmacher
SIMUL 4: Simulation Tools and Platforms I
Session chair: Jan Himmelspach
An Ontology for Aircraft Route Planning
Juan Liu, Su-yan Tang, Qun Li, and Wei-ping Wang
A Design of Network Simulation Environment Using SSFNet
Sunghyun Yoon and Young Boo Kim
A Review of Available Software for the Creation of Testbeds for Internet Security Research
Christos Siaterlis and Marcelo Masera
G-Sense - A Graphical Interface for SENSE Simulator
Pedro M.P. Rosa, Paulo A.C.S. Neves, Binod Vaidya, and Joel J.P.C. Rodrigues
SIMUL 5: Simulation Tools and Platforms II & Simulations in Advanced Environments
Session chair: Peter Sekler
Uncertainty Assessments in Severe Nuclear Accident Scenarios
Bertrand Iooss, Fabrice Gaudier, Michel Marques, Bertrand Spindler, and Bruno Tourniaire
Numerical Study of the Metamodel Validation Process
Bertrand Iooss
Guided Uncertainty Reduction in Automatically Generated Business Simulations
Mathias Fritzsche, Roger Kilian-Kehr, and Wasif Gilani
The Simulation of DARC (Dynamic Architecture for Reconfiguration of Web Servers Clusters) in Petri Nets
Carla Marques, Antonio de Barros Serra, Isabel Oliveira, Giovanni Barroso, and Mario Fiallos
SIMUL 6: Experience Report on Ready-to-Use Tools & Simulation Mechanisms
Session chair: Bertrand Ioos
System Simulation Tools for Data Acquisition in High Energy Physics Experiments
Alberto Aloisio and Sergio Cavaliere
FlashSim: A Simulator for NAND Flash-Based Solid-State Drives
Youngjae Kim, Brendan Tauras, Aayush Gupta, and Bhuvan Urgaonkar
Two-Stage Process Modeling for Simulation in BPR
Volker Gruhn and Thomas Richter
TIB: A Time Management Algorithm of PDES for Automatically Detecting Concurrency
Lili Chen and Yiping Yao
SIMUL 7: Social Simulation & Work in Progress
Session chair: Mathias Fritzsche
Real-Time Computation of the System Behaviour of Lightweight Machines
Peter Sekler and Alexander Verl
An Agent-Based Simulation Model to Analyze Team Performance on Jobs with a Stochastic Structure
José A. Rojas and Ronald E. Giachetti
Crowd Psychology Simulation Incorporating Psychometrics and Intervention of Relationship Spaces
Bonan Hou, Bing Wang, Yiping Yao, Dongsheng Liao, and Jifeng Liu
VALID 2009
VALID 1: Testing Techniques and Mechanisms I
Session chair: Thierry Coq
Reusing Component Test Cases for Integration Testing of Retarding Embedded System Components
Abel Marrero Pérez and Stefan Kaiser
Fault Models for Neural Hardware
Amit Prakash Singh, Pravin Chandra, and Chandra Sekhar Rai
A Web-Based Application to Verify Open Mobile Alliance Device Management Specifications
Jose Felipe Mejia Bernal, Paolo Falcarin, and Maurizio Morisio
Towards Automated Test Practice Detection and Governance
Roy Oberhauser
VALID 2: Testing Techniques and Mechanisms II & Work in Progress
Session chair: Roy Oberhauser
SAT-Based On-Line Fault Isolation in Serial Systems
Jinseong Jeon, Sangwon Kim, and Dongkeun Lee
Agile Testing
Krishna Murthy and Varun Venkat
Scenario-Based Test Case Generation Using Event-B Models
Qaisar Ahmad Malk, Johan Lilius, and Linas Laibinis
An Open Real Time Test System Approach
Nicolas Belanger, Nicolas Favarcq, and Yann Fusero
VALID 3: Robust Design Methodologies & Defects and Debugging
Session chair: Mikko Nieminen
Is Depth of Inheritance Tree a Good Cost Prediction for Branch Coverage Testing?
Muhammad Rabee Shaheen and Lydie du Bousquet
Improving TTCN-3 Test System Robustness Using Software Fault Tolerance
Juho Perälä
Verification and Validation in the Recommended Practice for Integrated Software-Dependent Systems
Thierry Coq
A High-Level Language and Compiler to Configure the Multi-core Debug Solution (MCDS)
Jens Braunes and Rainer G. Spallek
VALID 4: Software Verification and Validation I
Session chair: Juho Perala
Security Inspection Scenarios - A Facet of Security
Alexander Klaus and Frank Elberzhager
An Aspect-Oriented Approach for Assertion Verification
Ulises Juarez-Martinez, Giner Alor-Hernández, Rubén Posada-Gómez, Joaquín Santos-Luna, Juan Miguel Gómez, and Alejandro Rodriguez Gonzalez
Integration Test Order Strategies to Consider Test Focus and Simulation Effort
Lars Borner and Barbara Paech
Using the Testability Analysis Methodology for the Validation of AIRBUS Systems
Fassely Doumbia, Odile Laurent, Chantal Robach, and Michel Delaunay
VALID 5: Software Verification and Validation II
Session chair: Fassely Doumbia
Quality of Code Can Be Planned and Automatically Controlled
Yegor Bugayenko
Stress Testing the Logical Decision Making Server of a Surveillance System
Mikko Nieminen, Tomi Räty, and Jukka Palokangas
Automated Refactoring Suggestions Using the Results of Code Analysis Tools
Steffen Herbold, Jens Grabowski, and Helmut Neukirchen
Time-Optimal Real-Time Test Case Generation Using Prioritized Time Petri Nets
Noureddine Adjir, Pierre de Saqui-Sannes, and Mustapha Kamel Rahmouni
VALID 6: Software Verification and Validation III & Domain Oriented Testing
Session chair: Arnaud Virazel
Validating the Behavioral Equivalence of TTCN-3 Test Cases
Philip Makedonski, Jens Grabowski, and Helmut Neukirchen
Tracing Requirements in a Model-Based Testing Approach
Fredrik Abbors, Dragos Truscan, and Johan Lilius
Model-Based Development and Testing of Process-Aware Information Systems
Ronny S. Mans, Wil M.P. van der Aalst, Nick C. Russell, Piet J.M. Bakker, and Arnold J. Moleman
FPGA-Accelerated Baseband Design and Verification of Broadband MIMO Wireless Systems
Amirhossein Alimohammad, Saeed Fouladi Fard, and Bruce F. Cockburn
VALID 7: Diagnosis & System and Feature Testing
Session chair: Ronnt Mans
A Low-Cost FPGA-Based Test and Diagnosis Architecture for SRAMs
Stefano Di Carlo, Paolo Prinetto, Alberto Scionti, Joan Figueras, Salvador Manich, and Rosa Rodriguez-Montañés
Diagnosability of Input Output Symbolic Transition Systems
Gauvain Bourgne, Philippe Dague, Farid Nouioua, and Nicolas Rapin
Using TMR Architectures for SoC Yield Improvement
J. Vial, A. Virazel, A. Bosio, L. Dilillo, P. Girard, C. Landrault, and S. Pravossoudovitch
Problem Space and Special Characteristics of Security Testing in Live and Operational Environments of Large Systems Exemplified by a Nationwide IT Infrastructure
Christian Schanes, Florian Fankhauser, Thomas Grechenig, Michael Schafferer, Kai Behning, and Dieter Hovemeyer
