 |
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 || @: h3346@accor.com
http://www.mercure.com/gb/hotel-3346-mercure-lisboa/index.shtml
Conference rooms |
Room A |
Room B |
Room C |
Room D |
Sunday, November 18
13:30 |
Registration starts |
15:00 - 18:00 |
Tutorial IBM Test Overview and Best Practices by Tara Astigarraga |
|
|
18:00 - 19:00 |
Welcome Cocktail |
Monday, November 19
09:00 - 09:15 |
Opening session |
|||
09:15 - 10:15 |
Keynote Speaker Quality Analysis of Service-Oriented Architectures |
|||
10:15 - 10:30 |
Coffee Break |
|||
10:30 - 12:15 |
ICSEA1 |
ICSEA15 |
ICSNC1 |
SIMUL1 |
12:15 - 13:45 |
Lunch on your own |
|||
13:45 - 15:30 |
ICSEA2 |
ICSEA16 |
ICSNC2 |
VALID1 |
15:30 - 15:45 |
Coffee break |
|||
15:45 - 17:30 |
ICSEA3 |
ICSEA17 |
ICSNC3 |
CENTRIC1 |
17:30 -18:00 |
Keynote Speaker Model-Based Testing for Enterprise Application Software: from Business Processes and Business Rules to Tests |
|||
18:00 - 20:00 |
PANEL Challenges in Testing and Validation of Hardware/Software Systems Moderator Panelists |
|||
Tuesday, November 20
09:15 - 10:15 |
Keynote Speaker Mutation Testing |
|||
10:15 - 10:30 |
Coffee Break |
|||
10:30 - 12:15 |
ICSEA4 |
ICSEA18 |
ICSNC4 |
VALID2 |
12:15 - 13:45 |
Lunch on your own |
|||
13:45 - 15:30 |
ICSEA5 |
ICSEA19 |
ICSNC5 |
SIMUL2 |
15:30 - 15:45 |
Coffee break |
|||
15:45 - 17:30 |
ICSEA6 |
ICSEA20 |
|
CENTRIC2 |
17:30 - 17:45 |
Coffee break |
|||
17:45 - 19:30 |
ICSEA7 |
ICSEA21 |
ICSNC6 |
SIMUL3 |
Wednesday, November 21
09:15 -10:15 |
Keynote Speaker Normalized Systems: Towards Designing Evolvable Modular Structures |
|||
10:15 - 10:30 |
Coffee Break |
|||
10:30 - 12:15 |
ICSEA8 |
ICSEA22 |
ICSNC7 |
VALID3 |
12:15 - 13:45 |
Lunch on your own |
|||
13:45 - 15:30 |
ICSEA9 |
ICSEA23 |
ICSNC8 |
CENTRIC3 |
15:30 - 15:45 |
Coffee break |
|||
15:45 - 17:30 |
ICSEA10 |
ICSEA24 |
VALID4 |
SIMUL4 |
17:30 - 17:45 |
Coffee Break |
|||
17:45 - 19:30 |
ICSEA11 |
ICSEA25 |
ICSNC9 |
SIMUL5 |
|
||||
19:30: Bus |
SoftNet GALA DINNER Restaurant: Pateo de Alfama //
R. de São João da Praça 18 |
|||
Thursday, November 22
09:15 -10:15 |
Keynote Speaker Envisioning the Next Software Development Era |
|||
10:15 - 10:30 |
Coffee Break |
|||
10:30 - 12:15 |
ICSEA12 |
ICSEA13 |
CENTRIC4 |
SIMUL6 |
12:15 - 13:45 |
Lunch on your own |
|||
13:45 - 15:30 |
PANEL User-Centric Requirements of Hardware/Software Systems Moderator Panelists |
|||
15:30 - 15:45 |
Coffee Break |
|||
15:45 - 17:30 |
ICSEA14 |
ICSNC10 |
CENTRIC5 |
VALID5 |
17:30 - 18:00 |
Closing session |
|||
Friday, November 23
8:00am - 6:00pm |
One day trip (by bus), including lunch
The Medieval Borough of Alfama |
DETAILED PROGRAM
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
