Abstract is missing.
- Model Checking: One Can Do Much More Than You Think!Joost-Pieter Katoen. 1-14 [doi]
- Proposition Algebra and Short-Circuit LogicJan A. Bergstra, Alban Ponse. 15-31 [doi]
- Decompositional Reasoning about the History of Parallel ProcessesLuca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi. 32-47 [doi]
- A Model-Based Development Approach for Model TransformationsShekoufeh Kolahdouz Rahimi, Kevin Lano. 48-63 [doi]
- Analyzing Component-Based Systems on the Basis of Architectural ConstraintsChristian Lambertz, Mila E. Majster-Cederbaum. 64-79 [doi]
- Constructive Development of Probabilistic ProgramsHassan Haghighi, Mohammad Mahdi Javanmard. 80-95 [doi]
- Composing Real-Time Concurrent Objects Refinement, Compatibility and SchedulabilityMohammad Mahdi Jaghoori. 96-111 [doi]
- Specification Guidelines to Avoid the State Space Explosion ProblemJan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran. 112-127 [doi]
- Strong Normalisation in λ-Calculi with ReferencesRomain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. 128-142 [doi]
- Compositional Reasoning for Markov Decision Processes - (Extended Abstract)Yuxin Deng, Matthew Hennessy. 143-157 [doi]
- Safe Locking for Multi-threaded JavaEinar Broch Johnsen, Thi-Mai-Thuong Tran, Olaf Owe, Martin Steffen. 158-173 [doi]
- Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron ColliderYi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse. 174-189 [doi]
- A Distributed Logic for Networked Cyber-Physical SystemsMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott. 190-205 [doi]
- Reachability Analysis of Non-linear Planar Autonomous SystemsHallstein Asheim Hansen, Gerardo Schneider, Martin Steffen. 206-220 [doi]
- Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability GraphsQiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li. 221-235 [doi]
- Refinement-Based Modeling of 3D NoCsMaryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab. 236-252 [doi]
- Towards Model-Based Testing of Electronic Funds Transfer SystemsHamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi. 253-267 [doi]
- Relating Modal Refinements, Covariant-Contravariant Simulations and Partial BisimulationsLuca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino. 268-283 [doi]
- Decidability of Behavioral Equivalences in Process Calculi with Name ScopingChaodong He, Yuxi Fu, Hongfei Fu. 284-298 [doi]
- Rewriting Approximations for Properties Verification over CCS SpecificationsRoméo Courbis. 299-315 [doi]
- Type Checking Cryptography ImplementationsManuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva. 316-334 [doi]
- Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract)David Costa, Milad Niqui, Jan J. M. M. Rutten. 335-342 [doi]
- Nested Dynamic Condition Response GraphsThomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats. 343-350 [doi]
- Efficient Verification of Evolving Software Product LinesHamideh Sabouri, Ramtin Khosravi. 351-358 [doi]
- Extending Interface Automata with Z NotationZining Cao, Hui Wang. 359-367 [doi]
- A Specification Language for Reo ConnectorsAlexandra Silva. 368-376 [doi]