Abstract is missing.
- Verifying MARTE/CCSL Mode Behaviors Using UPPAALJagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson. 1-15 [doi]
- A Transformation Approach for Multiform Time RequirementsNadia Menad, Philippe Dhaussy. 16-30 [doi]
- Real-Time Migration Properties of rTiMo Verified in UppaalBogdan Aman, Gabriel Ciobanu. 31-45 [doi]
- A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSPMarcel Vinicius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock. 46-60 [doi]
- From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements ModelsRadoslaw Klimek. 61-75 [doi]
- Model Checking of Security-Critical Applications in a Model-Driven ApproachMarian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif. 76-90 [doi]
- Lifting Verification Results for Preemption StatementsManuel Gesell, Andreas Morgenstern, Klaus Schneider. 91-105 [doi]
- Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive ClosureChristian Percebois, Martin Strecker, Hanh Nhi Tran. 106-121 [doi]
- Sound Symbolic Linking in the Presence of PreprocessingGijs Vanspauwen, Bart Jacobs. 122-136 [doi]
- Inferring Physical Units in B ModelsSebastian Krings, Michael Leuschel. 137-151 [doi]
- A Tool for Behaviour-Based Discovery of Approximately Matching Web ServicesMahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh. 152-166 [doi]
- A Type System for ComponentsOrnela Dardha, Elena Giachino, Michael Lienhardt. 167-181 [doi]
- Early Fault Detection in DSLs Using SMT Solving and Automated DebuggingSarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi. 182-196 [doi]
- Static Detection of Implementation Errors Using Formal Code SpecificationIman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei. 197-211 [doi]
- Compositional Static Analysis for Implicit Join Synchronization in a Transactional SettingThi-Mai-Thuong Tran, Martin Steffen, Hoang Truong. 212-228 [doi]
- {log} as a Test Case Generator for the Test Template FrameworkMaximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman. 229-243 [doi]
- Zero Overhead Runtime MonitoringDaniel Wonisch, Alexander Schremmer, Heike Wehrheim. 244-258 [doi]
- Run-Time Verification of CoboxesFrank S. de Boer, Stijn de Gouw, Peter Y. H. Wong. 259-273 [doi]
- Automated Mediator Synthesis: Combining Behavioural and Ontological ReasoningAmel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson. 274-288 [doi]
- Program Transformation Based on Symbolic Execution and DeductionRan Ji, Reiner Hähnle, Richard Bubel. 289-304 [doi]
- Constraint Specification and Test Generation for OSEK/VDX-Based Operating SystemsYunja Choi. 305-319 [doi]