Abstract is missing.
- Engineering Multi-view Models for Model-Driven EngineeringAxel van Lamsweerde. 3 [doi]
- Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model CheckingDaniel Stöhr, Sabine Glesner. 7-14 [doi]
- Process Rewrite Systems for Software Model CheckingTayssir Touili. 15-22 [doi]
- Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural InformationLiangze Yin, Fei He, Ming Gu. 23-26 [doi]
- A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time MaudeLongfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu. 29-36 [doi]
- Modeling and Verification of AUTOSAR OS and EMS ApplicationYunhui Peng, Yanhong Huang, Ting Su, Jian Guo. 37-44 [doi]
- Formal Analysis of AODV Using Rely-GuaranteeXiaofeng Wu, Qiwen Xu, Huibiao Zhu. 45-48 [doi]
- Algebraic Framework for Synchronous Language SemanticsDaniel Gaffé, Annie Ressouche. 51-58 [doi]
- Towards Conformance Testing of Choreography Based on ScenarioHongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang. 59-62 [doi]
- Aspect-Oriented Semantic Framework for Executable ModelsDjedjiga Mouheb, Raha Ziarati, Mourad Debbabi. 63-70 [doi]
- Designs with Angelic NondeterminismPedro Ribeiro, Ana Cavalcanti. 71-78 [doi]
- When Even the Interface Evolves..Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa. 79-82 [doi]
- Model Repair for Markov Decision ProcessesTaolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang 0001. 85-92 [doi]
- Aspect Orientation Based Test Case Selection Strategy for Service CompositionGuisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu. 95-104 [doi]
- A Programming Language Approach to Fault Tolerance for Fork-Join ParallelismMustafa Zengin, Viktor Vafeiadis. 105-112 [doi]
- On Denotational Semantics of Spatial-Temporal Consistency Language - STeCHengyang Wu, Yixiang Chen, Min Zhang. 113-120 [doi]
- An Operational Approach to Happens-Before Memory ModelYang Zhang, Xinyu Feng. 121-128 [doi]
- Using Intelligent Proxies to Develop Self-Adaptive Service-Based SystemsRadu Calinescu, Yasmin Rafiq. 131-134 [doi]
- Verifying Bigraphical Models of Architectural ReconfigurationsAlejandro Sanchez, Luís Soares Barbosa, Daniel Riesco. 135-138 [doi]
- Surfing with FunLaurent Thiry, Michel Hassenforder. 139-142 [doi]
- Unified Modeling of Active and Reactive Components for Real-Time SystemsZhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan. 145-148 [doi]
- Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition SystemMasaki Murakami. 149-152 [doi]
- Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem ProvingGongzheng Lu, Huaikou Miao. 153-156 [doi]
- Integration of Linear Constraints with a Temporal Logic Programming LanguageQian Ma, Zhenhua Duan, Mengfei Yang. 157-164 [doi]
- Incremental Construction of Greibach Normal FormMarkus Bals, Christina Jansen, Thomas Noll. 165-168 [doi]
- How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's SystemsNeil White, Janet Barnes. 171 [doi]
- Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT SolverHao Wu, Rosemary Monahan, James F. Power. 175-182 [doi]
- Computing Repairs from Active Integrity ConstraintsLuís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes. 183-190 [doi]
- Modeling and Analyzing Self-Adaptive Systems with Context Petri NetsNicolás Cardozo, Sebastián González, Kim Mens, Ragnhild Van Der Straeten, Theo D'Hondt. 191-198 [doi]
- GSOS Formalized in CoqKen Madlener, Sjaak Smetsers. 199-206 [doi]
- Class Diagrams with Equated Association ChainsIngo Feinerer, Gernot Salzer, Tanja Sisel. 209-216 [doi]
- Normal Bisimulation for Higher Order Pi-Calculus with Unguarded ChoiceZining Cao. 217-224 [doi]
- On Information Flow Control in Event-B and RefinementChunyan Mu. 225-232 [doi]
- Growing a Language in Pattern CalculusBarry Jay, Jose Vergara. 233-240 [doi]
- Requirements-Driven Self-Repairing against Environmental FailuresRui-Zhi Dong, Xin Peng, Yijun Yu, Wenyun Zhao. 241-244 [doi]