OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Ahmad, Manzoor"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

Ahmad, Manzoor and Belloir, Nicolas and Bruel, Jean-Michel Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems. (2015) Journal of Systems and Software, vol. 107. pp. 50-70. ISSN 0164-1212

Conference or Workshop Item

Belloir, Nicolas and Chiprianov, Vanea and Ahmad, Manzoor and Munier, Manuel and Gallon, Laurent and Bruel, Jean-Michel Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems. (2014) In: 2nd International Worksop on Software Enginering for Systems-of-Systems (SeSoS 2014), 26 August 2014 (Vienna, Austria).

Ahmad, Manzoor and Araujo, Joao and Belloir, Nicolas and Bruel, Jean-Michel and Gnaho, Christophe and Laleau, RĂ©gine and Semmak, Farida Self-Adaptive Systems Requirements Modelling: four related approaches comparison. (2013) In: International Wokshop Comparing Requirements Modeling Approaches (CMA@RE 2013) workshop in the field of 21st IEEE International Requirements Engineering Conference, 16 July 2013 (Rio de Janeiro, Brazil).

Ahmad, Manzoor and Dragomir, Iulia and Bruel, Jean-Michel and Ober, Iulian and Belloir, Nicolas Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. (2013) In: 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), 29 July 2013 - 31 July 2013 (Reykjavik, Iceland).

This list was generated on Wed Aug 23 09:51:50 2017 CEST.