Publications de
Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling
Dans : Procedia Computer Science, Science Direct, Numéro spécial The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT) proceedings, Vol. 10, p. 474-481, août 2012.
Manzoor Ahmad, Joao Araujo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, Farida Semmak
Self-Adaptive Systems Requirements Modelling: four related approaches comparison (regular paper)
Dans : International Wokshop Comparing *Requirements* Modeling Approaches (CMA@RE 2013), Rio de Janeiro, Brazil, 16/07/13-16/07/13, IEEExplore digital library, (support électronique), 2013.
Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx (regular paper)
Dans : International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Reykjavik, Iceland, 29/07/13-31/07/13, SciTePress, p. 147-154, septembre 2013.
Accès : http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004483101470154 – https://oatao.univ-toulouse.fr/12709/
BibTeXJean-Michel Bruel, Nicolas Belloir, Manzoor Ahmad
SPAS : un profil SysML pour les systèmes auto-adaptatifs
Dans : 15ème Colloque National de la Recherche en IUT (CNRIUT), Lille, 08/06/09-10/06/09.
Résumé Accès : http://www.irit.fr/publis/MACAO/Bruel-etal-CNRIUT2009.pdf
BibTeXManzoor Ahmad, Jean-Michel Bruel, Antoine Beugnard
From Composition to Connectors
Dans : MDD4DRES 2009, Aussois, France, 20/04/09-24/04/09.
Résumé Accès : http://www.irit.fr/publis/MACAO/Ahmad-etal-MDD4DRES2009.pdf
BibTeX
Modeling and Verification of Functional and Non Functional Requirements of Ambient, Self-Adaptive Systems
Thèse de doctorat, Université de Toulouse, octobre 2013.