Using Reo for formal specification and verification of system designs. - Niloofar Razavi; Marjan Sirjani (MEMOCODE, 2006)

Compositional Semantics of System-Level Designs Written in SystemC. - Niloofar Razavi; Marjan Sirjani (FSEN, 2007)

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

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)

Concurrent Test Generation Using Concolic Multi-trace Analysis. - Niloofar Razavi; Franjo Ivancic; Vineet Kahlon; Aarti Gupta (APLAS, 2012)

Bounded-Interference Sequentialization for Testing Concurrent Programs. - Niloofar Razavi; Azadeh Farzan; Andreas Holzer (ISoLA (1), 2012)

Predicting null-pointer dereferences in concurrent programs. - Azadeh Farzan; P. Madhusudan; Niloofar Razavi; Francesco Sorrentino 002 (SIGSOFT FSE, 2012)

Con2colic testing. - Azadeh Farzan; Andreas Holzer; Niloofar Razavi; Helmut Veith (ESEC/SIGSOFT FSE, 2013)

Concolic Testing of Concurrent Programs. - Azadeh Farzan; Andreas Holzer; Niloofar Razavi; Helmut Veith (Software Engineering, 2014)

Generating effective tests for concurrent programs via AI automated planning techniques. - Niloofar Razavi; Azadeh Farzan; Sheila A. McIlraith (Int. J. Softw. Tools Technol. Transf., 2014)

Effective Heuristic-based Test Generation Techniques for Concurrent Software. - Niloofar Razavi (2014)

Probing Through Iranian Architectural History Within the Framework of an Ontology Development Process. - Dena Shamsizadeh Hayatdavoodi; Niloofar Razavi; Mehrdad Qayyoomi Bidhendi (Digit. Humanit. Q., 2021)

Cloud Resource Protection via Automated Security Property Reasoning. - Zhixing Xu; Shengjian Guo; Oksana Tkachuk; Saeed Nejati; Niloofar Razavi; George Argyros (ASE, 2024)