Niloofar Razavi

	2008
3		Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. ACSD 2008: 56-61
	2007
2		Niloofar Razavi, Marjan Sirjani: Compositional Semantics of System-Level Designs Written in SystemC. FSEN 2007: 113-128
	2006
1		Niloofar Razavi, Marjan Sirjani: Using Reo for formal specification and verification of system designs. MEMOCODE 2006: 113-122

Coauthor Index

1	Razieh Behjati	[3]
2	Hamideh Sabouri	[3]
3	Marjan Sirjani	[1] [2] [3]