Jameleddine HASSINE

Publications

• Mutation operators for the atlas transformation language
• 3rd International Conference on Advanced Engineering Computing and Applications in Sciences, ADVCOMP 2009: Preface
• Measurement of actor external dependencies in GRL models
• Abstract operational semantics for use case maps
• An evaluation of timed scenario notations
• On the impact of the SDL forum society conferences on academic research
• A requirement level modification analysis support framework
• GRL model validation: A statistical approach
• MuAsmetaL: An Experimental Mutation System for AsmetaL
• Segmenting large traces of inter-process communication with a focus on high performance computing systems
• Early availability requirements modeling using use case maps
• Early modeling and validation of timed system requirements using Timed Use Case Maps
• Timed Use Case Maps
• Modification analysis support at the requirements level
• Formal verification of use case maps with real time extensions
• Applying reduction techniques to software functional requirement specifications
• Toward a ucm-based approach for recovering system availability requirements from execution traces
• An ASM operational semantics for use case maps
• Modification analysis support at the requirements level
• An automated change impact analysis approach to GRL models
• Towards the generation of AMF configurations from use case maps based availability requirements
• Exploring early availability requirements using use case maps
• Feature interaction analysis: A maintenance perspective
• Modeling early availability requirements using aspect-oriented use case maps
• Describing and assessing availability requirements in the early stages of system development
• AsmL-based concurrency semantic variations for timed use case maps
• Change impact analysis for requirement evolution using use case maps
• Use Case Maps as a property specification language
• A Mutation-Based Approach for Testing AsmetaL Specifications
• Feature interaction testing: An industrial perspective
• Early schedulability analysis with timed use case maps
• Describing early security requirements using use case maps
• An empirical approach toward the resolution of conflicts in goal-oriented models
• Towards a common metamodel for traces of high performance computing systems to enable software analysis tasks
• A questionnaire-based survey methodology for systematically validating goal-oriented models
• A Game-theoretic approach to analyze interacting actors in GRL goal models
• An automated change impact analysis approach for User Requirements Notation models
• Automatic retrieval and analysis of high availability scenarios from system execution traces: A case study on hot standby router protocol
• Requirement Engineering Challenges: A Systematic Mapping Study on the Academic and the Industrial Perspective
• A use case driven approach to game modeling
• GRLMerger: an automatic approach for integrating GRL models
• RPA-Code for Secure Binary Sequence Generation from Graph-Based Scanning
• An LLM-based Approach to Recover Traceability Links between Security Requirements and Goal Models
• Optimized Realization of Operational Requirements: A Goal-oriented Approach
• Optimized Realization of Operational Requirements: A Goal-Oriented Approach
• Data leakage detection in machine learning code: transfer learning, active learning, or low-shot prompting?