Niloofar Razavi

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 1

Top Topics

Development Process

Concurrent Programs

Automated Planning

Web Applications

Top Venues

Digit. Humanit. Q.

Int. J. Softw. Tools Technol. Transf.

ESEC/SIGSOFT FSE

Publications

Dena Shamsizadeh Hayatdavoodi, Niloofar Razavi, Mehrdad Qayyoomi Bidhendi
Probing Through Iranian Architectural History Within the Framework of an Ontology Development Process. Digit. Humanit. Q. 15 (3) (2021)
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
Concolic Testing of Concurrent Programs. Software Engineering (2014)
Niloofar Razavi, Azadeh Farzan, Sheila A. McIlraith
Generating effective tests for concurrent programs via AI automated planning techniques. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
Con2colic testing. ESEC/SIGSOFT FSE (2013)
Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino
Predicting null-pointer dereferences in concurrent programs. SIGSOFT FSE (2012)
Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta
Concurrent Test Generation Using Concolic Multi-trace Analysis. APLAS (2012)
Niloofar Razavi, Azadeh Farzan, Andreas Holzer
Bounded-Interference Sequentialization for Testing Concurrent Programs. ISoLA (1) (2012)
Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani
Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embed. Comput. Syst. 10 (2) (2010)
Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani
An effective approach for model checking SystemC designs. ACSD (2008)
Niloofar Razavi, Marjan Sirjani
Compositional Semantics of System-Level Designs Written in SystemC. FSEN (2007)
Niloofar Razavi, Marjan Sirjani
Using Reo for formal specification and verification of system designs. MEMOCODE (2006)