Niloofar Razavi

According to our database1, Niloofar Razavi authored at least 10 papers between 2006 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Generating effective tests for concurrent programs via AI automated planning techniques.
STTT, 2014

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

2013
Con2colic testing.
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.
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

2010
Sysfier: Actor-based formal verification of SystemC.
ACM Trans. Embedded Comput. Syst., 2010

2008
An effective approach for model checking SystemC designs.
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.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006
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


  Loading...