جلسات هفتگی

بخش های آزمایشگاه

بخش های دانشکده

لینک های سریع

Reference	Title	Date	Presenter	.No
	Schedulability and Deadlock Freedom Analysis of Timed Rebeca Models	92/11/13	Ehsan Khames-Panah	1
	Algebraic Analysis of Software Product Line Architecture	92/11/20	Vahid Yari-Zadeh	2
	Model Checking of Mobile Ad Hoc Networks Using Network Constraints	92/11/27	Saeide Ahmadi	3
	Statistical Model Checking	92/12/4	Mohammad Asgharian	4
Slides	LTS-Based Testing	92/12/11	Ali Narenji Sheshkalani	5
Slides	Formal Reﬁnement of Obfuscated Codes	92/12/18	Hamid Reza Ebtehaj	6
Slides	Subjective Logic Based Probabilistic Key Management Algorithm for MANETs	93/01/19	Mahdieh Ahmadi	7
	Verification of Temporal Properties of Processes in a Setting with Data	93/01/26	Reyhaneh Amirabadi	8
	Probabilistic Timed Automata	93/02/02	Mahsa Varshosaz	9
	Modeling and Analysis of Broadcasting Actors	93/02/09	Behnaz Yousefi	10
Slides	Partial Order Reduction	93/02/16	Mohsen Fazaeli	11
	An introduction to fuzzy tree automata	93/02/30	Mohammad Fallah	12
	alloy: a language & tool for relational models	93/03/13	Ramtin Khosravi	13
	Modeling and verifying two wireless netwok protocols in UPPAAL	93/04/03	Ghazaleh Jahandoust	14
	An introduction to fuzzy tree automata	93/04/10	Mohammad Fallah	15
	Partial Order Reduction	93/04/17	Mohsen Fazaeli	16
	Formal Reﬁnement of Obfuscated Codes	93/04/24	Hamid Reza Ebtehaj	17
		93/04/31	Marjan Sirjani	18
	Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors	93/05/14	Ehsan Khames-Panah	19
		93/05/21	Zeinab Sabahi	20
	Finding Application Errors and Security Flaws Using PQL: a Program Query Language	93/05/28	Rosa Abbasi	21
	Mapping actor-based applications onto network on chips	93/06/04	Tayebe Sadeghi	22
		93/06/11	Ramtin Khosravi	23