Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, Oct

Component-Based Modeling in Mediator.- A Component-oriented Framework for Autonomous Agents.- Coordination of Dynamic Software Components with JavaBIP.- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Cache.- Guarded Terms for Rewriting Modulo SMT.- On Weighted Configuration Logics.- Compositional Model Checking is Lively.- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking.- TOM: a Model-Based GUI Testing Framework.- Correctness-by-learning of Infinite-state Component-based Sytems.- The Implementation of Object Propositions: the Oprop Verification Tool.- Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.- Fault Localization in Service Compositions.- Correct Composition of Dephased Behavioural Models.