Submit a Paper

Propose a Workshop

Propose a Mini Symposium

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

VALID 2014

October 12 - 16, 2014 - Nice, France


Preliminary Program

ICSEA 2014 / SIMUL 2014 / VALID 2014 / SOTICS 2014 /
CENTRIC 2014 / ICSNC 2014 / INNOV 2014

Conference Venue Location

Hotel Novotel Cap 3000
Nice/St. Laurent du Var
40 avenue du Verdun
06700 Saint Laurent du Var, France

Conference rooms
Time slots

Room A

Room B

Room C

Room D

Sunday, October 12

12:00

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

13:30 - 16:00

Tutorial I

How Can You Support Your Software Development Method with ESSENCE?
by Prof. Dr. Mira Miroslawa Kajko-Mattsson, Royal Institute of Technology (KTH), Sweden

16:00 - 16:15

 

16:15 - 18:45

Tutorial II

User-centric Innovation
by Prof. Dr. Lasse Berntzen, Buskerud and Vestfold University College, Norway

 

19:00 - 20:00

Welcome Cocktail
You must have your badge to attend the cocktail

Monday, October 13

09:00 - 09:15

Opening session

09:15 - 10:15

Keynote Speaker

A Unified Framework for Uncertainty and Sensitivity Analysis of Computational Models with Many Input Parameters
Prof. Dr. C. F. Jeff Wu, Georgia Institute of Technology, USA

10:15 - 10:30

Coffee Break

10:30 - 12:15

ICSEA 1

SIMUL 1

ICSEA 12

CENTRIC 1

12:15 - 13:45

Lunch on your own

13:45 - 15:30

ICSEA 2

SIMUL 2

ICSEA13

ICSNC 1

15:30 - 15:45

Coffee Break

15:45 - 17:30

ICSEA 3

SIMUL3

VALID 1

INNOV 1

17:30 - 19:15

Panel on SIMUL/VALID

Topic: Modeling Challenges for Systems Simulation and Validation

Moderator
Przemyslaw Pochec, University of New Brunswick, Canada

Panelists
Sheri Jackson, IBM, USA
Tomas Potuzak, University of West Bohemia, Czech Republic
Jean-François Santucci, University of Corsica, France
Klaus Hörmaier, Infineon Technologies Austria AG, Austria

Tuesday, October 14

09:15 - 10:15

Keynote Speaker

Software Estimation: Practical Insights & Orphean Research Issues
Prof. Dr. Alain Abram, École de Technologie Supérieure in Montréal, Canada

10:15 - 10:30

Coffee Break

10:30 - 12:15

ICSEA 4

SIMUL 4

ICSEA 14

CENTRIC 2

12:15 - 13:45

Lunch on your own

13:45 - 15:30

ICSEA 5

SIMUL 5

ICSEA 15

ICSNC 2

15:30 - 15:45

Coffee Break

15:45 - 17:30

ICSEA 6

SOTICS 1

VALID 2

INNOV2

17:30 - 19:15

PANEL on ICSEA

Topic: Lessons Learned on Software Maintenance: Any Relief at Horizon?

Moderator
Luigi Lavazza, Università degli Studi dell’Insubria, Italy

Panelists
Hideo Tanida, Fujitsu Laboratories Ltd., Japan
Michael Gebhart, iteratec GmbH, Germany
Roy Oberhauser, Aalen University, Germany
Stephen Clyde, Utah State University, USA

Wednesday, October 15

09:15 - 10:15

Keynote Speaker

Research Challenges and Opportunities for the Development of Complex Systems: An Industrial Perspective
Philipp Helle, Airbus Group Innovations, Germany

10:15 - 10:30

Coffee Break

10:30 - 12:15

ICSEA 7

SIMUL 6

ICSEA 16

CENTRIC 3

12:15 - 13:45

Lunch on your own

13:45 - 15:30

VALID 3

SIMUL7

ICSEA 17

ICSNC 3

15:30 - 15:45

Coffee Break

15:45 - 17:30

ICSEA 8

SIMUL8

ICSEA 18

ICSEA 24

 17:30 - 19:15

Panel on CENTRIC/INNOV/SOTICS/ICSNC

Topic: Centric: A Multi-Facets Paradigm

Moderator
Lasse Berntzen, Vestfold University College - Tønsberg, Norway

Panelists
Tom Fisher, Nottingham Trent University, UK
Toshiaki Suzuki, Hitachi, Ltd., Japan
Luigi Di Caro, University of Turin, Italy
Stephan Böhm, RheinMain University of Applied Sciences, Germany
Manolya Kavakli, Macquarie University, Australia

 

 

20:00 - 23:00

GALA DINNER

Thursday, October 16

09:00 - 10:45

ICSEA 9

SIMUL 9

ICSEA 19

CENTRIC 4

10:45 - 11:00

Coffee Break

11:00 - 12:45

ICSEA 10

SIMUL 10

ICSEA 20

CENTRIC 5

12:45 - 13:45

Lunch on your own

13:45 - 15:30

VALID 4

SIMUL 11

ICSEA 21

ICSNC 4

15:30 - 15:45

Coffee Break

15:45 - 17:30

ICSEA11

ICSEA 23

ICSEA 22

ICSNC 5

17:30 - 18:00

Closing Session

Friday, October 17

Recommended to be seen on your own

Nice (direct bus, ~20 minutes, every 15 minutes)

Monaco/Monte Carlo (trains, every 30 minutes)

Cannes (trains, every 30 minutes)

Saint-Tropez (agency offers at Novotel Hotel)

 

DETAILED PROGRAM

 

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

CENTRIC 1: User research and usage behavior
Session chair: Lasse Berntzen

Making the Most of Customer Product Reviews
Florian Volk, Janette Pitzschel, Max Mühlhäuser

Mobile App Marketing: A Conjoint-based Analysis on the Importance of App Store Elements
Stephan Böhm, Stefan Schreiber

Gender Differences in Gesture-based Interaction
Manolya Kavakli, Yan Ling Chen

Role of Journalist in Online News Portals for Promoting Social Connectedness and Reader Participantion (PRESENTATION)
Seongmi Jeong, Jihyang Gu, Seyoung Park, Ki Joon Kim, Dong-Hee Shin

CENTRIC 2: Personalization
Session chair: Stephan Boehm

Assessment of Expectations and Needs of a Sensor Network to Promote Elderly’s Sense of Safety and Security
Annica Kristoffersson, Ella Kolkowska, Amy Loutfi

Towards Universally Usable Smart Homes – How Can MyUI, URC and openHAB Contribute to an Adaptive User Interface Platform?
Lukas Smirek, Gottfried Zimmermann, Daniel Ziegler

User Models and Domain Ontologies for Generating Personalized Questions and Answers
Marta Gatius

Design and Personalisation: For a Person of by a Person?
Tom Fisher, Iryna Kuksa

Personalize or Customize? Effects of Information Tailoring in Mobile Health Communication (PRESENTATION)
Hongsuk Yoon, Jaeyeol Jeong, Ki Joon Kim, Dong-Hee Shin

CENTRIC 3: User-centric and personalized services
Session chair: Manolya Kavakli

EMMA: A Context-Aware Middleware for Energy Management on Mobile Devices
André Ebert, Florian Dorfmeister, Marco Maier, Claudia Linnhoff-Popien

Human-Centric and Privacy-Protecting Trust Establishment over the Internet
Holger Kinkelin, Heiko Niedermayer, Simon Mittelberger, Georg Carle

Security and Safety Composition Methodology
Seraj Fayyad, Josef Noll

User-centric Recommendation Model for AAC based on Multi­-criteria Planning
Sebastián Sastoque Hernández, Daniela Mancilla Valdés, Jesús Mendoza Medina, Marcela Iregui Guerrero

CENTRIC 4: User-centric applications and centric views
Session chair: Sumaru Niida

Towards an Integration of Process Modeling and GDSS for Crisis Management
Heiko Thimm, Robert Katura

Interaction-based Ontology Modeling for User-Centric Social Networks Environments
Luigi Di Caro, Alice Ruggeri, Guido Boella

Centricity in Project Risk Management: Towards a Conceptual Framework for Improved Practice
Jose Irizar, Martin Wynn

A Surveillance System to Counter Vandalism of Transmission Line Equipment
JohnPaul Asiimwe, Adella Kyohairwe, Cosmas Mwikirize, Richard Okou

Anthropomorphic Cues in Unmanned Driving Systems:A Study of the Mediating Effects of Social Presence (PRESENTATION)
Jae Gil Lee, Jaeyeol Jeong, Ki Joon Kim, Dong-Hee Shin

CENTRIC 5: User experience and usability
Session chair: Florian Vilk

Communication Behavior Modification -Application for Promoting Wi-Fi Network Usage by Visualizing Usage History-
Sumaru Niida, Hidetoshi Yokota, Shigehiro Ano

It’s Not What it Speaks, But It’s How it Speaks: An Investigation into Smartphone Voice-User Interfaces (VUI) (PRESENTATION)
Jaeyeol Jeong, Seongmi Jeong, Hoyoun Cho, Ki Joon Kim, Dong-Hee Shin

The Measurement of UX/UI for In-Company Intranet on Vertical Organizational Structure (POSTER)
Hayoung Bang

Tapping, Swiping, and Beyond:An Empirical Investigation of On-Screen Interaction Techniques for Smartphones (PRESENTATION)
Jae Gil Lee, Jihyang Gu, Seyoung Park, Ki Joon Kim, Dong-Hee Shin

ICSEA 2014, The Ninth International Conference on Software Engineering Advances

ICSEA 1: Fundamentals for software development I
Session chair: Michael Gebhart

Intertwining Relationship Between Requirements, Architecture, and Domain Knowledge
Azadeh Alebrahim, Maritta Heisel

Unified Conceptual Model for Joinpoints in Distributed Transactions
Anas AlSobeh, Stephen Clyde

A Tool Evaluation Framework based on fitness to Process and Practice. A usability driven approach
Diego Fontdevila

Enhanced Design Pattern Definition Language
Salman Khwaja, Mohammad Alshayeb

ICSEA 2: Fundamentals for software development II
Session chair: Azadeh Alebrahim

Model Transformations for the Automatic Suggestion of Architectural Decisions in the Development of Multi-Layer Applications
Jose Garcia-Alonso, Javier Berrocal Olmeda, Juan Manuel Murillo

An MDE Approach for Reasoning About UML State Machines Based on Constraint Logic Programming
Beatriz Pérez

Several Issues on the Layout of the UML Sequence and Class Diagram
Oksana Nikiforova, Dace Ahilcenoka, Dainis Ungurs, Konstantins Gusarovs, Ludmila Kozacenko

Communication Aspects with CommJ: Initial Experiment Show Promising Improvements in Reusability and Maintainability
Ali Raza, Jorge Edison Lascano, Stephen Clyde

ICSEA 3: Fundamentals for software development III
Session chair: Oksana Nikiforova

Customized Choreography and Requirement Template Models as a Means for Addressing Software Architects’ Challenges
Nebojša Taušan, Sanja Aaramaa, Jari Lehto, Pasi Kuvaja, Jouni Markkula, Markku Oivo

MDD for Smartphone Application with Smartphone Feature Specific Model and GUI Builder
Koji Matsui, Saeko Matsuura

Quality-Oriented Requirements Engineering for Agile Development of RESTful Participation Service
Michael Gebhart, Pascal Giessler, Pascal Burkhardt, Sebastian Abeck

Architecture Coverage: Validating Optimum Set of Viewpoints
Sunia Naeem, Salma Imtiaz

ICSEA 4: Fundamentals for software development IV
Session chair: Muhammad Ahmad

Challenges of Adopting Software Reuse: Initial Results
Sajjad Mahmood, Ali Al Zayer

Comparison of Stakeholder Identification Methods - The Effect of Practitioners Experience
Markus Kelanti, Samuli Saukkonen

What are the Features of this Software?
Barbara Paech, Paul Hübner, Thorsten Merten

Towards Duplication-Free Feature Models when Evolving Software Product Lines
Amal Khtira, Anissa Benlarabi, Bouchra El Asri

ICSEA 5: Fundamentals for software development V
Session chair: Markus Kelanti

Quantum States in Bivalent Logic
Mikael Fridenfalk

An Approach for Modeling and Transforming Contextually-Aware Software Engineering Workflows
Roy Oberhauser

A Software Category Model for Graphical User Interface Architectures
Stefan Wendler, Detlef Streitferdt

The Impact of User Interface Patterns on Software Architecture Quality
Stefan Wendler, Detlef Streitferdt

ICSEA 6: Agile software techniques I
Session chair: Stefan Wendler

A Guideline for Supporting Agile Process Assessments
Teresa M. M. Maciel, Silvio R. L. Meira

Usage of Kanban in Software Companies An empirical study on motivation, benefits and challenges
Muhammad Ovais Ahmad, Jouni Markkula, Markku Oivo, Pasi Kuvaja

Scaling Agile Estimation Methods with a Parametric Cost Model
Carl Friedrich Kreß, Oliver Hummel, Mahmudul Huq

AP3M-SW – An Agile Project Management Maturity Model for Software Organizations
Felipe Soares, Silvio Meira

ICSEA 7: Agile software techniques II
Session chair: Manuel Gonçalves da Silva Neto

Cybernetic Aspects in the Agile Process Model Scrum
Michael Bogner, Maria Hronek, Andreas Hofer, Franz Wiesinger

Can Functional Size Measures Improve Effort Estimation in SCRUM?
Valentina Lenarduzzi, Davide Taibi

On Some Challenges in Assessing the Implementation of Agile Methods in a Multisite Environment
Harri Kaikkonen, Pilar Rodríguez, Pasi Kuvaja

Towards Agile Composition of Service Oriented Product Lines: A Mashup-based Approach
Ikram Dehmouch, Bouchra El Asri, Zineb Mcharfi

ICSEA 8: Software engineering productivity research
Session chair: Harri Kaikkonen

An Approach and a Tool for Systematic Review Research
Manuel Gonçalves da Silva Neto, Walquiria Castelo Branco Lins, Eric Bruno Perazzo Mariz

Productivity-Based Software Estimation Model: An Economics Perspective and an Empirical Study
Alain Abran, Jean-Marc Desharnais, Mohammad Zarour, Onur Demirors

Measuring a Software Production Line with IFPUG-based Function Points
Volkan Halil Bagci, Umut Orcun Turgut, Ali Ciltik, Semih Cetin, Recep Ozcelik

Empirical Research in Software Engineering: A Literature Review
Petr Pícha, Přemysl Brada

ICSEA 9: Software security, privacy, safeness
Session chair: D. P. McGuinness

An Automated Signature Generation Method for Zero-day Polymorphic Worms Based on C4.5 Algorithm
Mohssen Mohammed, Eisa Aleisa, Neco Ventura

On the Automation of Vulnerabilities Fixing for Web Application
Kabir Umar, Abu Bakar Sultan, Hazura Zulzalil, Novia Admodisastro, Mohd Taufik Abdullah

An Approach for Cross-Site Scripting Detection and Removal Based on Genetic Algorithms
Isatou Hydara, Abu Bakar Md Sultan, Hazura Zulzalil, Novia Admodisastro

Safety Patterns in Model-Driven Development
Timo Vepsäläinen, Seppo Kuikka

ICSEA 10: Advances in software testing I
Session chair: Fouad Omri

Test Data Generation Based on GUI: A Systematic Mapping
Rodrigo Funabashi Jorge, Márcio Eduardo Delamaro, Celso Gonçalves Camilo-Junior, Auri Marcelo Rizzo Vincenzi

Mapping of State Machines to Code: Potentials and Challenges
Mehrdad Saadatmand, Antonio Cicchetti

Functional Testing Criteria Applied in a Database Project
Dianne Dias Silva, Edmundo Sérgio Spoto, Leandro Luís Galdino de Oliveira

Automatic Unit Test Generation and Execution for JavaScript Program through Symbolic Execution
Hideo Tanida, Guodong Li, Indradeep Ghosh, Tadahiro Uehara

ICSEA 11: Advances in software testing II
Session chair: Mehrad Saadatmand

Enabling Functional Integration Testing of Software-Intensive Technical Systems
Thomas Bauer, Frank Elberzhager

Structural Test Case Generation Based on System Models
Leandro Teodoro Costa, Avelino Francisco Zorzo, Elder Macedo Rodrigues, Maicon Bernardino, Flávio Moreira Oliveira

Towards a Maturity Model in Software Testing Automation
Ana Paula Furtado, Silvio Meira, Marcos Gomes

Low-Variance Software Reliability Estimation Using Statistical Testing
Fouad ben Nasr Omri, Safa Omri, Ralf Reussner

ICSEA 12: Software development mechanisms I
Session chair: Luigi Lavazza

PRReSE – Process of Non-Functional Requirements Reuse for Embedded Systems Based on a NFR-Framework
Cristiano Marçal Toniolo, Luiz Eduardo Galvão Martins

A Model-Driven Approach to the Development of Heterogeneous Software Product Lines
Thomas Buchmann, Felix Schwägerl

System Composition Using Petri Nets and DEVS Formalisms
Radek Koci, Vladimir Janousek

A Prototyping Discipline in OpenUP to Satisfy Wireless Sensor Networks Requirements
Gian Ricardo Berkenbrock, Carla Berkenbrock, Celso Hirata

Easily Evolving Software Using Normalized Systems Theory - A Case Study
Gilles Oorts, Kamiel Ahmadpour, Herwig Mannaert, Jan Verelst, Arco Oost

ICSEA 13: Software development mechanisms II
Session chair: Felix Schwägerl

Towards Task Allocation in Global Software Development Projects
Sajjad Mahmood, Sajid Anwer, Waleed Umar, Mahmood Niazi, Mohammad Alshayeb

Combining MARTE-UML, SysML and CVL to Build Unmanned Aerial Vehicles
Paulo Queiroz, Rosana Braga

Collaborative Team Management in Agile and Distributed Development Environments
Nohsam Park, Jonghyun Jang

Security Through Software Rejuvenation
Chen-Yu Lee, Krishna M. Kavi, Mahadevan Gomathisankaran, Patrick Kamongi

Design of Mobile Services for Embedded Platforms
Fabrice Mourlin, Sanae Mostadi, Guy Lahlou Djiken

ICSEA 14: Specialized software advanced applications
Session chair: Juncal Alonso

The Quantification of Risk Factors for Predicting Diabetic Cystoid Macular Edema based on a Hierarchical Approach
Eun Byeol Jo, Ju Hwan Lee, Jong Seob Jeong, Byeong Cheol Choi, Sung Min Kim

Identifying Requirements for Centralized Service for Movement and Biodiversity Data Analysis
Ivana Nižetić Kosović, Boris Milašinović, Krešimir Fertalj

Method for Analytic Evaluation of the Weights of a Robust Large-Scale Multilayer Neural Network with Many Hidden Nodes
Mikael Fridenfalk

Reorganizing an Offshore Software Project With the Goal of Favoring Knowledge Transfer
Carlo Consoli, Paolo Rocchi, Paolo Spagnoletti, Pietro Nico

Sport Virtual Complex as a Model of Learning Physics (POSTER)
Miriam Martínez Muñoz

ICSEA 15: Software engineering techniques, metrics, and formalisms I
Session chair: Annamaria Szenkovits

Challenges of the Existing Tools Used in Global Software Development Projects
Mahmood Niazi, Sajjad Mahmood, Mohammad Alshayeb, Ayman Hroub

ARTIST Technical Feasibility Tool: Supporting the Early Technical Feasibility Assessment of Application Cloudifications
Juncal Alonso, Leire Orue-Echevarria, Zurik Corera, Jesus Gorroñogoitia, Burak Karaboga

Model Reverse-engineering of Mobile Applications with Exploration Strategies
Sébastien Salva, Stassia Resondry Zafimiharisoa

On the Ability of Functional Size Measurement Methods to Size Complex Software Applications
Luigi Lavazza, Sandro Morasca, Davide Tosi

An Exploration of the Application of Usability Evaluation Methods by Disabled Users
Khalid Al-Nafjan, Mona Al-Zuhair, Layla Al-Salhie

ICSEA 16: Software engineering techniques, metrics, and formalisms II
Session chair: Mira Kajko-Mattsson

Towards Automating the Coherence Verification of Multi-Level Architecture Descriptions
Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi Yulin Zhang

A Set-Oriented Formalism as a Foundation for the Modeling and Verification of Connected Data and Process Specifications
Julia Martini, Hannes Restel, Raik Kuhlisch, Jörg Caumanns

Towards Automated Design Smell Detection
Stefan Burger, Oliver Hummel

UCDMD: Use Case Driven Methodology Development
Hanieh Zakerifard, Raman Ramsin

Insights from the Defect Detection Process of IT Experts: A Case Study on Data Flow Diagrams
Gul Tokdemir, Nergiz Ercil Cagiltay, Ozkan Kilic

ICSEA 17: Business technology
Session chair: Hannes Restel

Using Expert Systems for Coaching and Mentoring ICT Project Managers
Robert T. Hans, Ernest Mnkandla

Towards Autonomic Context-Aware Computing for SaaS Through Variability Management Mechanisms
Asmae Benali, Bouchra El Asri, Houda Kriouile

ASDeDaWaS: An Assistant System for the Design of Data Warehouse Schema
Nouha Arfaoui, Jalel Akaichi

Towards Implementation and Design of Multi-tenant SaaS Based on Variabiliy Management Mechanisms
Houda Kriouile, Bouchra El Asri, M'barek El Haloui, Asmae Benali

Applications Architecture for a Medium Sized Manufacturing Firm
Alicia Valdez, Sergio Castaneda, Laura Vazquez, Azucena Garcia

ICSEA 18: Software deployment and maintenance I
Session chair: Arfaoui Nouha

Enhanced Search: An Approach to the Maintenance of Services Oriented Architectures
Norman Wilde, Douglas Leal, George Goehring, Christopher Terry

Evaluation of the Applicability of CM3: Emergency Problem Management within the Industry
Mira Kajko-Mattsson, Joakim Snygg, Emil Hammargren

An Analysis of Domain and Application Engineering Co-evolution for Software Product Lines based on Cladistics: A Case Study
Anissa Benlarabi, Amal Khtira, Bouchra El Asri

EM3: Software Retirement Process Model
Mira Kajko-Mattsson, Anna Hauzenberger, Ralf Fredriksson

Causality Control in Dynamic Platforms
German Vega, Jacky Estublier

ICSEA 19: Software deployment and maintenance II
Session chair: Sukhamay Kundu

Maintaining Vaadin Legacy Applications using DSLs based on Xtext
Marcel Toussaint, Thomas Baar

Predicting Change Proneness using Object-Oriented Metrics and Machine Learning Algorithms
Abdullah Al-Senayen, Abdurhman Al-Sahood, Mohammed Misbhauddin

Towards an Efficient Traceability in Agile Software Product Lines
Zineb Mcharfi, Bouchra El Asri, Ikram Dehmouch

Implementing IT Service Management as an Organizational Change: Identifying Factors Affecting the Change Resistance
Marko Jäntti, Sanna Heikkinen

ICSEA 20: Design tools for software development I
Session chair: Marko Jantti

Spider-PE: A Set of Support Tools to Software Process Enactment
Carlos Portela, Alexandre Vasconcelos, Sandro Oliveira, Antônio André Silva, Elder Silva

On the Use of Ontology for Dynamic Reconfiguring Software Product Line Products
Thyago Tenório, Diego Dermeval, Ig Ibert Bittencourt

A formal model of use-cases and its application in generating a hierarchical class-structure
Sukhamay Kundu, Arnab Ganguly

Fundamentals, Prospects and Challenges for Totally Functional Programming Style
Paul Bailes, Leighton Brough, Colin Kemp

ICSEA 21: Design tools for software development II
Session chair: Christoph Heger

Using Automatic Code Generation Methods for Reusable Software Component Development: Experience Report
Elif Kamer Karataş, Barış İyidir

Automatic Classification of Domain Constraints for Rich Client Development
Manuel Quintela-Pumares, Daniel Fernández-Lanvin, Alberto-Manuel Fernández-Álvarez, Raúl Izquierdo

A Classification Schema for Development Technologies
Davide Taibi, Christiane Plociennik, Laurent Dieudonné

Working With Reverse Engineering Output for Benchmarking and Further Use
David Cutting, Joost Noppen

ICSEA 22: Software performance I
Session chair: David Cutting

Software Relialibility Markovian Model Based on Phase-Type Distribution
Mindaugas Brazenas, Eimutis Valakevicius

Vergil: Guiding Developers Through Performance and Scalability Inferno
Christoph Heger, Alexander Wert, Roozbeh Farahbod

A Domain-Specific Language for Modeling Performance Testing: Requirements Analysis and Design Decisions
Maicon Bernardino, Avelino F. Zorzo, Elder Rodrigues, Flávio M. de Oliveira, Rodrigo Saad

Inverted Run-Time Behavior of Classic Data Structures on Modern Microprocessors: Technical Background and Performance Guidelines
Michael Bogner, Andreas Hofer, Maria Hronek, Franz Wiesinger

ICSEA 23: Software performance II
Session chair: Tanida Hideo

Benchmarking the Performance of Hypervisors on Different Workloads
Devi Prasad Bhukya, Carlos Gonçalves, Diogo Gomes, Rui Aguiar

Performance Engineering Using Performance Antipatterns in Distributed Systems
Chia-En Lin, Krishna Kavi

Performance Optimisation of Object-Relational Database Applications in Client-Server Environments
Zahra Davar, Janusz R.Getta, Handoko Handoko

ICSEA 24: Web accessibility
Session chair: Maria Hronek

Web Accessibility on Thai Higher Education Websites
Rattanavalee Maisak, Justin Brown

A Usability Inspection Approach to Assist in the Software Development Process
Priscila Silva Fernandes, Bruno Araújo Bonifácio, Tayana Uchôa Conte

Learning, Trust, and Technological Collaboration between Business and Academia: A Successful USA Case Study (POSTER)
Daniela Marghitu, Eric Hakanson, Samantha Lewis

 

ICSNC 2014, The Ninth International Conference on Systems and Networks Communications

ICSNC 1: Multimedia communications systems
Session chair: Mihai Constantinescu

A Novel Spectrum Sensing Scheme for Dynamic Traffic Environments
Keunhong Chae, Seokho Yoon

Utility-based Approach for Video Service Delivery Optimization
Diallo Mamadou Tourad, Abd-elrahman Emad, Fieau Frederic, Afifi Hossam

Perceptual Semantics for Video in Situation Awareness
María Alejandra Pimentel-Niño, María Ángeles Vázquez-Castro, Iñigo Hernáez-Corres

On Server and Path Selection Algorithms and Policies in a light Content-Aware Networking Architecture
Eugen Borcoci, Marius Constantin Vochin, Mihai Constantinescu, Jordi Mongay Batalla, Daniel Negru

ICSNC 2: High speed networks
Session chair: Tetsuki Taniguchi

Building Efficient End-to-End Service Transparent Fiber Networks Supporting Access Rates Beyond 10Gb/s
Theofanis Orphanoudakis, Chris Matrakidis, Christina (Tanya) Politi, Alexandros Stavdas, Helen-Catherine Leligou, Evangelos Kosmatos

Hybrid Optical Network with Traffic Classification and Switching Selection Scheme Based on Fuzzy Logic
Ana Carolina Silva, William Giozza

Performance of Low Buffer Resource Flexible Router for NoCs
Israel Mendonça dos Santos, Felipe M.G. França, Victor Goulart

Inferring TCP Congestion Control Algorithms by Correlating Congestion Window Sizes and their Differences
Toshihiko Kato, Atsushi Oda, Shun Ayukawa, Celimuge Wu, Satoshi Ohzahata

ICSNC 3: Wireless networks
Session chair: Eugen Borcoci

The K-means and TSP Based Mobility Protocol Modeling as a Probabilistic Combinatorial Optimization Problem
Monia Bellalouna, Afef Ghabri, Walid Khaznaji

Wireless Ad Hoc Networks Resilience Through Cooperative Communication
Ulisses Rodrigues Afonseca, Thiago Fernandes Neves, Jacir Luiz Bordim

Node Pair Selection Scheme for MIMO Multiuser System Using Repeated Application of Stable Matching Algorithm
Tetsuki Taniguchi, Yoshio Karasawa

Evaluation of the New e-Health Signaling Model in the USN Environment
Adel Mounir Said, Ashraf William Ibrahim

ICSNC 4: Sensor and vehicular networks
Session chair: Steve Woodhead

On Throughput Performance and its Enhancement in Mobile Ad Hoc Networks (MANETs)
Mouna Abdelmoumen, Mariem Ayedi, Mounir Frikha, Tijani Chahed

In Vehicle Communication Networks : A Power Line Communication Study and Demonstrator for Infotainment Applications
Fabienne Nouvel, Philippe Tanguy

Development of a Remote Management System for Automatic Parking Towers through Mobile Devices
Jin-Shyan Lee, Ta-Cheng Chien, Yuan-Heng Sun

Power Aware Robustness Protocol for WSN (PRESENTATION)
Rushdi Hamamreh, Mahmoud I Arda

ICSNC 5: Security and P2P systems
Session chair: Carlos Becker Westphall

An Assessment of the Contemporary Threat Posed by Network Worm Malwar
Luc Tidy, Khurram Shahzad, Muhammad Aminu Ahmad, Steve Woodhead

Improving Resource Discovery and Query Routing in Peer-to-Peer Data Sharing Systems Using Gossip Style and ACO Algorithm
Hanane Hamdi, Fouzia Benchikha

Improving Network Traffic Anomaly Detection for Cloud Computing Services
Ana Cristina Oliveira, Marco Spohn, Reinaldo Gomes, Do Le Quoc, Breno Jacinto Duarte

 

INNOV 2014, The Third International Conference on Communications, Computation, Networks and Technologies

INNOV 1: Networking
Session chair: Muhamamd Adnan Cheema

Security Threats in Mobile Ad Hoc Networks
Hande Bakiler, Aysel Şafak, Ilgın Şafak

A Network-disaster Recovery System using Area-based Network Management
Toshiaki Suzuki, Hideki Endo, Isao Shimokawa, Kenichi Sakamoto, Hidenori Inouchi, Taro Ogawa, Takanori Kato, Akihiko Takase

What’s Happening: A Survey of Tweets Event Detection
Amina Madani, Omar Boussaid, Djamel eddine Zegour

INNOV 2: Telecommunications
Session chair: Toshiaki Suzuki

Application of the Composite Field in the Design of an Improved AES S-box Based on Inversion
Zhao Wang, Xiao Zhang, Sitao Wang, Zhisong Hao, Zhiming Zheng

Timing Synchronization Method for MIMO-OFDM Systems with CAZAC Sequences
Ali Rachini, Fabienne Nouvel, Ali Beydoun, Bilal Beydoun

 

SIMUL 2014, The Sixth International Conference on Advances in System Simulation

SIMUL 1: Transport simulation
Session chair: Gerhard Hermanns

Model of Running Time Disturbances for Buses Using Designated Lanes on Approaches to Junctions Equipped with Traffic Signals
Marek Bauer

Traffic-light cycle coordinated by microsimulation: a solution to the traffic congestion in Palermo
Luigi Sanfilippo, Giuseppe Salvo

Towards a Hybrid Real/Virtual Simulation of Autonomous Vehicles for Critical Scenarios
Franck Gechter, Baudouin Dafflon, Pablo Gruer, Abder Koukam

Modelling Drivers’ Route Choice Behaviour through Possibility Theory Using Driving Simulator
Mario Marinelli, Mauro Dell'Orco

SIMUL 2: Simulation tools and platforms
Session chair: Marek Bauer

M2ANET Simulation in 3D in NS2
Nasir Mahmood, John DeDourek, Przemyslaw Pochec

Pandora: A Versatile Agent-Based Modelling Platform for Social Simulation
Xavier Rubio-Campillo

Interface-based Semi-automated Generation of Scenarios for Simulation Testing of Software Components
Tomas Potuzak, Richard Lipka

A Scalable Framework for Advanced Driver Assistance Systems Simulation
Kareem Abdelgawad, Mohamed Abdelkarim, Bassem Hassan, Michael Grafe, Iris Gräßler

SIMUL 3: Simulation modes I
Session chair: Kareem Abdelgawad

Microscopic Simulation of Synchronized Flow in City Traffic: Effect of Driver's Speed Adaptation
Gerhard Hermanns, Igor N. Kulkov, Boris S. Kerner, Michael Schreckenberg, Peter Hemmerle, Micha Koller, Hubert Rehborn

An Optimal Multiobjective Production System, A Case Study
Hector Miguel Gastelum Gonzalez, Maria Elena Meda Campaña

A Generalized Agent-Based Model to Simulate Emergency Departments
Zhengchun Liu, Eduardo Cabrera, Dolores Rexachs, Emilio Luque

IoT Component Design and Implementation using Discrete Event Specification Simulations
Souhila Sehili, Laurent Capocchi, Jean-Francois Santucci

SIMUL 4: Simulation modes II
Session chair: Christophe Bourdin

Optimization of Resources to Improve Patient Experience in the New Emergency Department of Mater Hospital Dublin
Heba Habib, Waleed Abo-Hamad, Amr Arisha

Modeling the Contact Propagation of Nosocomial Infection in Hospital Emergency Departments
Cecilia Jaramillo, Dolores Rexachs, Emilio Luque, Francisco Epelde, Manel Taboada

Impedance-based Higher Order Sliding Mode Control for Grasping and Manipulation
Rakibul Hasan, Ranjan Vepa, Hasan Shaheed

LPV Fractional Solar Cell DC-DC Simulation for Autonomous Robotics (POSTER)
Antoni Grau, Yolanda Bolea

Situation Presumption for Swarm Robots by Sound Information (POSTER)
Yuta Kinoshita, Megumi Takezawa, Yuko Aoyama, Kazutaka Kitamori

SIMUL 5: Human-in simulation
Session chair: Heba Habib

Towards a New Alternative to Assess the Validity of Driving Simulators:
Christophe Deniaud, Vincent Honnet, Benoit Jeanne, Daniel Mestre

Consistency of the Stochastic Mesh Method
Yuri Kashtanov

Multiple Convolution Neural Networks for an Online Handwriting Recognition System
Việt Dũng Phạm

The Influence of Lateral, Roll and Yaw Motion Gains on Driving Performance on an Advanced Dynamic Simulator
Florian Savona, Anca Melania Stratulat, Emmanuelle Diaz, Vincent Honnet, Gilles Houze, Philippe Vars, Stéphane Masfrand, Vincent Roussarie, Christophe Bourdin

Developing an Open Source Mechanical Simulation Framework: Design Issues and Industrial Applications (PRESENTATION)
Alessandro Tasora, Ida Critelli

SIMUL 6: Building simulation
Session chair: Yoshinari Hashimoto

Different User Behavior’s Impact on Simulated Heating Demand in Energy Efficient Buildings
Hans Bagge, Dennis Johansson

Rare Event Handling in Signalling Cascades
Benoît Barbot, Serge Haddad, Monika Heiner, Claudine Picaronny

Program Generation Approach to Semi-Natural Simulators Design and Implementation
Emanuil Markov, Vesselin Gueorguiev, Ivan Evgeniev Ivanov

Semi-automated Generation of Simulated Software Components for Simulation Testing
Tomas Potuzak, Richard Lipka

Energy and Daylighting Performance of Senior Housing (Performance evaluation of a senior apartment in China)
Yuan Fang, Soolyeon Cho

SIMUL 7: Model-based system prediction
Session chair: Hans Bagge

Thickness Reduction Controller Design for Flying Gauge Change in a Cold Strip Mill
Tomoyoshi Ogasahara

Application of the Butler-Volmer Equation in Mathematical Modelling of Amperometric Biosensor
Dainius Šimelevičius, Karolis Petrauskas

Concept for Geopolitical Crisis Simulation as Assistance During a Decision Making Process
Maria Epp, André Brahmann, Uwe Chalupka, Oliver Kröning, Hendrik Rothe

Probabilistic Prognosis of Societal Political Violence by Stochastic Simulation
André Brahmann, Uwe Chalupka, Hendrik Rothe, Torsten Albrecht

SIMUL 8: Practical applications of process simulations I
Session chair: Uwe Chalupka

Simulation Analysis for Performance Improvements of GNSS-based Positioning in a Road Environment
Nam-Hyeok Kim, Chi-Ho Park, Soon Ki Jung

Online Heat Pattern Estimation in a Shaft Furnace by Particle Filter Logic
Yoshinari Hashimoto, Kazuro Tsuda

Weights Decision Analysis on the Integration of Navigation Satellite System and Vision System for Precise Positioning
Chi-Ho Park, Nam-Hyeok Kim

Production-Sales Policies for New Product Diffusion under Stochastic Supply
Ashkan Negahban, Jeffrey S. Smith

SIMUL 9: Practical applications of process simulations II
Session chair: Klaus Hörmaier

Particle Simulation of Granular Flows in Electrostatic Separation Processes
Ida Critelli, Alessandro Tasora, Andrea Degiorgi, Marcello Colledani

Simulation as a Sensor of Emergency Departments: Providing Data for Knowledge Discovery
Eva Bruballa, Manel Taboada, Eduardo Cabrera, Dolores Rexachs, Emilio Luque

Social Sustainability and Manufacturing Simulation
Andi H. Widok, Volker Wohlgemuth

An Agent-Based Financial Market Simulator for Evaluation of Algorithmic Trading Strategies
Rui Hu, Stephen Watt

SIMUL 10: Simulation methodologies I
Session chair: Stephen M. Watt

Simulation-based Completeness Analysis and Adaption of Fault Trees
Volker Gollücke, Jan Pinkowski, Christoph Läsche, Sebastian Gerwinn, Axel Hahn

Investigation of Solver Technologies for the Simulation of Brittle Materials
Arash Ramezani, Hendrik Rothe

Improving Simulators Quality Using Model and Data Validation Techniques
Vesselin Gueorguiev

Fuzzy Discrete-Event Systems Modeling and Simulation with Fuzzy Control Language and DEVS Formalism
Jean Francois Santucci, Laurent Capocchi

Integrating Simulation Modelling and Value Stream Mapping for Leaner Capacity Planning of an Emergency Department
Esmst Swallmeh, Ayman Tobail, Waleed Abo-Hamad, James Gray, Amr Arisha

SIMUL 11: Simulation methodologies II
Session chair: Arash Ramezani

Model-based Method to achieve EMC for Distributed Safety-Relevant Automotive Systems
Andreas Baumgart, Klaus Hörmaier, Gerhard Deuter

Agent-based Simulation of Information and Communications Technology Practicum Courses for Engineering Students at Instituto Tecnológico Metropolitano
Julian Andres Castillo Grisales, Cristian Felipe Gallego Ramirez, Yony Fernando Ceballos, Carlos Orlando Zapata Garcia

A Unified Framework for Uncertainty and Sensitivity Analysis of Computational Models with Many Input Parameters
Li Gu, C. F. Jeff Wu

An Agent-based Model to Support Measuring Drug Choice and Switch Between Drug Types in Rural Populations
Georgiy Bobashev, Eric Solano, Lee Hoffer

SOTICS 2014, The Fourth International Conference on Social Eco-Informatics

SOTICS 1: Social eco-informatics
Session chair: Lasse Berntzen

An Audiobooks-based Approach for Creating a Speech Corpus for Acoustic Models
Salvatore Michele Biondi, Vincenzo Catania, Raffaele Di Natale, Antonio Rosario Intilisano, Ylenia Cilano, Giuseppe Monteleone, Daniela Panno

Electronic Word-of-Mouth Spread in Twitter as a Function of Message Sentiment
Benny Bornfeld, Sheizaf Rafaeli, Daphne Ruth Raban

Supporting Social Discovery of Appropriate Candidates for Promotion to Administrative Status in Wikipedia
Mark Zachry, David McDonald

VALID 2014, The Sixth International Conference on Advances in System Testing and Validation Lifecycle

VALID 1: Testing techniques and mechanisms
Session chair: David Delfieu

Adaptive Knowledge-Supported Testing: An Approach for Improving Testing Efficiency
Philipp Helle, Wladimir Schamai

Test-Driven Agile Simulation for Design of Image Processing Systems
Anna Yupatova, Vitali Schneider, Winfried Dulz, Reinhard German

A Testability Transformation Approach for Programs with Assertions
Ali Alakeel

Investigation of Opportunities for Test Case Selection Optimisation Based on Similarity Computation and Search-Based Minimisation Algorithms
Eike Steffen Reetz, Daniel Kuemper, Klaus Moessner, Ralf Tönjes

VALID 2: Software verification and validation
Session chair: Eike Steffen Reetz

Algebraic Analysis of Branching Processes
David Delfieu, Maurice Comlan, Médésu Sogbohossou

From Semantic IoT-Service Descriptions to Executable Test Cases - Information Flow of an Implemented Test Framework
Daniel Kuemper, Eike Reetz, Marten Fischer, Ralf Toenjes, Elke Pulvermueller

A Novel Approach for Environment Model-Based Functional Testing of Reactive Systems
Annamária Szenkovits, Hunor Jakab

Inconsistencies-based Multi-Region Protocol Verification
Tukaram Muske, Amey Zare

Test Education for University and University of Applied Science, an Update (POSTER)
Jos van Rooyen

VALID 3: System and feature testing I
Session chair: Külli Sarna

Towards a Holistic Architecture for a SIP Test Framework
Teemu Kanstrén, Pekka Aho

Performance Impact of Correctable Errors on High Speed Buses
Daniel Ballegeer, David Blankenbeckler, Subhasish Chakraborty, Tal Israeli

Functional Testing - A SOA & BPM Approach
William Gontier, Franck Hennequin, Fabien Lloansi

Comparison Sequential Life Test (POSTER)
Yefim Michlin, Dov Ingman, Lilach Levin-David

VALID 4: System and feature testing II
Session chair: Teemu Kanstren

A Model-Based Testing Methodology for the Systematic Validation of Highly Configurable Cyber-Physical Systems
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria

Aspect-Oriented Testing of a Rehabilitation System
Külli Sarna, Jüri Vain

A Configurable Test Architecture for the Automatic Validation of Variability-Intensive Cyber-Physical Systems
Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria

IBM SAN Distance Matrix Project
Yoram Adler, Tara Astigarraga, Sheri Jackson, Jose Roberto Mosqueda Mejia, Orna Raz

 
 

Copyright (c) 2006-2014, IARIA