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
ＥＢ
