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
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
Call-by-Contract for Service Discovery, Orchestration and Recovery / Massimo Bartoletti ; Pierpaolo Degano ; Gian Luigi Ferrari ; Roberto Zunino
Negotiations, Planning, and Reconfiguration / IV:
CC-Pi: A Constraint Language for Service Negotiation and Composition / Maria Grazia Buscemi
Advanced Mechanisms for Service Composition, Query and Discovery / Mario Bravetti
Advanced Mechanisms for Service Combination and Transactions / Carla Ferreira
Model-Driven Development of Long Running Transactions / Vincenzo Ciancia ; Gianluigi Ferrari ; Roberto Guanciale ; Daniele Strollo
Hierarchical Models for Service-Oriented Systems / Andrea Corradini ; Fabio Gadducci
Qualitative Analysis Techniques for Service-Oriented Computing / V:
Analysing Protocol Stacks for Services / Han Gao ; Flemming Nielson ; Hanne Riis Nielson
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems / Franco Mazzanti
Tools and Verification / Davide Sangiorgi
Specification and Analysis of Dynamically-Reconfigurable Service Architectures / Arun Mukhija ; David S. Rosenblum ; Sebastian Uchitel
Quantitative Analysis Techniques for Service-Oriented Computing / VI:
SoSL: A Service-Oriented Stochastic Logic / Diego Latella ; Michele Loreti ; Mieke Massink
Evaluating Service Level Agreements Using Observational Probes / Allan Clark ; Stephen Gilmore
Scaling Performance Analysis Using Fluid-Flow Approximation / Mirco Tribastone
Passage-End Analysis for Analysing Robot Movement / Adam Duguid
Quantitative Analysis of Services / Igor Cappello ; Paola Quaglia ; Stefano Schivo
Model-Driven Development and Reverse-Engineering for Service-Oriented Systems / VII:
Methodologies for Model-Driven Development and Deployment: An Overview / Ãbel Hegedüs
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis / Gábor Bergmann ; Artur Boronat ; Reiko Heckel ; Paolo Torrini ; István Ráth
Runtime Support for Dynamic and Adaptive Service Composition
Legacy Transformations for Extracting Service Components / Carlos Matos
The SENSORIA Development Environment
Case Studies and Patterns / VIII:
Specification and Implementation of Demonstrators for the Case Studies
SENSORIA Results Applied to the Case Studies / Maurice H. ter Beek
Analysing Robot Movement Using the SENSORIA Methods / Alessandro Lapadula ; Claudio Palasciano
The SENSORIA Approach Applied to the Finance Case Study / Francesco Tiezzi
SENSORIA Patterns
Author Index
Intro / I:
SENSORIA - Software Engineering for Service-Oriented Overlay Computers / Martin Wirsing ; Matthias Hölzl ; Nora Koch ; Philip Mayer
A Unifying Formal Basis for the SENSORIA Approach: A White Paper / Ugo Montanari