Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.
Software and Systems Modeling, Springer Verlag, 2015, 14 (1), pp.38.
⟨10.1007/s10270-013-0323-y⟩.
⟨hal-01248420⟩