2023

  1. [J20]
    Zschaler, S., Bousse, E., Deantoni, J. and Combemale, B. 2023. A generic framework for representing and analyzing model concurrency. Software and Systems Modeling. (Jan. 2023).
  2. 2022

  3. [J19]
    Khorram, F., Bousse, E., Mottu, J.-M. and Sunyé, G. 2022. Advanced Testing and Debugging Support for Reactive Executable DSLs. Software and Systems Modeling. (2022).
  4. [C68]
    Khorram, F., Bousse, E., Garmendia, A., Mottu, J.-M., Sunyé, G. and Wimmer, M. 2022. From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages. 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) (Auckland, New Zealand, Dec. 2022).
  5. [C67]
    Khorram, F., Bousse, E., Mottu, J.-M., Sunyé, G., Gómez-Abajo, P., Cañizares, P.C., Guerra, E. and Lara, J. de 2022. Automatic Test Amplification for Executable Models. ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS ’22) (Montreal, Canada, Oct. 2022).
  6. 2021

  7. [J18]
    Khorram, F., Bousse, E., Mottu, J.-M. and Sunyé, G. 2021. Adapting TDL to Provide Testing Support for Executable DSLs. The Journal of Object Technology. 20, 3 (2021), 6:1.
  8. 2020

  9. [J17]
    Leroy, D., Jeanjean, P., Bousse, E., Wimmer, M. and Combemale, B. 2020. Runtime Monitoring for Executable DSLs. The Journal of Object Technology. 19, 2 (2020), 1–23.
  10. [C66]
    Fosse, T.B. la, Tisi, M., Mottu, J.-M. and Sunyé, G. 2020. Annotating executable DSLs with energy estimation formulas. Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering (Nov. 2020).
  11. 2019

  12. [J16]
    Wortmann, A., Barais, O., Combemale, B. and Wimmer, M. 2019. Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study. Software and Systems Modeling. (2019), 1–28.
  13. [J15]
    Hojaji, F., Zamani, B., Hamou-Lhadj, A., Mayerhofer, T. and Bousse, E. 2019. Lossless compaction of model execution traces. Software & Systems Modeling. (Jun. 2019).
  14. [J14]
    Oueslati, A., Cuenot, P., Deantoni, J. and Moreno, C. 2019. System Based Interference Analysis in Capella. Journal of Object Technology. 18, 2 (Jul. 2019), 14:1–21.
  15. [C65]
    Bousse, E. and Wimmer, M. 2019. Domain-Level Observation and Control for Compiled Executable DSLs. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) (Sep. 2019), 150–160.
  16. [C64]
    Jeanjean, P., Combemale, B. and Barais, O. 2019. From DSL Specification to Interactive Computer Programming Environment. SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering (Athènes, Greece, Oct. 2019), 167–178.
  17. [C63]
    Koussaifi, M., Trouilhet, S., Arcangeli, J.-P. and Bruel, J.-M. 2019. Automated user-oriented description of emerging composite ambient applications. 31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019) (Lisbonne, Portugal, Jul. 2019), 473–478.
  18. 2018

  19. [J13]
    Combemale, B. et al. 2018. Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering. Computer Languages, Systems and Structures. (2018), 1–26.
  20. [C62]
    Coulon, F., Degueule, T., Van Der Storm, T. and Combemale, B. 2018. Shape-Diverse DSLs: Languages without Borders (Vision Paper). 11th ACM SGIPLAN International Conference on Software Language Engineering (SLE’18) (Boston, United States, Nov. 2018).
  21. [C61]
    Bruel, J.-M., Combemale, B., Guerra, E., Jézéquel, J.-M., Kienzle, J., De Lara, J., Mussbacher, G., Syriani, E. and Vangheluwe, H. 2018. Model Transformation Reuse across Metamodels - A classification and comparison of approaches. International Conference on Theory and Practice of Model Transformations (ICMT) (Toulouse, France, Jun. 2018).
  22. [C60]
    Lelandais, B., Oudot, M.-P. and Combemale, B. 2018. Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo). International Conference on Software Language Engineering (SLE) (Boston, United States, Nov. 2018).
  23. [C59]
    Zschaler, S. 2018. Adding a HenshinEngine to GEMOC Studio: An experience report. Proc. GEMOC Workshop (2018).
  24. [C58]
    Leduc, M., Degueule, T. and Combemale, B. 2018. Modular Language Composition for the Masses. SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering (Boston, United States, Nov. 2018), 1–12.
  25. [C57]
    Leroy, D., Bousse, E., Megna, A., Combemale, B. and Wimmer, M. 2018. Trace Comprehension Operators for Executable DSLs. 14th European Conference on Modelling Foundations and Applications (ECMFA 2018) (Toulouse, France, Jun. 2018), 293–310.
  26. 2017

  27. [J12]
    Bousse, E., Leroy, D., Combemale, B., Wimmer, M. and Baudry, B. 2017. Omniscient Debugging for Executable DSLs. Journal of Systems and Software (JSS). 137, (Nov. 2017), 261–288.
  28. [J11]
    Durán, F., Moreno-Delgado, A., Orejas, F. and Zschaler, S. 2017. Amalgamation of Domain Specific Languages with Behaviour. Journal of Logical and Algebraic Methods in Programming. 86, 1 (2017), 208–235.
  29. [J10]
    Bousse, E., Mayerhofer, T., Combemale, B. and Baudry, B. 2017. Advanced and efficient execution trace management for executable domain-specific modeling languages. Software & Systems Modeling. (May 2017).
  30. [J9]
    Degueule, T., Combemale, B., Blouin, A., Barais, O. and Jézéquel, J.-M. 2017. Safe model polymorphism for flexible modeling. Computer Languages, Systems & Structures. 49, (2017), 176–195.
  31. [J8]
    Méndez-Acu na, D.A., Galindo, J.A., Combemale, B., Blouin, A. and Baudry, B. 2017. Reverse Engineering Language Product Lines from Existing DSL Variants. Journal of Systems and Software (JSS). (May 2017).
  32. [BC5]
    Degueule, T., Combemale, B. and Jézéquel, J.-M. 2017. On Language Interfaces. PAUSE: Present And Ulterior Software Engineering. B. Meyer and M. Mazzara, eds. Springer.
  33. [C56]
    Wortmann, A., Combemale, B. and Barais, O. 2017. A Systematic Mapping Study on Modeling for Industry 4.0. 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2017), 281–291.
  34. [C55]
    Zschaler, S. and Durán, F. 2017. GTS Families for the Flexible Composition of Graph Transformation Systems. 20th Int’l Conf. Fundamental Approaches to Software Engineering (FASE’17) (Berlin, Heidelberg, 2017), 208–225.
  35. [C54]
    Bousse, E., Mayerhofer, T. and Wimmer, M. 2017. Domain-Level Debugging for Compiled DSLs with the GEMOC Studio (Tool Demonstration). Proceedings of the 1rst International Workshop on Debugging in Model-Driven Engineering (MDEbug 2017) colocated at MODELS 2017 (2017).
  36. [C53]
    Leroy, D., Wimmer, M., Bousse, E., Combemale, B. and Schwinger, W. 2017. Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration). Proceedings of the 3rd International Workshop on Executable Modeling (EXE 2017) colocated at MODELS 2017 (2017).
  37. [C52]
    Leduc, M., Degueule, T., Combemale, B., Van Der Storm, T. and Barais, O. 2017. Revisiting Visitors for Modular Extension of Executable DSMLs. ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (Austin, United States, Sep. 2017).
  38. [C51]
    Combemale, B., Barais, O. and Wortmann, A. 2017. Language Engineering with the GEMOC Studio. IEEE International Conference on Software Architecture (ICSA) Workshops (2017), 189–191.
  39. [C50]
    Nguyen Van, H., Balabonski, T., Boulanger, F., Keller, C., Valiron, B. and Wolff, B. 0AD. 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 , Jul. 0AD), 318–334 .
  40. 2016

  41. [C49]
    Bousse, E., Wimmer, M., Schwinger, W. and Kapsammer, E. 2016. On Leveraging Executable Language Engineering for Domain- Specific Transformation Languages. Proceedings of the 2nd International Workshop on Executable Modeling (EXE 2016) colocated at MODELS 2016 (2016).
  42. [C48]
    Latombe, F., Crégut, X. and Pantel, M. 2016. Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency. 2nd International Workshop on Executable Modeling (Saint-Malo, France, Oct. 2016).
  43. [C47]
    Deantoni, J. 2016. Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination. Architecture Centric Virtual Integration (ACVI) (Venise, Italy, Apr. 2016).
  44. [C46]
    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.
  45. [C45]
    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.
  46. [C44]
    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).
  47. [C43]
    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).
  48. [C42]
    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).
  49. [C41]
    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).
  50. [C40]
    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).
  51. 2015

  52. [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.
  53. [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.
  54. [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.
  55. [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.
  56. [BC4]
    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.
  57. [BC3]
    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.
  58. [BC2]
    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.
  59. [C39]
    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).
  60. [C38]
    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).
  61. [C37]
    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).
  62. [C36]
    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).
  63. [C35]
    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).
  64. [C34]
    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).
  65. [C33]
    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).
  66. [C32]
    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).
  67. [C31]
    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).
  68. [C30]
    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.
  69. [C29]
    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).
  70. 2014

  71. [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.
  72. [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.
  73. [C28]
    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.
  74. [C27]
    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).
  75. [C26]
    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.
  76. [C25]
    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).
  77. [C24]
    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).
  78. [C23]
    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).
  79. [C22]
    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).
  80. [C21]
    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).
  81. [C20]
    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).
  82. [C19]
    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).
  83. [C18]
    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).
  84. [C17]
    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.
  85. 2013

  86. [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.
  87. [BC1]
    Durán, F., Orejas, F. and Zschaler, S. 2013. Behaviour Protection in Modular Rule-Based System Specifications. Recent Trends in Algebraic Development Techniques. Martı́-Oliet Narciso and M. Palomino, eds. Springer Berlin Heidelberg. 24–49.
  88. [C16]
    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).
  89. [C15]
    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).
  90. [C14]
    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.
  91. [C13]
    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).
  92. [C12]
    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).
  93. [C11]
    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).
  94. [C10]
    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).
  95. [C9]
    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).
  96. [C8]
    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).
  97. [C7]
    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).
  98. [C6]
    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).
  99. [C5]
    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.
  100. [C4]
    Durán, F., Zschaler, S. and Troya, J. 2013. On the Reusable Specification of Non-functional Properties in DSLs. Proc. 5th Int’l Conf. on Software Language Engineering (SLE’12) (2013), 332–351.
  101. 2012

  102. [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).
  103. [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).
  104. [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).