On the verification and validation of uml structural and behavioral diagrams. - Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne; Andrei Soeanu (ACST, 2006)

A Unified Approach for Verification and Validation of Systems and Software Engineering Models. - Luay Alawneh; Mourad Debbabi; Yosr Jarraya; Andrei Soeanu; Fawzi Hassaïne (ECBS, 2006)

Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models. - Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Payam Shahi; Andrei Soeanu (IASTED Conf. on Software Engineering, 2006)

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. - Yosr Jarraya; Andrei Soeanu; Mourad Debbabi; Fawzi Hassaïne (ECBS, 2007)

Control Flow Based Pointcuts for Security Hardening Concerns. - Marc-André Laverdière; Azzam Mourad; Andrei Soeanu; Mourad Debbabi (IFIPTM, 2007)

New aspect-oriented constructs for security hardening concerns. - Azzam Mourad; Andrei Soeanu; Marc-André Laverdière; Mourad Debbabi (Comput. Secur., 2009)

Synergistic verification and validation of systems and software engineering models. - Yosr Jarraya; Andrei Soeanu; Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne (Int. J. Gen. Syst., 2009)

Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité. - Azzam Mourad; Marc-André Laverdière; Andrei Soeanu; Mourad Debbabi (Tech. Sci. Informatiques, 2009)

Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models. - Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh (Springer, 2010)

A decentralized heuristic for multi-depot split-delivery vehicle routing problem. - Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Jean Berger; Abdeslem Boukhtouta; Ahmed Ghanmi (ICAL, 2011)

Model checking based service delivery planning. - Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Jean Berger; Abdeslem Boukhtouta; Ahmed Ghanmi (CCECE, 2012)

A Learning Based Evolutionary Algorithm For Distributed Multi-Depot VRP. - Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Jean Berger; Abdeslem Boukhtouta (KES, 2012)

Mechanism design for decentralized vehicle routing problem. - Mohamed Mostafa Saleh; Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Jean Berger; Abdeslem Boukhtouta (SAC, 2012)

Towards a Distributed Plan Execution Monitoring Framework. - Yosr Jarraya; Sujoy Ray; Andrei Soeanu; Mourad Debbabi; Mohamad Allouche; Jean Berger (ANT/SEIT, 2013)

Gossiping Based Distributed Plan Monitoring. - Andrei Soeanu; Sujoy Ray; Mourad Debbabi; Mohamad Allouche; Jean Berger (ANT/SEIT, 2013)

The multi-depot split-delivery vehicle routing problem: Model and solution algorithm. - Sujoy Ray; Andrei Soeanu; Jean Berger; Mourad Debbabi (Knowl. Based Syst., 2014)

Transportation risk analysis using probabilistic model checking. - Andrei Soeanu; Mourad Debbabi; Dima Alhadidi; Makram Makkawi; Mohamad Khaled Allouche; Micheline Bélanger; Nicolas Léchevin (Expert Syst. Appl., 2015)

Hierarchy aware distributed plan execution monitoring. - Andrei Soeanu; Mourad Debbabi; Mohamad Allouche; Micheline Bélanger; Nicholas Léchevin (Expert Syst. Appl., 2016)

Efficient sensor network management for asset localization. - Andrei Soeanu; Sujoy Ray; Jean Berger; Mourad Debbabi (Comput. Oper. Res., 2018)

Evolutionary learning algorithm for reliable facility location under disruption. - Badr Afify; Sujoy Ray; Andrei Soeanu; Anjali Awasthi; Mourad Debbabi; Mohamad Allouche (Expert Syst. Appl., 2019)

Multi-depot vehicle routing problem with risk mitigation: Model and solution algorithm. - Andrei Soeanu; Sujoy Ray; Jean Berger; Abdeslem Boukhtouta; Mourad Debbabi (Expert Syst. Appl., 2020)

Separation linearization approach for the capacitated facility location problem under disruption. - Badr Afify; Andrei Soeanu; Anjali Awasthi (Expert Syst. Appl., 2021)

CPID: Insider threat detection using profiling and cyber-persona identification. - Badis Racherache; Paria Shirani; Andrei Soeanu; Mourad Debbabi (Comput. Secur., 2023)

OctopusTaint: Advanced Data Flow Analysis for Detecting Taint-Based Vulnerabilities in IoT/IIoT Firmware. - Abdullah Qasem; Mourad Debbabi; Andrei Soeanu (CCS, 2024)

Spatial-Temporal Data-Driven Model for Load Altering Attack Detection in Smart Power Distribution Networks. - Afshin Ebtia; Dhiaa Elhak Rebbah; Mourad Debbabi; Marthe Kassouf; Mohsen Ghafouri; Arash Mohammadi 001; Andrei Soeanu (IEEE Trans. Ind. Informatics, 2024)