Niloofar Razavi

14 papers A* 1B 1C 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
2024 A* conf
Cloud Resource Protection via Automated Security Property Reasoning.
ASE
Zhixing Xu, Shengjian Guo, Oksana Tkachuk, Saeed Nejati, Niloofar Razavi, George Argyros
2021 J jnl
Probing Through Iranian Architectural History Within the Framework of an Ontology Development Process.
Digit. Humanit. Q.
Dena Shamsizadeh Hayatdavoodi, Niloofar Razavi, Mehrdad Qayyoomi Bidhendi
2014 C conf
Concolic Testing of Concurrent Programs.
Software Engineering
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
2014 — —
Effective Heuristic-based Test Generation Techniques for Concurrent Software.
Niloofar Razavi
2014 J jnl
Generating effective tests for concurrent programs via AI automated planning techniques.
Int. J. Softw. Tools Technol. Transf.
Niloofar Razavi, Azadeh Farzan, Sheila A. McIlraith
2013 — conf
Con2colic testing.
ESEC/SIGSOFT FSE
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
2012 — conf
Bounded-Interference Sequentialization for Testing Concurrent Programs.
ISoLA (1)
Niloofar Razavi, Azadeh Farzan, Andreas Holzer
2012 B conf
Concurrent Test Generation Using Concolic Multi-trace Analysis.
APLAS
Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta
2012 — conf
Predicting null-pointer dereferences in concurrent programs.
SIGSOFT FSE
Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino
2010 J jnl
Sysfier: Actor-based formal verification of SystemC.
ACM Trans. Embed. Comput. Syst.
Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani
2008 — conf
An effective approach for model checking SystemC designs.
ACSD
Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani
2007 — conf
Compositional Semantics of System-Level Designs Written in SystemC.
FSEN
Niloofar Razavi, Marjan Sirjani
2006 C conf
Using Reo for formal specification and verification of system designs.
MEMOCODE
Niloofar Razavi, Marjan Sirjani