Abstract is missing.
- On Model Checking Techniques for Randomized Distributed SystemsChristel Baier. 1-11 [doi]
- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded SystemsJohn S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Marcel Verhoef, Sune Wolff. 12-26 [doi]
- Programming with MiraclesRajeev Joshi. 27 [doi]
- An Event-B Approach to Data Sharing AgreementsAlvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson. 28-42 [doi]
- A Logical Framework to Deal with VariabilityPatrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi. 43-58 [doi]
- Adding Change Impact Analysis to the Formal Verification of C ProgramsSerge Autexier, Christoph Lüth. 59-73 [doi]
- Creating Sequential Programs from Event-B ModelsPontus Boström. 74-88 [doi]
- Symbolic Model-Checking of Optimistic Replication AlgorithmsHanifa Boucheneb, Abdessamad Imine, Manal Najem. 89-104 [doi]
- From Operating-System Correctness to Pervasively Verified ApplicationsMatthias Daum, Norbert Schirmer, Mareike Schmidt. 105-120 [doi]
- A Compositional Method for Deciding Equivalence and Termination of Nondeterministic ProgramsAleksandar Dimovski. 121-135 [doi]
- Verification Architectures: Compositional Reasoning for Real-Time SystemsJohannes Faber. 136-151 [doi]
- Automatic Verification of Parametric Specifications with Complex TopologiesJohannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans. 152-167 [doi]
- Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMTMartin Fränzle, Tino Teige, Andreas Eggers. 168-182 [doi]
- Showing Full Semantics Preservation in Model Transformation - A Comparison of TechniquesMathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim. 183-198 [doi]
- Specification and Verification of Model Transformations Using UML-RSDSKevin Lano, Shekoufeh Kolahdouz Rahimi. 199-214 [doi]
- Multiformalism and Transformation Inheritance for Dependability Analysis of Critical SystemsStefano Marrone, Camilla Papa, Valeria Vittorini. 215-228 [doi]
- Translating Pi-Calculus into LOTOS NTRadu Mateescu, Gwen Salaün. 229-244 [doi]
- Systematic Translation Rules from astd to Event-BJérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau. 245-259 [doi]
- A CSP Approach to Control in Event-BSteve Schneider, Helen Treharne, Heike Wehrheim. 260-274 [doi]
- Towards Probabilistic Modelling in Event-BAnton Tarasyuk, Elena Troubitsyna, Linas Laibinis. 275-289 [doi]
- Safe Commits for Transactional Featherweight JavaThi-Mai-Thuong Tran, Martin Steffen. 290-304 [doi]
- Certified Absence of Dangling Pointers in a Language with Explicit DeallocationJavier de Dios, Manuel Montenegro, Ricardo Peña. 305-319 [doi]
- Integrating Implicit Induction Proofs into Certified Proof EnvironmentsSorin Stratulat. 320-335 [doi]