Mohamad Jaber 个人学术档案

引用次数

	总计	2019 年至今
引用	1349	516
h 指数	15	11
i10 指数	21	11

160

120

20092010201120122013201420152016201720182019202020212022202320244 18 34 51 80 104 127 133 122 141 102 84 100 90 97 42

开放获取的出版物数量

查看全部

5 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, Grenoble在 imag.fr 的电子邮件经过验证
Joseph SifakisReseracher at Verimag laboratory, Grenoble在 imag.fr 的电子邮件经过验证
Saddek BensalemUniversité Grenoble Alpes, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
Nguyen Thanh HungAssistant Professor, School of Information and Communication Technology, Hanoi University of Science在 soict.hust.edu.vn 的电子邮件经过验证
Simon BliudzeComputer Science researcher, University of Lille Inria Research Centre在 inria.fr 的电子邮件经过验证
Ananda Shankar BasuSenior Research Engineer, Huawei Research Lab在 huawei.com 的电子邮件经过验证
Shady ElbassuoniAssociate Professor of Computer Science, American University of Beirut在 aub.edu.lb 的电子邮件经过验证
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State University在 msu.edu 的电子邮件经过验证
Jean Quilbeufpostdoc at fortiss gmbh, Munich, Germany在 fortiss.org 的电子邮件经过验证
Paul C AttieProfessor of Compuer Science, Augusta University在 augusta.edu 的电子邮件经过验证
Fatima K. Abu SalemAssociate Professor, Computer Science Department, American University of Beirut在 aub.edu.lb 的电子邮件经过验证
Fadi A ZaraketAmerican University of Beirut在 aub.edu.lb 的电子邮件经过验证
Mohammad A. NoureddineRose-Hulman Institute of Technology在 rose-hulman.edu 的电子邮件经过验证
Antoine El-HokayemVERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
Wajeb SaabPhD candidate in Computer and Communications Sciences at EPFL在 epfl.ch 的电子邮件经过验证
Alessandro CimattiFondazione Bruno Kessler在 fbk.eu 的电子邮件经过验证
Sergio MoverÉcole Polytechnique and LIX在 polytechnique.edu 的电子邮件经过验证
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer Science在 unitn.it 的电子邮件经过验证
David Joseph WrisleyAssociate Professor of Digital Humanities, New York University Abu Dhabi在 nyu.edu 的电子邮件经过验证
Julia El ZiniAmerican University of Beirut在 mail.aub.edu 的电子邮件经过验证

关注

Mohamad Jaber

Software Engineer @ Google

在 google.com 的电子邮件经过验证

Distributed Systems Software Engineering Formal Methods


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	378	2011
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	107	2019
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	78	2012
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	78	2011
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	71	2009
Modeling dynamic architectures using Dy-BIP M Bozga, M Jaber, N Maris, J Sifakis Software Composition: 11th International Conference, SC 2012, Prague, Czech …, 2012	69	2012
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	67	2010
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	58	2016
Runtime Verification and Enforcement for Android Applications with RV-Droid Y Falcone, S Currea, M Jaber Runtime Verification, 88-95, 2013	57	2013
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	55	2013
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	45	2015
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	39	2010
Automated Stock Price Prediction Using Machine Learning WEHM Mokalled, M Jaber Proceedings of the Second Financial Narrative Processing Workshop (FNP 2019 …, 2019	22	2019
Architecture internalisation in BIP S Bliudze, J Sifakis, MD Bozga, M Jaber Proceedings of the 17th international ACM Sigsoft symposium on Component …, 2014	21	2014
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	19	2013
Reduction and Abstraction Techniques for BIP M Noureddine, M Jaber, S Bliudze, FA Zaraket Formal Aspects of Component Software, 288-305, 2014	15	2014
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	15	2010
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	14	2021
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	14	2017
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	14	2015

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用