Abstract is missing.
- Components as Location GraphsJean-Bernard Stefani. 3-23 [doi]
- A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract)Rocco De Nicola. 24-28 [doi]
- Verified Service Compositions by Template-Based ConstructionSven Walther, Heike Wehrheim. 31-48 [doi]
- Compositional Verification of Asynchronously Communicating SystemsJan Martijn E. M. van der Werf. 49-67 [doi]
- Compositional Analysis Using Component-Oriented InterpolationViet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. 68-85 [doi]
- Impact Models for Architecture-Based Self-adaptive SystemsJavier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl. 89-107 [doi]
- Decentralised Evaluation of Temporal Patterns over Component-Based Systems at RuntimeOlga Kouchnarenko, Jean-François Weber. 108-126 [doi]
- Formal Rules for Reliable Component-Based Architecture EvolutionAbderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi (Yulin) Zhang. 127-142 [doi]
- Solving Parity Games in ScalaAntonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino. 145-161 [doi]
- Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience ReportMd Tawhid Bin Waez, Andrzej Wasowski, Jürgen Dingel, Karen Rudie. 162-180 [doi]
- From Helena Ensemble Specifications to Executable CodeAnnabelle Klarl, Lucia Cichella, Rolf Hennicker. 183-190 [doi]
- MAccS: A Tool for Reachability by DesignGuillaume Verdier, Jean-Baptiste Raclet. 191-197 [doi]
- MPass: An Efficient Tool for the Analysis of Message-Passing ProgramsParosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini. 198-206 [doi]
- Widening the Schedulability of Hierarchical Scheduling SystemsAbdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou. 209-227 [doi]
- Adding Formal Meanings to AADL with Hybrid AnnexEhsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou. 228-247 [doi]
- Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical ApplicationsMarc Sango, Laurence Duchien, Christophe Gransart. 248-266 [doi]
- Intransitive Non-Interference by UnfoldingPaolo Baldan, Francesco Burato, Alberto Carraro. 269-287 [doi]
- Reduction and Abstraction Techniques for BIPMohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket. 288-305 [doi]
- Compositionality for Quantitative SpecificationsUlrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez. 306-324 [doi]
- Algorithmic Verification of Procedural Programs in the Presence of Code VariabilitySiavash Soleimanifard, Dilian Gurov. 327-345 [doi]
- Place-Liveness of ComSA ApplicationsAbderrahim Ait Wakrime, Sébastien Limet, Sophie Robert. 346-363 [doi]
- Admit Your Weakness: Verifying Correctness on TSO ArchitecturesGraeme Smith, John Derrick, Brijesh Dongol. 364-383 [doi]