2 papers
cs.SC2016
Efficient sparse polynomial factoring using the Funnel heap
Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel
This work is a comprehensive extension of Abu-Salem et al. (2015) that investigates the prowess of the Funnel Heap for implementing sums of products in the polytope method for fact…
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…