Seuraa
Mohamad Jaber
Mohamad Jaber
Software Engineer @ Google
Vahvistettu sähköpostiosoite verkkotunnuksessa google.com
Nimike
Viittaukset
Viittaukset
Vuosi
Rigorous component-based system design using the BIP framework
A Basu, S Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J Sifakis
IEEE Software 28 (3), 41-48, 2011
3822011
Fa-kes: A fake news dataset around the syrian war
FKA Salem, R Al Feel, S Elbassuoni, M Jaber, M Farah
Proceedings of the International AAAI Conference on Web and Social Media 13 …, 2019
1102019
A framework for automated distributed implementation of component-based models
B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis
Distributed Computing 25, 383-409, 2012
792012
Runtime verification of component-based systems
Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
782011
Source-to-source architecture transformation for performance optimization in BIP
M Bozga, M Jaber, J Sifakis
Fourth International Symposium on Industrial Embedded Systems - SIES, 152 - 160, 2009
712009
Modeling dynamic architectures using Dy-BIP
M Bozga, M Jaber, N Maris, J Sifakis
Software Composition: 11th International Conference, SC 2012, Prague, Czech …, 2012
702012
From high-level component-based models to distributed implementations
B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis
Proceedings of the tenth ACM international conference on Embedded software …, 2010
672010
A general framework for architecture composability
P Attie, E Baranov, S Bliudze, M Jaber, J Sifakis
Formal Aspects of Computing 28 (2), 207-231, 2016
582016
Runtime Verification and Enforcement for Android Applications with RV-Droid
Y Falcone, S Currea, M Jaber
Runtime Verification, 88-95, 2013
572013
Runtime verification of component-based systems in the bip framework with formally-proved sound and complete instrumentation
Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem
Software & Systems Modeling, 1-27, 2013
552013
Formal verification of infinite-state BIP models
S Bliudze, A Cimatti, M Jaber, S Mover, M Roveri, W Saab, Q Wang
Automated Technology for Verification and Analysis: 13th International …, 2015
462015
Automated conflict-free distributed implementation of component-based models
B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis
International Symposium on Industrial Embedded System (SIES), 108-117, 2010
392010
Automated Stock Price Prediction Using Machine Learning
WEHM Mokalled, M Jaber
Proceedings of the Second Financial Narrative Processing Workshop (FNP 2019 …, 2019
232019
Architecture internalisation in BIP
S Bliudze, J Sifakis, MD Bozga, M Jaber
Proceedings of the 17th international ACM Sigsoft symposium on Component …, 2014
212014
An abstract framework for deadlock prevention in BIP
PC Attie, S Bensalem, M Bozga, M Jaber, J Sifakis, FA Zaraket
International Conference on Formal Methods for Open Object-Based Distributed …, 2013
192013
Meta-learning for fake news detection surrounding the Syrian war
FKA Salem, R Al Feel, S Elbassuoni, H Ghannam, M Jaber, M Farah
Patterns 2 (11), 2021
152021
Reduction and Abstraction Techniques for BIP
M Noureddine, M Jaber, S Bliudze, FA Zaraket
Formal Aspects of Component Software, 288-305, 2014
152014
Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP
M Jaber
Université Joseph-Fourier-Grenoble I, 2010
152010
Fully automated runtime enforcement of component-based systems with formal and sound recovery
Y Falcone, M Jaber
International Journal on Software Tools for Technology Transfer 19 (3), 341-365, 2017
142017
Runtime enforcement for component-based systems
H Charafeddine, K El-Harake, Y Falcone, M Jaber
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1789-1796, 2015
142015
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20