According to our database1, Niloofar Razavi authored at least 10 papers between 2006 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Generating effective tests for concurrent programs via AI automated planning techniques.
Concolic Testing of Concurrent Programs.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Predicting null-pointer dereferences in concurrent programs.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012
Bounded-Interference Sequentialization for Testing Concurrent Programs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Concurrent Test Generation Using Concolic Multi-trace Analysis.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012
Sysfier: Actor-based formal verification of SystemC.
ACM Trans. Embedded Comput. Syst., 2010
An effective approach for model checking SystemC designs.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008
Compositional Semantics of System-Level Designs Written in SystemC.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Using Reo for formal specification and verification of system designs.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006