Exploring multi-paradigm modeling techniques C Hardebolle, F Boulanger Simulation 85 (11-12), 688-708, 2009 | 81 | 2009 |
ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling C Hardebolle, F Boulanger Models in Software Engineering, 247-258, 2008 | 70 | 2008 |
Simulation of Multi-Formalism Models with ModHel'X F Boulanger, C Hardebolle 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 48 | 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 | 42 | 2011 |
Software implementation of synchronous programs C Andre, F Boulanger, A Girault Proceedings Second International Conference on Application of Concurrency to …, 2001 | 31 | 2001 |
Intégration de modules synchrones dans la programmation par objets F Boulanger | 27 | 1993 |
A formal abstract framework for modelling and testing complex software systems M Aiguier, F Boulanger, B Kanso Theoretical Computer Science 455, 66-97, 2012 | 23 | 2012 |
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 | 23 | 2012 |
Extending the standard execution model of UML for real-time systems A Benyahia, A Cuccuru, S Taha, F Terrier, F Boulanger, S Gérard Distributed, Parallel and Biologically Inspired Systems, 43-54, 2010 | 22 | 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 | 20 | 2007 |
A DSL for explicit semantic adaptation B Meyers, J Denil, F Boulanger, C Hardebolle, C Jacquet, H Vangheluwe MPM 2013, 47-56, 2013 | 19 | 2013 |
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 | 18 | 1997 |
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 | 17 | 2011 |
Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS DC Café, F Boulanger, C Jacquet, C Hardebolle, FV Dos Santos Proceedings of FDL 2013, Forum on specification & Design Languages, 2013 | 16 | 2013 |
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 | 15 | 2013 |
Modeling heterogeneous points of view with ModHel’X F Boulanger, C Jacquet, C Hardebolle, E Rouis International Conference on Model Driven Engineering Languages and Systems …, 2009 | 15 | 2009 |
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 | 14 | 2014 |
Multi-Formalism Modelling and Model Execution C Hardebolle, F Boulanger International Journal of Computers & Applications 31 (3), 193, 2009 | 14 | 2009 |
Complex systems design & management M Aiguier, F Boulanger, D Krob, C Marchal Proc. Fourth Int. Conf. Complex Syst. Des. Man-Agement, CSDM, 2013 | 13* | 2013 |
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 | 11 | 2009 |