In my dissertation, I aim to develop a dependence-based impact analysis technique for event-based systems and eventbased components that communicate via messages. This paper motiv...
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
We present new explicit constructions of deterministic randomness extractors, dispersers and related objects. We say that a distribution X on binary strings of length n is a -sour...
Boaz Barak, Guy Kindler, Ronen Shaltiel, Benny Sud...
Due to the increasing elderly population, healthcare systems able to promote independent living are regarded as an emerging market. Despite the significant advances aiming to supp...
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...