Mohamad Jaber

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu, Bensalem Bensalem, Marius Bozga et al. · IEEE Software · 2011 · 276 citations · Full text

FA-KES: A Fake News Dataset around the Syrian War

Fatima K. Abu Salem, Roaa Al Feel, Shady Elbassuoni et al. · Proceedings of the International AAAI Conference on Web and Social Media · 2019 · 67 citations · Full text

Fake News, Engineering, Media Standards +20

A framework for automated distributed implementation of component-based models

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber et al. · Distributed Computing · 2012 · 65 citations · Full text

Engineering, Component-based Software Engineering, Software Engineering +10

From high-level component-based models to distributed implementations

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber et al. · 2010 · 53 citations · Full text

Engineering, Computer Architecture, Software Engineering +21

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen et al. · Software & Systems Modeling · 2013 · 44 citations · Full text

Engineering, Verification, Computer-aided Verification +17