Head : Jean-Michel BRUEL
SM@RT (Smart Modeling for softw@re Research & Technology) is a software engineering team of the Reliability of Systems and Software department that specializes in software agility and safety for cyber-physical systems. The team explores new foundations, and develops ground-breaking tools and methods for modeling and software languages (domain-specific languages, specification languages, programming and modeling languages), with a particular focus on the scientific breakthroughs related to socio-technical coordination (heterogeneity of models and execution platforms, final user in the loop, etc.). SM@RT is a leading team in model-driven engineering (MDE) and software language engineering (SLE). The team is highly involved in the international scientific community, and has established strong industrial partnerships (through bilateral and collaborative projects). SM@RT seconds most of the scientific contributions with software developments. The team is also highly involved in various open-source projects (e.g., GEMOC) and communities (e.g., Eclipse), and contributes to different projects.
skills
personnel of the team
- Jean-Michel BRUELProfessor – UT2J
- Pierre-Jean CHARRELProfessor – UT2J
- Benoit COMBEMALEProfessor – UT2J
- Bernard COULETTEProfessor Emeritus – UT2J
- Sophie EBERSOLDAssociate Professor – UT2J
- Ronan BADUELPostThèse – UT2J
- Saloua BENNANIPostThèse – UT2J
- Mohammad CHAMIPhD Student IRIT – UPS
- Mamadou Lakhassane CISSEPhD Student IRIT (joint direction ARGOS) – UT2J
- Fabien COULONPhD Student IRIT – UT2J
- Mahmoud EL HAMLAOUICollaborateur extérieur
- Florian GALINIERPhD Student IRIT – UPS
- Maroun KOUSSAIFIPhD Student IRIT (joint direction SMAC) – UPS
- Renan LEROUX-BEAUDOUTPhD Student IRIT (joint direction ARGOS) – UPS
- Bertrand MEYERGuest Researcher
- Nassim OTMANIPhD Student IRIT (joint direction MELODI) – UT2J
- Christian SOUTOUAssociate Professor – UT2J
publications of the team
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
AutoReq: expressing and verifying requirements for control systems
In : Journal of Visual Languages and Computing, Elsevier, Vol. 51, pp. 131-142, April 2019.
Abstract URL : https://doi.org/10.1016/j.cola.2019.02.004 – https://oatao.univ-toulouse.fr/26171/
BibTeXJörg Kienzle, Gunter Mussbacher, Benoit Combemale, Julien Deantoni
A Unifying Framework for Homogeneous Model Composition
In : Software and Systems Modeling (SoSyM), Springer, Vol. 2019-01, January 2019.
Benoit Combemale, Jörg Kienzle, Gunter Mussbacher, Olivier Barais, Erwan Bousse, Walter Cazzola, Philippe Collet, Thomas Degueule, Robert Heinrich, Jean-Marc Jézéquel, Manuel Leduc, Tanja Mayerhofer, Sébastien Mosser, Matthias Schöttle, Misha Strittmatter, Andreas Wortmann
Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
In : Computer Languages, Systems and Structures, Elsevier, Vol. 54, pp. 139-155, 2018.
Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry
Omniscient Debugging for Executable DSLs
In : Journal of Systems and Software (JSS), Elsevier, Vol. 137, pp. 261-288, 2018.
Mohamed Amroune, Nacer Eddine Zarour, Pierre-Jean Charrel
A new multi-criteria decision process to prioritise requirements
In : International Journal of Information and Communication Technology, Inderscience Publishers, Vol. 13 N. 1, pp. 6-19, January 2018.
Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato
On the Use of Models for High-Performance Scientific Computing Applications: an Experience Report
In : International Journal on Software and Systems Modeling (SoSyM), Springer-Verlag, Heidelberg, Allemagne, Vol. 17 N. 1, pp. 319-342, February 2018.
Abstract URL : https://doi.org/10.1007/s10270-016-0518-0 – https://oatao.univ-toulouse.fr/22025/
BibTeX
No publication
User-oriented Description of Emerging Services in Ambient Systems (regular paper)
In : International Conference on Service-Oriented Computing : PhD Symposium (ICSOC 2019), Toulouse, 28/10/19-28/10/19, Vol. ICSOC 2019, Springer, LNCS 12019, pp. 259-265, October 2019.
Abstract URL : https://link.springer.com/chapter/10.1007/978-3-030-45989-5_21 – https://doi.org/10.1007/978-3-030-45989-5_21
BibTeXMaroun Koussaifi, Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel
Automated user-oriented description of emerging composite ambient applications (regular paper)
In : International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Lisbonne, 10/07/19-12/07/19, KSI : Knowledge Systems Institute, pp. 473-478, July 2019.
Abstract URL : http://doi.org/10.18293/SEKE2019-131 – https://oatao.univ-toulouse.fr/24927/
BibTeXSaloua Bennani, Sophie Ebersold, Mahmoud El Hamlaoui, Bernard Coulette, Mahmoud Nassar
A collaborative decision approach for alignment of heterogeneous models (regular paper)
In : IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Capri, Italy, 12/06/19-14/06/19, IEEE Computer Society, (electronic medium), June 2019.
URL : https://doi.org/10.1109/WETICE.2019.00032 – https://oatao.univ-toulouse.fr/24869/
BibTeXMamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah
Using Patterns to parameterize the execution of Collaborative Tasks (regular paper)
In : IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Capri, Italy, 12/06/19-14/06/19, IEEE Computer Society, (electronic medium), June 2019.
URL : https://doi.org/10.1109/WETICE.2019.00031 – https://oatao.univ-toulouse.fr/24868/
BibTeXMamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah
A Pattern-based Process Management System to flexibly execute Collaborative Tasks (short paper)
In : International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019), Heraklion, Crète, Greece, 04/05/19-05/05/19, INSTICC Press, (electronic medium), May 2019.
URL : https://doi.org/10.5220/0007680702730280 – https://oatao.univ-toulouse.fr/24793/
BibTeXSamba Diaw, Mamadou Lakhassane Cisse, Alassane Bah
Using the SPEM 2.0 kind-based extension mechanism to define the SPEM4MDE metamodel (regular paper)
In : International Conference on Computing for Engineering and Sciences (ICCES 2017), Istanbul, Turquie, 22/07/17-24/07/17, Vol. ICCES ’17, ACM Digital Library, pp. 63-69, July 2018.
Abstract URL : http://doi.org/10.1145/3129186.3129199 – https://oatao.univ-toulouse.fr/25026/
BibTeXDavid Méndez-Acuña, José Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry
Reverse engineering language product lines from existing DSL variants (short paper)
In : International Systems and Software Product Line Conference (SPLC 2018), Gothenburg, Sweden, 10/09/18-14/09/18, ACM : Association for Computing Machinery, pp. 148-148, 2018.
Francis Bordeleau, Benoit Combemale, Romina Eramo, Mark Van Den Brand, Manuel Wimmer
Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling: A Research Statement and Associated Roadmap (regular paper)
In : International Workshop on the Globalization of Modeling Languages (GEMOC 2018), Copenhagen, Denmark, 15/10/18, Vol. 1-2245, CEUR-WS : Workshop proceedings, (on line), 2018.
Dorian Leroy, Erwan Bousse, Anael Megna, Benoit Combemale, Manuel Wimmer
Trace Comprehension Operators for Executable DSLs (regular paper)
In : European Conference on Modelling Foundations and Applications (ECMFA 2018), Toulouse, France, 26/06/18-28/06/18, Springer, pp. 293-310, June 2018.
Manuel Leduc, Thomas Degueule, Benoit Combemale
Modular Language Composition for the Masses (regular paper)
In : ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018), Boston, US, 05/11/18-06/11/18, ACM : Association for Computing Machinery, pp. 1-12, November 2018.
Formalisation des relations entre exigences
In : Journées nationales du GDR GPL 2018, Groupe de travail Ingénierie des Exigences, Grenoble, 12/06/18.
Seamless development of complex systems: a multirequirements approach. (poster)
In : Euroscience Open Forum (ESOF) 2018, Toulouse, 09/07/18-14/07/18.
Mahmoud El Hamlaoui, Mahmoud Nassar, Saloua Bennani, Sophie Ebersold, Bernard Coulette
AHM: Handling heterogeneous models matching and consistency via MDE
In : 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018) – Revised selected papers.. Ernesto DAMIANI, George SPANOUDAKIS, Leszek MACIASZEK (Eds.) , Springer, pp. 288-313, CCIS, 2019.
Formal Semantics of Requirements Relationships for Traceability
Research report, 2019_04_30, IRIT, April 2019.
contrats of the team
| Acronyme | Titre | Resp. sc | Début – fin | |
|---|---|---|---|---|
| GALAXY [Contract completed] |  | Développement collaboratif de systèmes complexes selon une approche guidée par les modèles | Bernard COULETTE | 2009 – 2012 |
| Acronyme | Titre | Resp. sc | Début – fin |
|---|
| Acronyme | Titre | Resp. sc | Début – fin |
|---|