2016

  1. [C46]
    Deantoni, J. 2016. Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination. Architecture Centric Virtual Integration (ACVI) (Venise, Italy, Apr. 2016).
  2. [C45]
    DeAntoni, J., Gray, J., Syriani, E., Amrani, M. and Knapp, A. 2016. Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016). Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4th, 2016. (2016), 0–7.
  3. [C44]
    Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., Deantoni, J. and Combemale, B. 2016. Execution Framework of the GEMOC Studio (Tool Demo). Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016) (Amsterdam, Netherlands, Oct. 2016), 8.
  4. [C43]
    Méndez-Acuña, D., Galindo, J.A., Combemale, B., Blouin, A., Baudry, B. and Le Guernic, G. 2016. Reverse-engineering reusable language modules from legacy domain-specific languages. International Conference on Software Reuse (ICSR 2016) (Limassol, Cyprus, Jun. 2016).
  5. [C42]
    Kienzle, J., Mussbacher, G., Alam, O., Schöttle, M., Belloir, N., Collet, P., Combemale, B., Deantoni, J., Klein, J. and Rumpe, B. 2016. VCU: The Three Dimensions of Reuse. The 15th International Conference on Software Reuse (ICSR 2016) (Limassol, Cyprus, 2016).
  6. [C41]
    Combemale, B., Cheng, B.H.C., Moreira, A., Bruel, J.-M. and Gray, J. 2016. Modeling for Sustainability. Modeling in Software Engineering 2016 (MiSE 2016) (Austin, United States, 2016).
  7. [C40]
    Combemale, B., Brun, C., Champeau, J., Crégut, X., Deantoni, J. and Le Noir, J. 2016. A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (Toulouse, France, 2016).
  8. [C39]
    Méndez-Acuña, D., Galindo, J.A., Combemale, B., Blouin, A. and Baudry, B. 2016. Puzzle: A tool for analyzing and extracting specification clones in DSLs. ICSR 2016 the 15th International Conference on Software Reuse (workshops and demonstrations) (Limassol, Cyprus, Jun. 2016).
  9. 2015

  10. [J7]
    Sun, W., Combemale, B., France, R.B., Blouin, A., Baudry, B. and Ray, I. 2015. Using Slicing to Improve the Performance of Model Invariant Checking. Journal of Object Technology (JOT). (2015), 28.
  11. [J6]
    Cadavid, J.J., Combemale Benoı̂t and Baudry, B. 2015. An analysis of metamodeling practices for MOF and OCL. Computer Languages, Systems & Structures (COMLAN). 41, (2015), 42–65.
  12. [J5]
    Amrani, M., Combemale Benoı̂t, Lúcio, L., Selim, G.M.K., Dingel, J., Traon, Y.L., Vangheluwe, H. and Cordy, J.R. 2015. Formal Verification Techniques for Model Transformations: A Tridimensional Classification. Journal of Object Technology (JOT). 14, 3 (Aug. 2015), 1:1–43.
  13. [J4]
    Jézéquel, J.-M., Combemale Benoı̂t, Barais, O., Monperrus, M. and Fouquet, F. 2015. Mashup of metalanguages and its implementation in the Kermeta language workbench. Software and System Modeling. 14, 2 (2015), 905–920.
  14. [BC3]
    Deantoni, J., Brun, C., Caillaud, B., France, R., Karsai, G., Nierstrasz, O. and Syriani, E. 2015. Domain Globalization: Using Languages to Support Technical and Social Coordination. Globalizing Domain-Specific Languages. B. Combemale, B.H.C. Cheng, R.B. France, J.-M. Jézéquel, and B. Rumpe, eds. Springer International Publishing. 70–87.
  15. [BC2]
    Clark, T., Van Den Brand, M., Combemale, B. and Rumpe, B. 2015. Conceptual Model of the Globalization for Domain-Specific Languages. Globalizing Domain-Specific Languages. Springer International Publishing.
  16. [BC1]
    Cheng, B.H.C., Combemale, B., France, R.B., Jézéquel, J.-M. and Rumpe, B. 2015. On the Globalization of Domain-Specific Languages. Globalizing Domain-Specific Languages. Springer International Publishing.
  17. [C38]
    Vara Larsen, M.E., Deantoni, J., Combemale, B. and Mallet, F. 2015. A Model-Driven Based Environment for Automatic Model Coordination. Models 2015 demo and posters (Ottawa, Canada, Oct. 2015).
  18. [C37]
    Latombe, F., Crégut, X., Deantoni, J., Pantel, M. and Combemale, B. 2015. Coping with Semantic Variation Points in Domain-Specific Modeling Languages. 1st International Workshop on Executable Modeling (EXE 2015) (Ottawa, Canada, 2015).
  19. [C36]
    Combemale, B., Deantoni, J., Barais, O., Blouin, A., Bousse, E., Brun, C., Degueule, T. and Vojtisek, D. 2015. A Solution to the TTC’15 Model Execution Case Using the GEMOC Studio. 8th Transformation Tool Contest (workshop TTC 2015) (2015).
  20. [C35]
    Degueule, T., Combemale, B., Blouin, A., Barais, O. and Jézéquel, J.-M. 2015. Melange: A Meta-language for Modular and Reusable Development of DSLs. 8th International Conference on Software Language Engineering (SLE 2015) (Pittsburgh, United States, Oct. 2015).
  21. [C34]
    Bousse, E., Corley, J., Combemale, B., Gray, J. and Baudry, B. 2015. Supporting Efficient and Advanced Omniscient Debugging for xDSMLs. 8th International Conference on Software Language Engineering (SLE 2015) (Pittsburg, United States, Oct. 2015).
  22. [C33]
    Latombe, F., Crégut, X., Combemale, B., Deantoni, J. and Pantel, M. 2015. Weaving Concurrency in eXecutable Domain-Specific Modeling Languages. 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015) (Pittsburg, United States, Oct. 2015).
  23. [C32]
    Vara Larsen, M.E., Deantoni, J., Combemale, B. and Mallet, F. 2015. A Behavioral Coordination Operator Language (BCOoL). 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) (Aug. 2015).
  24. [C31]
    Bousse, E., Mayerhofer, T., Combemale, B. and Baudry, B. 2015. A Generative Approach to Define Rich Domain-Specific Trace Metamodels. 11th European Conference on Modelling Foundations and Applications (ECMFA 2015) (L’Aquila, Italy, Jul. 2015).
  25. [C30]
    Bruel, J.-M., Combemale, B., Ober, I. and Raynal, H. 2015. MDE in Practice for Computational Science. International Conference on Computational Science (ICCS 2015) (Reykjavík, Iceland, Jun. 2015).
  26. [C29]
    Sun, W., Combemale Benoı̂t and France, R.B. 2015. Towards the use of slicing techniques for an efficient invariant checking. Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015 (best poster award) (2015), 23–24.
  27. [C28]
    Deantoni, J., Issa Diallo, P., Teodorov, C., Champeau, J. and Combemale, B. 2015. Towards a Meta-Language for the Concurrency Concern in DSLs. Design, Automation and Test in Europe Conference and Exhibition (DATE 2015) (Grenoble, France, Mar. 2015).
  28. 2014

  29. [J3]
    Cheng, B.H.C., Combemale Benoı̂t, France, R.B., Jézéquel, J.-M. and Rumpe, B. 2014. Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). Dagstuhl Reports. 4, 10 (2014), 32–50.
  30. [J2]
    Combemale, B., Deantoni, J., Baudry, B., France, R., Jézéquel, J.-M. and Gray, J. 2014. Globalizing Modeling Languages. Computer. (Jun. 2014), 68–71.
  31. [C27]
    Vara Larsen, M.E., Deantoni, J. and Mallet, F. 2014. Framework for Heterogeneous Modeling and Composition. Conférence en IngénieriE du Logiciel (CIEL 2014) (Paris, France, Jun. 2014), 81.
  32. [C26]
    Bousse, E., Combemale, B. and Baudry, B. 2014. Towards Scalable Multidimensional Execution Traces for xDSMLs. 11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014) (Valencia, Spain, Sep. 2014).
  33. [C25]
    Koch, T., Holtmann, J. and Deantoni, J. 2014. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. European Conference on Software Architecture (ECSA 2014) (Vienna, Austria, Aug. 2014), 146–153.
  34. [C24]
    Khecharem, A., Gomez, C., Deantoni, J., Mallet, F. and De Simone, R. 2014. Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach. Forum on specification and Design Languages (FDL 2014) (Munich, Germany, Oct. 2014).
  35. [C23]
    Combemale, B., Pearce, D.J., Barais, O. and Vinju, J.J. 2014. Proceedings of the 7th International Conference on Software Language Engineering, SLE 2014 2014, Vasteras, Sweden, September 15-16, 2014. (2014).
  36. [C22]
    Combemale Benoı̂t, DeAntoni, J. and France, R.B. 2014. Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, GEMOC@Models 2014, Valencia, - Spain, September 28, 2014. (2014).
  37. [C21]
    Acher, M., Combemale, B. and Collet, P. 2014. Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language. Onward! Essays (Portland, United States, Sep. 2014).
  38. [C20]
    Jézéquel, J.-M., Mendez, D., Degueule, T., Combemale, B. and Barais, O. 2014. When Systems Engineering Meets Software Language Engineering. Complex Systems Design & Management (CSD&M 2014) (Paris, France, Nov. 2014).
  39. [C19]
    Bousse, E., Combemale, B. and Baudry, B. 2014. Scalable Armies of Model Clones through Data Sharing. 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014) (Valencia, Spain, 2014).
  40. [C18]
    Vacchi, E., Cazzola, W., Combemale, B. and Acher, M. 2014. Automating Variability Model Inference for Component-Based Language Implementations. 18th International Software Product Line Conference (SPLC 2014) (Florence, Italie, Sep. 2014).
  41. [C17]
    Kezadri, M., Pantel, M., Combemale, B. and Thirioux, X. 2014. A formal framework to prove the correctness of model driven engineering composition operators. 16th International Conference on Formal Engineering Methods (ICFEM 2014) (Luxembourg, Nov. 2014).
  42. [C16]
    Hamiaz, M.K., Pantel, M., Combemale Benoı̂t and Thirioux, X. 2014. Correct-by-construction model composition: Application to the Invasive Software Composition method. 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014) (2014), 108–122.
  43. 2013

  44. [J1]
    Combemale, B., Deantoni, J., Koudri, A. and Le Noir, J. 2013. Le nouveau d’efis de la coordination des langages de modélisation. Gestion de l’hétérogénéité des modèles dans le développement et l’exécution de systèmes logiciels complexes. Génie logiciel. 105 (2013), 4–11.
  45. [C15]
    Combemale Benoı̂t, DeAntoni, J., France, R.B., Barn, B., Clark, T., Frank, U., Kulkarni, V. and Turk, D. 2013. Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013. (2013).
  46. [C14]
    Combemale Benoı̂t, Cazzola, W. and France, R.B. 2013. Proceedings of the First Workshop on the Globalization of Domain Specific Languages (GlobalDSL 2013). (New York, NY, USA, 2013).
  47. [C13]
    Combemale, B., Deantoni, J., France, R., Boulanger, F., Mosser, S., Pantel, M., Rumpe, B., Salay, R. and Schindler, M. 2013. First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC - 1st International Workshop On the Globalization of Modeling Languages (Sep. 2013), 3–13.
  48. [C12]
    Diallo, P.I., Champeau, J. and Lagadec, L. 2013. Enhance the Reusability of Models and Their Behavioral Correctness. First International Workshop on The Globalization of Modeling Languages (GEMOC 2013) (2013).
  49. [C11]
    Vara Larsen, M. and Goknil, A. 2013. Railroad Crossing Heterogeneous Model. GEMOC workshop 2013 - International Workshop on The Globalization of Modeling Languages (Miami, Florida, USA, Sep. 2013).
  50. [C10]
    Diallo, P.I., Champeau, J. and Lagadec, L. 2013. A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation. 6th International Conference on Software Language Engineering (SLE 2013) (Indianapolis, États-Unis, 2013).
  51. [C9]
    Combemale, B., Deantoni, J., Vara Larsen, M., Mallet, F., Barais, O., Baudry, B. and France, R. 2013. Reifying Concurrency for Executable Metamodeling. 6th International Conference on Software Language Engineering (SLE 2013) (Indianapolis, États-Unis, 2013).
  52. [C8]
    Vacchi, E., Cazzola, W., Pillay, S. and Combemale, B. 2013. Variability Support in Domain-Specific Language Development. 6th International Conference on Software Language Engineering (SLE 2013) (Indianapolis, États-Unis, 2013).
  53. [C7]
    Zalila, F., Crégut, X. and Pantel, M. 2013. A transformation-driven approach to automate feedback verification results. International Conference On Model and Data Engineering (MEDI 2013) (2013).
  54. [C6]
    Goknil, A., DeAntoni, J., Peraldi-Frati, M.-A. and Mallet, F. 2013. Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare. 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2013) (2013).
  55. [C5]
    Zalila, F., Crégut, X. and Pantel, M. 2013. Formal Verification Integration Approach for DSML. The ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) (http://www.springerlink.com/, Sep. 2013).
  56. [C4]
    Wuliang, S., Combemale, B., Derrien, S. and France, R. 2013. Using Model Types to Support Contract-Aware Model Substitutability. 9th European Conference on Modelling Foundations and Applications (ECMFA 2013) (Montpellier, France, 2013), 118–133.
  57. 2012

  58. [C3]
    Mussbacher, G. et al. 2012. Assessing composition in modeling approaches. Proceedings of the Workshop about Comparing Modeling Approaches 2012 (workshop at MODELS 2012) (New York, NY, USA, 2012).
  59. [C2]
    Combemale, B., Hardebolle, C., Jacquet, C., Boulanger, F. and Baudry, B. 2012. Bridging the Chasm between Executable Metamodeling and Models of Computation. 5th International Conference on Software Language Engineering (SLE2012) (Sep. 2012).
  60. [C1]
    Combemale, B., Crégut, X. and Pantel, M. 2012. A Design Pattern to Build Executable DSMLs and associated V&V tools. The 19th Asia-Pacific Software Engineering Conference (APSEC 2012) (Hong Kong, Hong Kong, Dec. 2012).