Items where Person is "Ahmad, Manzoor"
Group by: Item Type | No Grouping
Number of items: 4.
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).