Max Robotics — Global Service Robot Directory + US Certification

About

Mohamad Jaber is a leading researcher in rigorous component-based system design and runtime verification. His work focuses on ensuring the correctness and reliability of complex software systems through formal methods. Jaber’s most influential contribution is his work on the BIP (Behavior, Interaction, Priority) framework, which provides a single, powerful component-based modeling and implementation platform. His seminal 2011 paper, "Rigorous Component-Based System Design Using the BIP Framework," has garnered 278 citations, establishing it as a cornerstone in the field. Beyond design, Jaber has pioneered runtime verification techniques for component-based systems, with his 2011 and 2013 papers on the topic accumulating over 100 citations combined. These works introduce formally-proved sound and complete instrumentation methods that enable real-time monitoring without compromising system integrity. His 2016 paper on fully automated runtime enforcement with formal recovery further extends this line of research. Jaber’s contributions are vital for building dependable systems in safety-critical domains, and his work continues to influence both academic research and practical system engineering.