Submit a Paper

Propose a Workshop

The Fourth International Conference on Advances in System Testing and Validation Lifecycle

VALID 2012

November 18-23, 2012 - Lisbon, Portugal

Preliminary Program

SoftNet 2012

ICSEA 2012 / ICSNC 2012 / VALID 2012 / SIMUL 2012 / CENTRIC 2012

Conference Hotel

Mercure Lisboa
Av. Jose Malhoa 23  1099-051 Lisboa - Portugal
Tel: (+351)21/7208000 || Fax : (+351)21/7208089 || @:


Conference rooms
Time slots

Room A

Room B

Room C

Room D

Sunday, November 18


Registration starts
The registration desk is located in front of the conference rooms
Opened during the entire conference

15:00 - 18:00


IBM Test Overview and Best Practices

by Tara Astigarraga
IBM, Systems and Technology Group, USA


18:00 - 19:00

Welcome Cocktail
You must have your badge to attend the cocktail

Monday, November 19

09:00 - 09:15

Opening session

09:15 - 10:15

Keynote Speaker

Quality Analysis of Service-Oriented Architectures
by Dr. Michael Gebhart, Gebhart Quality Analysis (QA) 82, Germany

10:15 - 10:30

Coffee Break

10:30 - 12:15





12:15 - 13:45

Lunch on your own

13:45 - 15:30





15:30 - 15:45

Coffee break

15:45 - 17:30





17:30 -18:00

Keynote Speaker

Model-Based Testing for Enterprise Application Software: from Business Processes and Business Rules to Tests
by Prof. Dr. Fabien Peureux, University of Franche-Comté, France

18:00 - 20:00


Challenges in Testing and Validation of Hardware/Software Systems

Petre Dini, Concordia University, Canada | China Space Agency, China

Gayane Azizyan, Ericsson, Sweden
Jameleddine Hassine, King Fahd University of Petroleum and Minerals, KSA
Fabien Peureux, University of Franche-Comté, France
Marek Stochel, Motorola Solutions, Poland

Tuesday, November 20

09:15 - 10:15

Keynote Speaker

Mutation Testing
by Prof. Dr. Jameleddine Hassine, King Fahd University of Petroleum and Minerals, KSA

10:15 - 10:30

Coffee Break

10:30 - 12:15





12:15 - 13:45

Lunch on your own

13:45 - 15:30





15:30 - 15:45

Coffee break

15:45 - 17:30





17:30 - 17:45

Coffee break

17:45 - 19:30





Wednesday, November 21

09:15 -10:15

Keynote Speaker

Normalized Systems: Towards Designing Evolvable Modular Structures
by Prof. Dr. Herwig Mannaert, University of Antwerp, Belgium

10:15 - 10:30

Coffee Break

10:30 - 12:15





12:15 - 13:45

Lunch on your own

13:45 - 15:30





15:30 - 15:45

Coffee break

15:45 - 17:30





17:30 - 17:45

Coffee Break

17:45 - 19:30






19:30: Bus
20:00 - 24:00


Restaurant: Pateo de Alfama // R. de São João da Praça 18
1100-520 Lisboa // 218 822 174 // Metro: Terreiro do Paço

Thursday, November 22

09:15 -10:15

Keynote Speaker

Envisioning the Next Software Development Era
by Prof. Roy Oberhauser, Aalen University, Germany

10:15 - 10:30

Coffee Break

10:30 - 12:15





12:15 - 13:45

Lunch on your own

13:45 - 15:30


User-Centric Requirements of Hardware/Software Systems

Herwig Mannaert, University of Antwerp, Belgium

Michael Gebhart, Gebhart Quality Analysis (QA) 82, Germany
Gaetana Sapienza, ABB Corporate Research, Sweden
Marek Stochel, Motorola Solutions, Poland
Herwig Mannaert, University of Antwerp, Belgium

15:30 - 15:45

Coffee Break

15:45 - 17:30





17:30 - 18:00

Closing session

Friday, November 23

8:00am - 6:00pm
check the exact timing at the conference
registration desk

One day trip (by bus), including lunch
including guide (English), entry tickets, lunch,  drinks

8:00am START
Conference Hotel

The Medieval Borough of Alfama
Lisbon's Borough of Belém
Tower of Belém
Monastery of the Jerónimos
(Hieronymite Monks, built in 1502)
Commerce Square, Down Town, Rossio Square, Avenue da Liberdade and Campo Grande
Lunch and drinks
Sintra - National Palace
Cascais, Passage by the Casino Estoril

6:00pm RETURN
Conference Hotel




ICSEA 2012, The Seventh International Conference on Software Engineering Advances

ICSEA 1: Software deployment and maintenance
Session chair: Gregor Gabrysiak

Enhancing Contexts for Automated Debugging Techniques
Yan Lei, Chengsong Wang, Xiaoguang Mao, Quanyuan Wu

Leveraging Traceability between Code and Tasks for Code Review and Release Management
Nitesh Narayan, Alexander Delater, Jan Finis, Yang Li

A Multiple View Environment for Collaborative Software Comprehension
Glauco de F Carneiro, Carlos F. R. Conceição, José M N David

Assisting bug Triage in Large Open Source Projects Using Approximate String Matching
Amir H. Moin, Günter Neumann

ICSEA 2: Specialized software advanced applications I
Session chair: Alexander Delater

Using Normalized Systems Patterns as Knowledge Management
Peter De Bruyn, Philip Huysmans, Gilles Oorts, Dieter Van Nuffel, Herwig Mannaert, Jan Verelst, Arco Oost

An UML-based Authoring Approach of S1000D Procedural Data Modules and Tool Support
Youhee Choi, Jeong-Ho Park, Byungtae Jang, DongSun Lim

Algorithmic Software Adaptation Approach in Mobile Augmented Reality Systems
Oleksii Vekshyn, Mykola Tkachuk

A Case Study in Modeling a Fault-tolerant Satellite System Through Implementation of Dynamic Reconfiguration via Handshake
Kashif Javed, Elena Troubitsyna

Transformation of Medical Service Ontology to Relational Data Models
Osamu Takaki, Izumi Takeuti, Koichi Takahashi, Noriaki Izumi, Koichiro Murata, Mitsuru Ikeda, Koiti Hasida

ICSEA 3: Advanced design tools for developing software I
Session chair: Osamu Takaki

BrainTool A Tool for Generation of the UML Class Diagrams
Oksana Nikiforova, Konstantins Gusarovs, Olegs Gorbiks, Natalja Pavlova

Decoupled Model-Based Elicitation of Stakeholder Scenarios
Gregor Gabrysiak, Regina Hebig, Holger Giese

A Formal High-level Modeling Approach to Develop Reliable Components in Vision-based Robotics
Andrea Luzzana, Mattia Rossetti, Patrizia Scandurra

Aligning the Normalized Systems Theorems with Existing Heuristic Software Engineering Knowledge
Peter De Bruyn, Geert Dierckx, Herwig Mannaert

A Description Language for QoS Properties and a Framework for Service Composition Using QoS Properties
Chiaen Lin, Krishna Kavi, Sagarika Adepu

ICSEA 4: Specialized software advanced applications II
Session chair: Fabrice Mourlin

Context Awareness in Learning Human Habits
Szymon Bobek, Weronika Adrian

Automated Construction of Data Integration Solutions for Tool Chains
Matthias Biehl, Jiarui Hong, Frédéric Loiret

ICSEA 5: Business technology I
Session chair: Szymon Bobek

A Neurolinguistic Method for Identifying OSS Developers’ Context-Specific Preferred Representational Systems
Methanias Colaço Júnior, Manoel Mendonça, Mario Farias, Paulo Henrique, Daniela Corumba

Architecture Centric Tradeoff - A Decision Support Method for COTS Selection and Life Cycle Management
Subhankar Sarkar

Implementation of Business Processes in Service Oriented Architecture
Krzysztof Sacha, Andrzej Ratkowski

On Re-Architecting Legacy Software Systems: The Case of Systems at Umm Al-Qura University
Basem Alkazemi

ICSEA 6: Business technology II
Session chair: Michael Gebhart

Business Process Modeling in Object-Oriented Declarative Workflow
Marcin Dąbrowski, Michał Drabik, Mariusz Trzaska, Kazimierz Subieta

Data Transformations Using QVT Between Industrial Workflows and Business Models in BPMN2
Corina Abdelahad, Daniel Riesco, Alessandro Carrara, Carlo Comin, Carlos Kavka

A Data-driven Workflow Based on Structured Tokens Petri Net
Nahla Haddar, Mohamed Tmar, Faiez Gargouri

Bankruptcy and Financial Standing Models Application for SMEs
David Plandor, Lenka Landryová

ICSEA 7: Advanced design tools for developing software II
Session chair: David Plandor

Automated Test Code Generation Based on Formalized Natural Language Business Rules
Christian Bacherler, Ben Moszkowski, Christian Facchi, Andreas Huebner

Using SSUCD to Develop Consistent Use Case Models: An Industrial Case Study
Mohamed El-Attar

A Systematic Mapping Study on Domain-Specific Languages
Leandro Nascimento, Daniel Viana, Paulo Silveira Neto, Dhiego Martins, Vinicius Garcia, Silvio Meira

Specifying and Designing Exception Handling with FMEA
Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda

Orchestration Definition from Business Specification
Charif Mahmoudi, Fabrice Mourlin

ICSEA 8: Advances in fundamentals for software development I
Session chair: Lukas Holy

Value-Based Technical Debt Model and Its Application
Marek G. Stochel, Mariusz R. Wawrowski, Magdalena Rabiej

An Advanced Interactive Visualization Approach for Component-Based Software: A User Study
Jaroslav Snajberk, Lukas Holy, Kamil Jezek, Premek Brada

Representing Topic Event-Based Systems using Pluggable Units
Fernando Barros

Towards an Approach to Represent Safety Patterns
Pablo Oliveira Antonino, Thorsten Keuler, Elisa Yumi Nakagawa

ICSEA 9: Advances in fundamentals for software development II
Session chair: Pablo Antonino

Process Modeling-based Assessment of Software Release Planning
Jos Trienekens, Robbert Slooten

Distributed Software Framework: For Biosphere 2 Land Evolution Observatory (LEO) Autonomic Cyber-Physical System (ACPS)
Shafiul Islam

Understanding the Relationships Within the Medi SPICE Framework
Derek Flood, Fergal Mc Caffery, Valentine Casey

Mapping Between Service Designs Based on SoaML and Web Service Implementation Artifacts
Michael Gebhart, Jaouad Bouras

ICSEA 10: Advances in fundamentals for software development III
Session chair: Stefan Wendler

Constructing Tool Chains Based on SPEM Process Models
Matthias Biehl, Martin Törngren

Tracing Requirements and Source Code during Software Development
Alexander Delater, Nitesh Narayan, Barbara Paech

An Empirical Study Identifying High Perceived Value Requirements Engineering Practices in Global Software Development Projects
Mahmood Niazi, Mohamed El-Attar, Muhammad Usman, Naveed Ikram

Towards Automated Process Assessment in Software Engineering
Gregor Grambow, Roy Oberhauser, Manfred Reichert

ICSEA 11: Advances in fundamentals for software development IV
Session chair: Matthias Biehl

Specification of Formalized Software Patterns for the Development of User Interfaces
Danny Ammon, Stefan Wendler, Teodora Kikova, Ilka Philippow

Lowering Visual Clutter of Clusters in Component Diagrams
Lukas Holy, Jaroslav Snajberk, Premek Brada

A Framework for Characterizing Usability Requirements Elicitation and Analysis Methodologies (UREAM)
Jos Trienekens, Rob Kusters

A Multilevel Contract Model for Quality-Driven Service Component Architecture
Maryem Rhanoui, Bouchra El Asri

ICSEA 12: Software engineering techniques, metrics, and formalisms I
Session chair: Herwig Mannaert

Call for Software Tenders: Features and Research Problems
Jorge Hochstetter, Carlos Cares

BPEL-RF Tool: An Automatic Translation from WS-BPEL/WSRF Specifications to Petri Nets
Maria Diaz, Valetin Valero, Hermenegilda Macia, Jose Antonio Mateo, Gregorio Diaz

Automated Reuse of Software Reuse Activities in an Industrial Environment – Case Study Results
Marcus Zinn, Klaus-Peter Fischer-Hellmann, Ronald Schoop

Learning Best K analogies from Data Distribution for Case-Based Software Effort Estimation
Mohammad Azzeh, Yousef Elsheikg

Predicting Risky Program Source Files
Syed Nadeem Ahsan, Syed Haider Abbas Naqvi, Kamran Raza

ICSEA 13: Software engineering techniques, metrics, and formalisms II
Session chair: Dongmei Liu

Supporting Time Planning Aligned with CMMI-DEV and PMBOK
Rafael Gonçalves, André Pereira, Christiane Wangenheim

Specification of UML Classes by Object Oriented Petri Nets
Radek Koci, Vladimir Janousek

A Report on Using Simplified Function Point Measurement Processes
Luigi Lavazza, Geng Liu

An Empirical Evaluation of Effort Prediction Models Based on Functional Size Measures
Luigi Lavazza, Sandro Morasca, Gabriela Robiolo

Mapping ASM Specifications to Spec Explorer: Guidelines, Benefits and Challenges
Jameleddine Hassine

ICSEA 14: Software engineering techniques, metrics, and formalisms III
Session chair: Luigi Lavazza

Object Segmentation by Edges Features of Graph Cuts
Weiwei Du, Yuki Masumoto, Nobuyuki Nakamori

Product Development Time Improvement with Requirements Reuse
Semra Yilmaz Tastekin, Yusuf Murat Erten, Semih Bilgen

Specifying Class Hierarchies and Moose Metrics in Z
Younès El Amrani

Applying Algebraic Specification To Cloud Computing -- A Case Study of Infrastructure-as-a-Service GoGrid
Dongmei Liu, Hong Zhu, Ian Bayley

A Holistic Approach to Energy Efficiency Management Systems
Ignacio González, María Rodríguez Fernández, Juan Jacobo Peralta, Adolfo Cortés

ICSEA 15: Software engineering techniques, metrics, and formalisms IV
Session chair: Mohammad Azzah

Structuring Software Reusability Metrics for Component-Based Software Development
Danail Hristov, Oliver Hummel, Mahmudul Huq, Werner Janjic

Dreiving Do-178C Requirements Within the Appropriate Level of Hierarchy
Jamie White, Hassan Reza

Abstract State Machines Mutation Operators
Jameleddine Hassine

Towards a Knowledge-Based Representation of Non-Functional Requirements
Mohamad Kassab, Ghizlane El-Boussaidi

ICSEA 16: Software engineering techniques, metrics, and formalisms V
Session chair: Jameleddine Hassin

Towards Better Comparability of Software Retrieval Approaches Through a Standard Collection of Reusable Artifacts
Oliver Hummel, Werner Janjic

Improving IT Infrastructures Representation: A UML Profile
Luís Ferreira da Silva, Fernando Brito e Abreu, Victor Moreira

An Investigation into Reference Architectures for Mobile Robotic Systems
Daniel Feitosa, Elisa Yumi Nakagawa

ICSEA 17: Software economics, adoption, and education
Session chair: Pablo Oliveira Antonino

Human Computer Interaction Teaching Method to Encourage Creativity
Deller Ferreira

Future Chances of Software Customization: An Empirical Evaluation
Michaela Weiss, Norbert Heidenbluth

Experimentation Package for Evaluation of Problems Applied to the Software Project Subject Using PBL
Jacson Rodrigues Barbosa, Fabrizzio Alphonsus Alves de Melo Nunes Soares, Auri Marcelo Rizzo Vincenzi

Improving Undergraduate Students' Programming Skills
Sukhamay Kundu

ICSEA 18: Advances in fundamentals for software development V
Session chair: Richard Ellis-Braithwaite

Requirements Engineering: A Process Model and Case Study to Promote Standardization and Quality Increase
Jose Andre Dorigan, Rodolfo Miranda Barros

Annotated Component-Based Description for Application Composition
Christian Brel, Philippe Renevier, Anne-Marie Pinna-Dery, Michel Riveill

Cognitive Engineering meets Requirements Engineering, Bridging the Traceability Gap
Alexandra Mazak, Horst Kargl

Knowledge Management Practices in GSD: A Systematic Literature Review
Smeea Arshad, Muhammad Usman, Naveed Ikram

ICSEA 19: Advances in fundamentals for software development VI
Session chair: Gaetana Sapienza

Modelling the Strategic Alignment of Software Requirements using Goal Graphs
Richard Ellis-Braithwaite, Russell Lock, Ray Dawson, Badr Haque

A Constraint-based Method to Compute Semantics of Channel-based Coordination Models
Behnaz Changizi, Natallia Kokash, Farhad Arbab

Predicting Quality Requirements Necessary for a Functional Requirement Based on Machine Learning
Ken Tanaka, Haruhiko Kaiya, Atsushi Ohnishi

Abductive Logic Programming with Tabled Abduction
Luís Moniz Pereira, Ari Saptawijaya

ICSEA 20: Advances in fundamentals for software development VII
Session chair: Hans-Joachim Hof

Towards a Methodology for Hardware and Software Design Separation in Embedded Systems
Gaetana Sapienza, Tiberiu Seceleanu, Ivica Crnkovic

Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems
Luka Lednicki, Ivica Crnković, Mario Zagar

Modeling Crosscutting Concerns with Roles
Fernando Barbosa, Ademar Aguiar

Towards a Glue-Code Specification Framework for Component-Based Systems
Sajjad Mahmood, Mohammed AlQadhi

AO-WAD: A Generalized Approach for Accessible Design within the Development of Web-based Systems
Adriana Martín, Viviana Saldaño, Gabriela Miranda, Gabriela Gaetán

ICSEA 21: Agile software techniques
Session chair: Luka Lednicki

An Evaluation Framework for Requirements Elicitation in Agile Methods
Waleed Helmy, Amr Kamel, Osman Hegazy

An Evaluation Framework for Requirements Envisioning in Agile Methods
Waleed Helmy, Amr Kamel, Osman Hegazy

AgileKDD: An Agile Business Intelligence Process Model
Givanildo Nascimento, Adicinéia Oliveira

The Dilemma of Tool Selection for Agile Project Management
Gayane Azizyan, Miganoush Magarian, Mira Kajko-Mattsson

ICSEA 22: Advances in software testing
Session chair: Zhensheng Guo

Framework for Better Efficiency of Automated Testing
Martin Filipsky, Miroslav Bures, Ivan Jelinek

MobiTest: A Cross-Platform Tool for Testing Mobile Applications
Ian Bayley, Derek Flood, Rachel Harrison, Clare Martin

Requirement-based Software Testing With the UML: A Systematic Mapping Study
Nesa Asoudeh, Yvan Labiche

Simulation-Based Management for Software Dynamic Testing Processes
Mercedes Ruiz, Javier Tuya, Daniel Crespo

A Systematic Approach to Risk-Based Testing Using Risk-annotated Requirements Models
Marc-Florian Wendland, Marco Kranz, Ina Schieferdecker

ICSEA 23: Software security, privacy, safeness
Session chair: Marc-Florian Wendland

An Automatic Security Testing approach of Android Applications
Stassia Resondry Zafimiharisoa, Sébastien Salva, Patrice Laurençot

An Integrated Process for Developing Safety-critical Systems using Agile Development Methods
Zhensheng Guo, Claudia Hirschmann

ESAC-BPM: Early Security Access Control in Business Process Management
Mahmoud F. Ayoub, Riham Hassan, Hicham G. Elmongui

Intrusion Detection Using Ensembles
Alexandre Balon-Perin, Björn Gambäck, Lillian Røstad

ICSEA 24: Advanced mechanisms for software development
Session chair: Stoyan Garbatov

Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

ME-DiTV: A Middleware Extension for Digital TV
Victor Hazin da Rocha, Felipe Silva Ferraz, Heitor Nascimento de Souza, Carlos Ferraz

The Dynamic Composition of Independent Adaptations including Interferences Management
Sana Fathallah Ben Abdenneji, Stéphane Lavirotte, Jean-Yves Tigli, Gaëtan Rey, Michel Riveill

Mission-oriented Autonomic Configuration of Pervasive Systems
Guillaume Grondin, Matthieu Faure, Christelle Urtado, Sylvain Vauttier

ICSEA 25: Software performance
Session chair: Christelle Urtado

The Consolidated Enterprise Java Beans Design Pattern for Accelerating Large-Data J2EE Applications
Reinhard Klemm

Explicit use of Working-set Correlation for Load-balancing in Clustered Web Servers
Stoyan Garbatov, João Cachopo

Evaluating Performance of Distributed Systems With MapReduce and Network Traffic Analysis
Thiago Vieira, Paulo Soares, Marco Machado, Rodrigo Assad, Vinicius Garcia

Fall Detection of Remote Excavator Control System (POSTER)
Sun Lim

ICSNC 2012, The Seventh International Conference on Systems and Networks Communications

ICSNC 1: Mobile and Ad hoc networks
Session chair: Wilton Henao Mazo

Rifidi Toolkit: Virtuality for Testing RFID
Andreas Huebner, Christian Facchi, Helge Janicke

Address Resolution in Mobile Ad Hoc Networks Using Adaptive Routing
Thomas Finke, Juergen Schroeder, Sebastian Schellenberg, Markus Hager, Jochen Seitz

A Middleware Architecture for Autonomic Software Deployment
Mohammed El Amine Matougui, Sebastien Leriche

Improvements to Tree-based GA Applications for QoS Routing
Vincenzo Maniscalco, Silvana Greco Polito, Antonio Intagliata

ICSNC 2: Sensor networks I
Session chair: Sebastian Schellenberg

A Distributed Protocol for Wireless Sensor Networks Based on Multiple-Leader Stackelberg Network Games
Volkan Rodoplu, Gautam Raj

When Wireless Sensor Networks Meet Robots
Giuseppe Amato, Mathias Broxvallx, Stefano Chessa, Mauro Dragone, Claudio Gennaro, Claudio Vairo

A Communication and Localization Framework Suited for Nomadic Wireless Sensor Networks
Luca Bencini, Stefano Maddio

JAFSPOT: Java Agent-Based Framework for Sun SPOT Wireless Sensor Networks
Hakan Cam, Ozgur Koray Sahingoz, Ahmet Coskun Sonmez

ICSNC 3: Sensor networks II
Session chair: Yunes El Amrani

Finding Diverse Shortest Paths for the Routing Task in Wireless Sensor Networks
Wilton Armando Henao Mazo, Ángel María Bravo Santos

Potential-Based Downstream Routing for Wireless Sensor Networks
Shinya Toyonaga, Daichi Kominami, Masashi Sugano, Masayuki Murata

Link Design for Multi-hop Underwater Optical Wireless Sensor Network
Zahir Ahmad, Roger Green

Multipath route construction using cumulative residual energy for wireless sensor networks
Saad Rizvi, Ken Ferens

A Mobility-Adaptive MAC Protocol for Wireless Sensor Networks (POSTER)
Seunghwa Min, Youn-Seon Jang

ICSNC 4: Security systems I
Session chair: Pierre Kleberger

Multi-dimensional Key Assignment for Hierarchical Media Access Control with Collusion Resilience
Shoko Imaizumi, Naokazu Aoki, Hiroyuki Kobayashi, Hitoshi Kiya

Group Key Establishment Scheme Using Wireless Channel Status
Seon Yeob Baek, Jongwook Park

Design of IT Keys and Its Real Practice Specialist Program to Promote Key Engineers as Security Specialists
Atsuo Inomata, Satoshi Matsuura, Kenji Ohira, Youki Kadobayashi, Kazutoshi Fujikawa, Hideki Sunahara, Suguru Yamaguchi

Methodologies for detecting DoS/DDoS attacks against network servers
Mohammed Alenezi, Martin Reed

ICSNC 5: Security systems II
Session chair: Milan Stohanzl

An In-Depth Analysis of the Security of the Connected Repair Shop
Pierre Kleberger, Tomas Olovsson, Erland Jonsson

Combined Histogram-based Features of DCT Coefficients in Low-frequency Domains for Face Recognition
Qiu Chen, Koji Kotani, Feifei Lee, Tadahiro Ohmi

Face Recognition Algorithm Using Muti-direction Markov Stationary Features and Adjacent Pixel Intensity Difference Quantization Histogram
Feifei Lee, Koji Kotani, Qiu Chen, Tadahiro Ohmi

An ABAC-based Policy Framework for Dynamic Firewalling
Sören Berger, Alexander Vensmer, Sebastian Kiesel

Formal Characterization and Automatic Detection of Security Policies Conflicts
Hédi Hamdi

ICSNC 6: High speed networks I
Session chair: Adriana Martin

Low-Complexity Lossless Compression on High Speed Networks
Sergio De Agostino

1 Gbps Ethernet TCP/IP and UDP/IP Header Compression in FPGA
Milan Stohanzl, Marek Bobula, Zbynek Fedra

Best Shortest Lightpath Routing for Translucent Optical Networks
Gilvan Durães, André Soares, William Giozza, José Augusto Monteiro

Performance Analysis of Hybrid Optical Networks (OCS/OBS) Considering the Time Period to Successfully Deliver a Data Flow
Felipe Mazullo, Igo Moura, André Soares, José Maranhão Carneiro

The Impact of Geography and Demography on the Economics of Fibre Optic Access Networks
Raquel Castro Madureira, A. Manuel Oliveira Duarte, Raquel Matias-Fonseca, Carina Pais, Jorge Carvalho

ICSNC 7: High speed networks II
Session chair: Jose Pacheco

Asynchronous Sequential Symbol Synchronizers Based on Pulse Comparison by Positive Transitions at Bit Rate
Antonio Reis, Jose Rocha, Atilio Gameiro, Jose Carvalho

Prefilter Bandwidth Effects in Asynchronous Sequential Symbol Synchronizers Based on Pulse Comparison by Positive Transitions at Bit Rate
Antonio Reis, Jose Rocha, Atilio Gameiro, Jose Pacheco

Connecting Communities: Stories of Digital Adventures in a Third Sector Organization
Maria Burke

Distance-Adaptive Routing and Spectrum Assignment of Deadline-Driven Requests in Reconfigurable Elastic Optical Networks
Jared Morell, Gokhan Sahin

ICSNC 8: Wireless networks I
Session chair: Jared Morell

QoS Aware Multi-homing in Integrated 3GPP and non-3GPP Future Networks
Umar Toseef, Yasir Zaki, Liang Zhao, Andreas Timm-Giel, Carmelita Görg

Enhanced Positioning Method Using WLAN RSSI Measurements Considering Dilution of Precision of AP Configuration
Cong Zou, A Sol Kim, Jun Gyu Hwang, Joon Goo Park

TCP, UDP and FTP Performance Measurements of IEEE 802.11 a, g Laboratory WEP and WPA Point-to-Point Links
José Pacheco de Carvalho, Cláudia Ribeiro Pacheco, Hugo Veiga, António Reis

Real Time FPGA Based Testbed for OFDM Development With ML Synchronization
Tiago Pereira, Manuel Violas, Atílio Gameiro, Carlos Ribeiro, João Lourenço

ICSNC 9: Wireless networks II
Session chair: Svetlana Boudko

Uplink Throughput Improvement at Cell Edge Using Multipath TCP in Overlaid Mobile WiMAX/WiFi Networks
Miguel Angel Patiño González, Takeshi Higashino, Minoru Okada

PRIPAY: A Privacy Preserving Architecture for Secure Micropayments
Christoforos Ntantogian, Dimitris Gkikakis, Christos Xenakis

Ambient Intelligence for Outdoor Activities Support: Possibilities for Large-Scale Wireless Sensor Networks Applications
Peter Mikulecky, Petr Tucnik

ICSNC 10: Wireless networks III
Session chair: Miguel Patino Gonzalez

Optimized Flow Management using Linear Programming in Integrated Heterogeneous Networks
Umar Toseef, Yasir Zaki, Andreas Timm-Giel, Carmelita Görg

Optimal Network Selection for Mobile Multicast Groups
Svetlana Boudko, Wolfgang Leister, Stein Gjessing

CobCel: Distributed and Collaborative Sensing of Cellular Phone Coverage Using Google Android
Jonathan Pino, Jorge E. Pezoa

Switching between Mobile Hotspot and Public Hotspot for Reducing Energy Consumption of Smartphone (IDEA)
Yun Won Chung

CENTRIC 2012, The Fifth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services

CENTRIC 1: Centric views
Session chair: Tomoko Izumi

Assessing the Effect of Domotics Used as an Assistant to Meal Preparation With People With an Intellectual Disability
Dany Lussier-Desrochers, Hélène Pigot, Jérémy Bauchet, Yves Lachapelle, Sylvain Giroux, Nancy Leclerc

User-Centric IT Security - How to Design Usable Security Mechanisms
Hans-Joachim Hof

Quantifying the Quality of Business Models - A State of the Practice
Christina Di Valentin, Tobias Weiblen, Anton Pussep, Dirk Werth, Peter Loos

Building Trusted National Identity Management Systems
Joseph Kwame Adjei, Henning Olesen

User Modeling and Attention Support: Towards a Framework of Personalization Techniques
Liana Razmerita, Thierry Nabeth, Kathrin Kirchner

CENTRIC 2: User-centric networking and services I
Session chair: Christina Di Valentin

A Traffic Adaptive Backoff Approach for Wireless Networks
Youngho Lee, Jeongbae Yun, Seonhwan Hwang, Gihyuk Seong, Kyuchang Lee, Byoungwoong Kim, Kijun Han

On-site Knowledge Transfer in Agriculture: TalkingPot
Yosei Isoe, Tomoko Izumi, and Yoshio Nakatani

A Route Recommendation System in Disaster-Struck Areas with Consideration for Preferences of Affected Drivers
Kazuki Ono, Tomoko Izumi, Yoshio Nakatani

A Sightseeing Navigation System Without Route Information
Shuichi Takagi, Tomoko Izumi, Yoshio Nakatani

A Simulation System for Tsunami Evacuation Behavior in the JR Osaka Station Area
Ryo Ishida, Tomoko Izumi, and Yoshio Nakatani

CENTRIC 3: User-centric networking and services II
Session chair: Harald Bosch

Communication Supoort System Between Persons with Dementia and Family Caregivers using Memories
Kazuhiro Yamasaki, Izumi Tomoko, and Yoshio Nakatani

What is There For Supper? Remote Access to the Stock of Food in a Smart Kitchen
Anne Wegerich, Matthias Rötting

Standardizing the Evaluation of QoE by Users - A Methodology to Estimate the Acceptance of Interactive Services
Graziella Bonadia, Cláudia de A. Tambascia, Ewerton M. de Menezes

Application of QoE Evaluation Methodology - A Study of the User's Acceptance Threshold Regarding Image Quality
Graziella Bonadia, Maria S. Medrano, Nyvea M. da Silva

An Approach to Developing an Agent Space to Support Users’ Activities
Kenji Sugawara, Jean-Paul A. Barthès

CENTRIC 4: User-centric supporting mechanisms
Session chair: Liana Razmerita

Architecture of an Interactive Classification System
Ilze Birzniece

Dynamic Ontology Supported User Interface for Personalized Decision Support
Harald Bosch, Dennis Thom, Geoffrey-Alexeij Heinze, Stefan Wokusch, Thomas Ertl

An Active Program-based Design for User-Centric System by Symbiotic Computing
Shigeru Fujita, Kenji Sugawara

A new mediator-based architecture for the dynamic service composition
Tuo Zhang, Ken Chen, Jiwen Yan, Antoine Bouhier

CENTRIC 5: User-centric advanced applications
Session chair: Harald Bosch

The Experimentation of implementing Chase View in Landing Phase
Yiyuan Zheng, Shan Fu

A Context-aware Model for the Analysis of User Interaction and QoE in Mobile Environments
Pedro Mateo, Diego Sevilla Ruiz, Gregorio Martínez Pérez

Personalized Mobile Services Using Weighted Instance Based Learner for User Profiling
Ayse Cufoglu, Mahi Lohi, Colin Everiss

Interference Force Reduction for Power Assist Systems Controlled at Arbitrary Operational Point
Fumiya Shibukawa, Takayuki Tanaka, Shun'ichi Kaneko

SIMUL 2012, The Fourth International Conference on Advances in System Simulation

SIMUL 1: Simulation tools and platforms
Session chair: Tristan Salque

Simulator for Smart Load Management in Home Appliances
Michael Rathmair, Jan Haase

Open Source, Simple, Concurrent Simulator for Education and Research
Miguel Bazdresch

A Generic Monte Carlo Simulation Algorithm For The Availability Prediction Of The Devices With Cold Stand-By Units
Ekin Kaya, Can Pervane, Haydar Demirhan

Urban Energy Flow Microsimulation in a Heating Dominated Continental Climate
Diane Perez, Clémentine Vautey, Jérôme Kämpf

SIMUL 2: Building simulation
Session chair: Diane Perez

Development of a Neural Network-based Building Model and Application to Geothermal Heat Pumps Predictive Control
Tristan Salque, Peter Riederer, Dominique Marchio

Importance Sampling for Model Checking of Continuous Time Markov Chains
Benoit Barbot, Serge Haddad, Claudine Picaronny

Comparison of lumped simulation models for three different building envelopes
Kyung-Soo Yoon, Young-Jin Kim, Cheol-Soo Park, Keon-Ho Lee

Cost Optimization of a Nearly Net Zero Energy Building: a Case Study
Narghes Doust, Gabriele Masera, Francesco Frontini, Marco Imperadori

SIMUL 3: Simulation methodologies
Session chair: Bruno Blaškovič

An Automatic Approach for Parameter Optimization of Material Flow Simulation Models based on Particle Swarm Optimization
Christoph Laroque, Jan-Patrick Pater

Agent-Based Simulation and Cooperation in Business Organizational Settings
Claudia Ribeiro, José Borbinha, José Tribolet, João Pereira

System Dynamics Inspired Sensor Modeling and Simulation
Sören Schweigert

Mesoscopic Level: A New Representation Level for Large Scale Agent-Based Simulations
Laurent Navarro, Vincent Corruble, Fabien Flacher, Jean-Daniel Zucker

Object-Oriented Paradigms for Modelling Vascular Tumour Growth: A Case Study
Anthony J Connor, Jonathan Cooper, Helen M Byrne, Philip K Maini, Steve McKeever

SIMUL 4: Practical applications on process simulations
Session chair: Anthony Connor

Capacity Planning for Elderly Care in Ireland Using Simluation Modeling
Mohamed AF Ragab, Waleed Abo-Hamad, Amr Arisha

A Whole Trajectory Simulation for the Electromagnetic Rail Gun
Ping Ma, Ming Yang, Yuwei Hu

Modeling Material Heterogeneity by Gaussian Random Fields for the Simulation of Inhomogeneous Mineral Subsoil Machining
Nils Raabe, Anita Monika Thieler, Claus Weihs, Christian Rautert, Dirk Biermann

Simulation of the Deflection of Thin Plates Under the Action of Random Loads
Vitaly Lukinov

Simulation of an Order Picking System in a Pharmaceutical Warehouse
João Pedro Jorge, Zafeiris Kokkinogenis, Rosaldo J. F. Rossetti, Manuel A. P. Marques

SIMUL 5: Simulation models
Session chair: Libero Nigro

Monte Carlo Simulation of an Optical Differential Phase-Shift Keying Communication System with Direct Detection Impaired by In-Band Crosstalk
Genádio Martins, Luís Cancela, João Rebola

A Flexible Analytic Model for the Design Space Exploration of Many-Core Network-on-Chips Based on Queueing Theory
Erik Fischer, Albrecht Fehske, Gerhard P. Fettweis

Multi-objective Linear Programming Optimization for Waste Management Simulation
Eric Solano

A Markov Random Field Approach for Modeling Correlated Failures in Distributed Systems
Jorge E. Pezoa

SIMUL 6: Scenarios simulation
Session chair: Erik Fisher

Traffic and Monotonic Total-Connected Random Walks of Particles
Alexander P. Buslaev, Alexander G. Tatashev, Andrew M. Yaroshenko

Model-based Prediction of Complex Multimedia/Hypermedia Systems
Franco Cicirelli, Libero Nigro, Francesco Pupo

Development of Modified Ant Colony Optimization Algorithm for Compliant Mechanisms
Se-Chan Kim, Dae-Ho Chang, Kwang-Seon Yoo, Seog-Young Han

cooperative c-marking agents for the foraging problem
Zedadra Ouarda, Jouandeau Nicolas, Seridi Hamid

VALID 2012, The Fourth International Conference on Advances in System Testing and Validation Lifecycle

VALID 1: Testing techniques and mechanisms
Session chair: Benjamin Wilmes

MBPeT: A Model-Based Performance Testing Tool
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres

Cost-Aware Combinatorial Interaction Testing
Gulsen Demiroz, Cemal Yilmaz

Sick But Not Dead Testing - A New Approach to System Test
Tara Astigarraga, Lou Dickens, Michael Browne

Test Driven Life Cycle Management for Internet of Things based Services: a Semantic Approach
Eike Steffen Reetz, Daniel Kümper, Anders Lehmann, Ralf Tönjes

AndroLIFT: A Tool for Android Application Life Cycles
Dominik Franke, Tobias Royé, Stefan Kowalewski

VALID 2: Software verification and validation I
Session chair: Daniel Mauser

Experiences in Test Automation for Multi-Client System with Social Media Backend
Tuomas Kekkonen, Teemu Kanstrén, Jouni Heikkinen

Project in Control: An Innovative Approach
Jos van Rooyen

From Model-based Design to Real-Time Analysis
Yassine Ouhammou, Emmanuel Grolleau, Michael Richard, Pascal Richard

Automated Structural Testing of Simulink/TargetLink Models via Search-Based Testing Assisted by Prior-Search Static Analysis
Benjamin Wilmes

Fault Detection Capabilities of an Enhanced Timing and Control Flow Checker for Hard Real-Time Systems
Julian Wolf, Bernhard Fechner, Theo Ungerer

VALID 3: Software verification and validation II
Session chair: Tuomas Kekkonen

When ‘Pure Mathematical Objectivity’ is no Longer Enough
Isabel Cafezeiro, Ivan Marques

A Software Quality Framework for Mobile Application Testing
Yajie Wang, Ming Jiang, Yueming Wei

Variability Management in Testing Architectures for Embedded Control Systems
Goiuria Sagardui, Leire Etxeberria, Joseba A. Agirre

GUI Failure Analysis and Classification for the Development of In-Vehicle Infotainment
Daniel Mauser, Alexander Klaus, Ran Zhang, Linshu Duan

VALID 4: Software verification and validation III
Session chair: Ludi Akue

A Holistic Model-driven Approach to Generate U2TP Test Specifications Using BPMN and UML
Qurat-Ul-Ann Farooq, Matthias Riebisch

Diagnosability Analysis for Self-observed Distributed Discrete Event Systems
Lina Ye, Philippe Dague

A Combined Formal Analysis Methodology and Towards Its Application to Hierarachical State Transition Matrix Designs
Weiqiang Kong, Leyuan Liu, Hirokazu Yatsu, Akira Fukuda

Model Checking Executable Specification for Reactive Components
Bruno Blašković

VALID 5: System and feature testing
Session chair: Michael Gebhart

Software Architectural Drivers for Cloud Testing
Etiene Lamas, Luiz Dias, Adilson Cunha

Optical Link Testing and Parameters Tuning with a Test System Fully Integrated into FPGA
Anton Kuzmin, Dietmar Fey

Data Model Centered Test Case Design
Federico Toledo Rodríguez, Beatriz Pérez Lamancha, Macario Polo Usaola

A Model-Based Approach to Validate Configurations at Runtime
Ludi Akue, Emmanuel Lavinal, Michelle Sibilla

Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux


Copyright (c) 2006-2012, IARIA