Abstract is missing.
- Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract)Holger Giese. 3-9 [doi]
- From Formal Methods to Software Components: Back to the Future?Kung-Kiu Lau. 10-14 [doi]
- A Core Model for Choreographic ProgrammingLuís Cruz-Filipe, Fabrizio Montesi. 17-35 [doi]
- Checking Business Process EvolutionPascal Poizat, Gwen Salaün, Ajay Krishna. 36-53 [doi]
- Compositionality, Decompositionality and Refinement in Input/Output Conformance TestingLars Luthmann, Stephan Mennicke, Malte Lochau. 54-72 [doi]
- Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling AbstractionsMaria Pittou, Stavros Tripakis. 73-91 [doi]
- Constrained Synthesis from Component LibrariesAntonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli. 92-110 [doi]
- MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical ClocksDehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang. 111-133 [doi]
- A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global PropertyStefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini. 134-152 [doi]
- Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore SystemsBoris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh. 153-171 [doi]
- Reasoning About Connectors in CoqXiyue Zhang, Weijiang Hong, Yi Li, Meng Sun. 172-190 [doi]
- (Context-Sensitivity In) Reo, RevisitedSung-Shik T. Q. Jongmans. 191-209 [doi]
- Validated Test Models for Software Product Lines: Featured Finite State MachinesVanderson H. Fragal, Adenilso Simao, Mohammad Reza Mousavi. 210-227 [doi]
- Tool Support for Fuzz Testing of Component-Based System Adaptation PoliciesJean-François Weber. 231-237 [doi]
- Coordinated Actors for Reliable Self-adaptive SystemsMaryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee. 241-259 [doi]
- Architecture-Based Design: A Satellite On-Board Software Case StudyAnastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros, Joseph Sifakis. 260-279 [doi]