Frédéric Boulanger
Frédéric Boulanger
CentraleSupélec, LRI, Université Paris-Saclay
Dirección de correo verificada de lri.fr - Página principal
Título
Citado por
Citado por
Año
Exploring multi-paradigm modeling techniques
C Hardebolle, F Boulanger
Simulation 85 (11-12), 688-708, 2009
762009
ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling
C Hardebolle, F Boulanger
Models in Software Engineering, 247-258, 2008
682008
Simulation of Multi-Formalism Models with ModHel'X
F Boulanger, C Hardebolle
2008 1st International Conference on Software Testing, Verification, and …, 2008
462008
Semantic adaptation for models of computation
F Boulanger, C Hardebolle, C Jacquet, D Marcadet
2011 Eleventh International Conference on Application of Concurrency to …, 2011
392011
Software implementation of synchronous programs
C Andre, F Boulanger, A Girault
Proceedings Second International Conference on Application of Concurrency to …, 2001
302001
Intégration de modules synchrones dans la programmation par objets
F Boulanger
271993
A formal abstract framework for modelling and testing complex software systems
M Aiguier, F Boulanger, B Kanso
Theoretical Computer Science 455, 66-97, 2012
232012
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
222012
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
212010
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
202007
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
181997
A DSL for explicit semantic adaptation
B Meyers, J Denil, F Boulanger, C Hardebolle, C Jacquet, H Vangheluwe
MPM 2013, 47-56, 2013
172013
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
162011
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
152013
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
152009
Multi-Formalism Modelling and Model Execution
C Hardebolle, F Boulanger
International Journal of Computers & Applications 31 (3), 193, 2009
142009
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
132014
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
132013
Complex systems design & management
M Aiguier, F Boulanger, D Krob, C Marchal
Proc. Fourth Int. Conf. Complex Syst. Des. Man-Agement, CSDM, 2013
11*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
112009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20