Personal information

Other IDs

Scopus Author ID: 55186309200

Activities

Collapse all

Employment (3)

Google (Switzerland): Zurich, CH

2019-01-07 to present | Software Engineer
Employment
Source: Self-asserted source
Mohamad Jaber

American University of Beirut: Beirut, LB

2012-09-01 to 2019-09-01 | Associate Professor (Computer Science)
Employment
Source: Self-asserted source
Mohamad Jaber

Université de Grenoble I: Grenoble, Rhône-Alpes, FR

2007-09-01 to 2012-08-31 (VERIMAG)
Employment
Source: Self-asserted source
Mohamad Jaber

Works (22)

A general framework for architecture composability

Formal Aspects of Computing
2016 | Journal article
DOI: 10.1007/s00165-015-0349-8
EID:

2-s2.0-84950244711
Contributors: Attie, P.; Baranov, E.; Bliudze, S.; Jaber, M.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Fully automated runtime enforcement of component-based systems with formal and sound recovery

International Journal on Software Tools for Technology Transfer
2016 | Journal article
DOI: 10.1007/s10009-016-0413-6
EID:

2-s2.0-84957601078
Contributors: Falcone, Y.; Jaber, M.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Formal verification of infinite-state BIP models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-24953-7_25
EID:

2-s2.0-84951762972
Contributors: Bliudze, S.; Cimatti, A.; Jaber, M.; Mover, S.; Roveri, M.; Saab, W.; Wang, Q.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Reduction and abstraction techniques for BIP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-15317-9_18
EID:

2-s2.0-84922294275
Contributors: Noureddine, M.; Jaber, M.; Bliudze, S.; Zaraket, F.A.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Runtime enforcement for component-based systems

Proceedings of the ACM Symposium on Applied Computing
2015 | Conference paper
DOI: 10.1145/2695664.2695879
EID:

2-s2.0-84951921010
Contributors: Charafeddine, H.; El-Harake, K.; Falcone, Y.; Jaber, M.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Separation of concerns for hardware components of embedded systems in BIP

Proceedings - International Symposium on Quality Electronic Design, ISQED
2015 | Conference paper
DOI: 10.1109/ISQED.2015.7085449
EID:

2-s2.0-84944314377
Contributors: Safieddine, M.H.; Kanj, R.; Zaraket, F.A.; Elzein, A.; Jaber, M.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

A general framework for architecture composability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
DOI: 10.1007/978-3-319-10431-7_10
EID:

2-s2.0-84905994144
Contributors: Attie, P.; Baranov, E.; Bliudze, S.; Jaber, M.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Architecture internalisation in BIP

CBSE 2014 - Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (Part of CompArch 2014)
2014 | Conference paper
DOI: 10.1145/2602458.2602477
EID:

2-s2.0-84904480256
Contributors: Bliudze, S.; Sifakis, J.; Bozga, M.; Jaber, M.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

An abstract framework for deadlock prevention in BIP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-38592-6_12
EID:

2-s2.0-84885011474
Contributors: Attie, P.C.; Bensalem, S.; Bozga, M.; Jaber, M.; Sifakis, J.; Zaraket, F.A.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

From system model formalization towards correct and efficient HW/SW design

Proceedings of the 2013 8th International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2013
2013 | Conference paper
DOI: 10.1109/DTIS.2013.6527784
EID:

2-s2.0-84881161653
Contributors: Jaber, M.; Chagoya-Garzon, A.; Rousseau, F.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Runtime verification and enforcement for android applications with RV-droid

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-35632-2-11
EID:

2-s2.0-84872845348
Contributors: Falcone, Y.; Currea, S.; Jaber, M.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

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

Software and Systems Modeling
2013 | Journal article
DOI: 10.1007/s10270-013-0323-y
EID:

2-s2.0-84922337866
Contributors: Falcone, Y.; Jaber, M.; Nguyen, T.-H.; Bozga, M.; Bensalem, S.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

A framework for automated distributed implementation of component-based models

Journal on Distributed Computing
2012 | Other
EID:

2-s2.0-84868294357
Contributors: Bonakdarpour, B.; Bozga, M.; Jaber, M.; Quilbeuf, J.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Modeling dynamic architectures using Dy-BIP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-30564-1_1
EID:

2-s2.0-84862187083
Contributors: Bozga, M.; Jaber, M.; Maris, N.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Automated conflict-free distributed implementation of component-based models

IEEE Symposium on Industrial Embedded Systems (SIES), 2010
2011 | Other
EID:

2-s2.0-83155174848
Contributors: Bonakdarpour, B.; Bozga, M.; Jaber, M.; Quilbeuf, J.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Rigorous component-based system design using the BIP framework

Software
2011 | Other
EID:

2-s2.0-84885227783
Contributors: Basu, A.; Bensalem, B.; Bozga, M.; Combaz, J.; Jaber, M.; Nguyen, T.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Rigorous component-based system design using the BIP framework

IEEE Software
2011 | Journal article
DOI: 10.1109/MS.2011.27
EID:

2-s2.0-79955558541
Contributors: Basu, A.; Bensalem, B.; Bozga, M.; Combaz, J.; Jaber, M.; Nguyen, T.-H.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Runtime verification of component-based systems

Proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011
2011 | Other
EID:

2-s2.0-84963971445
Contributors: Falcone, Y.; Jaber, M.; Nguyen, T.; Bozga, M.; Bensalem, S.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

From high-level component-based models to distributed implementations

ACM International Conference on Embedded Software, EMSOFT
2010 | Other
EID:

2-s2.0-78249275142
Contributors: Bonakdarpour, B.; Bozga, M.; Jaber, M.; Quilbeuf, J.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Source-to-source architecture transformation for performance optimization in BIP

IEEE Transactions on Industrial Informatics
2010 | Journal article
DOI: 10.1109/TII.2010.2069102
EID:

2-s2.0-78149466523
Contributors: Bozga, M.; Jaber, M.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Source-to-source architecture transformation for performance optimization in BIP

Proceedings - 2009 IEEE International Symposium on Industrial Embedded Systems, SIES 2009
2009 | Conference paper
DOI: 10.1109/SIES.2009.5196211
EID:

2-s2.0-70449451249
Contributors: Bozga, M.; Jaber, M.; Sifakis, J.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier

Using neural networks for quality management

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
2008 | Conference paper
DOI: 10.1109/ETFA.2008.4638586
EID:

2-s2.0-56349127771
Contributors: Jaber, M.; Combaz, J.; Stras, L.; Fernandez, J.-C.
Source: Self-asserted source
Mohamad Jaber via Scopus - Elsevier
How many people are using ORCID?