Identifiants chercheur

  • IdHAL : frederic-boulanger
Nombre de documents

51


Article dans une revue8 documents

  • Marc Aiguier, Frédéric Boulanger, Bilal Kanso. A formal abstract framework for modelling and testing complex software systems. Journal of Theoretical Computer Science (TCS), Elsevier, 2012, 455, pp.66-97. 〈10.1016/j.tcs.2011.12.072〉. 〈hal-00782372〉
  • Marc Aiguier, Frédéric Boulanger, Bilal Kanso. A formal abstract framework for modeling and testing complex software systems. Theoretical Computer Science, Elsevier, 2012, 455 (12), pp.66-97. 〈10.1016/j.tcs.2011.12.072〉. 〈hal-00802370〉
  • Tudor B. Ionescu, Géraldine Polaillon, Frédéric Boulanger. Minimum Tree Cost Quartet Puzzling. Journal of Classification, Springer Verlag, 2010, 27 (2), pp.136-157. 〈10.1007/s00357-010-9053-9〉. 〈hal-00530627〉
  • Cécile Hardebolle, Frédéric Boulanger. Exploring Multi-Paradigm Modeling Techniques. SIMULATION, SAGE Publications, 2009, 85 (11/12), pp. 688-708. 〈10.1177/0037549709105240〉. 〈hal-00437782〉
  • Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi. A model of domain-polymorph component for heterogeneous system design. Journal of Systems and Software, Elsevier, 2009, 82, pp. 112-120. 〈hal-00340670〉
  • Cécile Hardebolle, Frédéric Boulanger. Multi-Formalism Modelling and Model Execution. International of Journal Computers & Applications, 2009, 31 (3), pp. 193-203. 〈hal-00421169〉
  • Frédéric Boulanger. Integration of Dependability Features in a Synchronous Application. International Review on Computers and Software (IRECOS), Praise Worthy Prize, 2008, 3 (1), pp.31-37. 〈hal-00288619〉
  • Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj. An Approach of Flat Heterogeneous Modeling based on Heterogeneous Interface Components. International Review on Computers and Software (IRECOS), Praise Worthy Prize, 2007, 2 (2), pp.179-189. 〈hal-00256002〉

Communication dans un congrès39 documents

  • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, et al.. A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing. Alessandro Abate; Gilles Geeraerts. 15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. Springer, LNCS 10419, 2017, Formal Modeling and Analysis of Timed Systems. 〈http://formats17.ulb.be/〉. 〈10.1007/978-3-319-65765-3_18〉. 〈hal-01583815〉
  • Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frédéric Boulanger. A New Approach of Qualitative Simulation for the Validation of Hybrid Systems. GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Oct 2016, Saint Malo, France. CEUR Workshop Proceedings, 2016, Proceedings of the GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016. 〈http://gemoc.org/gemoc2016/〉. 〈hal-01398735〉
  • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, et al.. Towards a formal semantics of the TESL specification language. 3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Sep 2015, Ottawa, Canada. Joint Proceedings of the GEMOC and MPM International Workshops at MODELS 2015, pp.14-19, 2015, CEUR Workshop Proceedings. 〈http://ceur-ws.org/Vol-1511/〉. 〈hal-01239669〉
  • Rachida Seghiri, Frédéric Boulanger, Claire Lecocq, Vincent Godefroy. Simulation des Systèmes d'Information des Smart Grids - Une approche par points de vue. XXXIIIème Congrès INFORSID, May 2015, Biarritz, France. pp.65-80, 2015, Actes du XXXIIIème Congrès INFORSID. 〈http://dblp.uni-trier.de/db/conf/inforsid/inforsid2015.html〉. 〈hal-01239680〉
  • Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger. ModHel'X, un outil expérimental pour la modélisation multi-paradigmes. CIEL 2014, Jun 2014, Paris, France. pp.115-118, Actes de la 3ème Conférence en IngénieriE du Logiciel. 〈hal-01079975〉
  • Daniel Chaves Café, Cécile Hardebolle, Christophe Jacquet, Filipe Vinci dos Santos, Frédéric Boulanger. Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS. Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros. MPM 2014, Sep 2014, Valencia, Spain. Proceedings of the 8th Workshop on Multi-Paradigm Modeling, 1237, pp.11-20, 2014, CEUR-WS. 〈http://ceur-ws.org/Vol-1237/〉. 〈hal-01076425〉
  • Daniel Chaves Café, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger. Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS. CIEL 2014, Jun 2014, Paris, France. pp.11-20, Actes de la 3ème Conférence en IngénieriE du Logiciel. 〈hal-01079973〉
  • Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan. TESL: A language for reconciling heterogeneous execution traces. ACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. Proceedings of the 12th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp.114 - 123, 2014, Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on. 〈http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6961849〉. 〈10.1109/MEMCOD.2014.6961849〉. 〈hal-01100179〉
  • Christophe Jacquet, Ahmed Mohamed, Frédéric Boulanger, Cécile Hardebolle, Yacine Bellik. Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments. MRT 2013, Sep 2013, Miami, United States. 1079, pp.52-63, 2013, CEUR Workshop Proceedings. 〈hal-00905275〉
  • Daniel Chaves Café, Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Filipe Vinci dos Santos. Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS. FDL 2013, Sep 2013, Paris, France. 7 p., 2013. 〈hal-00838859〉
  • Benoit Combemale, Julien Deantoni, Robert France, Frédéric Boulanger, Sébastien Mosser, et al.. Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. CEUR, Vol-1102, pp.3-13, 2013, Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013. 〈http://ceur-ws.org/Vol-1102/gemoc13-report.pdf〉. 〈hal-00926244〉
  • Chouh Hamza, Callon Charlotte, Jalal Ghita, Frédéric Boulanger, Safouan Taha. Modeling and Verification of Redundancy Policies. ACESMB 2013, Sep 2013, MIAMI, United States. 10p., 2013. 〈hal-00905551〉
  • Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Ayman Dogui. Heterogeneous Model Composition in ModHel'X: the Power Window Case Study. Workshop on the Globalization of Modeling Languages at MODELS 2013, Sep 2013, Miami, United States. 〈hal-00905075〉
  • Bart Meyers, Joachim Denil, Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, et al.. A DSL for Explicit Semantic Adaptation. Christophe Jacquet, Daniel Balasubramanian, Edward Jones, Tamás Mészáros. MPM 2013, Sep 2013, Miami, United States. pp.47-56, 2013, CEUR Workshop Proceedings. 〈hal-00875798〉
  • Marc Aiguier, Bilal Kanso, Frédéric Boulanger, Christophe Gaston. Testing of component-based systems. 19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6, 2012. 〈hal-00782889〉
  • Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry. Bridging the Chasm between Executable Metamodeling and Models of Computation. Krzysztof Czarnecki and Goerel Hedin. 5th International Conference, SLE 2012, Sep 2012, Desden, Germany. Springer, 7745 (12), pp.184-203, 2013, Lecture Notes in Computer Science. 〈hal-00905067〉
  • Frédéric Boulanger, Michalis Famelis, Frédéric Fondement, Lucio Levi, Stephan Weißleder. MoDeVVa 2012 workshop summary. ACM New York, USA. MoDeVVa '12, Sep 2012, Innsbruck, Austria. pp.3-4, 2012, 〈10.1145/2427376.2427377〉. 〈hal-00783297〉
  • Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston. Testing of component-based systems. IEEE Computer Society. APSEC 2012 - 19th Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, Hong Kong SAR China. pp.300-305, 2012. 〈hal-00761610〉
  • Romuald Deshayes, Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger, Tom Mens. Heterogeneous Modeling of Gesture-Based 3D Applications. MPM'12 - 6th Workshop on Multi-Paradigm Modeling at MODELS, Oct 2012, Innsbruck, Austria. pp.6, 2012. 〈hal-00761613〉
  • Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet. Semantic Adaptation for Models of Computation. Eleventh International Conference on Application of Concurrency to System Design - ACSD 2011, Jun 2011, Newcastle, United Kingdom. IEEE Computer Society, pp.153-162, 2011. 〈hal-00605273〉
  • Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, et al.. Semantic Adaptation using CCSL Clock Constraints. The 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p., 2011. 〈hal-00641413〉
  • Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, et al.. Extending the Standard Execution Model of UML for Real-Time Systems. Mike Hinchey; Bernd Kleinjohann; Lisa Kleinjohann; Peter A. Lindsay; Franz J. Rammig; Jon Timmis; Marilyn Wolf. 7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-329, pp.43-54, 2010, Distributed, Parallel and Biologically Inspired Systems. 〈10.1007/978-3-642-15234-4_6〉. 〈hal-01054487〉
  • Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil. Testing of Abstract Components. ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198, 2010. 〈hal-00782893〉
  • Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, et al.. Extending the Standard Execution Model of UML for Real-Time Systems. 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International conference, BICC 2010 Held as Part of WCC 2010, Sep 2010, Brisbane, Australia. Springer, pp.43-54, 2010. 〈hal-00534388〉
  • Frédéric Boulanger, Christophe Jacquet, Elyes Rouis, Cécile Hardebolle. Modeling Heterogeneous Points of View with ModHel'X. NFPinDSML 2009, Oct 2009, Denver, United States. CEUR Workshop Proceedings, 553, 14 p., 2009. 〈hal-00444504〉
  • Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet. From Data to Events: Checking Properties on the Control of a System. ACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26, 2008. 〈hal-00289103〉
  • Frédéric Boulanger, Cécile Hardebolle. Simulation of Multi-Formalism Models with ModHel'X. International Conference on Software Testing, Verification and Validation. (ICST 2008), Apr 2008, Lillehammer, Norway. IEEE Computer Society, pp.318-327, 2008. 〈hal-00289188〉
  • Ahcène Bouzoualegh, Frédéric Boulanger, Christophe Jacquet, Dominique Marcadet. An Architecture Description Language for Verification in Component-Based Software. 32nd Annual IEEE International Computer Software and Applications Conference. (COMPSAC 2008)., Jul 2008, Turku, Finland. pp.365-368, 2008, 〈10.1109/Compsac.2008.107〉. 〈hal-00334977〉
  • Cécile Hardebolle, Dominique Marcadet, Frédéric Boulanger, Guy Vidal Naquet. A Generic Execution Framework for Models of Computation. MOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. IEEE Computer Society, pp.45-54, 2007. 〈hal-00256116〉
  • Frédéric Boulanger, Géraldine Polaillon, Dorin Carstoiu, Alexandra Cernian, Stefan Bodea. Organizing Web Search Results Using Clustering By Compression. IADIS INTERNATIONAL CONFERENCE e-SOCIETY 2007, Mar 2007, Lisbon, Portugal. pp.419-423, 2007. 〈hal-00232719〉
  • Cécile Hardebolle, Frédéric Boulanger. ModHel'X : A Component-Oriented Approach to Multi-Formalism Modeling. IEEE/ACM MPM 2007 - MODELS 2007, Oct 2007, Nashville, United States. pp.49-60, 2007. 〈hal-00256338〉
  • Frédéric Boulanger, Mokhoo Aimé Mbobi. An Overall Specification of a Meta-Model of Computation For Model- Driven Embedded Systems. 2006 International Symposium on Collaborative Technologies and Systems. (CTS2006), May 2006, Las Vegas, United States. pp.194-199, 2006, 〈10.1109/CTS.2006.15〉. 〈hal-00258288〉
  • Frédéric Boulanger, Guy Vidal-Naquet. A Primitive Execution Model for Heterogeneous Modeling. ICSOFT 2006, Sep 2006, Setubal, Portugal. INSTICC Press, 1, pp.247-252, 2006. 〈hal-00258105〉
  • Frédéric Boulanger, Mokhoo Aimé Mbobi. Le paradigme acteur dans la modélisation des systèmes embarqués. 2006 IEEE Canadian Conference on Electrical and Computer Engineering. (CCECE 2006), May 2006, Ottawa, Canada. pp.418-421, 2006. 〈hal-00258299〉
  • Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj. Issues of Hierarchical Heterogeneous Modeling in Component Reusability. IEEE International Conference on Information Reuse and Integration (IEEE IRI 2005), Aug 2005, Las Vegas, United States. pp.84-89, 2005. 〈hal-00260795〉
  • Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj. Integration of a Flat Heterogeneous Domain in Ptolemy II. The Sixth Biennal Ptolemy Conference, May 2005, Berleley, United States. 〈hal-00260783〉
  • Aimé Mokhoo Mbobi, Frédéric Boulanger, Mohamed Feredj. Execution Model for Non-Hierarchical Heterogeneous Modeling. IEEE International Conference on Information Reuse and Integration. (IEEE IRI 2004), Nov 2004, Las Vegas, United States. pp.139-144, 2004. 〈hal-00261594〉
  • Frédéric Boulanger, Mohamed Feredj, Aimé Mokhoo Mbobi. Flat Heterogeneous Modeling. International Conference on Advances in the Internet, Processing, Systems, and Interdisciplinary Research (IPSI 2004), Nov 2004, Venise, Italy. CD-ROM - 7 p., 2004. 〈hal-00261525〉
  • Mohamed Feredj, Frédéric Boulanger, Aimé Mokhoo Mbobi. An Approach of Domain Polymorph Component Design. IEEE International Conference on Information Reuse and Integration. (IEEE IRI 2004), Nov 2004, Las Vegas, United States. pp.145-150, 2004. 〈hal-00262344〉

Chapitre d'ouvrage3 documents

  • Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, et al.. Semantic Adaptation using CCSL Clock Constraints. Jörg Kienzle. Models in Software Engineering, Springer-Verlag, pp.104-118, 2012, LNCS - Lecture Notes in Computer Science. 〈hal-00740801〉
  • Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis. Modeling Heterogeneous Points of View with ModHel'X. S. Ghosh. Models in Software Engineering, Springer-Verlag, pp.310-324, 2010. 〈hal-00534407〉
  • Cécile Hardebolle, Frédéric Boulanger. ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling. Models in Software Engineering, Springer, pp.247-258, 2008, Lecture Notes in Computer Science, 〈10.1007/978-3-540-69073-3_26〉. 〈hal-00554780〉

HDR1 document

  • Frédéric Boulanger. Modèles, systèmes, hétérogénéité. Modélisation et simulation. Université Paris Sud - Paris XI, 2011. 〈tel-00657869〉