Seyed Morteza Babamir

	2012
9		Seyed Morteza Babamir: Constructing a Model-Based Software Monitor for the Insulin Pump Behavior. J. Medical Systems 36(2): 829-840 (2012)
8		Seyed Morteza Babamir: M2M Architecture: Can It Realize Ubiquitous Computing in Daily life? TIIS 6(2): 566-579 (2012)
7		Seyed Morteza Babamir: Constructing formal rules to verify message communication in distributed systems. The Journal of Supercomputing 59(3): 1396-1418 (2012)
	2010
6		Seyed Morteza Babamir, Mojdeh Rahmanian: Modeling and Analyzing CIIP Medical System Using Colored Petri-Nets. BIOCOMP 2010: 454-458
5		Seyed Morteza Babamir, Reyhane Nowrouzi, Hadi Naseri: Mining Bluetooth Attacks in Smart Phones. NDT (1) 2010: 241-253
4		Mojdeh Rahmanian, Seyed Morteza Babamir: Demonstrating Performance Analysis of Web Services Using Petri-Nets and Logging. SWWS 2010: 62-69
3		Reyhane Nowrouzi, Seyed Morteza Babamir, Mehdi Dabbaghian, Mohsen Farrokhi, Farzad Azizkhani: Analyzing Call Initiation Intrusion in Mobile Phones. Security and Management 2010: 57-62
	2009
2		Seyed Morteza Babamir, Seyyed Hosein Seyyedi Arani: Modeling Timed Elaborate Requirements in Service-Oriented. SWWS 2009: 121-127
	2008
1		Seyed Morteza Babamir, Faezeh Sadat Babamir: Behavioral Specification of Real-Time Requirements. APSEC 2008: 299-306

Coauthor Index

1	Seyyed Hosein Seyyedi Arani	[2]
2	Farzad Azizkhani	[3]
3	Faezeh Sadat Babamir	[1]
4	Mehdi Dabbaghian	[3]
5	Mohsen Farrokhi	[3]
6	Hadi Naseri	[5]
7	Reyhane Nowrouzi	[3] [5]
8	Mojdeh Rahmanian	[4] [6]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page