Frédéric Boulanger
Frédéric Boulanger
CentraleSupélec, LRI, Université Paris-Saclay
Verified email at - Homepage
Cited by
Cited by
Exploring multi-paradigm modeling techniques
C Hardebolle, F Boulanger
Simulation 85 (11-12), 688-708, 2009
ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling
C Hardebolle, F Boulanger
Models in Software Engineering, 247-258, 2008
Simulation of Multi-Formalism Models with ModHel'X
F Boulanger, C Hardebolle
2008 1st International Conference on Software Testing, Verification, and …, 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
Software implementation of synchronous programs
C Andre, F Boulanger, A Girault
Proceedings Second International Conference on Application of Concurrency to …, 2001
Intégration de modules synchrones dans la programmation par objets
F Boulanger
A formal abstract framework for modelling and testing complex software systems
M Aiguier, F Boulanger, B Kanso
Theoretical Computer Science 455, 66-97, 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
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
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
A DSL for explicit semantic adaptation
B Meyers, J Denil, F Boulanger, C Hardebolle, C Jacquet, H Vangheluwe
MPM 2013, 47-56, 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
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
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
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
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
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
Multi-Formalism Modelling and Model Execution
C Hardebolle, F Boulanger
International Journal of Computers & Applications 31 (3), 193, 2009
Complex systems design & management
M Aiguier, F Boulanger, D Krob, C Marchal
Proc. Fourth Int. Conf. Complex Syst. Des. Man-Agement, CSDM, 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
The system can't perform the operation now. Try again later.
Articles 1–20