Niloofar Razavi

According to our database, Niloofar Razavi authored at least 13 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cloud Resource Protection via Automated Security Property Reasoning.

Zhixing Xu, Shengjian Guo, Oksana Tkachuk, Saeed Nejati, Niloofar Razavi, George Argyros

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2021

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

2014

Effective Heuristic-based Test Generation Techniques for Concurrent Software.

Niloofar Razavi

PhD thesis, 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

Concolic Testing of Concurrent Programs.

Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

Con2colic testing.

Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

Predicting null-pointer dereferences in concurrent programs.

Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Bounded-Interference Sequentialization for Testing Concurrent Programs.

Niloofar Razavi, Azadeh Farzan, Andreas Holzer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Concurrent Test Generation Using Concolic Multi-trace Analysis.

Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2010

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

2008

An effective approach for model checking SystemC designs.

Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Compositional Semantics of System-Level Designs Written in SystemC.

Niloofar Razavi, Marjan Sirjani

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

Using Reo for formal specification and verification of system designs.

Niloofar Razavi, Marjan Sirjani

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006