An approach for describing concurrency and communication of heterogeneous systems. - Papa Issa Diallo; Joël Champeau; Vincent Leilde (BM-FA, 2011)

Model-Based Engineering for the support of Models of Computation: The Cometa Approach. - Papa Issa Diallo (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation. - Papa Issa Diallo; Joël Champeau; Loïc Lagadec (SLE, 2013)

A framework for the definition of a system model MoC-based semantics in the context of tool integration. (Un cadre de définition de la sémantique basée MoC des modèles de systèmes dans le contexte de l'intégration d'outils). - Papa Issa Diallo (2014)

Towards a meta-language for the concurrency concern in DSLs. - Julien Deantoni; Papa Issa Diallo; Ciprian Teodorov; Joël Champeau; Benoît Combemale (DATE, 2015)

A formal, model-driven design flow for system simulation and multi-core implementation. - Papa Issa Diallo; Seyed-Hosein Attarzadeh-Niaki; Francesco Robino; Ingo Sander; Joël Champeau; Johnny Öberg (SIES, 2015)