Abstract is missing.
- Diagnostic Fusion for Time-Triggered Automotive NetworksUtsav Drolia, Soila Kavulya, Kunal Mankodiya, Priya Narasimhan, Thomas E. Fuhrman. 1-8 [doi]
- Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use CaseBoutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo. 9-16 [doi]
- GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite ScenariosJoão Figueiras, Jesper Grønbæk, Andrea Ceccarelli, Hans-Peter Schwefel. 17-23 [doi]
- IDAMC: A Many-Core Platform with Run-Time Monitoring for Mixed-CriticalityBoris Motruk, Jonas Diemer, Rainer Buchty, Rolf Ernst, Mladen Berekovic. 24-31 [doi]
- Real-Time Anomaly Detection in Streams of Execution TracesWenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan. 32-39 [doi]
- Information-Theoretic Detection of SQL Injection AttacksHossain Shahriar, Mohammad Zulkernine. 40-47 [doi]
- A Resilient Architecture for Forensic Storage of Events in Critical InfrastructuresMuhammad Afzaal, Cesario Di Sarno, Luigi Coppolino, Salvatore D'Antonio, Luigi Romano. 48-55 [doi]
- An Autonomic Reliability Improvement System for Cyber-Physical SystemsLeon Wu, Gail E. Kaiser. 56-61 [doi]
- Visual Model-Driven Design, Verification and Implementation of Security ProtocolsPiergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli. 62-65 [doi]
- Device Mechanism: A Structured Device Driver Development ApproachRaul Schmidlin Fajardo Silva, Guillermo Marcus. 66-73 [doi]
- Automated Duplicate Bug Report Classification Using Subsequence MatchingSean Banerjee, Bojan Cukic, Donald A. Adjeroh. 74-81 [doi]
- Towards Adaptable Middleware to Support Service Delivery Validation in i-DSML Execution EnginesKarl A. Morris, Jinpeng Wei, Peter J. Clarke, Fábio M. Costa. 82-89 [doi]
- Exception Handling Defects: An Empirical StudyPuntitra Sawadpong, Edward B. Allen, Byron J. Williams. 90-97 [doi]
- Using Stochastic Model Checking to Provision Complex Business ServicesLuke Herbert, Robin Sharp. 98-105 [doi]
- Online Verification of Value-Passing Choreographies through Property-Oriented Passive TestingHuu-Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi. 106-113 [doi]
- A Framework for Generating Integrated Component Fault Trees from Architectural ViewsKavyashree Jamboti, Peter Liggesmeyer. 114-121 [doi]
- Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation SystemVictor L. Winter, Jonathan Guerrero, Alexander James, Carl Reinke. 122-129 [doi]
- Automated Verification of AADL-Specifications Using UPPAALAndreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat. 130-138 [doi]
- Evaluating the Dependability of Dynamic Binding in Web ServicesAnthony Sargeant, Paul Townend, Jie Xu, Karim Djemame. 139-146 [doi]
- Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning SystemAndrea Ceccarelli, Andrea Bondavalli, João Figueiras, Boris Malinowsky, Jurij Wakula, Francesco Brancati, Carlo Dambra, Andrea Seminatore. 147-154 [doi]
- A MDA-based Approach for Developing Simulation-Oriented Combat FlowsHong Lu, Li Zhang, Zhao Liu. 155-158 [doi]
- Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML DevelopmentMichael Lipaczewski, Simon Struck, Frank Ortmeier. 159-166 [doi]
- Proving the Absence Property Pattern Using the B MethodAmel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa. 167-170 [doi]
- Communication Efficient Oblivious Transfer Using Elliptic CurvesAbhishek Parakh. 173-174 [doi]
- Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer ApproachGeorge Spanoudakis, Ernesto Damiani, Antonio Maña. 175-176 [doi]
- Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsecThomas Ruhroth, Jan Jürjens. 177-184 [doi]
- Towards Reliable Smart Microgrid Behavior Using Runtime Model SynthesisMark Allison, Karl A. Morris, Zhenyu Yang, Peter J. Clarke, Fábio M. Costa. 185-192 [doi]
- Model Checking Software Architecture DesignJiexin Zhang, Yang Liu 0003, Jing Sun 0002, Jin Song Dong, Jun Sun 0001. 193-200 [doi]
- Multi-objective Optimization of Formal SpecificationsSimon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann. 201-208 [doi]
- How to Reduce the Cost of Passive TestingCésar Andrés, Ana R. Cavalli. 209-216 [doi]