| 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 | 308 | 2011 |
| A framework for automated distributed implementation of component-based models B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis Distributed Computing 25 (5), 383-409, 2012 | 72 | 2012 |
| 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 | 69 | 2009 |
| Modeling dynamic architectures using Dy-BIP M Bozga, M Jaber, N Maris, J Sifakis International Conference on Software Composition, 1-16, 2012 | 65 | 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 | 65 | 2010 |
| Runtime verification of component-based systems Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem International Conference on Software Engineering and Formal Methods, 204-220, 2011 | 57 | 2011 |
| 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 | 52 | 2013 |
| 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 | 48 | 2016 |
| Runtime Verification and Enforcement for Android Applications with RV-Droid Y Falcone, S Currea, M Jaber Runtime Verification, 88-95, 2013 | 46 | 2013 |
| 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 | 36 | 2010 |
| Formal verification of infinite-state BIP models S Bliudze, A Cimatti, M Jaber, S Mover, M Roveri, W Saab, Q Wang International Symposium on Automated Technology for Verification and …, 2015 | 34 | 2015 |
| Architecture internalisation in BIP S Bliudze, J Sifakis, MD Bozga, M Jaber Proceedings of the 17th international ACM Sigsoft symposium on Component …, 2014 | 18 | 2014 |
| 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 | 17 | 2019 |
| An abstract framework for deadlock prevention in BIP PC Attie, S Bensalem, M Bozga, M Jaber, J Sifakis, FA Zaraket Formal Techniques for Distributed Systems, 161-177, 2013 | 16 | 2013 |
| Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP M Jaber | 14 | 2010 |
| 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 | 13 | 2015 |
| 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 | 11 | 2017 |
| Using neural networks for quality management M Jaber, J Combaz, L Strus, JC Fernandez 2008 IEEE International Conference on Emerging Technologies and Factory …, 2008 | 10* | 2008 |
| Reduction and Abstraction Techniques for BIP M Noureddine, M Jaber, S Bliudze, FA Zaraket Formal Aspects of Component Software, 288-305, 2014 | 9 | 2014 |
| Modularizing crosscutting concerns in component-based systems A El-Hokayem, Y Falcone, M Jaber International Conference on Software Engineering and Formal Methods, 367-385, 2016 | 8 | 2016 |
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleE-mail confirmado em imag.fr
