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
Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways / Philip Koopman ; Justin Ray
Green IT - The Power Saving Challenge and ICT Solutions / Paul J. Kühn
In Memoriam: Eulogy on Gunter Bolch
In Memory of Dr. Gunter Bolch / Martin Paterok ; Hermann de Meer ; Patrick Wüchner
Full Papers
Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration / Klaus Echtle ; Thorsten Kimmeskamp
Software Reliability Assessment Based on the Evaluation of Operational Experience / Sven Söhnlein ; Francesca Saglietti ; Frank Bitzer ; Matthias Meitner ; Siegfried Baryschew
Clock Synchronization Issues in Multi-Cluster Time-Triggered Networks / Soubhi Mohamed
User-Perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic Groups / Christian Hübsch ; Christoph P. Mayer ; Oliver P. Waldhorst
Effectiveness of Link Cost Optimization for IP Rerouting and IP Fast Reroute / David Hock ; Matthias Hartmann ; Christian Schwartz ; Michael Menth
Load Modeling and Generation for IP-Based Networks: A Unified Approach and Tool Support / Andrey Kolesnikov ; Martin Kulas
Analyzing Energy Consumption in a Gossiping MAC Protocol / Haidi Yue ; Henrik Bohnenkamp ; Joost-Pieter Katoen
Defining and Measuring Performance Characteristics of Current Video Games / Till Fischer ; Axel Böttcher ; Aaron Coday ; Helena Liebelt
Traffic Properties, Client Side Cachability and CDN Usage of Popular Web Sites / Joachim Charzinski
Investigation of the Multimedia Adaptive Threshold Strategy for Mobile Integrated Services Networks / Vittoria de Nitto Personè ; Andreas Pillekeit ; Matteo Iacari
Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks / Anne Remke ; Boudewijn R. Haverkort ; Geert Heijenk ; Jesper Bax
CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless Testbeds / Simon Frohn ; Sascha Gübner ; Christoph Lindemann
The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer System / Lothar Breuer
Accuracy of Strong and Weak Comparisons for Network of Queues / Hind Castel-Taleh ; Nihal Pekergin
Searching for Tight Performance Bounds in Feed-Forward Networks / Andreas Kiefer ; Nicos Gollan ; Jens B. Schmitt
An EM Algorithm for Markovian Arrival Processes Observed at Discrete Times / Alfred Kume
An Empirical Comparison of MAP Fitting Algorithms / Jan Kriege ; Peter Buchholz
Reducing the Cost of Generating APH-Distributed Random Numbers / Philipp Reinecke ; Miklós Telek ; Katinka Wolter
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains / Ralf Wimmer ; Bernd Becker
Tool Papers
ResiLyzer: A Tool for Resilience Analysis in Packet-Switched Communication Networks / David Stezenbach
SyLaGen - An Extendable Tool Environment for Generating Load / Michael Striewe ; Moritz Balz ; Michael Goedicke
ProFiDo - A Toolkit for Fitting Input Models / Falko Bause ; Philipp Gerloff
ProC/B for Networks: Integrated INET Models / Sebastian Vastag
DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS / Sascha Geeren ; Falk Hoppe ; Axel Langhoff ; Bruno Müller-Clostermann
Author Index
Invited Talks
Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways / Philip Koopman ; Justin Ray
Green IT - The Power Saving Challenge and ICT Solutions / Paul J. Kühn
Aspect-Oriented Business Process Modeling with AO4BPMN / Anis Charfi ; Heiko Müller ; Mira Mezini
A Reflective Approach to Model-Driven Web Engineering / Darren Clowes ; Dimitris Kolovos ; Chris Holmes ; Louis Rose ; Richard Paige ; Julian Johnson ; Ray Dawson ; Steve Probets
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study / Pietro Colombo ; Ferhat Khendek ; Luigi Lavazza
Model-Driven Engineering of Machine Executable Code / Michael Eichberg ; Martin Monperrus ; Sven Kloppenburg
eSPEM - A SPEM Extension for Enactable Behavior Modeling / Ralf Ellner ; Samir Al-Hilank ; Johannes Drexler ; Martin Jung ; Detlef Kips ; Michael Philippsen
Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework / Jendrik Johannes ; Miguel A. Fernández
Model-Based Development of Automotive Electronic Climate Control Software / Rupesh Kakade ; Mohan Murugesan ; Bhupal Perugu ; Mohanan Nair
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search / Marouane Kessentini ; Arbi Bouchoucha ; Houari Sahraoui ; Mounir Boukadoum
Model Search: Formalizing and Automating Constraint Solving in MDE Platforms / Mathias Kleiner ; Marcos Didonet Del Fabro ; Patrick Albert
MoPCoM Methodology: Focus on Models of Computation / Ali Koudri ; Joël Champeau ; Jean-Christophe Le Lann ; Vincent Leilde
Dynamic Computation of Change Operations in Version Management of Business Process Models / Jochen Malte Küster ; Christian Gerth ; Gregor Engels
Detecting Inconsistencies in Multi-View Models With Variability / Roberto Erick Lopez-Herrejon ; Alexander Egyed
A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces / Kouichi Ono ; Manabu Toyota ; Ryo Kawahara ; Yoshifumi Sakamoto ; Takeo Nakada ; Naoaki Fukuoka
Concordance: A Framework for Managing Model Integrity / Louis M. Rose ; Dimitrios S. Kolovos ; Nicholas Drivalos ; James R. Williams ; Richard F. Paige ; Fiona A.C. Polack ; Kiran J. Fernandes
An Integrated Facet-Based Library for Arbitrary Software Components / Matthias Schmidt ; Jan Polowinski
Precise Specification of Design Pattern Structure and Behaviour / Ashley Sterritt ; Siobhán Clarke ; Vinny Cahill
Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy / Salvador Trujillo ; Jose Miguel Garate ; Xabier Mendialdua ; Albert Rosado ; Charles W. Krueger ; Josune de Sosa
On the Combination of Domain Specific Modeling Languages / Antonio Vallecillo
Joint Language and Domain Engineering / Tobias Walter ; Fernando Silva Parreiras ; Steffen Staab ; Jürgen Ebert
An Automated Approach to Transform Use Cases into Activity Diagrams / Tao Yue ; Lionel C. Briand ; Yuan Labiche
Author Index
Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering (Invited Talk) / Colin Atkinson
The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson (Invited Talk) / Diarmuid Corcoran
Comparing Approaches to Implement Feature Model Composition / Mathieu Acher ; Philippe Collet ; Philippe Lahire ; Robert France
Revising the UML Collaborations: A Well-Founded Approach / Egidio Astesiano ; Gianna Reggio
Client Synthesis for Aspect Oriented Web Services / Mehdi Ben Hmida ; Serge Haddad
Formal Reasoning about Software Object Translations / Vladis Berzins ; Luqi ; Peter M. Musial
Software Engineering Techniques for the Development of Systems of Systems / Radu Calinescu ; Marta Kwiatkowska
Simulation of LET Models in Simulink and Ptolemy / Patricia Derler ; Andreas Naderlinger ; Wolfgang Pree ; Stefan Resmerita ; Josef Templ
Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems / Claudiu Farcas ; Emilia Farcas ; Ingolf Krüger
On the Pragmatics of Model-Based Design / Hauke Fuhrmann ; Reinhard von Hanxleden
Modelling and Verification of Relay Interlocking Systems / Anne E. Haxthausen ; Marie Le Bliguet ; Andreas A. Kjœr
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication / Rolf Hennicker ; Stephan Janisch ; Alexander Knapp
Experiences in Model Driven Verification of Behavior with UML / Fabrice Kordon ; Yann Thierry-Mieg
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
Static Timing Analysis for Hard Real-Time Systems / Reinhard Wilhelm ; Sebastian Altmeyer ; Claire Burguière ; Daniel Grand ; Jörg Herter ; Jan Reineke ; Björn Wachter ; Stephan Wilhelm
The Audacity of Hope: Thoughts on Reclaiming the Database Dream (ETAPS Invited Lecture) / Sam Lindley ; Philip Wadler
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (ESOP Invited Lecture) / David A. Naumann ; Anindya Banerjee
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays / Torben Amtoft ; John Hatcliff ; Edwin RodrÃguez
A Semantic Framework for Declassification and Endorsement / Aslan Askarov ; Andrew Myers
Amortises Resource Analysis with Separation Logic / Robert Atkey
A polyTime Functional Language from Light Linear Logic / Patrick Baillot ; Marco Gaboardi ; Virgile Mogbil
Weithted Dynamic Pushdown Networks / Alexander Wenner
Ecplicit Stabilisation for Modular Rely-Guarantee Reasoning / John Wickerson ; Mike Dodds ; Matthew Parkinson
Author Index
The Audacity of Hope: Thoughts on Reclaiming the Database Dream (ETAPS Invited Lecture) / Sam Lindley ; Philip Wadler
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (ESOP Invited Lecture) / David A. Naumann ; Anindya Banerjee
A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process / Dieter Claeys ; Joris Walraevens ; Koenraad Laevens ; Bart Steyaert ; Herwig Bruneel
Queueing System MAP/PH/N with Propagated Failures / Khalid Al-Begain ; Alexander Dudin ; Valentina Klimenok
Analysis of a Discrete-Time Queueing System with an NT-Policy / Bart Feyaerts ; Stijn De Vuyst ; Sabine Wittevrongel
Packet Loss Minimization in Load-Balancing Switch / Yury Audzevich ; Levente Bodrog ; Yoram Ofek ; Miklós Telek
Queueing Theory II
The Preemptive Repeat Hybrid Server Interruption Model / Thomas Demoor ; Dieter Fiems
Networks of Symmetric Multi-class Queues with Signals Changing Classes / Thu-Ha Dao-Thi ; Jean-Michel Fourneau ; Minh-Anh Tran
Product-Form Solutions for Models with Joint-State Dependent Transition Rates / Simonetta Balsamo ; Andrea Marin
The qnetworks Toolbox: A Software Package for Queueing Networks Analysis / Moreno Marzolla
Specification Languages and Tools
Rewriting Logic Based Performance Estimation of Embedded Systems / Fateh Boutekkouk
A Formal Language toward the Unification of Model Checking and Performance Evaluation / Andrew S. Miner ; Yaping Jing
Security Evaluation of Layered Intrusion Tolerant Systems / Sanaz Hafezian Razavi ; Olivia Das
Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning / Ryszard Antkiewicz ; Arkadiusz Gasecki ; Andrzej Najgebauer ; Dariusz Pierzchala ; Zbigniew Tarapata
Telecommunication Systems I
Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems / Gaël Gorgo ; Jean-Marc Vincent
Stochastic Comparisons for Performability of Telecommunication Systems / Hind Castel-Taleb ; Idriss Ismael-Aouled ; Nihal Pekergin
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System / Ajab Khan ; Reiko Heckel ; Paolo Torrini ; István Ráth
Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes / Pietro Piazzolla ; Marco Gribaudo ; Roberto Borgotallo ; Alberto Messina
Telecommunication Systems II
A Formal Approach to Investigate the Performance of Modern E-Commerce Services / Ibtehal Nafea ; D.R.W. Holton ; Muhammad Younas ; Irfan Awan
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption / Haidi Yue ; Joost-Pieter Katoen
Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic / Sergey Andreev ; Zsolt Saffer ; Andrey Turlikov ; Alexey Vinel
Estimation
Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes / Maria-Estrella Sousa-Vieira
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm / Paolo Cremonesi ; Kanika Dhyani ; Andrea Sansottera
Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions / Nicholas Nechval ; Maris Purgailis ; Gundars Berzins ; Kaspars Cikste ; Juris Krasts ; Konstantin Nechval
Prediction
Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment / Uldis Rozevskis
Prediction-Based Dynamic Target Interception Using Discrete Markov Chains / Ayesha M. Sheikh ; Tony J. Dodd
Neural Networks as Surrogate Models for Measurements in Optimization Algorithms / Martin Holena ; David Linke ; Uwe Rodemerck ; Lukáš Bajer
Stochastic Modelling
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras / Luca Bortolussi
Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity / Gunhwan Kim ; Erol Gelenbe
Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows / Esa Hyytiä ; Aleksi Penttinen ; Reijo Sulonen
Author Index
Queueing Theory I
A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process / Dieter Claeys ; Joris Walraevens ; Koenraad Laevens ; Bart Steyaert ; Herwig Bruneel
Queueing System MAP/PH/N with Propagated Failures / Khalid Al-Begain ; Alexander Dudin ; Valentina Klimenok
A Risk-Driven Decision Table for Software Process Selection / Barry W. Boehm
Process Alignment
Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements / Leon J. Osterweil ; Alexander Wise
Determining Organization-Specific Process Suitability / Vladimir Mandic ; Lasse Harjumaa ; Jouni Markkula ; Markku Oivo ; Ove Armbrust
On Scoping Stakeholders and Artifacts in Software Process / Xu Bai ; LiGuo Huang ; He Zhang
Critical Success Factors for Rapid, Innovative Solutions / Jo Ann Lane ; Barry Boehm ; Mark Bolas ; Azad Madni ; Richard Turner
Process Management
Evidence-Based Software Processes
SoS Management Strategy Impacts on SoS Engineering Effort
Using Project Procedure Diagrams for Milestone Planning / Klaus Bergner ; Jan Friedrich
A Framework for the Flexible Instantiation of Large Scale Software Process Tailoring / Peter Killisperger ; Markus Stumptner ; Georg Peters ; Georg Grossmann ; Thomas Stückl
A Methodological Framework and Software Infrastructure for the Construction of Software Production Methods / Mario Cervera ; Manoli Albert ; Victoria Torres ; Vicente Pelechano
Software Factories: Describing the Assembly Process / Maider Azanza ; Oscar DÃaz ; Salvador Trujillo
How to Welcome Software Process Improvement and Avoid Resistance to Change / Daniela C.C. Peixoto ; Vitor A. Batista ; Rodolfo F. Resende ; Clarindo IsaÃas P.S. Pádua
Process Models
The Incremental Commitment Model Process Patterns for Rapid-Fielding Projects / Supannika Koolmanojwong
A Repository of Agile Method Fragments / Hesam Chiniforooshan Esfahani ; Eric Yu
OAP: Toward a Process for an Open World / Yuanzhi Wang
An Automatic Approach to Aid Process Integration within a Secure Software Processes Family / Jia-kuan Ma ; Ya-sha Wang ; Lei Shi ; Hong Mei
Engineering Adaptive IT Service Support Processes Using Meta-modeling Technologies / Beijun Shen ; Xin Huang ; Kai Zhou ; Wenwei Tang
Modeling a Resource-Constrained Test-and-Fix Cycle and Test Phase Duration / Dan Houston ; Man Lieu
Process Representation
Visual Patterns in Issue Tracking Data / Patrick Knab ; Martin Pinzger ; Harald C. Gall
Disruption-Driven Resource Rescheduling in Software Development Processes / Junchao Xiao ; Qing Wang ; Mingshu Li
MODAL: A SPEM Extension to Improve Co-design Process Models / Ali Koudri ; Joel Champeau
Process Analysis and Measurement
Application of Re-estimation in Re-planning of Software Product Releases / Ahmed Al-Emran ; Anas Jadallah ; Elham Paikari ; Dietmar Pfahl ; Günther Ruhe
Software Process Model Blueprints / Julio Ariel Hurtado AlegrÃa ; Alejandro Lagos ; Alexandre Bergel ; MarÃa Cecilia Bastarrica
Measurement and Analysis of Process Audit: A Case Study / Fengdi Shu ; Qi Li ; Haopeng Zhang
A Fuzzy-Based Method for Evaluating the Trustworthiness of Software Processes / Ye Yang ; Xu Wang
Process Simulation Modeling
Software Process Simulation Modeling: An Extended Systematic Review / Barbara Kitchenham
SimSWE - A Library of Reusable Components for Software Process Simulation / Thomas Birkhölzer ; Ray Madachy ; Dan Port ; Harry Beitinger ; Michael Schuster ; Alexey Olkov
Applications of a Generic Work-Test-Rework Component for Software Process Simulation
Experience Reports and Empirical Studies
An Empirical Study of Lead-Times in Incremental and Agile Software Development / Kai Petersen
Improving the ROI of Software Quality Assurance Activities: An Empirical Study
Deep Meta-modelling with MetaDepth / Juan de Lara ; Esther Guerra
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage / Fabian Christ ; Jan-Christopher Bals ; Gregor Engels ; Christian Gerth ; Markus Luckey
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks / Andoni Lombide Carreton ; Stijn Mostinckx ; Tom Van Cutsem ; Wolfgang De Meuter
Understanding the Impact of Collection Contracts on Design / Stephen Nelson ; David J. Pearce ; James Noble
Reasoning about Function Objects / Martin Nordio ; Cristiano Calcagno ; Bertrand Meyer ; Peter Müller ; Julian Tschannen
Welterweight Java / Johan Östlund ; Tobias Wrigstad
Optimizing Aspect-Oriented Mechanisms for Embedded Applications / Christine Hundt ; Daniel Stöhr ; Sabine Glesner
Contract-Driven Testing of JavaScript Code / Phillip Heidegger ; Peter Thiemann
Late Binding of AspectJ Advice / Ryan M. Golbeck ; Peter Selby ; Gregor Kiczales
EriLex: An Embedded Domain Specific Language Generator / Hao Xu
Domain-Specific Program Checking / Lukas Renggli ; Tudor Gîrba ; Oscar Nierstrasz
Revisiting Parametric Types and Virtual Classes / Anders Bach Madsen ; Erik Ernst
Moles: Tool-Assisted Environment Isolation with Closures / Jonathan de Halleux ; Nikolai Tillmann
Encoding Ownership Types in Java / Nicholas Cameron
Visualizing Dynamic Metrics with Profiling Blueprints / Romain Robbes ; Walter Binder
Author Index
Deep Meta-modelling with MetaDepth / Juan de Lara ; Esther Guerra
A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage / Fabian Christ ; Jan-Christopher Bals ; Gregor Engels ; Christian Gerth ; Markus Luckey
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks / Andoni Lombide Carreton ; Stijn Mostinckx ; Tom Van Cutsem ; Wolfgang De Meuter
Mobile Privacy Requirements on Demand / Bashar Nuseibeh
Lean Development - Potentials, Principles and Practices / Christof Ebert
Software Quality Assurance I
A Qualitative Survey of Regression Testing Practices / Emelie Engström ; Per Runeson
Investigating the Temporal Behavior of Defect Detection in Software Inspection and Inspection-Based Testing / Dietmar Winkler ; Stefan Biffl ; Kevin Faderl
Analysis of Bug Fixing Processes Using Program Slicing Metrics / Raula Gaikovina Kula ; Kyohei Fushida ; Shinji Kawaguchi ; Hajimu Iida
Agile Software Development
Systermatic Piloting of Agile Methods in the Large: Two Cases in Embedded Systems Development / Jeanette Heidenberg ; Mari Matinlassi ; Minna Pikkarainen ; Piia Hirkman ; Jari Partanen
Optimized Feature Distribution in Distributed Agile Environments / Ãkos Szooke
Approaches to Agile Adoption in Large Settings: A Comparison of the Results from a Literature Analysis and an Industrial Inventory / Anna Rohunen ; Pilar Rodriguez ; Pasi Kuvaja ; Lech Krzanik ; Jouni Markkula
Software Quality Assurance II
Applying DPPI: A Defect Causal Analysis Approach Using Bayesian Networks / Marcos Kalinowski ; Emilia Mendes ; David N. Card ; Guilherme H. Travassos
Evaluating Three Approaches to Extracting Fault Data from Software Change Repositories / Tracy Hall ; David Bowes ; Gernot Liebchen ; Paul Wernick
Regularities in Learning Defect Predictors / Burak Turhan ; Ayse Bener ; Tim Menzies
Software Business
Business Value Is Not Only Dollars - Results from Case Study Research on Agile Software Projects / Zornitza Racheva ; Maya Daneva ; Klaas Sikkel ; Luigi Buglione
Critical Success Factors for Offshore Software Development Outsourcing Vendors: An Empirical Study / Siffat Ullah Khan ; Mahmood Niazi ; Rashid Ahmad
Impact of Corporate and Organic Growth on Software Development / Natalja Nikitina ; Mira Kajko-Mattsson
Software Systems
Prioritizing Countermeasures through the Countermeasure Method for Software Security (CM-Sec) / Dejan Baca ; Kai Petersen
Feedback in Context: Supporting the Evolution of IT-Ecosystems / Kurt Schneider ; Sebastian Meyer ; Maximilian Peters ; Felix Schliephacke ; Jonas Mörschbach ; Lukas Aguirre
Comparing Agile Processes for Agent Oriented Software Engineering / Alma M. Gómez-RodrÃguez ; Juan C. González-Moreno
Standardizing the Software Tag in Japan for Transparency of Development / Masateru Tsunoda ; Tomoko Matsumura ; Kozo Kubo ; Shinji Kusumoto ; Katsuro Inoue ; Ken-ichi Matsumoto
Improving Efficiency of Change Impact Assessment Using Graphical Requirement Specifications: An Experiment / Niklas Mellegård ; Miroslaw Staron
Vague Project Start Makes Project Success of Outsourced Software Development Projects Uncertain / Paula Savolainen
Software Process Improvement
The Rosetta Stone Methodology - A Benefits Driven Approach to Software Process Improvement / Fionbarr McLoughlin ; Ita Richardson
Defining and Monitoring Strategically Aligned Software Improvement Goals / Andrea Oliveira Soares Barreto ; Ana Regina Rocha
A Strategy for Painless Harmonization of Quality Standards: A Real Case / Maria Teresa Baldassarre ; Danilo Caivano ; Francisco J. Pino ; Mario Piattini ; Giuseppe Visaggio
Author Index
Keynote Addresses
Mobile Privacy Requirements on Demand / Bashar Nuseibeh
Lean Development - Potentials, Principles and Practices / Christof Ebert
Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle / Ian Alexander
Decision-Making in Requirements Engineering
Understanding the Scope of Uncertainty in Dynamically Adaptive Systems / Kristopher Welsh ; Pete Sawyer
Use of Personal Values in Requirements Engineering - A Research Preview / Rumyana Proynova ; Barbara Paech ; Andreas Wicht ; Thomas Wetter
Requirements and Systems Architecture Interaction in a Prototypical Project: Emerging Results / Remo Ferrari ; Oliver Sudmann ; Christian Henke ; Jens Geisler ; Wilhelm Schafer ; Nazim H. Madhavji
Scanarious and Elicitation
Videos vs. Use Cases: Can Videos Capture More Requirements under Time Pressure / Olesia Brill ; Kurt Schneider ; Eric Knauss
Supporting the Consistent Specification of Scenarios across Multiple Abstraction Levels / Ernst Sikora ; Marian Daun ; Klaus Pohl
Product Families I
Requirements Value Chains: Stakeholder Management and Requirements Engineering in Software Ecosystems / Samuel Fricker
Binary Priority List for Prioritizing Software Requirements / Thomas Bebensee ; Inge van de Weerd ; Sjaak Brinkkemper
Requirements Patterns
Towards a Framework for Specifying Software Robustness Requirements Based on Patterns / Ali Shahrokni ; Robert Feldt
A Metamodel for Software Requirement Patterns / Xavier Franch ; Cristina Palomares ; Carme Quer ; Samuel Renault ; François De Lazzer
Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation / Victoria Sakhnini ; Daniel M. Berry ; Luisa Mich
Product Families II
Towards Multi-view Feature-Based Configuration / Arnaud Hubaux ; Patrick Heymans ; Pierre-Yves Schobbens ; Dirk Deridder
Evaluation of a Method for Proactively Managing the Evolving Scope of a Software Product Line / Karina Villela ; Jörg Dörr ; Isabel John
Requirements Engineering in Practice
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context / Giedre Sabaliauskaite ; Annabella Loconsole ; Emelie Engström ; Michael Unterkalmsteiner ; Björn Regnell ; Per Runeson ; Tony Gorschek
On the Perception of Software Quality Requirements during the Project Lifecycle / Neil A. Ernst ; John Mylopoulos
Lessons Learned from Integrating Specification Templates, Collaborative Workshops, and Peer Reviews / Marko Komssi ; Marjo Kauppinen ; Kimmo Toro ; Raimo Soikkeli ; Eero Uusitalo
A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families / Margot Bittner ; Mark-Oliver Reiser ; Matthias Weber
Natural Language
A Domain Ontology Building Process for Guiding Requirements Elicitation / Inah Omoronyia ; Guttorm Sindre ; Tor Stålhane ; Stefan Biffl ; Thomos Moser ; Wikan Sunindyo
Tackling Semi-automatic Trace Recovery for Large Specifications / Jörg Leuser ; Daniel Ott
Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources / Benedikt Gleich ; Oliver Creighton ; Leonid Kof
Ambiguity in Natural Language Software Requirements: A Case Study / Fabian de Bruijn ; Hans L. Dekkers
Security Requirements
On the Role of Ambiguity in RE / Vincenzo Gervasi ; Didar Zowghi
Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations / Shareeful Islam ; Haralambos Mouratidis ; Stefan Wagner
Visualizing Cyber Attacks with Misuse Case Maps / Peter Karpati ; Andreas L. Opdahl
Poster
How Do Software Architects consider Non-Functional Requirements: A Survey / David Ameller
Author Index
Keynote
Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle / Ian Alexander
Intrinsic Definition in Software Architecture Evolution / Jeffrey N. Magee
A Component-Based Approach to Adaptive User-Centric Pervasive Applications / Martin Wirsing
Model-Driven Analysis
Validating Model-Driven Performance Predictions on Random Software Systems / Vlastimil Babka ; Petr Tuma ; LubomÃr Bulej
Statistical Inference of Software Performance Models for Parametric Performance Completions / Jens Happe ; Dennis Westermann ; Kai Sachs ; Lucia Kapová
Parameterized Reliability Prediction for Component-Based Software Architectures / Franz Brosch ; Heiko Koziolek ; Barbora Buhnova ; Ralf Reussner
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems / Indika Meedeniya ; Aldeida Aleti ; Lars Grunske
Quality of Service Adaptation
QoS Driven Dynamic Binding in-the-many / Carlo Ghezzi ; Alfredo Motta ; Valeria Panzica La Manna ; Giordano Tamburrelli
A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems / Anne Martens ; Danilo Ardagna ; Raffaela Mirandola
Using QoS-Contracts to Drive Architecture-Centric Self-adaptation / Franck Chauvel ; Hui Song ; Xiangping Chen ; Gang Huang ; Hong Mei
Case Studies and Experience Reports
Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users / Dominik Birkmeier ; Sven Overhage
Barriers to Modularity - An Empirical Study to Assess the Potential for Modularisation of Java Programs / Jens Dietrich ; Catherine McCartin ; Ewan Tempero ; Syed M. Ali Shah
Evaluating Maintainability with Code Metrics for Model-to-Model Transformations / Thomas Goldschmidt ; Steffen Becker ; Jörg Henss
Constructing and Navigating Non-invasive Model Decorations / Dimitrios S. Kolovos ; Louis M. Rose ; Nikolaos Drivalos Matragkas ; Richard F. Paige ; Fiona A.C. Polack ; Kiran J. Fernandes
Model-to-Model Transformations By Demonstration / Philip Langer ; Manuel Wimmer ; Gerti Kappel
Improving Higher-Order Transformations Support in ATL
Towards a Rewriting Logic Semantics for ATL / Javier Troya ; Antonia Vallecillo
Metamodel Matching Based on Planar Graph Edit Distance / Konrad Voigt ; Thomas Heinze
Surviving the Heterogeneity Jungle with Composite Mapping Operators / Angelika Kusel ; Werner Retschitzegger ; Johannes Schoenboeck ; Wieland Schwinger
Author Index
Invited Paper
Search Computing: A Model-Driven Perspective / Marco Brambilla ; Stefano Ceri ; Massimo Tisi
Parallel/Distributed Architectures and Mobile Computing
Evaluating Performance of New Quad-Core Intel"Xeon"5500 Family Processors for HPC / Pawel Gepner ; David L. Fraser ; Michal F. Kowalik
Interval Wavelength Assignmentin All-Optical Star Networks / Robert Janczewski ; Anna Malafiejska ; Michal Malafiejski
Graphs Partitioning: An Optimal MIMD Queueless Routing for BPC-Permutations on Hypercubes / Jean-Pierre Jung ; Ibrahima Sakho
Probabilistic Packet Relaying in Wireless Mobile Ad Hoc Networks / Marcin Seredynski ; Tomasz Ignac ; Pascal Bouvry
Numerical Algorithms and Parallel Numerics
On the Performance of a New Parallel Algorithm for Large-Scale Simulations of Nonlinear Partial Differential Equations / Juan A. Acebrón ; Ãngel RodrÃguez-Rozas ; Renato Spigler
Partial Data Replication as a Strategy for Parallel Computing of the Multilevel Discrete Wavelet Transform / Liesner Acevedo ; Victor M. Garcia ; Antonio M. Vidal ; Pedro Alonso
Dynamic Load Balancing for Adaptive Parallel Flow Problems / Stanislaw Gepner ; Jerzy Majewski ; Jacek Rokicki
A Balancing Domain Decomposition Method for a Discretization of a Plate Problem on Nonmatching Grids / Leszek Marcinkowski
Application Specific Processors for the Autoregressive Signal Analysis / Anatolij Sergiyenko ; Oleg Maslennikow ; Piotr Ratuszniak ; Natalia Maslennikowa ; Adam Tomas
A Parallel Non-square Tiled Algorithm for Solving a Kind of BVP for Second-Order ODEs / Przemyslaw Stpiczynski
Graph Grammar Based Petri Nets Model of Concurrency for Self-adaptive hp-Finite Element Method with Rectangular Elements / Arkadiusz Szymczak ; Maciej Paszynski
Numerical Solution of the Time and Rigidity Dependent Three Dimensional Second Order Partial Differential Equation / Anna Wawrzynczak ; Michael V. Alania
Hardware Implementation of the Exponent Based Computational Core for an Exchange-Correlation Potential Matrix Generation / Maciej Wielgosz ; Ernest Jamro ; Kazimierz Wiatr
Parallel Implementation of Conjugate Gradient Method on Graphics Processors / Marcin Wozniak ; Tomasz Olas ; Roman Wyrzykowski
Iterative Solution of Linear and Nonlinear Boundary Problems Using PIES / Eugeniusz Zieniuk ; Agnieszka Boltuc
Paralel and Distributed Non-numerical Algorithms
Implementing a Parallel Simulated Annealing Algorithm / Zbigniew J. Czech ; Wojciech Mikanik ; Rafat Skinderowicz
Parallel Computing Scheme for Graph Grammar-Based Syntactic Pattern Recognition / Mariusz Flasinski ; Janusz Jurek ; Szymon Myslinski
Extended Cascaded Star Schema for Distributed Spatial Data Warehouse / Marcin Gorawski
Parallel Longest Increasing Subsequences in Scalable Time and Memory / Peter Krusche ; Alexander Tiskin
A Scalable Parallel Union-Find Algorithm for Distributed Memory Computers / Fredrik Manne ; Md. Mostofa Ali Patwary
Tools and Environments for Parallel/Distributed/Grid Computing
Extracting Both Affine and Non-linear Synchronization-Free Slices in Program Loops / Wlodzimierz Bielecki ; Marek Palkowski
A Flexible Checkpoint/Restart Model in Distributed Systems / Mohamed-Slim Bouguerra ; Thierry Gautier ; Denis Trystram ; Jean-Marc Vincent
A Formal Approach to Replica Consistency in Directory Service / Jerzy Brzezinski ; Cezary Sobaniec ; Dariusz Wawrzyniak
Software Security in the Model for Service Oriented Architecture Quality / Grzegorz Kolaczek ; Adam Wasilewski
Automatic Program Parallelization for Multicore Processors / Jan Kwiatkowski ; Radoslaw Iwaszyn
Request Distribution in Hybrid Processing Environments / Mariusz Fras ; Marcin Pawlik ; Dariusz Konieczny
Vine Toolkit - Grid-Enabled Portal Solution for Community Driven Computing Workflows with Meta-Scheduling Capabilities / Dawid Szejnfeld ; Piotr Domagalski ; Piotr Dziubecki ; Piotr Kopta ; Michal Krysinski ; Tomasz Kuczynski ; Krzysztof Kurowski ; Bogdan Ludwiczak ; Jaroslaw Nabrzyski ; Tomasz Piontek ; Dominik Tarnawczyk ; Krzysztof Witkowski ; Malgorzata Wolniewicz
Applications of Parallel/Distributed Computing
GEM - A Platform for Advanced Mathematical Geosimulations / Radim Blaheta ; Ondrej Jakl ; Roman Kohut ; Jirà Starý
Accelerating the MilkyWay@Home Volunteer Computing Project with GPUs / Travis Desell ; Anthony Waters ; Malik Magdon-Ismail ; Boleslaw K. Szymanski ; Carlos A. Varela ; Matthew Newby ; Heidi Newberg ; Andreas Przystawik ; David Anderson
Reduction to Condensed Forms for Symmetric Eigenvalue Problems on Multi-core Architectures / Paolo Bientinesi ; Francisco D. Igual ; Daniel Kressner ; Enrique S. Quintana-OrtÃ
On Parallelizing the MRRR Algorithm for Data-Parallel Coprocessors / Christian Lessig
Fast In-Place Sorting with CUDA Based on Bitonic Sort / Hagen Peters ; Ole Schulz-Hildebrandt ; Norbert Luttenberger
Finite Element Numerical Integration on GPUs / Przemyslaw Plaszewski ; Pawel Maciol ; Krzysztof Banas
Modeling and Optimizing the Power Performance of Large Matrices Multiplication on Multi-core and GPU Platform with CUDA / Da Qi Ren ; Reiji Suda
Stream Processing on GPUs Using Distributed Multimedia Middleware / Michael Repplinger ; Philipp Slusallek
Simulations of the Electrical Activity in the Heart with Graphic Processing Units / Bernardo M. Rocha ; Fernando O. Campos ; Gernot Plank ; Rodrigo W. dos Santos ; Manfred Liebmann ; Gundolf Haase
Parallel Minimax Tree Searching on GPU / Kamil Rocki
A Fast GPU Implementation for Solving Sparse Ill-Posed Linear Equation Systems / Florian Stock ; Andreas Koch
The Second Minisymposium on Cell/B.E. Technologies
Monte Carlo Simulations of Spin Glass Systems on the Cell Broadband Engine / Francesco Belletti ; Marco Guidetti ; Andrea Maiorano ; Filippo Mantovani ; Sebastiano Fabio Schifano ; Raffaele Tripiccione
Montgomery Multiplication on the Cell / Joppe W. Bos ; Marcelo E. Kaihara
An Exploration of CUDA and CBEA for Einstein@Home / Jens Breitbart ; Gaurav Khanna
Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique / Henrik Bærbak Christensen ; Klaus Marius Hansen ; Bo Lindstrøm
An Architectural Approach to Composing Reputation-Based Distributed Services / Suronapee Phoomvuthisarn ; Yan Liu ; Liming Zhu
Automated Detection of Least Privilege Violations in Software Architectures / Riccardo Scandariato ; Koen Buyens ; Wouter Joosen
Architecting a Model-Driven Aspect-Oriented Product Line for a Digital TV Middleware: A Refactoring Experience / Diego Saraiva ; Lucas Pereira ; Thais Batista ; Flávia C. Delicato ; Paulo F. Pires ; Uirá Kulesza ; Rodrigo Araújo ; Tássia Freitas ; Sindolfo Miranda ; Ana Liz Souto ; Roberta Coelho
Impact Evaluation for Quality-Oriented Architectural Decisions regarding Evolvability / Stephan Bode ; Matthias Riebisch
Functional Architecture Modeling for the Software Product Industry / Sjaak Brinkkemper ; Stella Pachidi
Experiences from Scenario-Based Architecture Evaluations with ATAM / Ville Reijonen ; Johannes Koskinen ; Ilkka Haikala
Feature-Based Composition of Software Architectures / Carlos Parra ; Anthony Cleve ; Xavier Blanc ; Laurence Duchien
Linking Design Decisions to Design Models in Model-Based Software Development / Patrick Könemann ; Olaf Zimmermann
Customer Value in Architecture Decision Making / Ana Ivanovic ; Pierre America
A Formal Approach to Enforcing Consistency in Self-adaptive Systems / Najla Hadj Kacem ; Ahmed Hadj Kacem ; Khalil Drira
Architecture-Centric Component-Based Development Needs a Three-Level ADL / Huaxi (Yulin) Zhang ; Christelle Urtado ; Sylvain Vauttier
Emerging Research Papers
Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures / Jose John ; MingXue Wang ; Claus Pahl
Using Domain Knowledge to Boost Software Architecture Evaluation / Veli-Pekka Eloranta ; Kai Koskimies
Independently Extensibile Contexts / Martin Rytter ; Bo Nørregaard Jørgensen
Explaining Architectural Choices to Non-architects / Diego Bernini ; Francesco Tisato
Reference Models and Reference Architectures Based on Service-Oriented Architecture: A Systematic Review / Lucas Bueno Ruas de Oliveira ; Katia Romero Felizardo ; Daniel Feitosa ; Elisa Yumi Nakagawa
A Classification of Value for Software Architecture Decisions / Ulrik Eklund ; Thomas Arts
Mining Relationships between the Participants of Architectural Patterns / Ahmad Waqas Kamal ; Paris Avgeriou
Software Architecture Recovery Process Based on Object-Oriented Source Code and Documentation / Sylvain Chardigny ; Abdelhak Seriai
Ontological Analysis for Generating Baseline Architectural Descriptions / Arvind W. Kiwelekar ; Rushikesh K. Joshi
Experiences in Making Architectural Decisions during the Development of a New Base Station Platform / Juha Savolainen ; Juha Kuusela ; Tomi Männistö ; Aki Nyyssönen
On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms / Naeem Esfahani ; Sam Malek
Context-Aware Quality Model Driven Approach: A New Approach for Quality Control in Pervasive Computing Environments / Adel Alti ; Abdellah Boukerram ; Philippe Roose
Many to Many Service Discovery: A First Approach / Anthony Hock-koon ; Mourad Oussalah
Communicating Architectural Knowledge: Requirements for Software Architecture Knowledge Management Tools / Widura Schwittek ; Stefan Eicker
Specifying Loose Coupling from Existing Service Composition Approaches
Research Challenges Papers
Dynamic Adaptive Service Architecture - Towards Coordinated Service Composition
Identity Management Mismatch Challenges in the Danish Municipality Administration System / Mads Schaarup Andersen
From Web Components to Web Services: Opening Development for Third Parties / Chouki Tibermacine ; Mohamed Lamine Kerdoudi
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm / Antinisca Di Marco ; Francesco Gallo ; Rodolfo Ippoliti
Toward an Aspect Oriented ADL for Embedded Systems / Sihem Loukil ; Slim Kallel ; Bechir Zalila ; Mohamed Jmaiel
On the Need of Safe Software Product Line Architectures / Roberto E. Lopez-Herrejon ; Alexander Egyed
Expert Activities Automation through Enhanced Business Services Orchestration / Asta Krupaviciute ; Jocelyne Fayn
Architecture Decision-Making in Support of Complexity Control / Andrzej Zalewski ; Szymon Kijas
Software Architecture Constraints as Customizable, Reusable and Composable Entities / Christophe Dony ; Salah Sadou ; Luc Fabresse
A Framework for Dynamic Self-optimization of Power and Dependability Requirements in Green Cloud Architectures / Rami Bahsoon
Identifying Architectural Connectors through Formal Concept Analysis of Communication Primitives
A NUI Based Multiple Perspective Variability Modeling CASE Tool / Rabih Bashroush
ByADL: An MDE Framework for Building Extensible Architecture Description Languages / Davide Di Ruscio ; Ivano Malavolta ; Henry Muccini ; Patrizio Pelliccione ; Alfonso Pierantonio
Author Index
Keynote Talks
Architecture in the Age of Compositionality / Jan Bosch
Where Did All This Good Architectural Knowledge Go? / Philippe Kruchten
Measuring the Performance and Intrinsic Variability of Evolved Circuits / James Alfred Walker ; James A. Hilder ; Andy M. Tyrrell
An Efficient Selection Strategy for Digital Circuit Evolution / Zbyšek Gajda ; Lukáš Sekanina
Introducing Flexibility in Digital Circuit Evolution: Exploiting Undefined Values in Binary Truth Tables / Ricky D. Ledwith ; Julian F. Miller
Evolving Digital Circuits Using Complex Building Blocks / Paul Bremner ; Mohammad Samie ; Gabriel Dragffy ; Tony Pipe
Artificial Development / Session 2:
Fault Tolerance of Embryonic Algorithms in Mobile Networks / David Lowe ; Amir Mujkanovic ; Daniele Miorandi ; Lidia Yamamoto
Evolution and Analysis of a Robot Controller Based on a Gene Regulatory Network / Martin A. Trefzer ; Tüze Kuyucu ; Julian F Miller
A New Method to Find Developmental Descriptions for Digital Circuits / Mohammad Ebne-Alian ; Nawwaf Kharma
Sorting Network Development Using Cellular Automata / Michal Bidlo ; Zdenek Vasicek ; Karel Slany
GPU Platforms for Bio-inspired Algorithms / Session 3:
Markerless Articulated Human Body Tracking from Multi-view Video with GPU-PSO / Luca Mussi ; Spela Ivekovic ; Stefano Cagnoni
Evolving Object Detectors with a GPU Accelerated Vision System / Marc Ebner
Systemic Computation Using Graphics Processors / Marjan Rouhipour ; Peter J. Bentley ; Hooman Shayani
Implementations and Applications of Neural Networks / Session 4:
An Efficient, High-Throughput Adaptive NoC Router for Large Scale Spiking Neural Network Hardware Implementations / Snaider Carrillo ; Jim Harkin ; Liam McDaid ; Sandeep Pande ; Fearghal Morgan
Performance Evaluation and Scaling of a Multiprocessor Architecture Emulating Complex SNN Algorithms / Giovanny Sánchez ; Jordi Madrenas ; Juan Manuel Moreno
Evolution of Analog Circuit Models of Ion Channels / Theodore W. Cornforth ; Kyung-Joong Kim ; Hod Lipson
HyperNEAT for Locomotion Control in Modular Robots / Evert Haasdijk ; Andrei A. Rusu ; A.E. Eiben
Test, Repair and Reconfiguration Using Evolutionary Algorithms / Session 5:
The Use of Genetic Algorithm to Reduce Power Consumption during Test Application / Jaroslav Skarvada ; Zdenek Kotasek ; Josef Strnadel
Designing Combinational Circuits with an Evolutionary Algorithm Based on the Repair Technique / Houjun Liang ; Wenjian Luo ; Zhifang Li ; Xufa Wang
Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time / Jirà Šimácek ; Lukáš Starecek
Applications of Evolutionary Algorithms in Hardware / Session 6:
Extrinsic Evolution of Fuzzy Systems Applied to Disease Diagnosis / Carlos Pena
Automatic Code Generation on a MOVE Processor Using Cartesian Genetic Programming / Yang Liu ; Gianluca Tempesti
Coping with Resource Fluctuations: The Run-time Reconfigurable Functional Unit Row Classifier Architecture / Tobias Knieper ; Paul Kaufmann ; Kyrre Glette ; Marco Platzner ; Jim Torresen
Reconfigurable Hardware Platforms / Session 7:
A Self-reconfigurable FPGA-Based Platform for Prototyping Future Pervasive Systems / Jean-Marc Philippe ; Benoît Tain ; Christian Gamrat
The X2 Modular Evolutionary Robotics Platform / Mats Hovin
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis (Invited Talk) / Frank S. de Boer ; Mohammad Mahdi Jaghoori ; Einar Broch Johnsen
Applications of Shellable Complexes to Distributed Computing (Invited Talk) / Maurice Herlihy
Concurrency and Composition in a Stochastic World (Invited Talk) / Christian Eisentraut ; Holger Hermanns ; Lijun Zhang
Taming Distributed Asynchronous Systems (Invited Talk) / Anca Muscholl
Trust in Anonymity Networks (Invited Talk) / Vladimiro Sassone ; Sardaouna Hamadou ; Mu Yang
Conditional Automata: A Tool for Safe Removal of Negligible Events / Roberto Segala ; Andrea Turrini
Representations of Petri Net Interactions / Pawel Sobocinski
Communicating Transactions (Extended Abstract) / Edsko de Vries ; Vasileios Koutavas ; Matthew Hennessy
Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations / Tim A. C. Willemse
Author Index
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis (Invited Talk) / Frank S. de Boer ; Mohammad Mahdi Jaghoori ; Einar Broch Johnsen
Applications of Shellable Complexes to Distributed Computing (Invited Talk) / Maurice Herlihy
Concurrency and Composition in a Stochastic World (Invited Talk) / Christian Eisentraut ; Holger Hermanns ; Lijun Zhang
Automatic Testing and Fixing for Eiffel (Extended Abstract) / Bertrand Meyer
Testing and Proving / Hand-in-Hand ; Sir Tony Hoare
Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing / Wolfgang Grieskamp
Full Papers
Masking Boundary Value Coverage: Effectiveness and Efficiency / P. Vijay Suman ; Tukaram Muske ; Prasad Bokil ; Ulka Shrotri ; R. Venkatesh
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang / Qiang Guo ; John Derrick ; Clara Benac Earle ; Lars-Ã…ke Fredlund
Bad Pairs in Software Testing / Daniel Hoffman ; Chien-Hsing Chang ; Gary Bazdell ; Brett Stevens ; Kevin Yoo
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs / Frank Eichinger ; Victor Pankratius ; Philipp W.L. Große ; Klemens Böhm
Filtering Test Models to Support Incremental Testing / Antti Jääskeläinen
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? / Mihai Nica ; Simona Nica ; Franz Wotawa
Linguistic Security Testing for Text Communication Protocols / Ben W.Y. Kam ; Thomas R. Dean
Tool Papers
An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation / Christian Wiederseiner ; Shahnewaz Amin Jolly ; Vahid Garousi ; Matt M. Eskandar
TeCReVis:. A Tool for Test Coverage and Test Redundancy Visualization / Negar Koochakzadeh
A Fault Injection Tool for Testing Web Services Composition / Fayçal Bessayali ; Ana Cavalli ; Willian Maja ; Eliane Martins ; Andre Willik Valenti
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models / Marko Kääramees ; Jüri Vain ; Kullo Raiend
A Generic Approach to Run Mutation Analysis / Siamak Haschemi ; Stephan Weißleder
Challenge Paper
The Practical Assessment of Test Sets with Inductive Inference Techniques / Neil Walkinshaw
Experience Reports
Mining API Popularity / Yana Momchilova Mileva ; Valentin Dallmeier ; Andreas Zeller
Automatic Discovery of Unspecified Behaviors in Automotive Control Software / Muzammil Shahbaz ; Robert Eschbach
Fast Abstracts
An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information
A Multi-criteria Decision Making Framework for Real Time Model-Based Testing / Mohammad Saeed Abou Trab ; Bachar Alrouh ; Steve Counsell ; Rob M. Hierons ; George Ghinea
Improved Testing through Refactoring: Experience from the ProTest Project / Huiqing Li ; Simon Thompson
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements / Konstantinos Bratanis ; Dimitris Dranidis ; Anthony J.H. Simons
A New Approach for Software Testability / Lydie du Bousquet
DOM Transactions for Testing JavaScript / Phillip Heidegger ; Annette Bieniusa ; Peter Thiemann
A New Semantics for the Inclusive Converging Gateway in Safe Processes
Processes and People
From People to Services to UI: Distributed Orchestration of User Interfaces / Florian Daniel ; Stefano Soi ; Stefano Tranquillini ; Fabio Casati ; Chang Heng ; Li Yan
Self-adjusting Recommendations for People-Driven Ad-Hoc Processes / Christoph Dorn ; Thomas Burkhart ; Dirk Werth ; Schahram Dustdar
A Collaborative Approach to Maturing Process-Related Knowledge / Hans Friedrich Witschel ; Bo Hu ; Uwe V. Riss ; Barbara Thönssen ; Roman Brun ; Andreas Martin ; Knut Hinkelmann
Author Index
Invited Talks
The Next Decade of BPM / Phil Gilbert
BPM in Cloud Architectures: Business Process Management with SLAs and Events / Vinod Muthusamy ; Hans-Arno Jacobsen
Probabilistic Contracts for Component-Based Design / Dana N. Xu ; Gregor Gössler ; Alain Girault
Tool Papers
Model-Checking Web Applications with Web-TLR / MarÃa Alpuente ; Demis Ballis ; Javier Espert ; Daniel Romero
GAVS: Game Arena Visualization and Synthesis / Chih-Hong Cheng ; Christian Buckl ; Michael Luttenberger ; Alois Knoll
CRI: Symbolic Debugger for MCAPI Applications / Mohamed Elwakil ; Zijiang Yang ; Liqiang Wang
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming / Gal Katz
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
Developing Model Checkers Using PAT / Yang Liu ; Jun Sun ; Jin Song Dong
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B / Ukachukwu Ndukwu ; Annabelle K. McIver
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification / An N. Nguyen ; Tho T. Quan ; Phung H. Nguyen ; Thang H. Bui
Knowledge Elicitation, Construction and Structuring
Supporting Collaborative Knowledge Creation in Mobile Working Scenarios / Gustavo Zurita ; Nelson Baloian
Collaborative Conceptual Modeling Using an Ontology / Arkalgud Ramaprasad ; Steven Diduca ; Abhinaya Javier ; Tarun Misra ; Ganesh Parasuraman ; Pratibha Prabhakaran ; Himanshu Sharma ; Devi Subramanian ; Anuroopa Thangaraja ; Ankita Vij ; David Yi ; Jolita Zukaite
A Mobile Computer System to Support Collaborative Ethnography: An Approach to the Elicitation of Knowledge of Work Teams in Complex Environments / Luiz Carlos L. Silva Junior ; Marcos R.S. Borges ; Paulo Victor R. de Carvalho
A Method for Identification and Representation of Business Process Deviations / Lilian Bitton Migon ; Maria Luiza Machado Campos
Computer Supported Reflection of Good Practice / Till Schümmer ; Martin Mühlpfordt ; Joerg M. Haake
Establishing On-Line Corporate Training in Distributed, Synchronous eCollaboration: A Field Study / Tero Päivärinta ; Bjørn Erik Munkvold
Decision Support
Integrating Spatial Data and Decision Models in an E-Planning Tool / Claudio Sapateiro
A Framework and an Architecture for Context-Aware Group Recommendations / Tim Hussein ; Timm Linder ; Werner Gaulke ; Juergen Ziegler
Collaboration Support
Concurrent Modeling in Early Phases of the Software Development Life Cycle / Petra Brosch ; Philip Langer ; Martina Seidl ; Konrad Wieland ; Manuel Wimmer ; Gerti Kappel
The Integration of Collaborative Process Modeling and Electronic Brainstorming in Co-located Meetings / Thomas Herrmann ; Alexander Nolte
Integrating Context-Enriched Explanations and Communication in an Adaptive Collaboration Environment / Syed Sajid Hussain ; Dirk Veiel ; Stephan Lukosch
A Tool for Training Students and Engineers in Global Software Development Practices / Miguel J. Monasor ; Aurora VizcaÃno ; Mario Piattini
Awareness
Awareness Support in Global Software Development: A Systematic Review Based on the 3C Collaboration Model / Igor Steinmacher ; Ana Paula Chaves ; Marco Aurelio Gerosa
Awareness Checklist: Reviewing the Quality of Awareness Support in Collaborative Applications / Jose A. Pino ; Valeria Herskovic ; Sergio F. Ochoa
Supporting Asynchronous Workspace Awareness by Visualizing the Story Evolution in Collaborative Storytelling / Jana Schumann ; Tanja Buttler
Groupware Design
Dealing with Device Collaboration Rules for the PCSCW Model / Kahina Hamadache ; Luigi Lancieri
Enabling Collaboration Transparency with Computational Reflection / Pedro Garcia Lopez ; Enrique Fernández-Casado ; Carles Angles ; Maria Ferre
Developing a Framework of Common Information Space (CIS): Grounded Theory Analysis of Airport CIS / Nallini Selvaraj ; Bob Fields
Social Networking
The Mind's Eye on Personal Profiles: How to Inform Initial Trustworthiness Assessments in Virtual Project Teams / Ellen Rusman ; Jan van Bruggen ; Peter Sloep ; Martin Valcke ; Rob Koper
Supporting Informal Interaction in a Hospital through Impromptu Social Networking / Alberto L. Morán ; Juan RodrÃguez-Covili ; David Mejia ; Jesus Favela
Ambient Displays for Integrating Older Adults into Social Networking Sites / Raymundo Cornejo ; Jesús Favela ; Monica Tentori
Mobile Collaboration
A Simple and Portable Command Post to Coordinate Search and Rescue Activities in Disaster Relief Efforts / Rodrigo Bartels ; Alvaro Monares
Digital Workbook: A Mobile Learning Environment to Support Collaborative Examinations / Ivan D. Claros ; Cásar A. Collazos ; Luis A. Guerrero
Evaluating a Prototype for Geo-referenced Collaborative Psychotherapy with Mobile Devices / LuÃs Carriço ; Marco de Sá ; João Faria ; Isabel Sá
Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg
Size-Change Termination and Transition Invariants (Invited Talk) / Matthias Heizmann ; Neil D. Jones ; Andreas Podelski
Using Static Analysis in Space: Why Doing so? (Invited Talk) / David Lesens
Statically Inferring Complex Heap, Array, and Numeric Invariants (Invited Talk) / Bill McCloskey ; Thomas Reps ; Mooly Sagiv
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis / Elvira Albert ; Puri Arenas ; Samir Genaim ; German Puebla ; Diana Vanessa RamÃrez Deantes
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs / Christophe Alias ; Alain Darte ; Paul Feautrier ; Laure Gonnord
Deriving Numerical Abstract Domains via Principal Component Analysis / Gianluca Amato ; Maurizio Parton ; Francesca Scozzari
Concurrent Separation Logic for Pipelined Parallelization / Christian J. Bell ; Andrew W. Appel ; David Walker
Automatic Abstraction for Intervals Using Boolean Formulae / Jörg Brauer ; Andy King
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables / Alexandre Chapoutot
A Shape Analysis for Non-linear Data Structures / Renato Cherini ; Lucas Rearte ; Javier Blanco
Modelling Metamorphism by Abstract Interpretation / Mila Dalla Preda ; Roberto Giacobazzi ; Saumya Debray ; Kevin Coogan ; Gregg M. Townsend
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis / Isil Dillig ; Thomas Dillig ; Alex Aiken
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks / Azadeh Farzan ; Zachary Kincaid
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely / Thomas Martin Gawlitza ; Helmut Seidl
BOXES; A Symbolic Abstract Domain of Boxes / Arie Gurfinkel ; Sagar Chaki
Alternation for Termination / William R. Harris ; Akash Lal ; Aditya V. Nori ; Sriram K. Rajamani
Interprocedural Analysis with Lazy Propagation / Simon Holm Jensen ; Anders Møller ; Peter Thiemann
Verifying a Local Generic Solver in Coq / Martin Hofmann ; Aleksandr Karbyshev
Thread-Modular Counterexample-Guided Abstraction Refinement / Alexander Malkis ; Andrey Rybalchenko
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods / Nadir Matringe ; Arnaldo Vieira Moura ; Rachid Rebiha
Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods / Joost-Pieter Katoen ; Annabelle K. McIver ; Larissa A. Meinicke ; Carroll C. Morgan
Abstract Interpreters for Free / Matthew Might
Points-to Analysis as a System of Linear Equations / Rupesh Nasre ; Ramaswamy Govindarajan
Strictness Meets Data Flow / Tom Schrijvers ; Alan Mycroft
Automatic Verification of Determinism for Structured Parallel Programs / Martin Vechev ; Eran Yahav ; Raghavan Raman ; Vivek Sarkar
Author Index
Time of Time (Invited Talk) / E. Allen Emerson
Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg
Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems / Marco Roccetti ; Gustavo Marfia
Application of Advanced Model-Driven Techniques in Performance Engineering / Lucia Kapova ; Ralf Reussner
Network and Software Performance
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks / Samir Bellahsene ; Leila Kloul
Performance Aware Reconfiguration of Software Systems / Moreno Marzolla ; Raffaela Mirandola
On the Energy-Performance Tradeoff for Parallel Applications / Shikharesh Majumdar
Timed Models and Model Checking
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking / Lasse Jacobsen ; Morten Jacobsen ; Mikael H. Møller ; Jirà Srba
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report / Falko Dulat ; Joost-Pieter Katoen ; Viet Yen Nguyen
Case Studies
A Markovian Agent Model for Fire Propagation in Outdoor Environments / Davide Cerotti ; Marco Gribaudo ; Andrea Bobbio ; Carlos T. Calafate ; Pietro Manzoni
Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs / Patrick Bellasi ; Adnan Faisal ; William Fornaciari ; Giuseppe Serazzi