2 citations · 3 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014★ 2 cited
From High-Level Modeling Towards Efficient and Trustworthy Circuits
Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket
Behavior-Interaction-Priority (BIP) is a layered embedded system design and verification framework that provides separation of functionality, synchronization, and priority concerns…
cs.SE2014
Runtime Enforcement for Component-Based Systems
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone +1
Runtime enforcement is an increasingly popular and effective dynamic validation technique aiming to ensure the correct runtime behavior (w.r.t. a formal specification) of systems u…