Task Migration for Fault-Tolerant FlexRay Networks / Kay Klobedanz ; Gilles B. Defo ; Henning Zabel ; Wolfgang Mueller ; Yuan Zhi
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems / LuÃs Nogueira ; LuÃs Miguel Pinho ; Jorge Coelho
Verification and Validation
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems / Alexander Bol ; Alexander Krupp ; Ola Lundkvist
Model Checking of Concurrent Algorithms: From Java to C / Cyrille Artho ; Masami Hagiya ; Watcharin Leungwattanakit ; Yoshinori Tanabe ; Mitsuharu Yamamoto
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services / Sufyan Samara ; Yuhong Zhao ; Franz J. Rammig
Efficient Mutation-Analysis Coverage for Constrained Random Verification / Tao Xie ; Florian Letombe
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors / Roshan Ragel ; Angelo Ambrose ; Jorgen Peddersen ; Sri Parameswaran
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement / Markus Becker
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems / Steffen Kollmann ; Victor Pollex ; Frank Slomka
Distributed Architectures and Design Support
Dependency-Driven Distribution of Synchronous Programs / Daniel Baudisch ; Jens Brandt ; Klaus Schneider
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC / Philipp A. Hartmann ; Kim Grüttner ; Achim Rettberg ; Ina Podolski
Ants and Adaptive Systems / Peter Lindsay ; Mike Hinchey ; Jon Timmis
Model Checking the Ant Colony Optimisation / Lucio Mauro Duarte ; Luciano Foss ; Flávio Rech Wagner ; Tales Heimfarth
Feature Selection for Classification Using an Ant System Approach / Nadia Abd-Alsabour
Novelty-Aware Attack Recognition-Intrusion Detection with Organic Computing Techniques / Dominik Fisch ; Ferdinand Kastl ; Bernhard Sick
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms / Wenjing Zhao ; Jiangjun Tang ; Sameer Alam ; Axel Bender ; Hussein A. Abbass
Learning Classifier Systems and Collaborative Systems
A Collaborative Decision Support Model for Marine Safety and Security Operations / Uwe Glässer ; Piper Jackson ; Ali Khalili Araghi ; Hans Wehn ; Hamed Yaghoubi Shahir
Combining Software and Hardware LCS for Lightweight On-Chip Learning / Andreas Bernauer ; Johannes Zeppenfeld ; Oliver Bringmann ; Andreas Herkersdorf ; Wolfgang Rosenstiel
Collaborating and Learning Predators on a Pursuit Scenario / Nugroho Fredivianus ; Urban Richter ; Hartmut Schmeck
SelSta-A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking / Bojan Jakimovski ; Michael Kotke ; Martin Hörenz ; Erik Maehle
Author Index
Distributed and Parallel Embedded Systems (DIPES 2010)
Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann
Harnessing ISO/IEC 12207 to Examine the Extent of SPI Activity in an Organisation / Paul Clarke ; Rory O'Connor
Team SPICE: A SPICE-Based Teamwork Assessment Model / Esperança Amengual ; Antònia Mas ; Antoni LluÃs Mesquida
MATURE: A Model Driven bAsed Tool to Automatically Generate a Language that Supports CMMI Process Areas spEcification / David Musat ; VÃctor Castaño ; Jose A. Calvo-Manzano ; Juan Garbajosa
Requirement Changes and Project Success: The Moderating Effects of Agile Approaches in System Engineering Projects / Sabine Maierhofer ; Ernst Stelzmann ; Markus Kohlbacher ; Björn Fellner
Software Process Improvement Initiatives Based on Quality Assurance Strategies: A QATAM Pilot Application / Dietmar Winkler ; Frank Elberzhager ; Stefan Biffl ; Robert Eschbach
Improving Video Game Development: Facilitating Heterogeneous Team Collaboration through Flexible Software Processes / Juergen Musil ; Angelika Schweda
Improving IT Service Management Processes: A Case Study on IT Service Support / Antti Lahtela ; Marko Jäntti
Approach to Identify Internal Best Practices in a Software Organization / Calvo-Manzano Jose A. ; Cuevas Gonzalo ; Mejia Jezreel ; Muñoz Mirna ; San Feliu Tomás ; Sánchez Ãngel ; Rocha Ãlvaro
Which Process Model Practices Support Project Success? / Marion Lepmets
The Tutelkan SPI Framework for Small Settings: A Methodology Transfer Vehicle / Gonzalo Valdes ; Hernán Astudillo ; Marcello Visconti ; Claudia López
Understanding the Perception of Very Small Software Companies towards the Adoption of Process Standards / Shuib Basri ; Rory V. O'Connor
Software Engineering Support Activities for Very Small Entities / Vincent Ribaud ; Philippe Saliou ; Claude Y. Laporte
Improving Software Development Process through Economic Mechanism Design / Murat Yilmaz ; John Collins
Impact of Growing Business on Software Processes / Natalja Nikitina ; Mira Kajko-Mattsson
The Rosetta Stone Methodology - A Benefits-Driven Approach to SPI / Fionbarr McLoughlin ; Ita Richardson
SPICE Level 3 - Experience with Using E-Learning to Coach the Use of Standard System Design Best Practices in Projects / R. Messnarz ; O. Bachmann ; D. Ekert ; A. Riel
Mjølner's Software Process Improvement: A Discussion and Strengthening Using the SPI Manifesto / Mikkel Yde Kjær ; Jens Bæk Jørgensen
Integrated Design - A Set of Competences and Skills Required by Systems and Product Architects / Andreas Riel
Agility Meets Systems Engineering: A Catalogue of Success Factors from Industry Practice / Christian Kreiner ; Gunther Spork ; Richard Messnarz ; Frank Koenig
How Green Is Your Black Belt? / Dick Theisens
Exploring Managerial Commitment towards SPI in Small and Very Small Enterprises / Gerry Coleman
Implementation of Software Process Improvement through TSPi in Very Small Enterprises / Edgar Caballero ; Gonzalo Cuevas ; Tomás San Feliu
Application of ISO/IEC 15504 in Very Small Enterprises / Antonia Mas
Author Index
A Framework for Process Improvement in Software Product Management / Willem Bekkers ; Inge van de Weerd ; Marco Spruit ; Sjaak Brinkkemper
Evaluating a Novel Cellular Automata-Based Distributed Power Management Approach for Mobile Wireless Sensor Networks / Sepideh Adabi ; Sahar Adabi ; Ali Rezaee
Effects of Feature Selection Using Binary Particle Swarm Optimization on Wheat Variety Classification / Ahmet Babalik ; Ömer Kaan Baykan ; Hazim Iscan ; Ismail Babaoglu ; Oguz Findik
A Comparison of Artificial Intelligence Methods on Determining Coronary Artery Disease / Nazif Aygül ; Kurtulus Özdemir ; Mehmet Bayrak
Using Chaotic System in Encryption / Sirzat Kahramanli
Secure Medical Diagnosis Using Rule Based Mining / M.A. Saleem Durai ; N.Ch. Sriman Narayana Iyengar
Factors Affecting Intention to Use in Social Networking Sites: An Empirical Study on Thai Society / Rath Jairak ; Napath Sahakhunchai ; Kallaya Jairak ; Prasong Praneetpolgrang
A General Bayesian Network Approach to Analyzing Online Game Item Values and Its Influence on Consumer Satisfaction and Purchase Intention / Kun Chang Lee ; Bong- Won Park
U-BASE: General Bayesian Network-Driven Context Prediction for Decision Support / Heeryon Cho ; Sunyoung Lee
A Dynamic Bayesian Network Approach to Location Prediction in Ubiquitous Computing Environments
Information Management for Dependability / Paul Mason
A Prototype for the Support of Integrated Software Process Development and Improvement / Nalinpat Porrawatpreyakorn ; Gerald Quirchmayr ; Wichian Chutimaskul
The Effects of Organizational Experiences on Career Satisfaction of IT Postsecondary Teachers in Thailand / Theerapath Prawatrungruang ; Pruthikrai Mahatanankoon ; James Wolf ; Joaquin Vila-Ruiz
Knowledge-Centric Management of Business Rules in a Pharmacy / Juha Puustjärvi ; Leena Puustjärvi
Head Pose Estimation on Eyeglasses Using Line Detection and Classification Approach / Pisal Setthawong ; Vajirasak Vannija
Feature Selection for Neural Network Based Stock Prediction / Prompong Sugunnasil ; Samerkae Somhom
Design Concept for Garbage Bin with Situation Awareness Feature / Montri Supattatham ; Borworn Papasratorn
Application of Cellular Automata in Symmetric Key Cryptography / Miroslaw Szaban ; Jerzy Pawel Nowacki ; Aldona Drabik ; Franciszek Seredynski ; Pascal Bouvry
Detection of LiveLock in BPMN Using Process Expression / Nasi Tantitharanukul ; Watcharee Jumpamule
The Effect of Background Traffic Packet Size to VoIP Speech Quality / Tuul Triyason ; Prasert Kanthamanon ; Kittipong Warasup ; Siam Yamsaengsung
Classification of Internal Carotid Artery Doppler Signals Using Hidden Markov Model and Wavelet Transform with Entropy / Harun Uguz ; Halife Kodaz
Genetic Algorithm with Species for Regularization Network Metalearning / Roman Neruda ; Petra Vidnerová
Integrating Personalized and Community Services for Mobile Travel Planning and Management / Chien-Chih Yu
Author Index
Evaluating a Novel Cellular Automata-Based Distributed Power Management Approach for Mobile Wireless Sensor Networks / Sepideh Adabi ; Sahar Adabi ; Ali Rezaee
Effects of Feature Selection Using Binary Particle Swarm Optimization on Wheat Variety Classification / Ahmet Babalik ; Ömer Kaan Baykan ; Hazim Iscan ; Ismail Babaoglu ; Oguz Findik
A Comparison of Artificial Intelligence Methods on Determining Coronary Artery Disease / Nazif Aygül ; Kurtulus Özdemir ; Mehmet Bayrak
From Sustainable Information System with a Farandole of Models to Services / Michel Léonard ; Jolita Ralyté
On Roles of Models in Information Systems / Arne Sølvberg
Contemporary Challenges in Requirements Discovery and Validation: Two Case Studies in Complex Environments / Sean Hansen ; Kalle Lyytinen
Semantic Requirements Engineering / Motoshi Saeki
Goal-Based Domain Modeling as a Basis for Cross-Disciplinary Systems Engineering / Matthias Jarke ; Hans W. Nissen ; Thomas Rose ; Dominik Schmitz
Intentional Alignment and Interoperability in Inter-Organization Information Systems / Naveen Prakash
Requirements Engineering for Enterprise Systems: What We Know and What We Don't Know? / Maya Daneva ; Roel Wieringa
Requirements as Goals and Commitments Too / Amit K. Chopra ; John Mylopoulos ; Fabiano Dalpiaz ; Paolo Giorgini ; Munindar P. Singh
A Method for Capturing and Reconciling Stakeholder Intentions Based on the Formal Concept Analysis / Mikio Aoyama
Fostering the Adoption of i* by Practitioners: Some Challenges and Research Directions / Xavier Franch
Rights and Intentions in Value Modeling / Paul Johannesson ; Maria Bergholtz
An Intentional Perspective on Enterprise Modeling / Janis Bubenko Jr. ; Anne Persson ; Janis Stirna
A Goal-Based Approach for Learning in Business Processes / Pnina Soffer ; Johny Ghattas ; Mor Peleg
Linking Goal-Oriented Requirements and Model-Driven Development / Oscar Pastor ; Giovanni Giachetti
Testing Conceptual Schema Satisfiability / Antoni Olivé ; Albert Tort
A Systematic Approach to Define the Domain of Information System Security Risk Management / Éric Dubois ; Patrick Heymans ; Nicolas Mayer ; Raimundas Matulevicius
Methodologies for Design of Service-Based Systems / Barbara Pernici
Quality Assurance in the Presence of Variability / Kim Lauenroth ; Andreas Metzger ; Klaus Pohl
Method Engineering: A Service-Oriented Approach / Corine Cauvet
Collaborative Requirements Engineering: Bridging the Gulfs Between Worlds / Alistair Sutcliffe
Important Papers by Colette Rolland
Index
From Sustainable Information System with a Farandole of Models to Services / Michel Léonard ; Jolita Ralyté
On Roles of Models in Information Systems / Arne Sølvberg
Contemporary Challenges in Requirements Discovery and Validation: Two Case Studies in Complex Environments / Sean Hansen ; Kalle Lyytinen
Structuring Complexity Issues for Efficient Realization of Agile Business Requirements in Distributed Environment / Richard Mordinyi ; Eva Kühn ; Alexander Schatten
A Literature Review on Story Test Driven Development / Shelly Park
Improving Responsiveness, Bug Detection, and Delays in a Bureaucratic Setting: A Longitudinal Empirical IID Adoption Case Study / Caryna Pinheiro ; Jonathan Sillito
Dealing with Navigation and Interaction Requirements Changes in a TDD-Based Web Engineering Approach / Juan Burella ; Gustavo Rossi ; Esteban Robles Luna ; Julián Grigera
Adoption of Software Engineering Process Innovations: The Case of Agile Software Development Methodologies / Mali Senapathi
A Quantitative Comparison of Test-First and Test-Last Code in an Industrial Project / Burak Turhan ; Ayse Bener ; Pasi Kuvaja ; Markku Oivo
Product and Release Planning Practices for Extreme Programming / Gert van Valkenhoef ; Tommi Tervonen ; Bert de Brock ; Douwe Postmus
Experience Reports
Launchpad's Quest for a Better and Agile User Interface / Martin Albisetti
Distributed Meetings in Distributed Teams / Marc Bless
Transitioning a Large Organisation: Adopting TDD
What Agile Teams Can Learn from Sports Coaching
Prototypes Are Forever Evolving from a Prototype Project to a Full-Featured System / Hugo Corbucci ; Mariana V. Bravo ; Alexandre Freire da Silva ; Fernando Freire da Silva
Put It to the Test: Using Lightweight Experiments to Improve Team Processes / Michael Keeling
Kanban at an Insurance Company (Are You Sure?) / Olav Maassen ; Jasper Sonnevelt
Automated Acceptance Testing of High Capacity Network Gateway / Ran Nyman ; Ismo Aro ; Roland Wagner
So You Think You're Agile? / Colm O'hEocha ; Kieran Conboy ; Xiaofeng Wang
From a Timebox Tangle to a More Flexible Flow / Jørn Ola Birkeland
Stakeholder Engagement in the Evolutionary Design of an API / Ken Power
From Chaos to Kanban, via Scrum / Kevin Rutherford ; Paul Shannon ; Craig Judson ; Neil Kidd
Tech Challenges in a Large-Scale Agile Project / Harald Søvik ; Morten Forfang
Energy Project Story: From Waterfall to Distributed Agile / Tomáš Turecek ; Roman Šmirák ; Tomáš MalÃk ; Petr Bohácek
Design and Development in the "Agile Room": Trialing Scrum at a Digital Agency / Katerina Tzanidou
Posters
Reinforcing the Learning of Agile Practices Using Coding Dojos / Mariana Bravo ; Alfredo Goldman
AnnoTestWeb/Run: Annotations Based Acceptance Testing / David Connolly ; Frank Keenan ; Fergal Mc Caffery
Open Source and Agile Methods: Two worlds Closer than It Seems
A Technique to Classify and Compare Agile Methods / João M. Fernandes ; Mauro Almeida
What Language Does Agile Speak
Combining Open Space Technology (OST) with XP through Scenarios for Enhanced Requirements Elicitation / Sandra Kelly ; Namgyal Damdul
Balancing Scrum Project Management Process / Marion Lepmets ; Margus Nael
TDD Effects: Are We Measuring the Right Things? / Bruno Pedroso ; Ricardo Jacobi ; Marcelo Pimenta
Pair Programming: The Choice of a Partner / Laura Plonka
Agile Adoption Strategies in the Context of Agile in the Large: FLEXI Agile Adoption Industrial Inventory / Anna Rohunen ; Pilar Rodriguez ; Lech Krzanik ; Jouni Markkula
Educating 'RITA' with XP
Ph.D. Symposium
A Multiple Case Study of Teamwork in Norwegian Software Development Organizations / Viktoria Gulliksen
A Systematic Approach for Selection and Adoption of Agile Practices in Component-Based Projects / Iva Krasteva ; Sylvia Ilieva
Software Development: A Stakeholder Approach
A Framework for Situated Evaluation of Methodology Usage in Agile Environments
Panel
Collaboration in an Agile World / Steven Fraser ; Bjørn Alterhaug ; David Anderson ; Diana Larsen ; Scott Page
Author Index
Research Papers
Extending Refactoring Guidelines to Perform Client and Test Code Adaptation / Wafa Basit ; Fakhar Lodhi ; Usman Bhatti
Security Testing in Agile Web Application Development - A Case Study Using the EAST Methodology / Gencer Erdogan ; Per HÃ¥kon Meland ; Derek Mathieson
Spago4Q and the QEST nD Model: An Open Source Solution for Software Performance Measurement / Claudio A. Ardagna ; Ernesto Damiani ; Fulvio Frati ; Sergio Oltolina ; Mauro Regoli ; Gabriele Ruffatti
An Investigation of the Users' Perception of OSS Quality / Vieri del Bianco ; Luigi Lavazza ; Sandro Morasca ; Davide Taibi ; Davide Tosi
Engaging without Over-Powering: A Case Study of a FLOSS Project / Andrea Capiluppi ; Andres Baravalle ; Nick W. Heap
The Meso-level Structure of F/OSS Collaboration Network: Local Communities and Their Innovativeness / Guido Conaldi ; Francesco Rullani
To Patent or Not to Patent: A Pilot Experiment on Incentives to Copyright in a Sequential Innovation Setting / Paolo Crosetto
Voting for Bugs in Firefox: A Voice for Mom and Dad? / Jean-Michel Dalle ; Matthijs den Besten
The Nagios Community: An Extended Quantitative Analysis / Jonas Gamalielsson ; Björn Lundell ; Brian Lings
Collaborative Development for the XO Laptop: CODEX 2 / Andrew Garbett ; Karl Lieser ; Cornelia Boldyreff
Usability Innovations in OSS Development - Examining User Innovations in an OSS Usability Discussion Forum / Netta Iivari
Governance in Open Source Software Development Projects: A Comparative Multi-level Analysis / Chris Jensen ; Walt Scacchi
Evaluating the Readiness of Proprietary Software for Open Source Development / Terhi Kilamo ; Timo Aaltonen ; Imed Hammouda ; Teemu J. Heinimäki ; Tommi Mikkonen
Where and When Can Source Thrive? Towards a Theory of Robust Performance / Sheen S. Levine ; Michael J. Prietula
How Open Are Local Government Documents in Sweden? A Case for Open Standards
Bug Localization Using Revision Log Analysis and Open Bug Repository Text Categorization / Amir H. Moin ; Mohammad Khansari
T-DOC: A Tool for the Automatic Generation of Testing Documentation for OSS Products
Open Source Introducing Policy and Promotion of Regional Industries in Japan / Tetsuo Noda ; Terutaka Tansho
Comparing OpenBRR, QSOS, and OMM Assessment Models / Etiel Petrinja ; Alberto Sillitti ; Giancarlo Succi
Joining and Socialization in Open Source Women's Groups: An Exploratory Study of KDE-Women / Yixin Qiu ; Katherine J. Stewart ; Kathryn M. Bartol
Download Patterns and Releases in Open Source Software Projects: A Perfect Symbiosis? / Bruno Rossi ; Barbara Russo
Modelling Failures Occurrences of Open Source Software with Reliability Growth
A Field Study on the Barriers in the Assimilation of Open Source Server Software / Kris Ven ; Jan Verelst
Reclassifying Success and Tragedy in FLOSS Projects / Andrea Wiggins ; Kevin Crowston
Short Papers / Part II:
Three Strategies for Open Source Deployment: Substitution, Innovation, and Knowledge Reuse / Jonathan P. Allen
Coordination Implications of Software Coupling in Open Source Projects / Chintan Amrit ; Jos van Hillegersberg
Industry Regulation through Open Source Software: A Strategic Ownership Proposal / Jean-Lucien Hardy
Proposal for Solving Incompatibility Problems between Open-Source and Proprietary Web Browsers / Jun Iio ; Hiroyuki Shimizu ; Hisayoshi Sasaki ; Akihiro Matsumoto
FLOSS Communities: Analyzing Evolvability and Robustness from an Industrial Perspective / Daniel Izquierdo-Cortazar ; Jesús M. González-Barahona ; Gregorio Robles ; Jean-Christophe Deprez ; Vincent Auvray
Profiling F/OSS Adoption Modes: An Interpretive Approach / David López ; Carmen de Pablos ; Roberto Santos
Introducing Automated Unit Testing into Open Source Projects / Christopher Oezbek
A Case Study on the Transformation from Proprietary to Open Source Software / Alma Orucevic-Alagic ; Martin Höst
High-Level Debugging Facilities and Interfaces: Design and Development of a Debug-Oriented I.D.E. / Nick Papoylias
To Rule and Be Ruled: Governance and Participation in FOSS Projects / Zegaye Seifu ; Prodromos Tsiavos
A Comparison Framework for Open Source Software Evaluation Methods / Klaas-Jan Stol ; Muhammad Ali Babar
An Exploratory Long-Term Open Source Activity Analysis: Implications from Empirical Findings on Activity Statistics / Toshihiko Yamakami
Challenges for Mobile Middleware Platform: Issues for Embedded Open Source Software Integration
Open Source Software Developer and Project Networks / Matthew Van Antwerp ; Greg Madey
Warehousing and Studying Open Source Versioning Metadata
Workshop / Part III:
Workshop - Open Source Software for Computer Games and Virtual Worlds: Practice and Future / Per Backlund
WoPDaSD 2010: 5th Workshop on Public Data about Software Development / Megan Squire
Second International Workshop on Building Sustainable Open Source Communities: OSCOMM 2010
Open Source Policy and Promotion of IT Industries in East Asia / Sangmook Yi ; Dongbin Wang
OSS 2010 Doctoral Consortium (OSS2010DC)
Panels / Part IV:
Student Participation in OSS Projects / Gregory W. Hislop ; Heidi J.C. Ellis ; Greg DeKoenigsberg ; Darius Jazayeri
Open Source Software/Systems in Humanitarian Applications (H-FOSS)
The FOSS 2010 Community Report
The Present and Future of FLOSS Data Archives
Author Index
Full Papers / Part I:
Spago4Q and the QEST nD Model: An Open Source Solution for Software Performance Measurement / Claudio A. Ardagna ; Ernesto Damiani ; Fulvio Frati ; Sergio Oltolina ; Mauro Regoli ; Gabriele Ruffatti
An Investigation of the Users' Perception of OSS Quality / Vieri del Bianco ; Luigi Lavazza ; Sandro Morasca ; Davide Taibi ; Davide Tosi
Mapping Software Acquisition Practices from ISO 12207 and CMMI / Francisco J. Pino ; Maria Teresa Baldassarre ; Mario Piattini ; Giuseppe Visaggio ; Danilo Caivano
Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications / Daniela Pohl ; Andreas Bollin
A Model Driven Approach to Upgrade Package-Based Software Systems / Antonio Cicchetti ; Davide Di Ruscio ; Patrizio Pelliccione ; Alfonso Pierantonio ; Stefano Zacchiroli
Coupling Metrics for Aspect-Oriented Programming: A Systematic Review of Maintainability Studies / Rachel Burrows ; Alessandro Garcia ; François Taïani
Revealing Commonalities Concerning Maintenance of Software Product Line Platform Components / Martin Assmann ; Gregor Engels ; Thomas von der Massen ; Andreas Wübbeke
Service Based Development of a Cross Domain Reference Architecture / Liliana Dobrica ; Eila Ovaska
Author Index
Evaluation of Novel Approaches to Software Engineering 2008 / Part I:
Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques / Motoshi Saeki ; Haruhiko Kaiya
On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model / Winfried Dulz
Effective Web and Desktop Retrieval with Enhanced Semantic Spaces / Amjad M. Daoud
Considering Patterns in Class Interactions Prediction / Nazri Kama ; Tim French ; Mark Reynolds
Design of an Unattended Monitoring System Using Context-Aware Technologies Based on 3 Screen / Seoksoo Kim
Requirements Elicitation Using Paper Prototype / Jaya Vijayan ; G. Raju
Quality-Driven Architecture Conformance / Jose L. Arciniegas ; Juan C. Dueñas
Trends in M2M Application Services Based on a Smart Phone / Jae Young Ahn ; Jae-gu Song ; Dae-Joon Hwang
Using ERP and WfM Systems for Implementing Business Processes: An Empirical Study / Lerina Aversano ; Maria Tortorella
Mining Design Patterns in Object Oriented Systems by a Model-Driven Approach / Mario Luca Bernardi ; Giuseppe Antonio Di Lucca
Exploring Empirically the Relationship between Lack of Cohesion and Testability in Object-Oriented Systems / Linda Badri ; Mourad Badri ; Fadel Toure
The Study of Imperfection in Rough Set on the Field of Engineering and Education / Tian-Wei Sheu ; Jung-Chin Liang ; Mei-Li You ; Kun-Li Wen
The Software Industry in the Coffee Triangle of Colomiba / Albeiro Cuesta ; Luis Joyanes ; Marcelo López
Towards Maintainability Prediction for Relational Database-Driven Software Applications: Evidence from Software Practitioners / Mehwish Riaz ; Emilia Mendes ; Ewan Tempero
Software and Web Process Improvement - Predicting SPI Success for Small and Medium Companies / Muhammad Sulayman
Test Prioritization at Different Modeling Levels / Fevzi Belli ; Nida Gökçe
Adoption of Requirements Engineering Practices in Malaysian Software Development Companies / Badariah Solemon ; Shamsul Sahibuddin ; Abdul Azim Abd Ghani
Minimum Distortion Data Hiding / Md. Amiruzzaman ; M. Abdullah-Al-Wadud ; Yoojin Chung
ISARE: An Integrated Software Architecture Reuse and Evaluation Framework / Rizwan Ahmad ; Saif ur Rehman Khan ; Aamer Nadeem ; Tai-hoon Kim
Cognitive Informatics for New Classes of Economic and Financial Information Systems / Lidia Ogiela ; Marek R. Ogiela
An Automated Approach to Testing Polymorphic Features Using Object-Z / Mahreen Ahmad
IDMS: A System to Verify Component Interface Completeness and Compatibility for Product Integration / Wantana Areeprayolkij ; Yachai Limpiyakorn ; Duangrat Gansawat
Software Framework for Flexible User Defined Metaheuristic Hybridization / Suraya Masrom ; Siti Zaleha Zainal Abidin ; Puteri Norhashimah Megat Abdul Rahman ; Abdullah Sani Abd. Rahman
Program Visualization for Debugging Deadlocks in Multithreaded Programs / Byung-Chul Kim ; Yong-Kee Jun
A Fast PDE Algorithm Using Adaptive Scan and Search for Video Coding / Jong-Nam Kim
Evolvability Characterization in the Context of SOA
Design and Implementation of an Enterprise Internet of Things / Jing Sun ; Huiqun Zhao ; Ka Wang ; Houyong Zhang ; Gongzhu Hu
Aggregating Expert-Driven Causal Maps for Web Effort Estimation / Simon Baker
Bug Forecast: A Method for Automatic Bug Prediction / Rudolf Ferenc
TCD: A Text-Based UML Class Diagram Notation and Its Model Converters / Hironori Washizaki ; Masayoshi Akimoto ; Atsushi Hasebe ; Atsuto Kubo ; Yoshiaki Fukazawa
SQL-Based Compound Object Comparators: A Case Study of Images Stored in ICE / Dominik Slezak ; Lukasz Sosnowski
Intermediate Structure Reduction Algorithms for Stack Based Query Languages / Marta Burzanska ; Krzysztof Stencel ; Piotr Wisniewski
Service-Oriented Software Framework for Network Management / Dongcheul Lee ; Byungjoo Park
Author Index
Effective Web and Desktop Retrieval with Enhanced Semantic Spaces / Amjad M. Daoud
Considering Patterns in Class Interactions Prediction / Nazri Kama ; Tim French ; Mark Reynolds
Design of an Unattended Monitoring System Using Context-Aware Technologies Based on 3 Screen / Seoksoo Kim
A Distributed Two-Version Multi-Granularity Locking Protocol for Multi-Controller Storage Systems / Chih-Chung Tsai ; Ya-Shu Chen ; Tei-Wei Kuo
A Medical Device Safety Supervision over Wireless / Cheolgi Kim ; Mu Sun ; Heechul Yun ; Lui Sha
A Novel Memory-Aware CPU Allocation Policy for Multicore NUMA Architecture / Dongwoo Kang ; Heekwon Park ; Jongmoo Choi
Power-Aware EDZL Scheduling upon Identical Multiprocessor Platforms / Xuefeng Piao ; Heeheon Kim ; Yookun Cho ; Sangchul Han ; Minkyu Park ; Monju Park ; Seongje Cho
Thermalaware Register File based on Heat Transfer / Jungwook Kim ; Seong Tae Jhang ; Chu Shik Jhon
Analysis of Autonomous Bandwidth-Delay-Balancing Characteristic in the Decay Usage Scheduler / Kyeongho Park ; Ju Hyun Lee ; Hoyoung Hwang ; Chang-Gun Lee ; Sang Lyul Min ; Hyo-Joong Suh
A Reliable Nested Transaction Model with Extension of Real-Time Characteristics / Seung-Jin Moon ; Sanghoon Lee
Network Computing & Security / Part II:
PDF: A Novel Probability-based Data Forwarding Scheme in Lossy Wireless Sensor Networks / Dang Tu Nguyen ; Wook Choi ; Hyunseung Choo
A New Green-Scheduling Approach to Maximize Wireless Multimedia Networking Lifetime via Packet and Path Diversity / Wei Wang ; Sung Shin
Design of a reliability enhancement scheme for the grid-topology mesh network / Junghoon Lee ; Gyung-Leen Park
A Reliable Watchdog Protocol with Two-way Mutual Confirmation in Wireless Multi-Hop Networks / Dongseung Shin ; Dongkyun Kim ; Jinwook Lee
Energy Efficient Power Management for Multi-Mode Wireless Network Devices / Bongjae Kim ; Boncheol Gu ; Jeongki Kim ; Chaedeok Lim ; Jiman Hong
An Efficient and Reliable flooding in MANETs / Jinman Jung ; Yeongkwun Kim ; Sangho Yi ; Hyungbae Park
A Fast Agreement Protocol for Underwater Wireless Sensor Networks / Hong Min ; Sangil Eo ; Joonhyouk Jang ; Junyoung Heo ; Gwangil Jeon
Autonomous traffic management for CDMA-based real-time services in in-building environments / Woon-Young Yeo ; Hyukjun Oh
Protection against Buffer Overflow Attacks via Dynamic Binary Translation / Chun-Chung Chen ; Shih-Hao Hung ; Chen-Pang Lee
Applications / Part III:
XA2C Framework for XML Alteration/Adaptation / Gilbert Tekli ; Richard Chbeir ; Jacques Fayolle
An Automatic Method for WorldNet Concept Enrichment using Wikipedia Titles / Myunggwon Hwang ; Dongjin Choi ; Byeongkyu Ko ; Junho Choi ; Pankoo Kim
Design of Interval Type-2 Fuzzy Set-based Fuzzy Neural Networks Using Successive Tuning Method / Keon-Jun Park ; Sung-Kwun Oh ; Yong-Kab Kim
Multimedia / Part IV:
Improving Image Segmentation Algorithms with Differential Evolution / Chih-Cheng Hung ; Ziwei Ren ; Wenfan Li ; Qing Yang
TOF Camera based 3D Fingertip Location Estimation / Yangkeun Ahn ; Minwook Kim ; Kwangmo Jung ; Taehyoung Kim ; Jaehoon Ahn ; Sukil Hong
Index
Embedded & Computer Systems / Part I:
A Distributed Two-Version Multi-Granularity Locking Protocol for Multi-Controller Storage Systems / Chih-Chung Tsai ; Ya-Shu Chen ; Tei-Wei Kuo
A Medical Device Safety Supervision over Wireless / Cheolgi Kim ; Mu Sun ; Heechul Yun ; Lui Sha
Analysing the Usage of Tools in Pair Programming Sessions / Ilenia Fronza ; Alberto Sillitti ; Giancarlo Succi ; Jelena Vlasenko
Studying Lean-Kanban Approach Using Software Process Simulation / David Anderson ; Giulio Concas ; Maria Ilaria Lunesu ; Michele Marchesi
A Feature Partitioning Method for Distributed Agile Release Planning / Ãkos Szoke
Collaboration in Pair Programming: Driving and Switching / Laura Plonka ; Judith Segal ; Helen Sharp ; Janet van der Linden
Using Silent Grouping to Size User Stories / Ken Power
Supporting Self-organizing Agile Teams: What's Senior Management Got to Do with It? / Rashina Hoda ; James Noble ; Stuart Marshall
From Manufacture to Software Development: A Comparative Review / Eduardo T. Katayama ; Alfredo Goldman
Effective Communication in Distributed Agile Software Development / Siva Dorairaj ; Petra Malik
Simulating Kanban and Scrum vs. Waterfall with System Dynamics / Luisanna Cocco ; Katiuscia Mannaro
Factors Affecting Effectiveness of Agile Usage - Insights from the BBC Worldwide Case Study / Mali Senapathi ; Peter Middleton ; Gareth Evans
Challenges to Teamwork: A Multiple Case Study of Two Agile Teams / Viktoria Gulliksen Stray ; Nils Brede Moe ; Torgeir Dingsøyr
TaskBoard - Using XP to Implement Problem-Based Learning in an Introductory Programming Course / Halley Wesley A.S. Gondim ; Ana Paula L. Ambrósio ; Fábio M. Costa
Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia / Ani Liza Asnawi ; Andrew M. Gravell ; Gary B. Wills
Pair Programming and Software Defects - An Industrial Case Study / Nattakarn Phaphoom
Test-Driven Development of Graphical User Interfaces: A Pilot Evaluation / Theodore D.Hellmann ; Ali Hosseini-Khayat ; Frank Maurer
A Test-Driven Approach for Extracting Libraries of Reusable Components from Existing Applications / Elaf Selim ; Yaser Ghanam ; Chris Burns ; Teddy Seyed
An Empirical Study of Decision Making, Participation, and Empowerment in Norwegian Software Development Organisations / Bjørnar Tessem
Experience Reports
A Case Study in Agile-at-Scale Delivery / Alan W. Brown
A Never Ending Battle for Continuous Improvement / J.J. Zang
Agile Technical Management of Industrial Contracts; Scrum Development of Ground Segment Software at the European Space Agency / Rui Santos ; Felix Flentge ; Marc-Elian Begin ; Vicente Navarro
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks / Pruet Boonma ; Junichi Suzuki
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study / Emil Vassev ; Serguei A. Mokhov
A Logical Approach to Data-Aware Automated Sequence Generation / Sylvain Hallé ; Roger Villemaire ; Omar Cherkaoui ; Rudy Deca
Author Index
Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks / Aran Prakash ; Zoltán Theisz ; Ranganai Chaparadza
Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks / Cem Safak Sahin ; M. Ümit Uyar ; Stephen Gundry ; Elkin Urrea
Data Intensive Distributed Computing in Data Aware Self-organizing Networks / Cong-Vinh Phan
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
Integration of Application Business Logic and Business Rules with DSL and AOP / Bogumila Hnatkowska ; Krzysztof Kasprzyk
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling / Radoslav Menkyna ; Valentino Vranic
On the Evolution of Component-Based Software / Isabelle Côté ; Maritta Heisel ; Jeanine Souquières
Query Processing Using Negative and Temporal Tuples in Stream Query Engines / Marcin Gorawski ; Aleksander Chrószcz
Scalable Store of Java Objects Using Range Partitioning / Mariusz Bedla ; Krzysztof Sapiecha
Modelling and Formal Methods in Software Development / Part II:
HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration / Slawomir Samolej ; Tomasz Szmuc
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers / Tomasz Rak ; Jan Werewka
Information Systems Development Based on Visual Domain Specific Language BiLingva / Jana Cerina-Berzina ; Janis Bicevskis ; Ģirts Karnitis
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management / Iman Poernomo ; Timur Umarau
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach / Maxime Rebout ; Louis Féraud ; Lionel Marie-Magdeleine ; Sergei Soloviev
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge / Bozena Woźna-Szczesniak
The Semantics of Role-Based Trust Management Languages / Anna Felkner ; Krzysztof Sacha
Measurements, Testing, and Quality of Software / Part III:
Applying of Smart Technologies: Evaluation of Effectiveness / Zane Bicevska
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members / Marvin Ferber ; Sascha Hunold ; Björn Krellner ; Thomas Rauber ; Thomas Reichel ; Gudula Rünger
Dataflow Testing of Java Programs with DFC / Rona Bluemke ; Artur Rembiszewski
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System / Anna Derezinska ; Anna Szustek
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles / Alireza Khalilian ; Saeed Parsa
Author Index
Software Architectures and Development / Part I:
Towards Decision Centric Repository of Architectural Knowledge / Bartosz Michalik ; Jerzy Nawrocki
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning / Pavol Mederly ; Marián Lekavý ; Marek Závodský ; Pavol Návrat
A New Method for Program Inversion / Cong Hou ; George Vulov ; Daniel Quinlan ; David Jefferson ; Richard Fujimoto ; Richard Vuduc
Analytical Bounds for Optimal Tile Size Selection / Jun Shirako ; Kamal Sharma ; Naznin Fauzia ; Louis-Noël Pouchet ; J. Ramanujam ; P. Sadayappan ; Vivek Sarkar
Objects and Components
Static Detection of Unsafe Component Loadings / Taeho Kwon ; Zhendong Su
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis / Jing Yang ; Gogul Balakrishnan ; Naoto Maeda ; Franjo Ivancic ; Aarti Gupta ; Nishant Sinha ; Sriram Sankaranarayanan ; Naveen Sharma
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
Impediments to Requirements-Compliance / Md. Rashed Iqbal Nekvi ; Nazim H. Madhavji ; Remo Ferrari ; Brian Berenbach
Quality Requirements / Session 2:
How Architects See Non-Functional Requirements: Beware of Modifiability / Eltjo R. Poort ; Nick Martens ; Inge van de Weerd ; Hans van Vliet
Research Preview: Prioritizing Quality Requirements Based on Software Architecture Evaluation Feedback / Anne Koziolek
A Simulation Approach for Impact Analysis of Requirement Volatility Considering Dependency Change / Junjie Wang ; Juan Li ; Qing Wang ; He Zhang ; Haitao Wang
Collaboration, Complexity and Creativity / Session 3:
Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components / Nguyen Due Anh ; Daniela S. Crazes ; Reidar Conradi ; Martin Höst ; Xavier Franch ; Claudia Ayala
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement / Tim Gülke ; Bernhard Rumpe ; Martin Jansen ; Joachim Axmann
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People / Martin Mahaux ; Alistair Mavin ; Patrick Heymans
Requirements Analysis / Session 4:
Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams / Christian Raspotnig ; Andreas Opdahl
Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions / Mohammad Jabed Morshed Chowdhury ; Raimundas Matulevicius ; Guttorm Sindre ; Peter Karpati
Towards a More Semantically Transparent i* Visual Syntax / Nicolas Genon ; Patrice Caire ; Hubert Toussaint ; Daniel Moody
Templates and Heuristics / Session 5:
Providing Software Product Line Knowledge to Requirements Engineers - A Template for Elicitation Instructions / Sebastian Adam
Supporting Learning Organisations in Writing Better Requirements Documents Based on Heuristic Critiques / Eric Knauss ; Kurt Schneider
Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview / Olawande Daramola ; Thomas Moser ; Stefan Biffl
Requirements Traceability / Session 6:
Trace Queries for Safety Requirements in High Assurance Systems / Jane Cleland-Huang ; Mats Heimdahl ; Jane Huffman Hayes ; Robyn Lutz ; Patrick Maeder
Which Traceability Visualization Is Suitable in This Context? A Comparative Study / Yang Li ; Walid Maalej
Tools and Quality / Session 7:
The Case for Dumb Requirements Engineering Tools / Daniel Berry ; Ricardo Gacitua ; Pete Sawyer ; Sri Fatimah Tjong
Automatic Analysis of Multimodal Requirements: A Research Preview / Elia Bruni ; Alessio Ferrari ; Norbert Seyff ; Gabriele Tolomei
10 Myths of Software Quality / Elke Hochmüller
Empirical Analysis of the Impact of Requirements Engineering on Software Quality / Lukasz Radliñski
Services and Clouds / Session 8:
A Systematic Literature Review on Service Description Methods / Abelneh Y. Teka ; Nelly Condori-Fernandez ; Brahmananda Sapkota
A Pattern-Based Method for Identifying and Analyzing Laws / Kristian Beckers ; Stephan Faβbender ; Jan-Christoph Küster ; Holger Schmidt
Self-adaptivity / Session 9:
Towards a Requirements Modeling Language for Self-Adaptive Systems / Nauman A. Qureshi ; Ivan J. Jureta ; Anna Perini
Requirements Monitoring for Adaptive Service-Based Applications / Marc Oriol ; Jordi Marco
Industrial Case Studies / Session 10:
Release Planning with Feature Trees: Industrial Case / Samuel Fricker ; Susanne Schumacher
Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned / Wilco Engelsman ; Roel Wieringa
Author Index
Contractual Requirements / Session 1:
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification / Hu-Hsi Yeh ; Cheng-Yin Wu ; Chung-Yang (Ric) Huang
Template-Based Controller Synthesis for Timed Systems / Bernd Finkbeiner ; Hans-Jörg Peter
Provers and Analysis Techniques
Zeno: An Automated Prover for Properties of Recursive Data Structures / William Sonnex ; Sophia Drossopoulou ; Susan Eisenbach
A Proof Assistant for Alloy Specifications / Mattias Ulbrich ; Ulrich Geilmann ; Aboubakr Achraf El Ghazi ; Mana Taghdiri
Reachability under Contextual Locking / Rohit Chadha ; P. Madhusudan ; Mahesh Viswanathan
Bounded Phase Analysis of Message-Passing Programs / Ahmed Bouajjani ; Michael Emmi
Tool Demonstrations
Demonstrating Learning of Register Automata / Maik Merten ; Falk Howar ; Bernhard Steffen ; Sofia Cassel ; Bengt Jonsson
Symbolic Automata: The Toolkit / Margus Veanes ; Nikolaj Bjørner
McScM: A General Framework for the Verification of Communicating Machines / Alexander Heuβner ; Tristan Le Gall ; Grégoire Sutre
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications / Luís Caires ; Hugo Torres Vieira
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets / Alexandre David ; Lasse Jacobsen ; Morten Jacobsen ; Kenneth Yrke Jørgensen ; Mikael H. Møller ; Jirí Srba
A Platform for High Performance Statistical Model Checking - PLASMA / Cyrille Jegourel ; Axel Legay ; Sean Sedwards
Competition on Software Verification
Competition on Software Verification (SV-COMP) / Dirk Beyer
Predicate Analysis with BLAST 2.7 (Competition Contribution) / Pavel Shved ; Mikhail Mandrykin ; Vadim Mutilin
CPAchecker with Adjustable Predicate Analysis (Competition Contribution) / Stefan Löwe ; Philipp Wendler
Block Abstraction Memoization for CPAchecker (Competition Contribution) / Daniel Wonisch
Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution) / Lucas Cordeiro ; Jeremy Morse ; Denis Nicole ; Bernd Fischer
Proving Reachability Using FShell (Competition Contribution) / Andreas Holzer ; Christian Schallhart ; Helmut Veith
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation (Competition Contribution) / Carsten Sinz ; Florian Merz ; Stephan Falke
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution) / Kamil Dudka ; Petr Müller ; Petr Peringer
HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution) / Sergey Grebenshchikov ; Ashutosh Gupta ; Nuno P. Lopes
SatAbs: A Bit-Precise Verifier for C Programs (Competition Contribution) / Gérard Basler ; Alastair Donaldson ; Alexander Kaiser ; Thomas Wahl
Wolverine: Battling Bugs with Interpolants (Competition Contribution) / Georg Weissenbacher ; Sharad Malik
Author Index
Invited Contribution
Quantitative Models for a Not So Dumb Grid / Holger Hermanns
Complete Monitors for Behavioral Contracts / Christos Dimoulas ; Sam Tobin-Hochstadt
A Systematic Approach to Delimited Control with Multiple Prompts / Paul Downen ; Zena M. Ariola
Generate, Test, and Aggregate: A Calculation-Based Framework for Systematic Parallel Programming with MapReduce / Kento Emoto ; Sebastian Fischer ; Zhenjiang Hu
Trace Spaces: An Efficient New Technique for State-Space Reduction / Lisbeth Fajstrup ; Éric Goubault ; Emmanuel Haucourt ; Samuel Mimram ; Martin Raussen
A Process Algebra for Wireless Mesh Networks / Ansgar Fehnker ; Rob van Glabbeek ; Peter Höfner ; Annabelle McIver ; Marius Portmann ; Wee Lum Tan
On the Correctness of the SIMT Execution Model of GPUs / Axel Habermaier ; Alexander Knapp
Reasoning about Lock Placements / Peter Hawkins ; Alex Aiken ; Kathleen Fisher ; Martin Rinard
Reasoning about Multi-stage Programs / Jun Inoue ; Walid Taha
Fictional Separation Logic / Jonas Braband Jensen ; Lars Birkedal
Verified Software Toolchain (Abstract) / Andrew W. Appel
Formal Verification by Abstract Interpretation / Patrick Cousot
Quantitative Timed Analysis of Interactive Markov Chains / Dennis Guck ; Tingting Han ; Joost-Pieter Katoen ; Martin R. Neuhäuβer
Lessons Learnt from the Adoption of Formal Model-Based Development / Alessio Ferrari ; Alessandro Fantechi ; Stefania Gnesi
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines / Karolina Zurowska ; Juergen Dingel
Inferring Definite Counterexamples through Under-Approximation / Jörg Brauer ; Axel Simon
Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging / Ross Gore ; Paul F. Reynolds
Rigorous Polynomial Approximation Using Taylor Models in COQ / Nicolas Brisebarre ; Mioara Joldes ; Érik Martin-Dorel ; Micaela Mayero ; Jean-Michel Muller ; Ioana Pasca ; Laurence Rideau ; Laurent Théry
Enhancing the Inverse Method with State Merging / Étienne André ; Laurent Friboury ; Romain Soulat
Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages / Alexander Herz ; Kalmer Apinis
Testing Static Analyzers with Randomly Generated Programs / Pascal Cuoq ; Benjamin Monate ; Anne Pacalet ; Virgile Prevosto ; John Regehr ; Boris Yakobowski ; Xuejun Yang
Compositional Verification of Architectural Models / Darren Cofer ; Andrew Gacek ; Steven Miller ; Michael W. Whalen ; Brian LaValley ; Lui Sha
A Safety Case Pattern for Model-Based Development Approach / Anaheed Ayoub ; Baek-Gyu Kim ; Insup Lee ; Oleg Sokolsky
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL / Heber Herencia-Zapana ; Romain Jobredeaux ; Sam Owre ; Pierre-Loïc Garoche ; Eric Feron ; Gilberto Perez ; Pablo Ascariz
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements (Preliminary Results) / Wenbin Li ; Jane Huffman Hayes ; Miroslaw Truszczynski
Some Steps into Verification of Exact Real Arithmetic / Norbert Th. Müller ; Christian Uhrhan
Runtime Verification Meets Android Security / Andreas Bauer ; Jan-Christoph ; Küster ; Gil Vegliach
Specification in PDL with Recursion / Xinxin Liu ; Bingtian Xue
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study / Aditi Tagore ; Diego Zaccai ; Bruce W. Weide
Sound Formal Verification of Linux's USB BP Keyboard Driver / Willem Penninckx ; Jan Tobias Mühlberg ; Jan Smans ; Bart Jacobs ; Frank Piessens
Learning Markov Models for Stationary System Behaviors / Yingke Chen ; Hua Mao ; Manfred Jaeger ; Thomas Dyhre Nielsen ; Kim Guldstrand Larsen ; Brian Nielsen
The Use of Rippling to Automate Event-B Invariant Preservation Proofs / Yuhui Lin ; Alan Bundy ; Gudmund Grov
Thread-Modular Model Checking with Iterative Refinement / Wenrui Meng ; Fei He ; Bow-Yaw Wang ; Qiang Liu
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs / Jiri Barnat ; Luboš Brim ; Petr Rockai
Integrating Statechart Components in Polyglot / Daniel Balasubramanian ; Corina S. Pasareanu ; Jason Biatek ; Thomas Pressburger ; Gabor Karsai ; Michael Lowry
Using PVS to Investigate Incidents through the Lens of Distributed Cognition / Paolo Masci ; Huayi Huang ; Paul Curzon ; Michael D. Harrison
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems / Jason Belt ; Robby ; Patrice Chalin ; John Hatcliff ; Xianghua Deng
Generating Verifiable Java Code from Verified PVS Specifications / Leonard Lensink ; Sjaak Smetsers ; Marko van Eekelen
Belief Bisimulation for Hidden Markov Models: Logical Characterisation and Decision Algorithm / David N. Jansen ; Flemming Nielson ; Lijun Zhang
Abstract Model Repair / George Chatzieleftheriou ; Borzoo Bonakdarpour ; Scott A. Smolka ; Panagiotis Katsaros
CLSE: Closed-Loop Symbolic Execution / Rupak Majumdar ; Indranil Saha ; K. C. Shashidhar ; Zilong Wang
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols / Michael Backes ; Alex Busenius ; Catalin Hritcu
Incremental Verification with Mode Variable Invariants in State Machines / Temesghen Kahsai ; Mike Whalen
A Semantic Analysis of Wireless Network Security Protocols / Damiano Macedonio ; Massimo Merro
Runtime Verification with Predictive Semantics / Xian Zhang ; Martin Leucker ; Wei Dong
A Case Study in Verification of Embedded Network Software / Kalyan C. Regula ; Hampton Smith ; Heather Harton Keown ; Jason O. Hallstrom ; Nigamanth Sridhar ; Murali Sitaraman
Checking and Distributing Statistical Model Checking / Peter Bulychev ; Alexandre David ; Axel Legay ; Marius Mikucionis ; Danny Bogsted Poulsen
Author Index
SMT-Based Model Checking / Cesare Tinelli
Verified Software Toolchain (Abstract) / Andrew W. Appel
Formal Verification by Abstract Interpretation / Patrick Cousot
Communication, and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessandro Bogliolo, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
CBSE 2005, George T. Heineman, Takeo Kanade, Association for Computing Machinery-Digital Library., George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
Architecture and Design of Component-Based Systems
Exogenous Connectors for Software Components / Kung-Kiu Lau ; Perla Velasco Elizondo ; Zheng Wang
Qinna, a Component-Based QoS Architecture / Jean-Charles Tournier ; Jean-Philippe Babau ; Vincent Olive
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles / Ling Lan ; Gang Huang ; Liya Ma ; Meng Wang ; Hong Mei ; Long Zhang ; Ying Chen
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic / Kendra Cooper ; João W. Cangussu ; Rong Lin ; Ganesan Sankaranarayanan ; Ragouramane Soundararadjane ; Eric Wong
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components / Naiyana Tansalarak ; Kajal Claypool
Extra-Functional System Properties of Components and Component-Based Systems
A Contracting System for Hierarchical Components / Philippe Collet ; Roger Rousseau ; Thierry Coupaye ; Nicolas Rivierre
Tailored Responsibility Within Component-Based Systems / Elke Franz ; Ute Wappler
Efficient Upgrading in a Purely Functional Component Deployment Model / Eelco Dolstra
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models / Zonghua Gu ; Zhimin He
A Component-Oriented Model for the Design of Safe Multi-threaded Applications / Reimer Behrends ; R.E. Kurt Stirewalt ; Laura K. Dillon
TeStor: Deriving Test Sequences from Model-Based Specifications / Patrizio Pelliccione ; Henry Muccini ; Antonio Bucchiarone ; Fabrizio Facchini
Experience with Component-Based Development of a Telecommunication Service / Gregory W. Bond ; Eric Cheung ; Healfdene H. Goguen ; Karrie J. Hanson ; Don Henderson ; Gerald M. Karam ; K. Hal Purdy ; Thomas M. Smith ; Pamela Zave
Reusable Dialog Component Framework for Rapid Voice Application Development / Rahul P. Akolkar ; Tanveer Faruquie ; Juan Huerta ; Pankaj Kankar ; Nitendra Rajput ; T.V. Raman ; Raghavendra U. Udupa ; Abhishek Verma
Unlocking the Grid / Chris A. Mattmann ; Nenad Medvidovic ; Paul M. Ramirez ; Vladimir Jakobac
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services / Konstantin Beznosov
Concept Index
Author Index
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz