Abstract is missing.
- Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. 3-18 [doi]
- Cost vs. Time in Stochastic Games and Markov AutomataHassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker. 19-34 [doi]
- A Comparative Study of BDD Packages for Probabilistic Symbolic Model CheckingTom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang 0001. 35-51 [doi]
- Refinement and Proof Based Development of Systems Characterized by Continuous FunctionsGuillaume Babin, Yamine Aït Ameur, Shin Nakajima, Marc Pantel. 55-70 [doi]
- Synthesizing Controllers for Multi-lane Traffic ManeuversGregor V. Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog. 71-86 [doi]
- Extending Hybrid CSP with Probability and StochasticityYu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang 0001. 87-102 [doi]
- Towards Verified Faithful SimulationVania Joloboff, Jean-François Monin, Xiaomu Shi. 105-119 [doi]
- Cardinality of UDP Transmission OutcomesFranz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto. 120-134 [doi]
- Inferring Software Behavioral Models with MapReduceChen Luo, Fei He, Carlo Ghezzi. 135-149 [doi]
- An Application of Temporal Projection to Interleaving ConcurrencyBen C. Moszkowski, Dimitar P. Guelev. 153-167 [doi]
- A High-Level Model for an Assembly Language Attacker by Means of ReflectionAdriaan Larmuseau, Marco Patrignani, Dave Clarke. 168-182 [doi]
- Improving Design DecompositionDavid Faitelson, Shmuel S. Tyszberowicz. 185-200 [doi]
- From Requirements Engineering to Safety Assurance: Refinement ApproachLinas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky. 201-216 [doi]
- Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel MethodsYu-Lei Gu, Xueyang Zhu, Guangquan Zhang. 217-223 [doi]
- PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code InstrumentationJun-Xian Zhang, Zhou-Jun Li, Xian-chen Zheng. 227-242 [doi]
- Generating Specifications for Recursive Methods by Abstracting Program StatesNathan Wasser. 243-257 [doi]
- Assertion-Directed Precondition Synthesis for Loops over Data StructuresJuan Zhai, Hanfei Wang, Jianhua Zhao. 258-274 [doi]
- Automatic Fault Localization for BIPQiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao. 277-283 [doi]
- Formal Verification of the Pastry Protocol Using \mathrmTLA^+Tianxiang Lu. 284-299 [doi]
- Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution SemanticsSandeep Patil, Victor Dubinin, Victor Vyatkin. 300-315 [doi]