 |
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 |
Room A |
Room B |
Room C |
Room D |
Sunday, October 12
12:00 |
Registration starts |
13:30 - 16:00 |
How Can You Support Your Software Development Method with ESSENCE? |
16:00 - 16:15 |
|
16:15 - 18:45 |
User-centric Innovation |
|
|
19:00 - 20:00 |
Welcome 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 |
|||
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 Panelists |
|||
Tuesday, October 14
09:15 - 10:15 |
Keynote Speaker Software Estimation: Practical Insights & Orphean Research Issues |
|||
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 Panelists |
|||
Wednesday, October 15
09:15 - 10:15 |
Keynote Speaker Research Challenges and Opportunities for the Development of Complex Systems: An Industrial Perspective |
|||
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 Panelists |
|||
|
|
|||
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
