Publications of
Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling
In : Procedia Computer Science, Science Direct, Special issue The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT) proceedings, Vol. 10, pp. 474-481, August 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)
In : International Wokshop Comparing *Requirements* Modeling Approaches (CMA@RE 2013), Rio de Janeiro, Brazil, 16/07/13-16/07/13, IEEExplore digital library, (electronic medium), 2013.
Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx (regular paper)
In : International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Reykjavik, Iceland, 29/07/13-31/07/13, SciTePress, pp. 147-154, September 2013.
URL : 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
In : 15ème Colloque National de la Recherche en IUT (CNRIUT), Lille, 08/06/09-10/06/09.
Abstract URL : http://www.irit.fr/publis/MACAO/Bruel-etal-CNRIUT2009.pdf
BibTeXManzoor Ahmad, Jean-Michel Bruel, Antoine Beugnard
From Composition to Connectors
In : MDD4DRES 2009, Aussois, France, 20/04/09-24/04/09.
Abstract URL : 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
Master’s Thesis, Université de Toulouse, October 2013.