| Rigorous component-based system design using the BIP framework A Basu, B Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J Sifakis IEEE software 28 (3), 41-48, 2011 | 392 | 2011 |
| Unraveling the hidden environmental impacts of AI solutions for environment life cycle assessment of AI solutions AL Ligozat, J Lefevre, A Bugeau, J Combaz Sustainability 14 (9), 5172, 2022 | 98 | 2022 |
| Model-based implementation of real-time applications T Abdellatif, J Combaz, J Sifakis Proceedings of the tenth ACM international conference on Embedded software …, 2010 | 88 | 2010 |
| Rigorous design of robot software: A formal component-based approach T Abdellatif, S Bensalem, J Combaz, L De Silva, F Ingrand Robotics and Autonomous Systems 60 (12), 1563-1578, 2012 | 57 | 2012 |
| Unraveling the hidden environmental impacts of AI solutions for environment AL Ligozat, J Lefèvre, A Bugeau, J Combaz arXiv preprint arXiv:2110.11822, 2021 | 38 | 2021 |
| QoS control for optimality and safety J Combaz, JC Fernandez, T Lepley, J Sifakis Proceedings of the 5th ACM international conference on Embedded software, 90-99, 2005 | 31 | 2005 |
| How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation? A Rasoldier, J Combaz, A Girault, K Marquet, S Quinton LIMITS 2022-Eighth Workshop on Computing within Limits, 2022 | 30 | 2022 |
| Performance evaluation of stochastic real-time systems with the SBIP framework A Nouri, BL Mediouni, M Bozga, J Combaz, S Bensalem, A Legay International Journal of Critical Computer-Based Systems 8 (3-4), 340-370, 2018 | 30 | 2018 |
| Rigorous implementation of real-time systems–from theory to application T Abdellatif, J Combaz, J Sifakis Mathematical Structures in Computer Science 23 (4), 882-914, 2013 | 27 | 2013 |
| Model-based implementation of parallel real-time systems A Triki, J Combaz, S Bensalem, J Sifakis International Conference on Fundamental Approaches to Software Engineering …, 2013 | 25 | 2013 |
| Symbolic quality control for multimedia applications J Combaz, JC Fernandez, J Sifakis, L Strus Real-Time Systems 40, 1-43, 2008 | 25 | 2008 |
| Rtd-finder: A tool for compositional verification of real-time component-based systems S Ben-Rayana, M Bozga, S Bensalem, J Combaz Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 24 | 2016 |
| Compositional invariant generation for timed systems L Aştefănoaei, S Ben Rayana, S Bensalem, M Bozga, J Combaz Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 24 | 2014 |
| Fine grain QoS control for multimedia application software J Cornbaz, JC Fernandez, T Lepley, J Sifakis Design, Automation and Test in Europe, 1038-1043, 2005 | 21 | 2005 |
| Introduction aux impacts environnementaux du numérique K Marquet, J Combaz, F Berthoud 1024, bulletin de la Société Informatique de France, 85-97, 2019 | 18 | 2019 |
| Runtime verification of timed properties in autonomous robots M Foughali, S Bensalem, J Combaz, F Ingrand 2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020 | 16 | 2020 |
| Correctness of service components and service component ensembles J Combaz, S Bensalem, F Tiezzi, A Margheri, R Pugliese, J Kofroň Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015 | 13 | 2015 |
| Compositional verification for timed systems based on automatic invariant generation L Astefanoaei, SB Rayana, S Bensalem, M Bozga, J Combaz Logical Methods in Computer Science 11, 2015 | 11 | 2015 |
| Monitoring multi-threaded component-based systems H Nazarpour, Y Falcone, S Bensalem, M Bozga, J Combaz Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 10 | 2016 |
| Automated conflict-free concurrent implementation of timed component-based models A Triki, B Bonakdarpour, J Combaz, S Bensalem NASA Formal Methods Symposium, 359-374, 2015 | 9 | 2015 |
