Abstract is missing.
- Formal Patterns for Multi-rate Distributed Real-Time SystemsKyungmin Bae, José Meseguer, Peter Csaba Ölveczky. 1-18 [doi]
- Component Interfaces with Contracts on PortsSebastian S. Bauer, Rolf Hennicker, Axel Legay. 19-35 [doi]
- Avoiding Diamonds in DesynchronizationHarsh Beohar, Pieter J. L. Cuijpers. 36-54 [doi]
- The Tale of SOLOIST: A Specification Language for Service Compositions InteractionsDomenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro. 55-72 [doi]
- A Categorical Approach to Structuring and Promoting Z SpecificationsPablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum. 73-91 [doi]
- Assume-Guarantee Reasoning for Safe Component BehavioursChris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska. 92-109 [doi]
- A Petri Net Based Analysis of Deadlocks for Active Objects and FuturesFrank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro. 110-127 [doi]
- Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool DevelopmentFrank S. de Boer, Stijn de Gouw. 128-133 [doi]
- Symbolic Counterexample Generation for Discrete-Time Markov ChainsNils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker. 134-151 [doi]
- Xcd - Modular, Realizable Software ArchitecturesChristos Kloukinas, Mert Ozkaya. 152-169 [doi]
- LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run TimeAmir Molzam Sharifloo, Paola Spoletini. 170-187 [doi]
- A Calculus for QualityHanne Riis Nielson, Flemming Nielson, Roberto Vigo. 188-204 [doi]
- Model Checking of Qualitative Sensitivity Preferences to Minimize Credential DisclosureZachary J. Oster, Ganesh Ram Santhanam, Samik Basu, Vasant Honavar. 205-223 [doi]
- IBOS: A Correct-By-Construction Modular BrowserRalf Sasse, Samuel T. King, José Meseguer, Shuo Tang. 224-241 [doi]
- Guided Search for Deadlocks in Actor-Based ModelsSteinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson. 242-259 [doi]
- Assumption Generation for Asynchronous Systems by Abstraction RefinementQiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li. 260-276 [doi]