| Exploring multi-paradigm modeling techniques C Hardebolle, F Boulanger Simulation 85 (11-12), 688-708, 2009 | 88 | 2009 |
| Modhel’x: A component-oriented approach to multi-formalism modeling C Hardebolle, F Boulanger International Conference on Model Driven Engineering Languages and Systems …, 2007 | 76 | 2007 |
| Simulation of multi-formalism models with ModHel'X F Boulanger, C Hardebolle 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 50 | 2008 |
| Semantic adaptation for models of computation F Boulanger, C Hardebolle, C Jacquet, D Marcadet 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 43 | 2011 |
| Formal verification of automotive embedded software V Todorov, F Boulanger, S Taha Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018 | 33 | 2018 |
| Software implementation of synchronous programs C Andre, F Boulanger, A Girault Proceedings Second International Conference on Application of Concurrency to …, 2001 | 33 | 2001 |
| A formal abstract framework for modelling and testing complex software systems M Aiguier, F Boulanger, B Kanso Theoretical Computer Science 455, 66-97, 2012 | 28 | 2012 |
| Intégration de modules synchrones dans la programmation par objets F Boulanger Paris 11, 1993 | 27 | 1993 |
| Extending the standard execution model of UML for real-time systems A Benyahia, A Cuccuru, S Taha, F Terrier, F Boulanger, S Gérard IFIP Working Conference on Distributed and Parallel Embedded Systems, 43-54, 2010 | 26 | 2010 |
| A generic execution framework for models of computation C Hardebolle, F Boulanger, D Marcadet, G Vidal-Naquet Fourth International Workshop on Model-Based Methodologies for Pervasive and …, 2007 | 24 | 2007 |
| An Approach to Analyzing Temporal Properties in UML Class Models. M Al-Lail, R Abdunabi, RB France, I Ray, F Boulanger MoDeVVa@ MoDELS, 77-86, 2013 | 23 | 2013 |
| Multi-paradigm semantics for simulating SysML models using SystemC-AMS DC Cafe, FV Dos Santos, C Hardebolle, C Jacquet, F Boulanger Proceedings of the 2013 Forum on specification and Design Languages (FDL), 1-8, 2013 | 21 | 2013 |
| Bridging the chasm between executable metamodeling and models of computation B Combemale, C Hardebolle, C Jacquet, F Boulanger, B Baudry International Conference on Software Language Engineering, 184-203, 2012 | 21 | 2012 |
| Modeling heterogeneous points of view with modhel’x F Boulanger, C Jacquet, C Hardebolle, E Rouis Models in Software Engineering: Workshops and Symposia at MODELS 2009 …, 2010 | 21 | 2010 |
| Objects and synchronous programming C André, F Boulanger, MA Péraldi, JP Rigault, G Vidal-Naquet RAIRO-APII-JESA-Journal Europeen des Systemes Automatises 31 (3), 417-432, 1997 | 21 | 1997 |
| A DSL for explicit semantic adaptation B Meyers, J Denil, F Boulanger, C Hardebolle, C Jacquet, H Vangheluwe MPM 2013, 47-56, 2013 | 20 | 2013 |
| Semantic adaptation using CCSL clock constraints F Boulanger, A Dogui, C Hardebolle, C Jacquet, D Marcadet, I Prodan International Conference on Model Driven Engineering Languages and Systems …, 2011 | 19 | 2011 |
| TESL: A language for reconciling heterogeneous execution traces F Boulanger, C Jacquet, C Hardebolle, I Prodan 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014 | 16 | 2014 |
| Multi-formalism modelling and model execution C Hardebolle, F Boulanger International Journal of Computers and Applications 31 (3), 193-203, 2009 | 13 | 2009 |
| A model of domain-polymorph component for heterogeneous system design M Feredj, F Boulanger, AM Mbobi Journal of Systems and Software 82 (1), 112-120, 2009 | 12 | 2009 |
