An effective approach for model checking SystemC designs. - Razieh Behjati; Hamideh Sabouri; Niloofar Razavi; Marjan Sirjani (ACSD, 2008)

Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. - Razieh Behjati; Marjan Sirjani; Majid Nili Ahmadabadi (FSEN, 2009)

Sysfier: Actor-based formal verification of SystemC. - Niloofar Razavi; Razieh Behjati; Hamideh Sabouri; Ehsan Khamespanah; Amin Shali; Marjan Sirjani (ACM Trans. Embed. Comput. Syst., 2010)

Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. - Razieh Behjati; Tao Yue 002; Shiva Nejati 001; Lionel C. Briand; Bran Selic (ECMFA, 2011)

Model-Based Automated and Guided Configuration of Embedded Software Systems. - Razieh Behjati; Shiva Nejati 001; Tao Yue 002; Arnaud Gotlieb; Lionel C. Briand (ECMFA, 2012)

A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data. - Razieh Behjati; Tao Yue 002; Lionel C. Briand (MoDELS, 2012)

A model-based approach to the software configuration of integrated control systems. - Razieh Behjati (2012)

Towards a systematic requirement-based test generation framework: Industrial challenges and needs. - Shokoofeh Hesari; Razieh Behjati; Tao Yue 002 (RE, 2013)

First International Workshop on Multi Product Line Engineering (MultiPLE 2013). - Leon Moonen; Mithun Acharya; Razieh Behjati; Bedir Tekinerdogan; Rick Rabiser; Kyo Chul Kang (SPLC, 2013)

SimPL: A product-line modeling methodology for families of integrated control systems. - Razieh Behjati; Tao Yue 002; Lionel C. Briand; Bran Selic (Inf. Softw. Technol., 2013)

Architecture-Level Configuration of Large-Scale Embedded Software Systems. - Razieh Behjati; Shiva Nejati 001; Lionel C. Briand (ACM Trans. Softw. Eng. Methodol., 2014)

Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems. - Razieh Behjati; Shiva Nejati 001 (FSEN, 2015)

Synthesis of attributed feature models from product descriptions. - Guillaume Bécan; Razieh Behjati; Arnaud Gotlieb; Mathieu Acher (SPLC, 2015)

Synthesis of Attributed Feature Models From Product Descriptions: Foundations. - Guillaume Bécan; Razieh Behjati; Arnaud Gotlieb; Mathieu Acher (CoRR, 2015)

Improving change recommendation using aggregated association rules. - Thomas Rolfsnes; Leon Moonen; Stefano Di Alesio; Razieh Behjati; Dave W. Binkley (MSR, 2016)

Generalizing the Analysis of Evolutionary Coupling for Software Change Impact Analysis. - Thomas Rolfsnes; Stefano Di Alesio; Razieh Behjati; Leon Moonen; Dave W. Binkley (SANER, 2016)

TADA: An Active Measurement Tool for Automatic Detection of AQM. - Minoo Kargar Bideh; Andreas Petlund; Carsten Griwodz; Iffat Ahmed; Razieh Behjati; Anna Brunström; Stefan Alfredsson (EAI Endorsed Trans. Self Adapt. Syst., 2016)

Aggregating Association Rules to Improve Change Recommendation. - Thomas Rolfsnes; Leon Moonen; Stefano Di Alesio; Razieh Behjati; Dave W. Binkley (Empir. Softw. Eng., 2018)

Architecture-level configuration of industrial control systems: Foundations for an efficient approach. - Razieh Behjati; Shiva Nejati 001 (Sci. Comput. Program., 2018)

Synthetic test data generation using recurrent neural networks: a position paper. - Razieh Behjati; Erik Arisholm; Margrethe M. Bedregal; Chao Tan (RAISE@ICSE, 2019)

A Model-Based Approach to Generate Dynamic Synthetic Test Data: A Conceptual Model. - Chao Tan; Razieh Behjati; Erik Arisholm (ICST Workshops, 2019)

Policy Transparency: Authorization Logic Meets General Transparency to Prove Software Supply Chain Integrity. - Andrew Ferraiuolo; Razieh Behjati; Tiziano Santoro; Ben Laurie (SCORED@CCS, 2022)

Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language. - Chao Tan; Razieh Behjati; Erik Arisholm (ICTSS, 2023)

Application of deep learning models to generate rich, dynamic and production-like test data. - Chao Tan; Razieh Behjati; Erik Arisholm (Empir. Softw. Eng., 2025)