Mohamad Jaber

Identifiers

• name variant Mohamad Jaber 0.60 · backfill

Papers (6)

1. From Global Choreographies to Provably Correct and Efficient Distributed Implementations cs.DC · 2019 · author #1
2. Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework cs.SE · 2018 · author #3
3. Monitoring Distributed Component-Based Systems cs.SE · 2017 · author #3
4. A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications cs.SE · 2015 · author #5
5. From High-Level Modeling Towards Efficient and Trustworthy Circuits cs.SE · 2014 · author #1
6. Runtime Enforcement for Component-Based Systems cs.SE · 2014 · author #4

Mentions

• 1508.02153 #5 · backfill · confidence 0.70 Mohamad Jaber
• 1409.8146 #1 · backfill · confidence 0.70 Mohamad Jaber
• 1406.5708 #4 · backfill · confidence 0.70 Mohamad Jaber

Frequent Coauthors

• Yli\`es Falcone 5 shared papers
• Al-Abbass Khalil 1 shared papers
• Antoine El-Hokayem 1 shared papers
• Fadi A. Zaraket 1 shared papers
• Hadil Charafeddine 1 shared papers
• Hosein Nazarpour 1 shared papers
• John Abou-Jaoudeh 1 shared papers
• Khalil El-Harake 1 shared papers
• Kinan Dak-Al-Bab 1 shared papers
• Marius Bozga 1 shared papers
• Mohamad Noureddine 1 shared papers
• Mostafa El-Katerji 1 shared papers
• Paul Attie 1 shared papers
• Rayan Hallal 1 shared papers
• Saddek Bensalem 1 shared papers