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
The Metrô Rio ATP Case Study / Alessio Ferrari ; Daniele Grasso ; Gianluca Magnani ; Alessandro Fantechi ; Matteo Tempestini
Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study / Michael Altenhofen ; Achim D. Brucker
Formal Analysis of BPMN Models Using Event-B / Jeremy W. Bryans ; Wei Wei
Developing Mode-Rich Satellite Software by Refinement in Event B / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky ; Kimmo Varpaaniemi ; Dubravka Ilic ; Timo Latvala
Automatic Error Correction of Java Programs / Christian Kern ; Javier Esparza
Range Analysis of Microcontroller Code Using Bit-Level Congruences / Jörg Brauer ; Andy King ; Stefan Kowalewski
An Automated Translator for Model Checking Time Constrained Workflow Systems / Ahmed Shah Mashiyat ; Fazle Rabbi ; Hao Wang ; Wendy MacCaull
Correctness of Sensor Network Applications by Software Bounded Model Checking / Frank Werner ; David Faragó
Model Checking the FlexRay Physical Layer Protocol / Michael Gerke ; Rüdiger Ehlers ; Bernd Finkbeiner ; Hans-Jörg Peter
SMT-Based Formal Verification of a TTEthernet Synchronization Function / Wilfried Steiner ; Bruno Dutertre
Embedded Network Protocols for Mobile Devices / Despo Galataki ; Andrei Radulescu ; Kees Verstoep ; Wan Fokkink
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP / Radu Mateescu ; Wendelin Serwe
A Formal Model of Identity Mixer / Jan Camenisch ; Sebastian Mödersheim ; Dieter Sommer
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept / Lars Michael Kristensen ; Michael Westergaard
Author Index
The Metrô Rio ATP Case Study / Alessio Ferrari ; Daniele Grasso ; Gianluca Magnani ; Alessandro Fantechi ; Matteo Tempestini
Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study / Michael Altenhofen ; Achim D. Brucker
Formal Analysis of BPMN Models Using Event-B / Jeremy W. Bryans ; Wei Wei
Crisis Management Systems: A Case Study for Aspect-Oriented Modeling / Jörg Kienzle ; Nicolas Guelfi ; Sadaf Mustafiz
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study / Gunter Mussbacher ; Daniel Amyot ; João Araújo ; Ana Moreira
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models / Selim Ciraci ; Wilke Havinga ; Mehmet Aksit ; Christoph Bockisch ; Pim van den Broek
Discovery of Stable Abstractions for Aspect-Oriented Composition in the Car Crash Management Domain / Dimitri Van Landuyt ; Eddy Truyen ; Wouter Joosen
Author Index
Crisis Management Systems: A Case Study for Aspect-Oriented Modeling / Jörg Kienzle ; Nicolas Guelfi ; Sadaf Mustafiz
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study / Gunter Mussbacher ; Daniel Amyot ; João Araújo ; Ana Moreira
Role-Based Generic Model Refactoring / Jan Reimann ; Mirko Seifert
Model Change / Session 4c：
Precise Detection of Conflicting Change Operations Using Process Model Terms / Christian Gerth ; Jochen M. Küster ; Markus Luckey ; Gregor Engels
Capturing the Intention of Model Changes / Patrick Könemann
Selective and Consistent Undoing of Model Changes / Iris Groher ; Alexander Egyed
(Meta)Models at Runtime / Session 5a：
Modeling Features at Runtime / Marcus Denker ; Jorge Ressia ; Orla Greevy ; Oscar Nierstrasz
Metamodel-Based Information Integration at Industrial Scale / Stefan Berger
Inferring Meta-models for Runtime System Data from the Clients of Management APIs / Hui Song ; Gang Huang ; Yingfei Xiong ; Franck Chauvel ; Yanchun Sun ; Hong Mei
A Common Framework for Synchronization in Requirements Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day ; Joanne M. Atlee
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development / Grzegorz Loniewski ; Emilio Insfran ; Silvia Abrahão
Slicing and Model Transformations / Session 5c：
Slicing of UML Models Using Model Transformations / Kevin Lano ; Shekoufeh Kolahdouz-Rahimi
An Adjustable Transformation from OWL to Ecore / Tirdad Rahmani ; Daniel Oberle ; Marco Dahms
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program / Pieter Van Gorp ; Rik Eshuis
Keynote 3
Disciplined Heterogeneous Modeling (Invited Paper) / Edward A. Lee
Incorporating Quality Concerns in MDD / Session 6a：
Design Guidelines for the Development of Quality-Driven Model Transformations / Javier Gonzalez-Huerta
The 4th Workshop on Trends in Enterprise Architecture Research (TEAR 2009)
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
Enterprise Architecture Principles: Literature Review and Research Directions / Dirk Stelzer
Something Is Missing: Enterprise Architecture from a Systems Theory Perspective / Sebastian Kloeckner ; Dominik Birkmeier
A Reassessment of Enterprise Architecture Implementation / Stephan Aier ; Joachim Schelp
The Dynamic Architecture Maturity Matrix: Instrument Analysis and Refinement / Marlies van Steenbergen ; Jurjen Schipper ; Rik Bos ; Sjaak Brinkkemper
Decoupling Models and Visualisations for Practical EA Tooling / Steffen Kruse ; Jan Stefan Addicks ; Matthias Postina ; Ulrike Steffens
Cross-Organizational Security - The Service-Oriented Difference / André Miede ; Nedislav Nedyalkov ; Dieter Schuller ; Nicolas Repp ; Ralf Steinmetz
1st International Workshop on SOA, Globalization, People, and Work (SG-PAW)
Automated Realization of Business Workflow Specification / Guohua Liu ; Xi Liu ; Haihuan Qin ; Jianwen Su ; Zhimin Yan ; Liang Zhang
PeopleCloud for the Globally Integrated Enterprise / Maja Vukovic ; Mariana Lopez ; Jim Laredo
Public Disclosure versus Private Practice: Challenges in Business Process Management (Position Paper) / Stacy Hobson ; Sameer Patil ; Xuan Liu
1st International Workshop on Service Oriented Computing in Logistics (SOC-LOG)
Analysing Dependencies in Service Compositions / Matthias Winkler ; Thomas Springer ; Edmundo David Trigos ; Alexander Schill
Open Service-Oriented Computing for Logistics: A Case in Courier, Express and Parcel Networks / Marcel Kunkel ; Christian Doppstadt ; Michael Schwind
Gain in Transparency versus Investment in the EPC Network - Analysis and Results of a Discrete Event Simulation Based on a Case Study in the Fashion Industry / Jürgen Müller ; Ralph Tröger ; Alexander Zeier ; Rainer Alt
Using Automated Analysis of Temporal-Aware SLAs in Logistics / Carlos Müller ; Manuel Resinas ; Antonio Ruiz-Cortés
Flexible SLA Negotiation Using Semantic Annotations / Henar Muñoz ; Ioannis Kotsiopoulos ; András Micsik ; Bastian Koller ; Juan Mora
Service Quality and Service Level Agreements Track / Track 2：
3rd Workshop on Non-functional Properties and Service Level Agreements Management in Service Oriented Computing (NFPSLAM-SOC 09)
Runtime Prediction of Service Level Agreement Violations for Composite Services / Philipp Leitner ; Branimir Wetzstein ; Florian Rosenberg ; Anton Michlmayr ; Schahram Dustdar ; Frank Leymann
A Framework for Multi-level SLA Management / Marco Comuzzi ; Constantinos Kotsokalis ; Christoph Rathfelder ; Wolfgang Theilmann ; Ulrich Winkler ; Gabriele Zacco
EC2 Performance Analysis for Resource Provisioning of Service-Oriented Applications / Jiang Dejun ; Guillaume Pierre ; Chi-Hung Chi
On the Design of Compliance Governance Dashboards for Effective Compliance and Audit Management / Patrícia Silveira ; Carlos Rodríguez ; Fabio Casati ; Florian Daniel ; Vincenzo D'Andrea ; Claire Worledge ; Zouhair Taheri
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition / Haruhiko Takada ; Incheon Paik
Dealing with Fixable and Non-fixable Properties in Service Matchmaking / Octavio Martín-Díaz ; José M2 García ; Miguel Toro
Using SLA Mapping to Increase Market Liquidity / Marcel Risch ; Ivona Brandic ; Jörn Altmann
Translation of Service Level Agreements: A Generic Problem Definition
2nd International Workshop on Service Monitoring, Adaptation and Beyond (MONA+)
Multi-level Monitoring and Analysis of Web-Scale Service Based Applications / Adrian Mos ; Carlos Pedrinaci ; Guillermo Alvaro Reg ; Jose Manuel Gomez ; Dong Liu ; Guillaume Vaudaux-Ruth ; Samuel Quaireau
Calculating Service Fitness in Service Networks / Martin Treiber ; Vasilios Andrikopoulos
Applying Process Mining in SOA Environments / Ateeq Khan ; Azeem Lodhi ; Veit Köppen ; Gamal Kassem ; Gunter Saake
Monitoring within an Autonomic Network: A GANA Based Network Monitoring Framework / Anastasios Zafeiropoulos ; Athanassios Liakopoulos ; Alan Davy ; Ranganai Chaparadza
An Extensible Monitoring and Adaptation Framework / Razvan Popescu ; Athanasios Staikopoulos ; Siobhán Clarke
Cross-Layer Adaptation and Monitoring of Service-Based Applications / Raman Kazhamiakin ; Marco Pistore ; Asli Zengin
Towards a Unified Architecture for Resilience, Survivability and Autonomic Fault-Management for Self-managing Networks / Nikolay Tcholtchev ; Monika Grajzer ; Bruno Vidalenc
Replacement Policies for Service-Based Systems / Khaled Mahbub ; Andrea Zisman
Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments / Hanna Eberle ; Oliver Kopp ; Tobias Unger
Integrating Complex Events for Collaborating and Dynamically Changing Business Processes / Rainer von Ammon ; Thomas Ertlmaier ; Opher Etzion ; Alexander Kofman ; Thomas Paulus
Towards Business-Oriented Monitoring and Adaptation of Distributed Service-Based Applications from a Process Owner's Viewpoint / Krešimir Vidackovic ; Nico Weiner ; Holger Kett ; Thomas Renner
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis / Dimka Karastoyanova
Delivering Multimedia in Autonomic Networking Environments / Vassilios Kaldanis ; Giannis Katsaros ; George Karantonis
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring / Dragan Ivanovic ; Manuel Carro ; Manuel Hermenegildo
Service Engineering Track / Track 3：
5th International Workshop on Engineering Service-Oriented Applications (WESOA09)
Service Customization by Variability Modeling / Michael Stollberg ; Marcel Muth
Towards a Quality Model for Choreography / Michele Mancioppi ; Mikhail Perepletchikov ; Caspar Ryan ; Willem-Jan van den Heuvel ; Mike P. Papazoglou
Towards a Conceptual Framework for Legacy to SOA Migration / Maryam Razavian ; Patricia Lago
MINERVA: Model drIveN and sErvice oRiented Framework for the Continuous Business Process improVement and relAted Tools / Andrea Delgado ; Francisco Ruiz ; Ignacio García-Rodríguez de Guzmán ; Mario Piattini
Design for Adaptation of Service-Based Applications: Main Issues and Requirements / Antonio Bucchiarone ; Cinzia Cappiello ; Elisabetta Di Nitto ; Valentina Mazza
Towards Runtime Migration of WS-BPEL Processes / Sonja Zaplata ; Kristian Kottke ; Matthias Meiners ; Winfried Lamersdorf
Encapsulating Multi-stepped Web Forms as Web Services / Tobias Vogel ; Frank Kaufer ; Felix Naumann
Adapter Patterns for Resolving Mismatches in Service Discovery / Hyun Jung La ; Soo Dong Kim
1st International Workshop on User-Generated Services (UGS2009)
Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups / Florian Gilles ; Volker Hoyer ; Till Janner ; Katarina Stanoevska-Slabeva
User-Centric Composition of Service Front-Ends at the Presentation Layer / Tobias Nestler ; Lars Dannecker ; Andreas Pursche
On the Support of Dynamic Service Composition at Runtime / Eduardo Silva ; Luís Ferreira Pires ; Marten van Sinderen
Rethinking the Semantic Annotation of Services / Nikolaos Loutas ; Vassilios Peristeras ; Konstantinos Tarabanis
Service Composition for Everyone: A Study of Risks and Benefits / Abdallah Namoun ; Usman Wajid ; Nikolay Mehandjiev
Using Personal Information Management Infrastructures to Facilitate User-Generated Services for Personal Use / Olaf Grebner
Towards Ontology Matching for Intelligent Gadgets / Oszkar Ambrus ; Knud Möller ; Siegfried Handschuh
Author Index
Business Models and Architecture / Track 1：
The 4th Workshop on Trends in Enterprise Architecture Research (TEAR 2009)
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
transML: A Family of Languages to Model Model Transformations / Osmar Marchi dos Santos
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations / Thorsten Arendt ; Enrico Biermann ; Stefan Jurack ; Christian Krause ; Gabriele Taentzer
A Technique for Automatic Validation of Model Transformations / Levi Lúcio ; Bruno Barroca ; Vasco Amaral
Verifying Consistency and Conformance / Session 2a：
Static- and Dynamic Consistency Analysis of UML State Chart Models / Christian Schwarzl ; Bernhard Peischl
Verifying Semantic Conformance of State Machine-to-Java Code Generators / Lukman Ab Rahim ; Jon Whittle
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models / Bo Wang ; Yingfei Xiong ; Zhenjiang Hu ; Haiyan Zhao ; Wei Zhang ; Hong Mei
Taming Modeling Complexity / Session 2b：
Taming Graphical Modeling / Hauke Fuhrmann ; Reinhard von Hanxleden
Taming EMF and GMF Using Model Transformation / Saad Bin Abid ; Fiona A.C. Polack ; Goetz Botterweck
A Visual Traceability Modeling Language / Patrick Mäder ; Jane Cleland-Huang
Modeling User-System Interaction / Session 2c：
Application Logic Patterns - Reusable Elements of User-System Interaction / Albert Ambroziewicz ; Michal Smialek
A Metamodel-Based Approach for Automatic User Interface Generation / António Miguel Rosado da Cruz ; João Pascoal Faria
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies / Muhammad Zohaib Iqbal ; Andrea Arcuri ; Lionel Briand
Experimental Comparison of Concolic and Random Testing for Java Card Applets / Kari Kähkönen ; Roland Kindermann ; Keijo Heljanko ; Ilkka Niemelä
Combining SPIN with ns-2 for Protocol Optimization / Pedro Merino ; Alberto Salmerón
Automatic Generation of Model Checking Scripts Based on Environment Modeling / Kenro Yatake ; Toshiaki Aoki
Implementation and Performance of Model Checking
Model Checking: Cleared for Take Off (Invited Talk) / Darren Cofer
Context-Enhanced Directed Model Checking / Martin Wehrle ; Sebastian Kupferschmid
Efficient Explicit-State Model Checking on General Purpose Graphics Processors / Stefan Edelkamp ; Damian Sulewski
The SpinJa Model Checker (Tool Presentation) / Marc de Jonge ; Theo C. Ruys
LTL and Büchi Automata
On the Virtue of Patience: Minimizing Büchi Automata / Rüdiger Ehlers ; Bernd Finkbeiner
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance / Maja Pešic ; Dragan Bošnacki ; Wil M.P. van der Aalst
Nevertrace Claims for Model Checking / Zhe Chen ; Gilles Motet
Infinite State Models
A False History of True Concurrency: From Petri to Tools (Invited Talk) / Javier Esparza
Analysing Mu-Calculus Properties of Pushdown Systems (Tool Presentation) / Matthew Hague ; C.-H. Luke Ong
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains / Georgel Calin ; Pepijn Crouzen ; Pedro R. D'Argenio ; E. Moritz Hahn ; Lijun Zhang
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models / Alexander Linden ; Pierre Wolper
Concurrent Software
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation / Naghmeh Ghafari ; Alan J. Hu ; Zvonimir Rakamaric
One Stack to Run Them All: Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling / Nicholas Kidd ; Suresh Jagannathan ; Jan Vitek
Author Index
Satisfiability Modulo Theories for Model Checking
SMT-Based Software Model Checking (Invited Talk) / Alessandro Cimatti
Ubiquitous Verification of Ubiquitous Systems / Reinhard Wilhelm ; Matteo Maffei
Model-Based Design and Model-Checking
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems / Andreas Baumgart ; Philipp Reinkemeier ; Achim Rettberg ; Ingo Stierand ; Eike Thaden ; Raphael Weber
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability / Charbel El Kaed ; Yves Denneulin ; François-Gaë Ottogalli ; Luis Felipe Melo Mora
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems / Shin Nakajima ; Masaki Ishiguro ; Kazuyuki Tanaka
Sensor Nets
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks / Kai Beckmann ; Marcus Thoss
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling / Sang Hoon Lee ; Yunmook Nah ; Lynn Choi
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems / LuÃs Almeida ; Ricardo Marau ; Karthik Lakshmanan ; Raj Rajkumar
Error Detection and System Failures
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain / Susanne Kandl
Simultaneous Logging and Replay for Recording Evidences of System Failures / Shuichi Oikawa ; Jin Kawasaki
Hard Real-Time
Code Generation for Embedded Java with Ptolemy / Martin Schoeberl ; Christopher Brooks ; Edward A. Lee
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata / Christo Angelov ; Feng Zhou ; Krzysztof Sierszecki
EMWF: A Middleware for Flexible Automation and Assistive Devices / Ting-Shuo Chou ; Yu Chi Huang ; Yung Chun Wang ; Wai-Chi Chen ; Chi-Sheng Shih ; Jane W.S. Liu
An Investigation on Flexible Communications in Publish/Subscribe Services / Christian Esposito ; Domenico Cotroneo ; Stefano Russo
Mobile Agents for Digital Signage / Ichiro Satoh
Function Composition and Task Mapping
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products / Tatsuo Nakajima ; Yuki Kinebuchi ; Alexandre Courbot ; Hiromasa Shimada ; Tsung-Han Lin ; Hitoshi Mitake
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring / Robert Diemer ; Samarjit Chakraborty
Author Index
Invited Program
Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman
A Rule-Based Implementation of Fuzzy Tableau Reasoning / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Davide Sottara
Rule-Based Event Processing and Reaction Rules
Ensuring Compliance with Semantic Constraints in Process Adaptation with Rule-Based Event Processing / Akhil Kumar ; Wen Yao ; Chao-Hsien Chu ; Zang Li
Establishing a Procedure Model for Combining and Synergistically Aligning Business Rules and Processes within Ontologies / Alexander Sellner ; Adrian Paschke ; Erwin Zinser
Enhancing a Smart Space with Answer Set Programming / Vesa Luukkala ; Ilkka Niemelä
Superiority Based Revision of Defeasible Theories / Guido Governatori ; Francesco Olivieri ; Simone Scannapieco ; Matteo Cristani
On the problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic / Ho-Pun Lam
Rule Transformation and Extraction
Generating SQL Queries from SBVR Rules / Sotiris Moschoyiannis ; Alexandros Marinos ; Paul Krause
Representing Financial Reports on the Semantic Web: A Faithful Translation from XBRL to OWL / Jie Boo ; Graham Rong ; Xian Li ; Li Ding
Transformation of SBVR Compliant Business Rules to Executable FCL Rules / Aqueo Kamada ; Shazia Sadiq
Rules, Semantic Technology, and Cross-Industry Standards
RuleML 1.0: The Overarching Specification of Web Rules / Harold Boley ; Omair Shafiq
Rules and Norms Defining Access Control Rules with Conditions / Mark H. Linehan
Norm Compliance in Business Process Modeling / Antonino Rotolo
Application of an Ontology-Based and Rule-Based Model to Selected Economic Crimes: Fraudulent Disbursement and Money Laundering / Jaros Bak ; Czeslaw Jedrzejek ; Maciej Falkowski
Rule-Based Distributed/Multi-Agent Systems
A Contract, Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web / Kalliopi Kravari ; Grammati-Eirini Kastori ; Nick Bassiliades
Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems
Miscellaneous Rule Topics
Visualizing Logical Dependencies in SWRL Rule Bases / Saeed Hassanpour ; Martin J. O'Connor ; Amar K. Das
An XML Format for Association Rule Models Based on the GUHA Method / Tomás Kliegr ; Jan Rauch
Realizing Integrated Service Delivery through a Language for Collective Understanding of Business Rules / Sietse Overbeek ; Marijn Janssen ; Patrick van Bommel
Authoring Business Rules Grounded in OWL Ontologies / Amina Chniti ; Sylvain Dehors ; Patrick Albert ; Jean Charlet
Author Index
Keynotes and Invited Demos
Logical Spreadsheets / Michael Genesereth
NIEM Canonical XML Dictionaries and Rule Engine Systems / David Webber
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
Adaptation in Open Systems: Giving Interaction Its Rightful Place / Fabiano Dalpiaz ; Amit K. Chopra ; Paolo Giorgini ; John Mylopoulos
Requirements Engineering and Modeling 1
Information Use in Solving a Well-Structured Is Problem: The Roles of IS and Application Domain Knowledge / Vijay Khatri ; Iris Vessey
Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach / Jennifer Horkoff ; Eric Yu
The Model Role Level - A Vision / Rick Salay
Requirements Engineering and Modeling 2
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain / Alberto Siena ; Giampaolo Armellin ; Gianluca Mameli ; Anna Perini ; Angelo Susi
Reasoning with Optional and Preferred Requirements / Neil A. Ernst ; Alex Borgida ; Ivan J. Jureta
Data Evolution and Adaptation
A Conceptual Approach to Database Applications Evolution / Anthony Cleve ; Anne-France Brogneaux ; Jean-Luc Hainaut
Automated Co-evolution of Conceptual Models, Physical Databases, and Mappings / James F. Terwilliger ; Philip A. Bernstein ; Adi Unnithan
A SchemaGuide for Accelerating the View Adaptation Process / Jun Liu ; Mark Roantree ; Zohra Bellahsene
Operations on Spatio-temporal Data
Complexity of Reasoning over Temporal Data Models / Alessandro Artale ; Roman Kontchakov ; Vladislav Ryzhikov ; Michael Zakharyaschev
Using Preaggregation to Speed Up Scaling Operations on Massive Spatio-temporal Data / Angelica Garcia Gutierrez ; Peter Baumann
Situation Predication Nets: Playing the Token Game for Ontology-Driven Situation Awareness / Norbert Baumgartner ; Wolfgang Gottesheim ; Stefan Mitsch ; Werner Retschitzegger ; Wieland Schwinger
Model Abstraction, Feature Modeling, and Filtering
Granularity in Conceptual Modelling: Application to Metamodels / Brain Henderson-Sellers ; Cesar Gonzalez-Perez
Feature Assembly: A New Feature Modeling Technique / Lamia Abo Zaid ; Frederic Kleinermann ; Olga De Troyer
Measuring the Quality of an Integrated Schema / Fabien Duchateau
Contextual Factors in Database Integration-A Delphi Study / Joerg Evermann
Building Dynamic Models of Service Compositions with Simulation of Provision Resources / Dragan Ivanovic ; Martin Treiber ; Manuel Carro ; Schahram Dustdar
Consistency, Satisfiability and Compliance Checking
Maintaining Consistency of Probabilistic Databases: A Linear Programming Approach / You Wu ; Wilfred Ng
On Enabling Data-Aware Compliance Checking of Business Process Models / David Knuplesch ; Linh Thao Ly ; Stefanie Rinderle-Ma ; Holger Pfeifer ; Peter Dadam
Using Ontologies for Query Answering
Query Answering under Expressive Entity-Relationship Schemata / Andrea Calì ; Georg Gottlob ; Andreas Pieris
SQOWL: Type Inference in an RDBMS / Peter J. McBrien ; Nikos Rizopoulos ; Andrew C. Smith
Querying Databases with Taxomies / David Martinenghi ; Riccardo Torlone
Document and Query Processing
What Is Wrong with Digital Documents? A Conceptual Model for Structural Cross-Media Content Composition and Reuse / Beat Signer
Classification of Index Partitions to Boost XML Query Performance / Gerard Marks ; John Murphy
Specifying Aggregation Functions in Multidimensional Models with OCL / Jordi Cabot ; Jose-Norberto Mazón ; Jesús Pardillo ; Juan Trujillo
Demos and Posters
The CARD System / Faiz Currim ; Nicholas Neidig ; Alankar Kampoowale ; Girish Mhatre
How the Structuring of Domain Knowledge Helps Casual Process Modelers / Jakob Pinggera ; Stefan Zugal ; Barbara Weber ; Dirk Fahland ; Matthias Weidlich ; Hajo A. Reijers
SPEED: A Semantics-Based Pipeline for Economic Event Detection / Frederik Hogenboom ; Alexander Hogenboom ; Flavius Frasincar ; Uzay Kaymak ; Otto van der Meer ; Kim Schouten ; Damir Vandic
Modelling Functional Requirements in Spatial Design / Mehul Bhatt ; Joana Hois ; Oliver Kutz ; Frank Dylla
Business Processes Contextualisation via Context Analysis / Jose Luis de la Vara ; Raian Ali ; Juan Sánchez
A Generic Perspective Model for the Generation of Business Process Views / Horst Pichler ; Johann Eder
Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture / Hugo Estrada ; Alicia MartÃnez ; Oscar Pastor
Author Index
Business Process Modeling
Meronymy-Based Aggregation of Activities in Business Process Models / Sergey Smirnov ; Remco Dijkman ; Jan Mendling ; Mathias Weske
Leveraging Business Process Models for ETL Design / Kevin Wilkinson ; Alkis Simitsis ; Malu Castellanos ; Umeshwar Dayal
Juan Trujillo, Gillian Dobbie, Flavius Frasincar, Sven Hartmann, Takeo Kanade, Hannu Kangassalo, Markus Kirchberg, Iris Reinhartz-Berger, Matti Rossi, Esteban Zim?nyi
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
SeCoGIS 2010-Fourth International Workshop on Semantic and Conceptual Issues in Geographic Information Systems
Preface to SeCoGIS 2010 / Jean Brodeur ; Esteban Zimanyi
Semantical Aspects
W-Ray: A Strategy to Publish Deep Web Geographic Data / Helena Piccinini ; Melissa Lemos ; Marco A. Casanova ; Antonio L. Furtado
G-Map Semantic Mapping Approach to Improve Semantic Interoperability of Distributed Geospatial Web Services / Mohamed Bakillah ; Mir Abolfazl Mostafavi
Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering / Thomas Kofler ; Daniel Ratiu
DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties / Irbis Gallegos ; Ann Q. Gates ; Craig Tweedie
FP-UML 2010-Sixth International Workshop on Foundations and Practices of UML
Preface to FP-UML 2010 / Gunther Pernul ; Matti Rossi
Semantics and Ontologies in UML
Incorporating UML Class and Activity Constructs into UEML / Andreas L. Opdahl
Data Modeling Is Important for SOA / Michael Blaha
Representing Collectives and Their Members in UML Conceptual Models: An Ontological Analysis / Giancarlo Guizzardi
Automation and Transformation in UML
UML Activities at Runtime: Experiences of Using Interpreters and Running Generated Code / Dominik Gessenharter
Model-Driven Data Migration / Mohammed Aboulsamh ; Edward Crichton ; Jim Davies ; James Welch
Author Index
SeCoGIS 2010-Fourth International Workshop on Semantic and Conceptual Issues in Geographic Information Systems
Preface to SeCoGIS 2010 / Jean Brodeur ; Esteban Zimanyi
Model-Based Design and Implementation of Interactive Spaces for Information Interaction / Hans-Christian Jetter ; Jens Gerken ; Michael Zöllner ; Harald Reiterer
ViSE-A Virtual Smart Environment for Usability Evaluation / Stefan Propp ; Peter Forbrig
Context of Use
A Domain Specific Language for Contextual Design / Balbir S. Barn ; Tony Clark
An MDE Approach for User Interface Adaptation to the Context of Use / Wided Bouchelligua ; Adel Mahfoudhi ; Lassaad Benammar ; Sirine Rebai ; Mourad Abed
Desktop-to-Mobile Web Adaptation through Customizable Two-Dimensional Semantic Redesign / Fabio Paternò ; Giuseppe Zichittella
User-Aware Systems
Extending UsiXML to Support User-Aware Interfaces / Ricardo Tesoriero ; Jean Vanderdonckt
Dazed and Confused Considered Normal: An Approach to Create Interactive Systems for People with Dementia / Nasim Mahmud ; Joë Vogt ; Kris Luyten ; Karin Slegers ; Jan Van den Bergh ; Karin Coninx
Model-Based Development
Supporting Multimodality in Service-Oriented Model-Based Development Environments / Marco Manca
RTME: Extension of Role-Task Modeling for the Purpose of Access Control Specification / Birgit Bomsdorf
Web Applications Usability Testing with Task Model Skeletons / Ivo Maly ; Zdenek Mikovec
HCI Activities
Evaluating Relative Contributions of Various HCI Activities to Usability / Anirudha Joshi ; NL Sarda
AFFINE for Enforcing Earlier Consideration of NFRs and Human Factors when Building Socio-Technical Systems Following Agile Methodologies / Mohamed Bourimi ; Thomas Barth ; Joerg M. Haake ; Bernd Ueberschär ; Dogan Kesdogan
Understanding Formal Description of Pitch-Based Input / Ondrej Polácek ; Zdenek MÃkovec
The Gain of Resource Delegation in Distributed Computing Environments / Alexander Fölling ; Christian Grimme ; Joachim Lepping ; Alexander Papaspyrou
A Moldable Online Scheduling Algorithm and Its Application to Parallel Short Sequence Mapping / Erik Saule ; Doruk Bozdag ; Umit V. Catalyurek
Dynamic Proportional Share Scheduling in Hadoop / Thomas Sandholm ; Kevin Lai
The Importance of Complete Data Sets for Job Scheduling Simulations / Dalibor Klusácek ; Hana Rudová
Hierarchical Scheduling of DAG Structured Computations on Manycore Processors with Dynamic Thread Grouping / Yinglong Xia ; Viktor K. Prasanna ; James Li
Multiplexing Low and High QoS Workloads in Virtual Environments / Sam Verboven ; Kurt Vanmechelen ; Jan Broeckhove
Proposal and Evaluation of APIs for Utilizing Inter-Core Time Aggregation Scheduler / Satoshi Yamada ; Shigeru Kusakabe
Using Inaccurate Estimates Accurately / Dan Tsafrir
Author Index
Resource Provisioning in SLA-Based Cluster Computing / Kaiqi Xiong ; Sang Suh
An Advance Reservation-Based Co-allocation Algorithm for Distributed Computers and Network Bandwidth on QoS-Guaranteed Grids / Atsuko Takefusa ; Hidemoto Nakada ; Tomohiro Kudoh ; Yoshio Tanaka
A Greedy Double Auction Mechanism for Grid Resource Allocation / Ding Ding ; Siwei Luo ; Zhan Gao
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Takeo Kanade, Insup Lee, Gordon Pace, Grigore Ro?�u, Oleg Sokolsky, Nikolai Tillmann
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
The Authoring Challenge in Interactive Storytelling / Michael Mateas
From a Winter's Night to a Dragon Age / Alex Whittaker
Designing Social Worlds - On Intrigue and Interaction in Live Action Role Playing Games (LARPS) / Carl Heath
Characters and Decision Making
MIST: An Interactive Storytelling System with Variable Character Behavior / Richard Paul ; Darryl Charles ; Michael McNeill ; David McSherry
Importance of Well-Motivated Characters in Interactive Narratives: An Empirical Evaluation / Mei Si ; Stacy Marsella ; David Pynadath
"I Want to Slay That Draeon!" - Influencing Choice in Interactive Storytelling / Rui Figueiredo ; Ana Paiva
Story Evaluation and Analysis
Measuring User Responses to Interactive Stories: Towards a standardized Assessment Tool / Ivar E. Vermeulen ; Christian Roth ; Peter Vorderer ; Christoph Klimmt
One Tool-Many Paradigm: Creativity and Regularity in Youngsters' Hyperstories / France Garzotto ; Elina Herrero ; Fernando Salgueiro
Exploring Narrative Interpretation and Adaptation for Interactive story Creation / Ulrike Spierling ; Steve Hoffmann
Narrative Annotation and Editing of Video / Vincenzo Lombardo ; Rossana Damiano
Story Generation
A Story to Go, Please / Frank Nack ; Abdallah El Ali ; Philo van Kemenade ; Jan Overgoor ; Bastiaan van der Weij
An Interactive Documentary Manifesto / Andre Almeida ; Heitor Alvelos
Arts and Humanities
Rhetorics of the Interactive 3D Installation "Virtuelle Mauer/ReConstructing the Wall" / Tamiko Thiel ; Teresa Reuter
From Physical to Non-Material Art - Design Choices of the Digital Artist / Teemu Korpilahti
The iLand of Madeira Location Aware Multimedia Stories / Mara Dionisio ; Valentina Nisi ; Jos P. van Leeuwen
Narrative Theories and Modelling
Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic / Kim Dung Dang ; Ronan Champagnat ; Michel Augeraud
An Analysis of Narrative Moves in Improvisational Theatre / Allan Baumer ; Brian Magerko
Towards a Theoretical Framework for Interactive Digital Narrative / Hartmut Koenitz
Systems
A Data-Driven Case-Based Reasoning Approach to Interactive Storytelling / Reid Swanson ; Andrew S. Gordon
Somethings Gotta Give - Towards Distributed Autonomous Story Appraisal in Improv / António Brisson
A Simple Intensity-Based Drama Manager / Christopher Ramsley ; Matthew Fugere ; Randi Pawson ; Charles Rich ; Dean O'Donnell
Applications
Player Agency and the Relevance of Decisions / David Thue ; Vadim Bulitko ; Marcia Spetch ; Trevon Romanuik
Interactive Storytelling in Academic Teaching / Wolfgang Heiden ; Matthias Räder ; Eric Fassbender
Teaching English as a Second Language Utilizing Authoring Tools for Interactive Digital Storytelling / Wolfgang Müller ; Ido Iurgel ; Nuno Otero ; Ute Mossler
Posters
Textual vs. Graphical Interaction in an Interactive Fiction Game / Manish Mehta ; Andrea Corradini ; Santiago Ontañón ; Peter Juel Henrichsen
Motivations for Rereading in Interactive Stories: A Preliminary Investigation / Alex Mitchell
The Haiti Earthquake Experience: A Case Study / Michael Gibson ; President Zapdramatic
First Person Victim: Developing a 3D Interactive Dramatic Experience / Henrik Schoenau-Fog ; Luis Emilio Bruni ; Faysal Fuad Khalil ; Jawid Faizi
Autonomics in Home Area Networks and Multimedia / Session A：
Design of a HAN Autonomic Control Loop / Jesse Kielthy ; Kevin Quinn ; Raquel Toribio ; Pablo Arozarena ; Sidath Handurukande ; Marc Garcia Mateos ; Martin Zach
Towards Automated Analysis and Optimization of Multimedia Streaming Services Using Clustering and Semantic Techniques / Liam Fallon ; Yangcheng Huang ; Declan O'Sullivan
The Design of a Quality of Experience Model for Providing High Quality Multimedia Services / Arum Kwon ; Joon-Myung Kang ; Sin-seok Seo ; Sung-Su Kim ; Jae Yoon Chung ; John Strassner ; James Won-Ki Hong
Ontologies, Experience, Adaptive Systems and Federation / Session B：
Towards a Service Delivery Based on Customer eXperience Ontology: Shift from Service to eXperience / Khalil ur Rehman Laghari ; Imen Grida Ben Yahya ; Noel Crespi
An Architecture for Affective Management of Systems of Adaptive Systems / Kevin Feeney ; John Keeney ; Rob Brennan
A Policy Authoring Process and DEN-ng Model Extension for Federation Governance / Jason Barron ; Steven Davy ; Brendan Jennings
Modelling for Virtualised Infrastructure / Session C：
An Introduction to Network Stack Design using Software Design Patterns / Patrick Phelan ; Zohra Boudjemil ; Miguel Ponce de Leon ; Sven van der Meer
Towards a Context-Aware Information Model for Provisioning and Managing Virtual Resources and Services / Yeongrak Choi ; Jian Li ; Yoonseon Han
A Framework for Automated Fault Recovery Planning in Large-Scale Virtualized Infrastructures / Feng Liu ; Vitalian A. Danciu ; Pavlo Kerestey
Author Index
Autonomics in Home Area Networks and Multimedia / Session A：
Design of a HAN Autonomic Control Loop / Jesse Kielthy ; Kevin Quinn ; Raquel Toribio ; Pablo Arozarena ; Sidath Handurukande ; Marc Garcia Mateos ; Martin Zach
Towards Automated Analysis and Optimization of Multimedia Streaming Services Using Clustering and Semantic Techniques / Liam Fallon ; Yangcheng Huang ; Declan O'Sullivan
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink
The CREDO Project
The Credo Methodology (Extended Version) / Immo Grabe ; Mohammad Mahdi Jaghoori ; Joachim Klein ; Sascha Klüppelholz ; Andries Stam ; Christel Baier ; Tobias Blechmann ; Bernhard K. Aichernig ; Frank de Boer ; Andreas Griesmayer ; Einar Broch Johnsen ; Marcel Kyas ; Wolfgang Leister ; Rudolf Schlatte ; Martin Steffen ; Simon Tschirner ; Liang Xuedong ; Wang Yi
The DEPLOY Project
Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky
Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler
The FM-SOA Working Group
Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; MarÃa Alpuente ; Santiago Escobar
The HATS Project
Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner Hähnle ; Ran Ji
The INESS Project
The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King
Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote
The MOGENTES Project
Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick
Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp Rümmer ; Georg Weissenbacher
Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth Jöbstl
The PROTEST Project
Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson
Incrementally Discovering Testable Specifications from Program Executions
The QUASIMODO Project
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen
Author Index
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
Self-healing for Pervasive Computing Systems / Themistoklis Bourdenas ; Morris Sloman ; Emil C. Lupu
Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control / Douglas M. Blough ; Giovanni Resta ; Paolo Santi ; Mauro Leoncini
Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform / Marc-Olivier Killijian ; Matthieu Roy
Architecting Systems / Part 2：
Identification of Security Requirements in Systems of Systems by Functional Security Analysis / Andreas Fuchs ; Roland Rieke
Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns / Neil B. Harrison ; Paris Avgeriou
Architecting Dependable Systems with Proactive Fault Management / Felix Salfner ; Miroslaw Malek
ASDF: An Automated, Online Framework for Diagnosing Performance Problems / Keith Bare ; Soila P. Kavulya ; Jiaqi Tan ; Xinghao Pan ; Eugene Marinelli ; Michael Kasick ; Rajeev Gandhi ; Priya Narasimhan
Experience and Vision / Part 4：
Is Collaborative QoS the Solution to the SOA Dependability Dilemma? / Matti A. Hiltunen ; Richard D. Schlichting
Software Assumptions Failure Tolerance: Role, Strategies, and Visions / Vincenzo De Florio
Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges / Jean-Charles Fabre
Architecting and Validating Dependable Systems: Experiences and Visions / Andrea Bondavalli ; Andrea Ceccarelli ; Paolo Lollini
Author Index
Mobile and Ubiquitous Systems / Part 1：
Self-healing for Pervasive Computing Systems / Themistoklis Bourdenas ; Morris Sloman ; Emil C. Lupu
Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control / Douglas M. Blough ; Giovanni Resta ; Paolo Santi ; Mauro Leoncini
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl / Gregor Engels ; Claus Lewerentz ; Wilhelm Schäfer ; Andy Schürr ; Bernhard Westfechtel
Graph Transformations: Theory and Applications
The Edge of Graph Transformation-Graphs for Behavioural Specification / Arend Rensink
Graph Transformation by Computational Category Theory / Mark Minas ; Hans Jürgen Schneider
On GS-Monoidal Theories for Graphs with Nesting / Roberto Bruni ; Andrea Corradini ; Fabio Gadducci ; Alberto Lluch Lafuente ; Ugo Montanari
Stochastic Modelling and Simulation of Mobile Systems / Reiko Heckel ; Paolo Torrini
Autonomous Units and Their Semantics - The Concurrent Case / Hans-Jörg Kreowski ; Sabine Kuske
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation / Enrico Biermann ; Hartmut Ehrig ; Claudia Ermel ; Ulrike Golas ; Gabriele Taentzer
Extended Triple Graph Grammars with Efficient and Compatible Graph Translators / Felix Klar ; Marius Lauder ; Alexander Königs
Controlling Reuse in Pattern-Based Model-to-Model Transformations / Esther Guerra ; Juan de Lara ; Fernando Orejas
Lessons Learned from Building a Graph Transformation System / Gabor Karsai
Model Checking Programmable Router Configurations / Luca Zanolin ; Cecilia Mascolo ; Wolfgang Emmerich
Architectural Issues of Adaptive Pervasive Systems / Mauro Caporuscio ; Marco Funaro ; Carlo Ghezzi
Using Graph Grammars for Modeling Wiring Harnesses - An Experience Report / Albert Zündorf ; Leif Geiger ; Ralf Gemmerich ; Ruben Jubeh ; Jürgen Leohold ; Dieter Müller ; Carsten Reckord ; Christian Schneider ; Sven Semmelrodt
Model-Driven Development with Mechatronic UML / Heike Wehrheim
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent / Holger Giese ; Stephan Hildebrandt ; Stefan Neumann
Multi-view Modeling to Support Embedded Systems Engineering in SysML / Aditya A. Shah ; Aleksandr A. Kerzhner ; Dirk Schaefer ; Christiaan J. J. Paredis
Engineering Design Applications
Requirements Engineering in Complex Domains / Matthias Jarke ; Ralf Klamma ; Klaus Pohl ; Ernst Sikora
An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries / Ri Hai ; Manfred Theißen ; Wolfgang Marquardt
Towards Semantic Navigation in Mobile Robotics / Adam Borkowski ; Barbara Siemiatkowska ; Jacek Szklarski
Model Driven Engineering in Operative Industrial Process Control Environments - Overview / Ulrich Epple
Author Index
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl / Gregor Engels ; Claus Lewerentz ; Wilhelm Schäfer ; Andy Schürr ; Bernhard Westfechtel
Graph Transformations: Theory and Applications
The Edge of Graph Transformation-Graphs for Behavioural Specification / Arend Rensink
Delivering Requirements Research into Practice: A Keynote to the REFSQ'2011 Conference / Neil Maiden
Security and Sustainability / Session 1：
Supporting Requirements Engineers in Recognising Security Issues / Eric Knauss ; Siv Houmb ; Kurt Schneider ; Shareeful Islam ; Jan Jürjens
Discovering Sustainability Requirements: An Experience Report / Martin Mahaux ; Patrick Heymans ; Germain Saval
Process Improvement and Requirements in Context / Session 2：
Requirements Engineering Process Improvement: An Industrial Case Study / Georgi A. Markov ; Anne Hoffmann ; Oliver Creighton
Requirements for a Nutrition Education Demonstrator / Ing Widya ; Richard Bults ; Rene de Wijk ; Ben Loke ; Nicole Koenderink ; Ricardo Batista ; Val Jones ; Hermie Hermens
Scaling Up Requirements Engineering - Exploring the Challenges of Increasing Size and Complexity in Market-Driven Software Development / Krzysztof Wnuk ; Björn Regnell ; Brian Berenbach
Elicitation / Session 3：
Towards a New Understanding of Small and Medium Sized Enterprises in Requirements Engineering Research / Thorsten Merten ; Kim Lauenroth ; Simone Bürsner
Research Preview: Supporting End-User Requirements Elicitation Using Product Line Variability Models / Deepak Dhungana ; Norbert Seyff ; Florian Graf
Interview Patterns for Requirements Elicitation / Lauri Ann Scheinholtz ; Ilona Wilmont
A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled Experiment / Sascha El-Sharkawy ; Klaus Schmid
Models / Session 4：
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview / Nauman A. Qureshi ; Anna Perini
Flexible Sketch-Based Requirements Modeling / Dustin Wüest ; Martin Glinz
Use Cases versus Task Descriptions / Soren Laueson ; Mohammad A. Kuhail
Services / Session 5：
Is It Beneficial to Match Reusable Services Earlier? / Martin Henkel ; Erik Perjons ; Sebastian Adam ; Oezguer Uenalan ; Norman Riegel12：
Embedded and Real-Time Systems / Session 6：
Requirements Engineering for Embedded Systems: An Investigation of Industry Needs / Ernst Sikora ; Bastian Tenbergen ; Klaus Pohl
Applying Restricted English Grammar on Automotive Requirements-Does it Work? A Case Study / Amalinda Post ; Igor Menzel ; Andreas Podelski
Prioritization and Traceability / Session 7：
Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature / Zornitza Bakalova ; Maya Daneva ; Andrea Herrmann ; Roel Wieringa
Future-Proofing Collections: From Mutable to Persistent to Parallel / Martin Odersky
JIT Compilation and Code Generation
Dynamic Elimination of Overflow Tests in a Trace Compiler / Rodrigo Sol ; Christophe Guillon ; Fernando Magno Quintão Pereira ; Mariza A.S. Bigonha
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler / Nurudeen Lameed ; Laurie Hendren
SSA-Based Register Allocation with PBQP / Sebastian Buchwald ; Andreas Zwinkau ; Thomas Bersch
Program Analysis
Probabilistic Points-to Analysis for Java / Qiang Sun ; Jianjun Zhao ; Yuting Chen
Faster Alias Set Analysis Using Summaries / Nomair A. Naeem ; Ondrej Lhoták
JPure: A Modular Purity System for Java / David J. Pearce
Tainted Flow Analysis on e-SSA-Form Programs / Andrei Rimsa ; Marcelo d'Amorim
Reversible Computing and Interpreters
Clean Translation of an Imperative Reversible Programming Language / Holger Bock Axelsen
Interpreter Instruction Scheduling / Stefan Brunthaler
Parallelism and High-Performance Computing
Actor-Based Parallel Dataflow Analysis / Jonathan Rodriguez
Using Disjoint Reachability for Parallelization / James Jenista ; Yong hun Eom ; Brian Demsky
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures / Tom Henretty ; Kevin Stock ; Louis-Noël Pouchet ; Franz Franchetti ; J. Ramanujam ; P. Sadayappan
Subregion Analysis and Bounds Check Elimination for High Level Arrays / Mackale Joyner ; Zoran Budimlic ; Vivek Sarkar
Task and Data Distribution
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies / Wenjing Ma ; Sriram Krishnamoorthy ; Gagan Agrawal
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL / Dominik Grewe ; Michael F.P. O'Boyle
Author Index
Invited Talk
Future-Proofing Collections: From Mutable to Persistent to Parallel / Martin Odersky
Uniform Monte-Carlo Model Checking / Johan Oudinet ; Alain Denise ; Marie-Claude Gaudel ; Richard Lassaigne ; Sylvain Peyronnet
Model Checking Büchi Pushdown Systems / Juncao Li ; Fei Xie ; Thomas Ball ; Vladimir Levin
Model Driven Engineering
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior / Claudia Ermel ; Jürgen Gall ; Leen Lambers ; Gabriele Taentzer
Models within Models: Taming Model Complexity Using the Sub-model Lattice / Pierre Kelsen ; Qin Ma ; Christian Glodt
Type-Safe Evolution of Spreadsheets / Jácome Cunha ; Joost Visser ; Tiago Alves ; João Saraiva
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications / Hartmut Ehrig
Systematic Development of UMLsec Design Models Based on Security Requirements / Denis Hatebur ; Maritta Heisel ; Jan Jürjens ; Holger Schmidt
Testing: Theory and New Trends
Theoretical Aspects of Compositional Symbolic Execution / Dries Vanoverberghe ; Frank Piessens
Testing Container Classes: Random or Systematic? / Rohan Sharma ; Milos Gligoric ; Andrea Arcuri ; Gordon Fraser ; Darko Marinov
Seamless Testing for Models and Code / Andreas Holzer ; Visar Januzaj ; Stefan Kugele ; Boris Langer ; Christian Schallhart ; Michael Tautschnig ; Helmut Veith
Testing in Practice
Retrofitting Unit Tests for Parameterized Unit Testing / Suresh Thummalapenta ; Madhuri R. Marri ; Tao Xie ; Nikolai Tillmann ; Jonathan de Halleux
Evolving a Test Oracle in Black-Box Testing / Farn Wang ; Jung-Hsuan Wu ; Chung-Hao Huang ; Kai-Hsiang Chang
Automated Driver Generation for Analysis of Web Applications / Oksana Tkachuk ; Sreeranga Rajan
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts / Tamim Ahmed Khan ; Reiko Heckel
Code Development and Analysis
Incremental Clone Detection and Elimination for Erlang Programs / Huiqing Li ; Simon Thompson
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? / Bashar Gharaibeh ; Hridesh Rajan ; J. Morris Chang
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity / Qirun Zhang ; Wujie Zheng ; Michael R. Lyu
Search-Based Design Defects Detection by Example / Marouane Kessentini ; Houari Sahraoui ; Mounir Boukadoum ; Manuel Wimmer
Empirical Studies
An Empirical Study on Evolution of API Documentation / Lin Shi ; Hao Zhong ; Mingshu Li
An Empirical Study of Long-Lived Code Clones / Dongxiang Cai ; Miryung Kim
Where the Truth Lies: AOP and Its Impact on Software Modularity / Adam Przybylek
Author Index
Invited Talk
The Dependability of Complex Socio-technical Systems / Ross Anderson
Automated Learning of Probabilistic Assumptions for Compositional Reasoning / Lu Feng ; Marta Kwiatkowska ; David Parker
Introduction to the First International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2010) / Claudia-Melania Chituc
A Case Study on Optimizing Web Service Monitoring Configurations / Garth Heward ; Jun Han ; Ingo Müller ; Jean-Guy Schneider ; Steve Versteeg
Configuration Decision Making Using Simulation-Generated Data / Michael Smit ; Eleni Stroulia
On the Formal Specification of Regulatory Compliance: A Comparative Analysis / Amal Elgammal ; Oktay Turetken ; Willem-Jan van den Heuvel ; Mike Papazoglou
Performance and Cost Assessment of Cloud Services / Paul Brebner ; Anna Liu
Towards Assessing Performance in Service Computing
WESOA 2010 Workshop
Adaptation of Web Services Based on QoS Satisfaction / Christian Zirpins ; George Feuerlicht ; Winfried Lamersdorf ; Guadalupe Ortiz ; Barbara Pernici ; S. Hossein Siadat
CAGE: Customizable Large-Scale SOA Testbeds in the Cloud / Lukasz Juszczyk ; Daniel Schall ; Ralph Mietzner ; Schahram Dustdar ; Frank Leymann
Engineering High Performance Service-Oriented Pipeline Applications with MeDICi / Ian Gorton ; Adam Wynne ; Yan Liu
Facilitating Enterprise Service Discovery for Non-technical Business Users / Marcus Roy ; Basem Suleiman ; Ingo Weber
Hypermedia-Driven RESTful Service Composition / Rosa Alarcon ; Erik Wilde ; Jesus Bellido
Process Restructuring in the Presence of Message-Dependent Variables / Thomas S. Heinze ; Wolfram Amme ; Simon Moser
Simple Metric for Assessing Quality of Service Design
Wisdom-Aware Computing: On the Interactive Recommendation of Composition Knowledge / Soudip Roy Chowdhury ; Carlos RodrÃguez ; Florian Daniel ; Fabio Casati
SEE 2010 Workshop
Introduction to the First International Workshop on Services, Energy, and Ecosystem (SEE 2010) / G.R. Gangadharan ; Patricia Lago ; San Murugesan
A Dynamic Power Management Controller for Optimizing Servers' Energy Consumption in Service Centers / Tudor Cioara ; Ioan Salomie ; Ionut Anghel ; Iulian Chira ; Alexandru Cocian ; Ealan Henis ; Ronen Kat
An Energy Aware Context Model for Green IT Service Centers / Daniel Moldovan ; Georgiana Copil ; Pierluigi Plebani
Creating Environmental Awareness in Service Oriented Software Engineering / Toon Jansen
Towards Green Business Process Reengineering / Alexander Nowak
Business Process Improvement in Abnoba / Konstantin Hoesch-Klohe ; Aditya Ghose
Towards a Service-Oriented Energy Market: Current State and Trend / Giuliano Andrea Pagani ; Marco Aiello
Event-Driven Services: Integrating Production, Logistics and Transportation / A. Buchmann ; H.-Chr. Pfohl ; S. Appel ; T. Freudenreich ; S. Frischbier ; I. Petrov ; C. Zuber
Preselection of Electronic Services by Given Business Services Based on Semantic Concept Correspondence Applied for the Logistics Domain / Rolf Kluge
Realizing Process Modifications in Container Terminals with SOA - A Prototype / Thomas Will ; Thorsten Blecker
Author Index
PAASC 2010 Workshop
Introduction to the First International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2010) / Claudia-Melania Chituc
A Case Study on Optimizing Web Service Monitoring Configurations / Garth Heward ; Jun Han ; Ingo Müller ; Jean-Guy Schneider ; Steve Versteeg
Erlang Behaviours: Programming with Process Design Patterns / Francesco Cesarini ; Simon Thompson
Reasoning about Codata / Raf Hinze
Programming in Manticore, a Heterogenous Parallel Functional Language / Matthew Fluet ; Lars Bergstrom ; Nic Ford ; Mike Rainey ; John Reppy ; Adam Shaw ; Yingqi Xiao
From a Proven Correct Microkernel to Trustworthy Large Systems / June Andronick
Static Contract Checking with Abstract Interpretation / Manuel Fähndrich ; Francesco Logozzo
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? / Davide Ancona ; Andrea Corradi ; Giovanni Lagorio ; Ferruccio Damiani
Validating Timed Models of Deployment Components with Parametric Concurrency / Einar Broch Johnsen ; Olaf Owe ; Rudolf Schlatte ; Silvia Lizeth Tapia Tarifa
Verification of Software Product Lines with Delta-Oriented Slicing / Daniel Bruns ; Vladimir Klebanov ; Ina Schaefer
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas / Christoph D. Gladisch
A Dynamic Logic for Unstructured Programs with Embedded Assertions
JMLUnit: The Next Generation / Daniel M. Zimmerman ; Rinkesh Nagmoti
Author Index
From a Proven Correct Microkernel to Trustworthy Large Systems / June Andronick
Static Contract Checking with Abstract Interpretation / Manuel Fähndrich ; Francesco Logozzo
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? / Davide Ancona ; Andrea Corradi ; Giovanni Lagorio ; Ferruccio Damiani
Empirical Language Analysis in Software Linguistics / Jean-Marie Favre ; Dragan Gasevic ; Ekaterina Pek
Interactive Disambiguation of Meta Programs with Concrete Object Syntax / Lennart C.L. Kats, Karl T. Kalleberg ; Eelco Visser
Domain-Specific Languages
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies / Arnaud Hubaux ; Quentin Boucher ; Herman Hartmann ; Raphaël Michel ; Patrick Heymans
Extending DMM Behavior Specifications for Visual Execution and Debugging / Nils Bandener ; Christian Soltenborn ; Gregor Engels
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation / Nicolas Genon, Patrick Heymans ; Daniel Amyot
Featherweight TEX and Parser Correctness / Sebastian Thore Erdweg ; Klaus Ostermann
Author Index
Keynote / Martin Erwig
A Language for Software Variation Research (Invited Talk)
Verifying Functional Correctness of C Programs with VCC / Michal Moskal
Regular Papers / III：
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution / Jason Belt ; John Hatcliff ; Robby ; Patrice Chalin ; David Hardin ; Xianghua Deng
Approximate Quantifier Elimination for Propositional Boolean Formulae / Jörg Brauer ; Andy King
Towards Flight Control Verification Using Automated Theorem Proving / William Denman ; Mohamed H. Zaki ; Sofiène Tahar ; Luis Rodrigues
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis / Rüdiger Ehlers
Integrating an Automated Theorem Prover into Agda / Simon Foster ; Georg Struth
Efficient Predicate Abstraction of Program Summaries / Arie Gurfinkel ; Sagar Chaki ; Samir Sapra
Synthesis for PCTL in Parametric Markov Decision Processes / Ernst Moritz Hahn ; Tingling Han ; Lijun Zhang
Formalizing Probabilistic Safety Claims / Heber Herencia-Zapana ; George Hagen ; Anthony Narkawicz
The Open Theory Standard Theory Library / Joe Hurd
Scaling Up with Event-B: A Case Study / Faqing Yang ; Jean-Pierre Jacquot
Tool Papers / IV：
D-Finder 2: Towards Efficient Correctness of Incremental Design / Saddek Bensalem ; Andreas Griesmayer ; Axel Legay ; Thanh-Hung Nguyen ; Joseph Sifakis ; Rongjie Yan
Infer: An Automatic Program Verifier for Memory Safety of C Programs / Cristiano Calcagno ; Dino Distefano
Model Construction and Priority Synthesis for Simple Interaction Systems / Chih-Hong Cheng ; Barbara Jobstmann ; Alois Knoll ; Harald Ruess
OpenJML: JML for Java 7 by Extending OpenJDK / David R. Cok
jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2
On Inductive Proofs by Extended Unfold/Fold Transformation Rules / Hirohisa Seki
Non-termination Analysis of Logic Programs Using Types / Dean Voets ; Danny De Schreye
Scaling Up Algorithmic Debugging with Virtual Execution Trees / David Insa
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation / Fabio Fioravanti ; Alberto Pettorossi ; Maurizio Proietti ; Valerio Senni
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut / Thomas Ströder ; Peter Schneider-Kamp ; Jürgen Giesl
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs / Germán Vidal
Abstract Diagnosis of First Order Functional Logic Programs / Giovanni Bacci ; Marco Comini
The First-Order Nominal Link / Christophe Calves ; Maribel Fernández
Author Index
Three Syntactic Theories for Combinatory Graph Reduction (Invited Talk) / Olivier Danvy ; Ian Zerny
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (Invited Talk) / Johann Schumann ; Karen Gate ; Alan Lee
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System / Jónathan Heras ; Vico Pascual ; Julio Rubio
Software Verification of Autonomic Systems Developed with ASSL / Emil Vassev ; Mike Hinchey
Modeling Language Variability / Hans Grönniger ; Bemhard Rumpe
An Approach for Effective Design Space Exploration / Eunsuk Kang ; Ethan Jackson ; Wolfram Schulte
Migration of Legacy Software towards Correct-by-Construction Timing Behavior / Stefan Resmerita ; Kenneth Butts ; Patricia Derler ; Andreas Naderlinger ; Wolfgang Free
Building Advanced Mechatronic Systems / Wilhelm Schäfer
Model Execution
Contracts for Model Execution Verification / Eric Cariou ; Cyril Ballagny ; Alexandre Feugas ; Franck Barbier
A FUML-Based Distributed Execution Machine for Enacting Software Process Models / Ralf Ellner ; Samir Al-Hilank ; Johannes Drexler ; Martin Jung ; Detlef Kips ; Michael Philippsen
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics / Benoît Combemale ; Laure Gonnord ; Vlad Rusu
Model Analysis
Incremental Security Verification for Evolving UMLsec Models / Jan Jürjens ; Loïc Marchal ; MartÃn Ochoa ; Holger Schmidt
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies / Ragnhild Van Der Straeten ; Jorge Pinna Puissant ; Tom Mens
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML / Pietro Colombo ; Ferhat Khendek ; Luigi Lavazza
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing / Tao Yue ; Shaukat Ali ; Lionel Briand
Transformation Rules for Translating Business Rules to OCL Constraints / Imran S. Bajwa ; Murk G. Lee
Model Management (1)
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements / Joel Greenyer ; Sebastian Pook ; Jan Rieke
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform / Guillaume Doux ; Patrick Albert ; Gabriel Barbier ; Jordi Cabot ; Maroos Didonet Del Fabro ; Scott Uk-Jin Lee
Incremental Updates for View-Based Textual Modelling / Thomas Goldschmidt ; Axel Uhl
The Third Workshop on Behaviour Modelling - Foundations and Applications / Ashley McNeile ; Ekkart Kindler ; Mehmet Aksit
Process-Centred Approaches for Model-Driven Engineering (PMDE)-First Edition / Reda Bendraou ; Redouane Lbath ; Bernard Coulette ; Marie-Pierre Gervais
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011) / Goetz Botterweck ; Andreas Pleuss ; Julia Rubin ; Christa Schwanninger
Tutorial Summaries
Agile Development with Domain Specific Languages / Bernhard Rumpe ; Martin Schindler ; Steven Völkel ; Ingo Weisemöller
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery / Gábor Bergmann ; Ãkos Horváth ; István Ráth ; Dániel Varró
Integrated Model Management with Epsilon / Dimitrios S. Kolovos ; Richard F. Paige ; Louis M. Rose ; James Williams
Creating Domain-Specific Modelling Languages That Work: Hands-On / Juha-Pekka Tolvanen
Author Index
Keynote
Building Advanced Mechatronic Systems / Wilhelm Schäfer
ＥＢ
