Fundamentals of Software Engineering

Model Checking: One Can Do Much More Than You Think!.-Proposition Algebra and Short-Circuit Logic.-Decompositional Reasoning about the History of Parallel Processes.-A Model-Based Development Approach for Model Transformations.-Analyzing Component-Based Systems on the Basis of Architectural Constraints.-Constructive Development of Probabilistic Programs.-Composing Real-Time Concurrent Objects: Refinement, Compatibility and Schedulability.-Specification Guidelines to Avoid the State Space Explosion Problem.-Strong Normalisation in ?-Calculi with References.-Compositional Reasoning for Markov Decision Processes (Extended Abstract).-Safe Locking for Multi-threaded Java.-Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.-A Distributed Logic for Networked Cyber-Physical Systems.-Reachability Analysis of Non-linear Planar Autonomous Systems.-Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs.-Refinement-Based Modeling of 3D NoCs.-Towards Model-Based Testing of Electronic Funds Transfer Systems.-Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.-Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.-Rewriting Approximations for Properties Verification over CCS Specifications.-Type Checking Cryptography Implementations.-Intentional Automata: A Context-Dependent Model for Component Connectors (Extended Abstract).-Nested Dynamic Condition Response Graphs.-Efficient Verification of Evolving Software Product Lines.-Extending Interface Automata with Z Notation.-A Specification Language for Reo Connectors.-