CentraleSupélec LRI
Département informatique Équipe MODHEL
3 rue Joliot-Curie Bât 650 Ada Lovelace, Université Paris Sud
F-91192 Gif-sur-Yvette cedex, France Rue Noetzlin, 91190 Gif-sur-Yvette, France
Publications

2017

[1] nguyenvan:hal-01583815Nguyen Van, Hai, Balabonski, Thibaut, Boulanger, Fr{\'e}d{\'e}ric, Keller, Chantal, Valiron, Beno{\^i}t, Wolff, Burkhart, A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing{Formal Modeling and Analysis of Timed Systems, 15th International Conference FORMATS 2017}, Berlin, Germany, Sep, 2017, (Alessandro Abate,Gilles Geeraerts, Ed.), Springer, pages 318-334(URL), (PDF), (BibTeX)

2016

[2] SegBouLecGod2016HICSSSeghiri, Rachida, Boulanger, Frédéric, Lecocq, Claire, Godefroy, Vincent, An Executable Model Driven Framework for Enterprise Architecture Application to the Smart Grids ContextProceeding of HICSS-49, Hawaii International Conference on System Sciences, Kauai, Hawaii, USA, Jan, 2016, page 10(PDF), (BibTeX)

[3] MedPieGalBou2016GEMOCMedimegh, Slim, Pierron, Jean-Yves, Gallois, Jean-Pierre, Boulanger, Frédéric, A New Approach of Qualitative Simulation for the Validation of Hybrid SystemsProceedings of the GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Saint Malo, France, Oct, 2016(URL), (PDF), (BibTeX)

2015

[4] NguBalBouTahValWolLin2015GemocNguyen Van, Hai, Balabonski, Thibaut, Boulanger, Frédéric, Taha, Safouan, Valiron, Benoît, Wolff, Burkhart, Ye, Lina, Towards a formal semantics of the TESL specification languageJoint Proceedings of the GEMOC and MPM International Workshops at MODELS 2015, Ottawa, Canada, Oct, 2015, (Benoit Combemale,Julien Deantoni,Jeff Gray,Daniel Balasubramanian,Bruno Barroca,Sahar Kokaly,Gergely Mezei,Piter Van Gorp, Ed.), pages 14-19(URL), (PDF), (BibTeX)

[5] SegBouLecGod2015InforsidSeghiri, Rachida, Boulanger, Frédéric, Lecocq, Claire, Godefroy, Vincent, Simulation des Systèmes d’Information des Smart Grids - Une approche par points de vueActes du XXXIIIème Congrès INFORSID, Biarritz, France, May, 2015, pages 65-80(URL), (PDF), (BibTeX)

2014

[6] 2014-11_FBO_ModeliserFrédéric Boulanger, Modélisation multiparadigme pour la conception des systèmesModéliser & simuler, tome 2, (Franck Varenne, Marc Silberstein, Sébastien Dutreuil, Philippe Huneman, Ed.), Éditions Matériologiques, pages 703-724(URL), (BibTeX)

[7] BouJacHarPro2014MEMOCODEBoulanger, Frédéric, Jacquet, Christophe, Hardebolle, Cécile, Prodan, Iuliana, TESL: a Language for Reconciling Heterogeneous Execution TracesFormal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on, Lausanne, Switzerland, Oct, 2014, pages 114-123(URL), (PDF), (BibTeX)

[8] CafHarJacVinBou2014MPMChaves Café, Daniel, Hardebolle, Cécile, Vinci dos Santos, Filipe , Jacquet, Christophe, Boulanger, Frédéric, Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMSProceedings of the 8th Workshop on Multi-Paradigm Modeling (MPM 2014), Valencia, Spain, Sep, 2014, pages 11-20(URL), (PDF), (BibTeX)

[9] chavescafe:hal-01079973Chaves Café, Daniel, Vinci Dos Santos, Filipe, Hardebolle, Cécile, Jacquet, Christophe, Boulanger, Frédéric, Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMSCIEL 2014, Paris, France, Jun, 2014, pages 93-96(URL), (PDF), (BibTeX)

[10] jacquet:hal-01079975Jacquet, Christophe, Hardebolle, Cécile, Boulanger, Frédéric, ModHel'X, un outil expérimental pour la modélisation multi-paradigmesCIEL 2014, Paris, France, Jun, 2014, pages 115-118(URL), (PDF), (BibTeX)

[11] MOOCHype2014Dave R. Stikkolorum, Birgit Demuth, Vadim Zaytsev, Frédéric Boulanger, Jeff Gray, The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling EducationProceedings of EduSymp 2014, MODELS Educators Symposium 2014, Valencia, Spain, Sep, 2014, (Birgit Demuth, Dave Stikkolorum, Ed.), pages 75-86(URL), (BibTeX)

2013

[12] ComHarJacBouBau2013SLEBenoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoît Baudry, Bridging the Chasm between Executable Metamodeling and Models of ComputationSoftware Language Engineering, 5th International Conference SLE 2012, Revised and Selected Papers, February, 2013, (Krzysztof Czarnecki,Goerel Hedin, Ed.), pages 184-203(URL), (PDF), (BibTeX)

[13] BouJacHarDog2013GEMOCBoulanger, Frédéric, Jacquet, Christophe, Hardebolle, Cécile, Dogui, Ayman, Heterogeneous Model Composition in ModHel'X: the Power Window Case StudyProceedings of Gemoc 2013, Workshop on the Globalization of Modeling Languages, Miami, Florida, USA, Sep, 2013, page 10 pages(PDF), (BibTeX)

[14] JacMohBouHarBel2013MRTJacquet, Christophe, Mohamed, Ahmed, Boulanger, Frédéric, Hardebolle, Cécile, Bellik, Yacine, Building Heterogeneous Models at Runtime to Detect Faults in Ambient-intelligent EnvironmentsProceedings of MRM 2013, Workshop on Models at run.time, Miami, Florida, USA, Sep, 2013, page 10 pages(URL), (PDF), (BibTeX)

[15] MeyDenBouHarJacVan2013MPMMeyers, Bart, Denil, Joachim, Boulanger, Frédéric, Hardebolle, Cécile, Jacquet, Christophe, Vangheluwe, Hans, A DSL for Explicit Semantic AdaptationProceedings of MPM 2013, Workshop on Multi-Paradigm Modeling, Miami, Florida, USA, Sep, 2013, page 10 pages(URL), (PDF), (BibTeX)

[16] ChoCalJalBouTah2013ACESMBChouh, Hamza, Callon, Charlotte, Jalal, Ghita, Boulanger, Frédéric, Taha, Safouan, Modeling and Verification of Redundancy PoliciesProceedings of ACES-MB 2013, Workshop on Model Based Architecting and Construction of Embedded Systems, Miami, Florida, USA, Sep, 2013, page 10 pages(URL), (PDF), (BibTeX)

[17] CafBouJacHarVin2013FDLChaves Café, Daniel, Boulanger, Frédéric, Jacquet, Christophe, Hardebolle, Cécile, Vinci Dos Santos, Filipe, Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMSProceedings of FDL 2013, Forum on specification \& Design Languages, Paris, France, Sep, 2013, pages 82-89(URL), (PDF), (BibTeX)

[18] BouETR2013Frédéric Boulanger, Systems Engineering and Execution of Models with Heterogeneous Semantics(PDF), (BibTeX)

2012

[19] AigKanBou2012TCSMarc Aiguier, Frédéric Boulanger, Bilal Kanso, A formal abstract framework for modeling and testing complex software systemsTheoretical Computer Science, vol. 455, October, 2012(URL), (BibTeX)

[20] 2012SemAdaptCCSLLNCSFrédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan, Semantic Adaptation Using CCSL Clock ConstraintsModels in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers, 2012, (Kienzle, Joerg, Ed.), Springer-Verlag, pages 104-118(URL), (PDF), (BibTeX)

[21] KanAigBouGas2012APSECBilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston, Testing of component-based systemsProceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC), 2012, pages 300-305(PDF), (BibTeX)

[22] DesJacHarBouMen2012MPMRomulad Deshayes, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Tom Mens, Heterogeneous Modeling of Gesture-Based 3D ApplicationsProceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012(PDF), (BibTeX)

[23] BouHarCSDM2012Frédéric Boulanger, Cécile Hardebolle, Execution of models with heterogeneous semantics(URL), (PDF), (BibTeX)

2011

[24] BouHarJacMar2011ACSDFrédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Semantic Adaptation for Models of ComputationsProceedings of the 11th International Conference on Application of Concurrency to System Design, 2011, (Benoît Caillaud,Josep Carmona,Kunihiko Hiraishi, Ed.), IEEE Computer Society, pages 153-162(URL), (PDF), (BibTeX)

[25] BouDogHarJacMarPro2011MPMFrédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan, Semantic Adaptation using CCSL Clock ConstraintsProceedings of the 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, 2011, (Vasco Amaral,Peter Bunüs,Cécile Hardebolle,Lazlo Lengyel, Ed.), Electronic Communications of the EASST(PDF), (BibTeX)

2010

[26] TudPolBou2010JOCTudor Ionescu, Géraldine Polaillon, Frédéric Boulanger, Minimum Tree Cost Quartet PuzzlingJournal of classification, vol. 27, # 2, September, 2010(URL), (BibTeX)

[27] BouJacRouHar2010LNCSFrédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis, Modeling Heterogeneous Points of View with ModHel'XModels in Software Engineering: Workshops and Symposia at MoDELS 2009, Denver, CO, USA, October 2009, Reports and Revised Selected Papers, 2010, (Sudipto Ghosh, Ed.), Springer-Verlag, pages 310-324(PDF), (BibTeX)

[28] BenCucTahTerBouGer2010DIPESAbderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard, Extending the Standard Execution Model of UML for Real-Time SystemsDistributed, Parallel and Biologically Inspired Systems, 2010, (Mike Hinchey,Bernd Kleinjohann,Lisa Kleinjohann,Peter Lindsay,Franz Rammig,Jon Timmis,Marilyn Wolf, Ed.), Springer Boston, pages 43-54(URL), (PDF), (BibTeX)

[29] KanAigBouTou2010ICTACBilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil, Testing of Abstract ComponentsProceedings of the 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), Berlin Heidelberg, Germany, 2010, (Ana Cavalcanti,David Deharbe,Marie-Claude Gaudel,Jim Woodcock, Ed.), Springer-Verlag, pages 184-198(PDF), (BibTeX)

2009

[30] HarBou2009SIMCécile Hardebolle, Frédéric Boulanger, Exploring Multi-Paradigm Modeling TechniquesSIMULATION: Transactions of The Society for Modeling and Simulation International, vol. 85, # 11/12, November/December, 2009(URL), (BibTeX)

[31] HarBou2009IJCACécile Hardebolle, Frédéric Boulanger, Multi-Formalism Modelling and Model ExecutionInternational Journal of Computers and their Applications, vol. 31, # 3, July, 2009Special Issue on the International Summer School on Software Engineering, (URL), (PDF), (BibTeX)

[32] FerBouMbo2009JSSMohamed Feredj, Frédéric Boulanger, Aimé Mokho Mbobi, A model of domain-polymorph component for heterogeneous system designJournal of Systems and Software, vol. 82, # 1, January, 2009Special Issue: Software Performance - Modeling and Analysis, (URL), (BibTeX)

[33] BouJacRouHar2009NFPinDSMLsFrédéric Boulanger, Christophe Jacquet, Elyes Rouis, Cécile Hardebolle, Modeling Heterogeneous Points of View with ModHel'XProceedings of NFPinDSML2009 (2nd Workshop on Non-functional System Properties in Domain Specific Modeling Languages at MODELS 2009), 2009, CEUR-WS, pages 1-14(URL), (PDF), (BibTeX)

2008

[34] Bou2008IRECOSFrédéric Boulanger, Integration of Dependability Features in a Synchronous ApplicationInternational Review on Computers and Software (IRECOS), vol. 3, # 1, January, 2008(URL), (BibTeX)

[35] HarBou2007ModelsCécile Hardebolle, Frédéric Boulanger, ModHel'X: A Component-Oriented Approach to Multi-Formalism ModelingModels in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, Nashville, TN, USA, 2008, (Holger Giese, Ed.), Springer-Verlag, pages 247-258(URL), (BibTeX)

[36] BouMarBouJaq2008COMPSACAhcène Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet, An Architecture Description Language for Verification in Component-based SoftwareProceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, August, 2008, IEEE Computer Society, pages 365-368, . IEEE(BibTeX)

[37] JacBouMar2008MEMOCODEChristophe Jacquet, Frédéric Boulanger, Dominique Marcadet, From Data to Events: Checking Properties on the Control of a SystemProceedings of the Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008), Anaheim, California, June, 2008, IEEE Computer Society, pages 17-26, . IEEE(BibTeX)

[38] BouHar2008ICSTFrédéric Boulanger, Cécile Hardbolle, Simulation of Multi-Formalism Models with ModHel'XProceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST2008), Lillehammer, Norway, April, 2008, IEEE Computer Society, pages 318-327, . IEEE(BibTeX)

2007

[39] MboBouFer2007IRECOSAimé Mbobi, Frédéric Boulanger, Mohamed Feredj, An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface ComponentsInternational Review on Computers and Software (IRECOS), vol. 2, # 2, March, 2007(URL), (BibTeX)

[40] BouPol2007IADISFrédéric Boulanger, Géraldine Polaillon, Dorin Carstoiu, Alexandra Cernian, Stefan Bodea, Web Search based on Clustering by CompressionProceedings of the IADIS 2007 e-Society International Conference, Lisbon, Portugal, July, 2007, IADIS Press, pages 419-423, . IADIS(BibTeX)

[41] HarBouMarVid2007MOMPESCécile Hardebolle, Frédéric Boulanger , Dominique Marcadet, Guy Vidal-Naquet, A Generic Execution Framework for Models of ComputationProceedings of the 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007), Braga, Portugal, March, 2007, (J. M. Fernandes,R. J. Machado,R. Khedri,S. Clarke, Ed.), IEEE Computer Society, pages 45-54(PDF), (BibTeX)

2006

[42] BouMbo2006CTSFrédéric Boulanger, Mokhoo Mbobi, An Overall Specification of a Meta-Model of Computation For Model-Driven Embedded SystemsProceedings of the 2006 International Symposium on Collaborative Technologies and Systems (CTS 2006), Las Vegas, Nevada, USA, May, 2006, IEEE Computer Society, pages 194-199(PDF), (BibTeX)

[43] BouMboCCECE2006Frédéric Boulanger, Mokhoo Aimé Mbobi, Le paradigme acteur dans la modélisation des systèmes embarquésProceedings of the 2006 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006), Ottawa, ON, Canada, May, 2006, IEEE Computer Society, pages 418-421(PDF), (BibTeX)

[44] BouVidICSOFT2006Frédéric Boulanger, Guy Vidal-Naquet, A Primitive Execution Model for Heterogeneous ModelingProceedings of the 2006 International Conference on Software and Data Technologies (ICSOFT 2006), Setúbal, Portugal, September, 2006, INSTICC Press, pages 247-252(PDF), (BibTeX)

2005

[45] MboBouFerIRI2005Mokhoo Aimé Mbobi, Frédéric Boulanger, Mohamed Feredj, Issues of Hierarchical Heterogeneous Modeling in Component ReusabilityProceedings of the 2005 IEEE International Conference on Information Reuse and Integration (IEEE IRI 2005), Las Vegas, Nevada, USA, August, 2005, IEEE Computer Society, pages 84-89(PDF), (BibTeX)

[46] MboBouFerPTCONF2005Mokhoo Aimé Mbobi, Frédéric Boulanger, Mohamed Feredj, Integration of a Flat Heterogeneous Domain in Ptolemy II(BibTeX)

2004

[47] BouMboFerIPSI2004Frédéric Boulanger, Mokhoo Aimé Mbobi, Mohamed Feredj, Flat Heterogeneous ModelingProceedings of the 2004 International Conference on Advances in the Internet, Processing, Systems, and Interdisciplinary Research (IPSI 2004), Venice, Italy, November, 20047 pages, on CD-ROM, (PDF), (BibTeX)

[48] FerBouMboIRI2004Mohamed Feredj, Frédéric Boulanger, Mokhoo Aimé Mbobi, An Approach of Domain Polymorph Component DesignProceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IEEE IRI 2004), Las Vegas, Nevada, USA, November, 2004, pages 145-150(PDF), (BibTeX)

[49] MboBouFerIRI2004Mokhoo Aimé Mbobi, Frédéric Boulanger, Mohamed Feredj, Execution Model for Non-Hierarchical Heterogeneous ModelingProceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IEEE IRI 2004), Las Vegas, Nevada, USA, November, 2004, IEEE Computer Society, pages 139-144(PDF), (BibTeX)

2003

[50] MboBouFerCCCT2003Mokhoo Aimé Mbobi, Frédéric Boulanger, Mohamed Feredj, Non-hierarchical heterogeneityProceedings of the 2003 International conference on Computer, Communication and Control Technologies (CCCT'03), Orlando, Florida, USA, August, 2003, International Institute of Information and Systemics, pages 430-435(PDF), (BibTeX)

[51] BouTUGBOAT2003Frédéric Boulanger, Printing Digital Photographs with \LaTeXCommunications of the TeX Users Group (TUGboat), vol. 24, # 3, 2003(BibTeX)

2001

[52] AndBouGirICACSD2001Charles André, Frédéric Boulanger, Alain Girault, Software Implementation of Synchronous ProgramsProceedings of the 2nd International Conference on Application of Concurrency to System Design (ICACSD2001), New Castle upon Tyne, UK, June, 2001, IEEE Computer Society, pages 133-142(PDF), (BibTeX)

[53] BouCAHGUT2001Frédéric Boulanger, LaTeX au pays des tableursCahiers GUTenberg, vol. 39-40, mai, 2001(BibTeX)

2000

[54] BouBouCAHGUT2000Frédéric Boulanger, Yolaine Bourda, Documentation de projets en XMLCahiers GUTenberg, vol. 35-36, mai, 2000(BibTeX)

1999

[55] BouVidMSR1999Frédéric Boulanger, Guy Vidal-Naquet, Objets réactifs pour le développement modulaire du contrôleActes du 2e congrès Modélisation des systèmes réactifs (MSR'99), Cachan, France, March, 1999, Hermes Sciences Publications, pages 333-340(BibTeX)

1998

[56] BouVidECOOP1998Frédéric Boulanger, Guy Vidal-Naquet, Modular Development of Control and Computational Modules Using Reactive ObjectsObject Oriented Techology: ECOOP'98 Workshop Reader, London, UK, July, 1998, Springer-Verlag, pages 515-518(PDF), (BibTeX)

[57] BouVidIDPT1998Frédéric Boulanger, Guy Vidal-Naquet, Integration of Dependability Modules in a Reactive ApplicationProceedings of the 3rd World Conference on Integrated Design and Process Technology, Berlin, Germany, July, 1998, pages 313-319(BibTeX)

1997

[58] AndBouPerRigVidJESA1997Charles André, Frédéric Boulanger, Marie-Agnès Péraldi , Jean-Pierre Rigault, Guy Vidal-Naquet, Objects and Synchronous ProgrammingJournal Européen des Systèmes Automatisés (JESA), vol. 31, # 3/1997, 1997(BibTeX)

1996

[59] BouVidIDPT1996Frédéric Boulanger, Guy Vidal-Naquet, Synchronous Reactive Programming in PtolemyProceedings of the 2nd World Conference on Integrated Design and Process Technology, Austin, Texas, USA, December, 19966 pages, (BibTeX)

[60] AndBouPerRigVidAFCET1996Charles André, Frédéric Boulanger, Marie-Agnès Péraldi, Jean-Pierre Rigault, Guy Vidal-Naquet, Objets et programmation synchroneActes du congrès AFCET Modélisation des systèmes réactifs, March, 1996, AFCET, pages 55-62(BibTeX)

1995

[61] VidBouISCORE1995Guy Vidal-Naquet, Frédéric Boulanger, Integration of Synchronous Modules in an Object-Oriented LanguageInformation Systems -- Correctness and Reusability, selected papers from the IS-CORE Workshop, August, 1995, (R.J. Wieringa,R.B. Feenstra, Ed.), World Scientific, pages 279-291(BibTeX)

1994

[62] VidBouRTS1994Guy Vidal-Naquet, Frédéric Boulanger, Henri Delebecque, Intégration de modules synchrones dans un langage à objetsActes de la conférence Real Time Systems (RTS'94), Paris, France, January, 1994, Teknea, pages 245-260(BibTeX)

[63] VidBouDAGSTUHL1994Guy Vidal-Naquet, Frédéric Boulanger, An Object Oriented Execution Model for Synchronous Modules(BibTeX)

[64] VidBouDRET1994Guy Vidal-Naquet, Frédéric Boulanger, Henri Delebecque, Outil d'intégration automatique de modules de sûreté de fonctionnement pour des applications temps-réel(BibTeX)

1993

[65] Bou1993PhDFrédéric Boulanger, Intégration de modules synchrones dans la programmation par objetsUniversité Paris 11 Orsay, France(URL), (BibTeX)