M. A. Azgomi's Publications

Journal Papers

Book Chapters/Electronic Notes

Papers in International Conferences/Workshops

Papers in National (Iranian) Conferences

 

Journal Papers:

1.      H. Motallebi and M. Abdollahi Azgomi, "Modelling and Verification of Hybrid Dynamic Systems Using Multisingular Hybrid Petri Nets," Theoretical Computer Science, Elsevier, Accepted: May 2012, In Press

2.      M. Abdollahi Azgomi and E. Nourani, "A Dependable Web Service Architecture Based on Design Diversity Techniques and WS-BPEL," Iranian Journal of Electrical and Computer Engineering (IJECE), ISSN: 1682-0053, Accepted: Apr. 2012, In Press

3.      Sh. Torabi and M. Abdollahi Azgomi, "A Parallel Numerical Solver of CTMCs and Its Implementation on Multi-Core Processors," The CSI Journal on Computer Science and Engineering (JCSE), ISSN: 9031-1735, Accepted: 2012, In Press (in Persian)

4.      A. Khalilian, M. Abdollahi Azgomi and Y. Fazlalizadeh "An Improved Method for Test Case Prioritization by Incorporating Historical Test Case Data," Science of Computer Programming, Elsevier, Published Online: March 2012, In Press

5.      H. Mohammad Gholizadeh and M. Abdollahi Azgomi, "A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies," Journal of Advances in Computer Research, Accepted: Jan. 2012, In Press

6.      A. Jalaly Bidgoly and M. Abdollahi Azgomi, "A New Technique for Rare-Event Simulation Based on Partition of the Region," Turkish Journal of Electrical Engineering & Computer Sciences, TÜBİTAK, ISSN: 1300-0632, Accepted: Dec. 2011, In Press

7.      B. Zare Moayedi and M. Abdollahi Azgomi, "A Game Theoretic Framework for Evaluation of the Impacts of Hackers Diversity on Security Measures," Reliability Engineering & System Safety, Elsevier, ISSN: 0951-8320, Vol. 99, No. 1, March 2012, pp. 45-54.

8.      M. Dashtbozorgi and M. Abdollahi Azgomi, "A High-Performance and Scalable Multi-Core Aware Software Solution for Network Monitoring," The Journal of Supercomputing, Springer, ISSN: 0920-8542, Vol. 59, No. 2, Feb. 2012, pp. 720-743.

9.      S. Hajian and M. Abdollahi Azgomi, "On the Use of Haar Wavelet Transform and Scaling Data Perturbation for Privacy Preserving Clustering of Large Datasets," International Journal of Wavelets, Multiresolution and Information Processing, World Scientific Publishing Co., ISSN: 0219-6913, Vol. 9, No. 6, Dec. 2011, pp. 867-904

10.  S. Hajian and M. Abdollahi Azgomi, "A Privacy Preserving Clustering Technique for Horizontally and Vertically Distributed Datasets," Intelligent Data Analysis: An International Journal, IOS Press, ISSN: 1088-467X, Vol. 15, No. 4, 2011, pp. 503-532

11.  N. Laleh and M. Abdollahi Azgomi, "A Hybrid Fraud Scoring and Spike Detection Technique in Streaming Data," Intelligent Data Analysis: An International Journal, IOS Press, ISSN: 1088-467X, Vol. 14, No. 6, 2010, pp. 773-800

12.  M. Abdollahi Azgomi and R. Entezari Maleki, "Task Scheduling Modeling and Reliability Evaluation of Grid Services Using Coloured Petri Nets," Future Generation Computer Systems, Elsevier, ISSN: 0167-739X, Vol. 26, No. 8, 2010, pp. 1141-1150

13.  M. Taromi and M. Abdollahi Azgomi, "A New Approach for Security Risk Assessment Caused by Vulnerabilities of System by Considering the Dependencies," International Journal of Computer Science and Information Security, ISSN: 1947-5500, Vol. 8, No. 2, 2010, pp. 338-346

14.  A. Hosseini and M. Abdollahi Azgomi, "HRBAC: Historical Role-Based Access Control," Journal of Information Assurance and Security, MirLabs, ISSN: 1554-1010, Vol. 5, No. 5, 2010, pp. 569-578

15.  H. Mohammad Gholizadeh and M. Abdollahi Azgomi, "A Meta-Model Based Approach for Definition of a Multi-Formalism Modeling Framework," International Journal of Computer Theory and Engineering (IJCTE), IACSIT, ISSN: 1793-8201, Vol. 2, No. 1, 2010, pp. 87-95

16.  A. Hosseini and Mohammad Abdollahi Azgomi, "An Extension for Combination of Duty Constraints in Role-Based Access Control," International Journal of Computer Science and Information Security, ISSN: 1947-5500, Vol. 6, No. 3, Dec. 2009, pp. 206-215

17.  M. Tavakolan, M. Zarreh and M. Abdollahi Azgomi, "Web Service Discovery Based on Privacy Preferences," International Journal of Web Services Practices, Web Services Research Foundation, ISSN: 1738-6535, Vol. 4, No.1, 2009, pp. 28-35

18.  J. Almasizadeh and M. Abdollahi Azgomi, "A Method for Estimation of the Success Probability of an Intrusion Process by Considering the Temporal Aspects of the Attacker Behavior," LNCS Transactions on Computational Science IV – Special Issue on Security in Computing, Springer-Verlag, ISSN: 1866-473, Vol. 5430, 2009, pp. 200-214

19.  H. Ghasemzadeh, E. Behrangi and M. Abdollahi Azgomi, "Conflict-Free Scheduling and Routing of Automated Guided Vehicles in Mesh Topologies," Robotics and Autonomous Systems, Elsevier, ISSN: 0921-8890, Vol. 57, Issues: 6-7, 2009, pp. 738-748

20.  Z. Aghajani and M. Abdollahi Azgomi, "A Multi-Layer Architecture for Intrusion Tolerant Web Services," International Journal of u- and e- Service, Science and Technology, SERSC, ISSN: 2005-4246, Vol. 1, No. 1, 2008, pp. 73-80

21.  G. Khazan and M. Abdollahi Azgomi, "DNS Spoofing Attack Simulation for Model-Based Security Evaluation," International Journal of Advanced Science and Technology, SERSC, ISSN: 2005-4238, Vol. 1, No. 1, 2008, pp. 1-8

22.  M. Abdollahi Azgomi and A. Movaghar, "An Introduction to High-Level Stochastic Activity Networks," International Reviews on Computers and Software, Praise Worthy Prize, ISSN: 1828-6003, Vol. 1, No. 1, 2006, pp. 20-30

23.  M. Abdollahi Azgomi and A. Movaghar, "A Modelling Tool for Hierarchical Stochastic Activity Networks," Simulation Modelling Practice and Theory, Elsevier, ISSN: 1569-190X, Vol. 13, No. 6, 2005, pp. 505-524

24.  M. Abdollahi Azgomi and A. Movaghar, "A Modeling Tool for a New Definition of Stochastic Activity Networks," Iranian Journal of Science and Technology, Transaction B (Technology), Shiraz University Press, ISSN: 1028-6284, Vol. 29, No. B1, 2005, pp. 79-92

25.  M. Abdollahi Azgomi and A. Movaghar, "Hierarchical Stochastic Activity Networks: Formal Definitions and Behaviour," International Journal of Simulation, Systems, Science and Technology, UK Simulation Society , ISSN: 1473-804x, Vol. 6, No. 1-2, 2005, pp. 56-66

26.  M. Abdollahi Azgomi and A. Movaghar, "Design and Implementation of SharifSAN and Its Features for Performance Evaluation of Computer Systems," Sharif Journal of Science and Technology, Sharif University of Technology Press, No. 25, 2003, pp. 29-41 (in Persian)

Book Chapters/Electronic Notes:

1.      M. Divsalar and M. Abdollahi Azgomi, "A Computational Trust Model for E-Commerce Systems," In: T. Luigi, K. Stanoevska-Slabeva, and V. Rakocevic (Eds.), Lecture Notes of ICST (LNICST), Vol. 21, Proc. of the International Conference on Digital Businesses (DigiBiz'09), London, UK, June 17-19, 2009, Revised Selected Papers, Springer-Verlag, ISSN: 1867-8211, 2010, pp. 9-18

2.      Y. Fazlalizadeh, A. Khalilian, M. Abdollahi Azgomi and S. Parsa, "Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization," In: C. Dubois (Ed.), Lecture Notes in Computer Science (LNCS), Vol. 5668, Proc. of the 3rd International Conference on Tests And Proofs (TAP'09), ETH Zurich, Switzerland, July 2-3, 2009, Springer-Verlag, ISSN: 0302-9743, 2009, pp. 43-57

3.      Z. Aghajani and M. Abdollahi Azgomi, "Security Evaluation of an Intrusion Tolerant Web Service Architecture Using Stochastic Activity Networks," In: J.H. Park et al. (Eds.), Lecture Notes in Computer Science (LNCS), Vol. 5576, Proc. of the 3rd International Conference on Information Security and Assurance (ISA'09), Korea University, Seoul, Korea, June 25-27, 2009, Springer-Verlag, ISSN: 0302-9743, 2009, pp. 260-269

4.      A. Khalili, A. Jalaly Bidgoly and M. Abdollahi Azgomi, "PDETool: A Multi-Formalism Modeling Tool for Discrete-Event Systems Based on SDES Description," In: G. Franceschinis and K. Wolf (Eds.), Lecture Notes in Computer Science (LNCS), Vol. 5606, Proc. of the 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN'09), Paris, France, June 22-26, 2009, Springer-Verlag, ISSN: 0302-9743, 2009, pp. 343-352

5.      M. Abdollahi Azgomi and A. Khalili, "Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets," In: J. Chr. Godskesen and M. Merro (Eds.), Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 242, Proc. of the 1st International Workshop on Formal Methods for Wireless Systems (FMWS'08), Satellite Workshop of CONCUR’08, Toronto, Canada, August  23, 2008, Elsevier, ISSN: 1571-0661, 2009, pp. 31-42

6.      F. Javadi Mottaghi and M. Abdollahi Azgomi, "Workflow Modeling Using Stochastic Activity Networks," In: S.K. Prasad et al. (Eds.), Communications in Computer and Information Science (CCIS), Vol. 31, Proc. of the 3rd International Conference on Information Systems, Technology and Management (ICISTM'09), IMT, Ghaziabad, India, March 12-13, 2009, Springer-Verlag, ISSN: 1865-0929, 2009, pp. 220-231

7.      N. Laleh, M. Abdollahi Azgomi, "A Taxonomy of Frauds and Fraud Detection Techniques," In: S.K. Prasad et al. (Eds.), Communications in Computer and Information Science (CCIS), Vol. 31, Proc. of the 3rd International Conference on Information Systems, Technology and Management (ICISTM'09), IMT, Ghaziabad, India, March 12-13, 2009, Springer-Verlag, ISSN: 1865-0929, 2009, pp. 256-267

8.      N. Laleh, M. Abdollahi Azgomi, "An Overview of a Hybrid Fraud Scoring and Spike Detection Technique for Fraud Detection in Streaming Data," In: S.K. Prasad et al. (Eds.), Communications in Computer and Information Science (CCIS), Vol. 31, Proc. of the 3rd International Conference on Information Systems, Technology and Management (ICISTM'09), IMT, Ghaziabad, India, March 12-13, 2009, Springer-Verlag, ISSN: 1865-0929, 2009, pp. 356-357

9.      H. Mohammad Gholizadeh and M. Abdollahi Azgomi, "An Overview of a New Multi-Formalism Modeling Framework," In: S.K. Prasad et al. (Eds.), Communications in Computer and Information Science (CCIS), Vol. 31, Proc. of the 3rd International Conference on Information Systems, Technology and Management (ICISTM'09), IMT, Ghaziabad, India, March 12-13, 2009, Springer-Verlag, ISSN: 1865-0929, 2009, pp. 360-361

10.  M. Nasri, S. Shariati and M. Abdollahi Azgomi, "Performance Modeling of a Distributed Web Crawler using Stochastic Activity Networks," In: H. Sarbazi-Azad, B. Parhami, S.-G. Miremadi and S. Hessabi (Eds.), Communications in Computer and Information Science (CCIS), Vol. 9, Proc. of the 13th International CSI Computer Conference (CSICC'08), Sharif University of Technology, Kish Island, Iran, March 9-11, 2008, Revised Selected Papers, Springer-Verlag, ISSN: 1865-0929, 2008, pp. 535-542

11.  A. Kamandi, M. Abdollahi Azgomi and A. Movaghar. "Transformation of UML Models into Analyzable OSAN Models," In: F. Arbab and M. Sirjani (Eds.), Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 159, Proc. of the IPM International Workshop on Foundations of Software Engineering (FSEN'05), Tehran, Iran, Oct. 1-3, 2005, Revised Papers, Elsevier, ISSN: 1571-0661, 2006, pp. 3-22

Papers in International Conferences/Workshops:

1.      A. Jafarabadi and M. Abdollahi Azgomi, "An SIR Model for the Propagation of Topology-Aware Active Worms Considering the Join and Leave of Hosts," Proc. of the 7th International Conference On Information Assurance and Security (IAS'11), Malacca, Malaysia, Dec. 5-8, IEEE CS Press, 2011, pp. 204-029

2.      A. Jafarabadi and M. Abdollahi Azgomi, "On the Impacts of Join and Leave on the Propagation Ratio of Topology-Aware Active Worms," Proc. of the 4th International Conference on Security of Information and Networks (SIN'11), Sydney, Australia, Nov. 14-19, ACM Press, 2011, pp. 209-214

3.      B. Mehrparvar, M. Abdollahi Azgomi, "Towards a Multi-Formalism Model Checker Based on SDES Description," Proc. of the 7th International Conference on Foundations of Computer Science (FCS'11), Las Vegas, Nevada, USA, July 18-21, 2011, pp. 115-121

4.      M. Akbarzadeh and M. Abdollahi Azgomi, "A Framework for Quantitative Evaluation of Security Protocols Using Coloured Stochastic Activity Networks and PDETool," Proc. of the 5th International Symposium on Telecommunications (IST'10), ITRC, Tehran, Iran, Dec. 4-6, IEEE Press, 2010, pp. 210-215

5.      M.S.A. Najjar and M. Abdollahi Azgomi, "A Distributed Multi-Approach Intrusion Detection System for Web Services," Proc. of the 3rd International Conference on Security of Information and Networks (SIN'10), Sept. 7-11, Taganrog, Rostov-on-Don, Russia, ACM Press, 2010, pp. 238-244

6.      M. Akbarzadeh and M. Abdollahi Azgomi, "Modeling and Analysis of Agent-Based Specifications of Security Protocols Using CSANs and PDETool," Proc. of the 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17, IEEE CS Press, 2009, pp. 11-15 (Best Paper Award)

7.      R. Ghasem Esfahani and M. Abdollahi Azgomi, "Towards an Anomaly Detection Technique Based on Kernel Methods for Web Services," Proc. of the 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17, IEEE CS Press, 2009, pp. 345-349

8.      Z. Aghajani and M. Abdollahi Azgomi, "A Majority Voter for Intrusion Tolerant Software Based on N-Version Programming Techniques," Proc. of the 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17, IEEE CS Press, 2009, pp. 304-308

9.      A. Hosseini and M. Abdollahi Azgomi, "Combination of Duty and Historical Constraints in Role-Based Access Control," Proc. of the 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17, IEEE CS Press, 2009, pp. 309-313

10.  E. Nourani and M. Abdollahi Azgomi, "A Design Pattern for Dependable Web Services Using Design Diversity Techniques and WS-BPEL," Proc. of the 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17, IEEE CS Press, 2009, pp. 325-329

11.  A. Omidi and M. Abdollahi Azgomi, "An Architecture for E-Voting Systems Based on Dependable Web Services," Proc. of the 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17, IEEE CS Press, 2009, pp. 200-204

12.  B. Zare Moayedi and M. Abdollahi Azgomi, "A Game Theoretic Approach for Quantitative Evaluation of Security by Considering Hackers with Diverse Behaviors," Proc. of the 2nd IEEE International Symposium on Ubisafe Computing (UbiSafe'09)), 8th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'09), Chengdu, China, Dec. 12-14, IEEE CS Press, 2009, pp. 508-513

13.  B. Zare Moayedi and M. Abdollahi Azgomi, "A Game Theoretic Approach for Quantitative Evaluation of Strategic Interactions between Hacker's Motivations," Proc. of the 3rd European Symposium Computer Modelling and  Simulation (EMS'09), Athens, Greece, Nov. 25-27, IEEE CS Press, 2009, pp. 552-557

14.  F. Javadi Mottaghi and M. Abdollahi Azgomi, "SWML: A Workflow Modeling Language Based on Stochastic Activity Networks," Proc. of the 14th International CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, October 20-21, IEEE CS Press, 2009, pp. 17-22

15.  M. Dashtbozorgi and M. Abdollahi Azgomi, "A Scalable Multi-Core Aware Software Architecture for High-Performance Network Monitoring," Proc. of the 2nd International Conference on Security of Information and Networks (SIN'09), Salamis Bay Conti Resort Hotel, Gazimagusa, North Cyprus, October 6-10, ACM Press, 2009, pp. 117-122

16.  A. Jalaly Bidgoly, M. Abdollahi Azgomi and A. Khalili, "An Advanced Technique for Rare-Event Simulation Based on Partition of the Region," Proc. of the 10th International Middle Eastern Simulation Multiconference (MESM'09), Lebanese American University, Beirut, Lebanon, September 27-29, 2009, pp. 5-10

17.  Z. Aghajani and M. Abdollahi Azgomi, "Modeling and Simulation of an Intrusion Tolerant Web Service Architecture Using Coloured Petri Nets," Proc. of the 10th International Middle Eastern Simulation Multiconference (MESM'09), Lebanese American University, Beirut, Lebanon, September 27-29, 2009, pp. 60-66

18.  G. Khazan and M. Abdollahi Azgomi, "Cyber Attack Simulation by SimEvents for Quantitative Security Evaluation," Proc. of the 10th International Middle Eastern Simulation Multiconference (MESM'09), Lebanese American University, Beirut, Lebanon, September 27-29, 2009, pp. 67-71

19.  A. Khalili and M. Abdollahi Azgomi, "RayLang: A Modeling Language for Performance Evaluation of Stochastic Discrete-Event Systems," Proc. of the 10th International Middle Eastern Simulation Multiconference (MESM'09), Lebanese American University, Beirut, Lebanon, September 27-29, 2009, pp. 119-130

20.  F. Karamzadeh and M. Abdollahi Azgomi, "An Automated System for Search and Retrieval of Trademarks," Proc. of the 11th International Conference on Electronic Commerce (ICEC'09), August 12-14, Taipei, Taiwan, ACM Press, 2009, pp. 374-377

21.  M. Dashtbozorgi and M. Abdollahi Azgomi, "A High-Performance Software Solution for Packet Capture and Transmission," Proc. of the 2nd IEEE International Conference on Computer Science and Information Technology (ICCSIT'09), Aug. 8-11, Beijing, China, IEEE CS Press, 2009, pp. 407-411

22.  Y. Fazlalizadeh, A. Khalilian, M. Abdollahi Azgomi and S. Parsa, "Prioritizing Test Cases for Resource Constraint Environments Using Historical Test Case Performance Data," Proc. of the 2nd IEEE International Conference on Computer Science and Information Technology (ICCSIT'09), August 8-11, Beijing, China, IEEE CS Press, 2009, pp. 190-195

23.  O. Abedi, R. Berangi and M. Abdollahi Azgomi, "Improving Route Stability and Overhead on AODV Routing Protocol and Make It Usable for VANET," Proc. of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS'09), Montreal, Quebec, Canada, June 22-26, IEEE CS Press, 2009, pp. 464-467

24.  A. Jalaly Bidgoly, A. Khalili and M. Abdollahi Azgomi, "Implementation of Coloured Stochastic Activity Networks within the PDETool Framework," Proc. of the 3rd Asia International Conference on Modelling and Simulation (AMS'09), Bandung 25-26 May, Bali 29 May, IEEE CS Press, 2009, pp. 710-715

25.  M. Ghalambor Dezfuli, A. A. Safaeei and M. Abdollahi Azgomi, "DSMS Scheduling Regarding Complex QoS Functions," Proc. of the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'09), Rabat, Morocco, May 10-13, IEEE CS Press, 2009, pp. 587-594

26.  G. Khazan and M. Abdollahi Azgomi, "A Distributed Attack Simulation for Quantitative Security Evaluation Using SimEvents," Proc. of the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'09), Rabat, Morocco, May 10-13, IEEE CS Press, 2009, pp. 382-385

27.  H. Mohammad Gholizadeh and M. Abdollahi Azgomi, "An Object-Oriented Modeling Framework for Petri Nets and Related Models," Proc. of the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'09), Rabat, Morocco, May 10-13, IEEE CS Press, 2009, pp. 546-549

28.  J. Almasizadeh and M. Abdollahi Azgomi, "Intrusion Process Modeling for Security Quantification," Proc. of the 4th International Conference on Availability, Reliability and Security (ARES'09), March 16-19, Fukuoka Institute of Technology (FIT), Fukuoka, Japan, IEEE CS Press, 2009, pp. 114-121

29.  S. Hajian and M. Abdollahi Azgomi, "A Privacy Preserving Clustering Technique Using Haar Wavelet Transform and Scaling Data Perturbation," Proc. of the 5th International Conference on Innovations in Information Technology (Innovations'08), Al Ain, Emirates, Dec. 16-18, IEEE CS Press, 2008, pp. 218-222

30.  M. Tavakolan, M. Zarreh and M. Abdollahi Azgomi, "An Extensible Model for Improving the Privacy of Web Services," Proc. of the 5th International Conference on Innovations in Information Technology (Innovations'08), Al Ain, Emirates, Dec. 16-18, IEEE CS Press, 2008, pp. 175-179

31.  J. Almasizadeh and M. Abdollahi Azgomi, "A New Method for Modeling and Evaluation of the Probability of Attacker Success," Proc. of the 2008 International Conference on Security Technology (SecTech'08), Horizon Resort, Sanya, Hainan Island, China, Dec. 13-15, IEEE CS Press, 2008, pp. 49-53

32.  S. L. Mirtaheri, E. Mousavi, M. Sharifi and M. Abdollahi Azgomi, "The Influence of Efficient Message Passing Mechanisms on High Performance Distributed Scientific Computing," Proc. of the 2008 IEEE International Symposium on Advances in Parallel and Distributed Computing Techniques (APDCT'08), in conjunction with the 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA'08), Sydney, Australia, Dec. 10-12, IEEE CS Press, 2008, pp. 663-668

33.  Z. Aliannezhadi and M. Abdollahi Azgomi, "Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets," Proc. of the 2008 IEEE Asia-Pacific Services Computing Conference (APSCC'08), Jiaosi, Yilan, Taiwan, Dec. 9-12, IEEE CS Press, 2008, pp. 548-553

34.  M. Khalesi and M. Abdollahi Azgomi, "Towards a Trust-Based Model for Administration of Mailing Lists," Proc. of the 2008 IEEE Global Telecommunications Conference (GLOBECOM'08), World Telecommunications Congress (WTC’08), New Orleans, LA, USA, Dec. 1-2, IEEE CS Press, 2008, pp. 1-6

35.  M. Abdollahi Azgomi and A. Khalili, "Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets," Preliminary Proc. of the First International. Workshop on Formal Methods for Wireless Systems (FMWS'08), Satellite Workshop of CONCUR’08, Toronto, Canada, August  23, 2008, pp. 66-76

36.  A. Jalaly Bidgoly and M. Abdollahi Azgomi, "Rare Event Simulation of Stochastic Activity Networks Using Partition of the Region Technique," Proc. of the 24th UK Performance Engineering Workshop (UKPEW'08), Imperial College London, UK, July 3-4, 2008, pp. 107-122

37.  S. Hosseini and M. Abdollahi Azgomi, "UML Model Refactoring with Emphasis on Behavior Preservation," Proc. of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'08), Nanjing, China, June 17-19, IEEE CS Press, 2008, pp. 125-128

38.  M. Sharifi, M. Abdollahi Azgomi and  O. Kashefi, "A New Approach to Mutual Authentication without Password Exchange," Proc. of the International Conference on App. of Information Communication Technologies in Science  and  Education (AICTSE'07), Baku, Azerbaijan, 1-2 Nov., 2007)

39.  M. Fanaeepour, L. Naghavian and M. Abdollahi Azgomi, "Modeling and Evaluation of Call Centers with GSPN Models," Proc. of the 2007 ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-2007), Amman, Jordan, May 13-16, IEEE CS Press, 2007, pp. 619-622

40.  M. Abdollahi Azgomi and A. Movaghar, "Efficient Evaluation of CSAN Models by State Space Analysis Methods," Proc. of the International Conference on Software Engineering Advances (ICSEA'06), Tahiti, French Polynesia, Oct. 29 – Nov. 1, IEEE CS Press, 2006)

41.  M. Abdollahi Azgomi and A. Movaghar, "Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks," Proc. of the International Conference on Software Engineering Advances (ICSEA'06), Tahiti, French Polynesia, Oct. 29-Nov. 1, IEEE CS Press, 2006)

42.  M. Abdollahi Azgomi and A. Movaghar, "A Case Study on Application of CSAN Models on Network Modeling," Proc. of the 5th International Symposium on Communication Systems, Networks and Digital Signal Processing (CSNDSP'06), Patras, Greece, July 19-21, 2006, pp. 270-274

43.  A. Kamandi, M. Abdollahi Azgomi and A. Movaghar. "Derivation and Evaluation of OSAN Models from UML Models of Business Processes," Preliminary Proc. of the IPM International Workshop on Foundations of Software Engineering (FSEN'05), Tehran, Iran, Oct. 1-3, 2005, pp. 287-305

44.  M. Abdollahi Azgomi and A. Movaghar, "Modeling and Evaluation of a Packet-Based Telecommunication Switching Center with HSAN Models," Proc. of the 13th International Conference on Software, Telecommunications and Computer Networks (SoftCOM'05), Split, Marina Frapa, Croatia, Sept. 15-17, 2005, pp. 182-186

45.  M. Abdollahi Azgomi and A. Movaghar, "Modeling and Evaluation with Object Stochastic Activity Networks," Proc. of the 1st International Conference on Quantitative Evaluation of Systems (QEST'04), Enschede, The Netherlands, IEEE Computer Society Press, Sept. 27-30, 2004, pp. 326-327

46.  M. Abdollahi Azgomi and A. Movaghar, "Coloured Stochastic Activity Networks: Definitions and Behaviour," Proc. of the 20th Annual UK Performance Engineering Workshop (UKPEW'04), Bradford, UK, July 7-8, 2004, pp. 297-308

47.  M. Abdollahi Azgomi and A. Movaghar, "An Interchange Format for Stochastic Activity Networks Based on PNML," Proc. of the ICATPN'04 Satellite Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets (XML4PN'04), Bolonga, Italy, June 26, 2004)1-10

48.  M. Abdollahi Azgomi and A. Movaghar, "A Modelling Tool for Hierarchical Stochastic Activity Networks," Proc. of the 11th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ESM/ASMTA'04), Magdeburg, Germany, June 13-16, 2004)141-146

49.  M. Abdollahi Azgomi and A. Movaghar, "Towards an Object-Oriented Extension for Stochastic Activity Networks," Proc. of the 10th Workshop on Algorithms and Tools for Petri Nets (AWPN'03), Eichstätt, Germany, Sept. 26-27, 2003, pp. 144-155

50.  M. Abdollahi Azgomi and A. Movaghar, "Coloured Stochastic Activity Networks: Preliminary Definitions and Properties," Proc. of the ICALP'03 Satellite Workshop on Stochastic Petri Nets and Related Formalisms, Eindhoven, The Netherlands, June 28-29, 2003, pp. 154-169

51.  M. Abdollahi Azgomi and A. Movaghar, "Hierarchical Stochastic Activity Networks," Proc. of the 10th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ESM/ASMTA'03), Nottingham, UK, June 9-11, 2003, pp. 169-174

52.  M. Abdollahi Azgomi and A. Movaghar, "Application of Stochastic Activity Networks on Network Modeling," Proc. of the 10th International Conference on Software, Telecommunications and Computer Networks (SoftCOM'02), Split, Dubrovnik, Croatia, 2002, pp. 678-682

53.  M. Abdollahi Azgomi and A. Movaghar, "An Introduction to New Extensions for Stochastic Activity Networks," Proc. of the 14th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'02), Cambridge, Massachusetts, USA, 2002, pp. 405-410

54.  M. Abdollahi Azgomi and A. Movaghar, "SharifSAN: A Tool for Verification and Performance Evaluation Based on a New Definition of SANs," Proc. of the 13th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'01), Anaheim, CA, 2001, pp. 667-672

Papers in National (Iranian) Conferences:

1.      R. Fathi and M. Abdollahi Azgomi, "Implementation of a Symbolic State Space Generator for SDES Descriptions in PDETool Framework," Proc. of the 17th Annual National CSI Computer Conference (CSICC'12), Sharif University of Technology, Tehran, Iran, March 6-8, 2012 (in Persian)

2.      A. Rad Khorami, H. Motallebi and M. Abdollahi Azgomi, "Improving the Locality of Data in WZ Factorization for Solution of the System of Linear Equations," Proc. of the 17th Annual National CSI Computer Conference (CSICC'12), Sharif University of Technology, Tehran, Iran, March 6-8, 2012 (in Persian)

3.      Z. Mousavi and M. Abdollahi Azgomi, "New Method for Determination of Effective History of Mutable Attributes in Usage Control Model," Proc. of the First Conference on Intelligent Computer Systems and Applications (ITICS'11), Tehran, Iran, Dec. 21, 2011 (in Persian)

4.      M. Ashtiani and M. Abdollahi Azgomi, "A Framework for High-Level Modeling and Simulation of Cyber Attacks for Evaluation of Availability," Proc. of the 8th International ISC Conference on Information Security and Cryptology (ISCISC'01), Ferdowsi University of Mashhad, Mashhad, Iran, Sept. 14-15, 2011, pp. 93-98 (in Persian)

5.      Sh. Torabi and M. Abdollahi Azgomi, "Implementing a Parallel Numerical Solver of CTMCs on Multi-Core Processors," Proc. of the 2nd International Conference on Contemporary Issues in Computer and Information Sciences (CICIS'11), IASBS, Zanjan, Iran,  May 31-June 2, 2011, pp. 39-42 (in Persian)

6.      M.S. Mirzaei and M. Abdollahi Azgomi, "On the Use of Convex Polyhedra in the State Space Analysis of Computational Models," Proc. of the 2nd International Conference on Contemporary Issues in Computer and Information Sciences (CICIS'11), IASBS, Zanjan, Iran,  May 31-June 2, 2011, pp. 620-623 (in Persian)

7.      R. Fathi and M. Abdollahi Azgomi, "Implementing a Symbolic State Space Generator for SDES Descriptions," Proc. of the 2nd International Conference on Contemporary Issues in Computer and Information Sciences (CICIS'11), IASBS, Zanjan, Iran,  May 31-June 2, 2011, pp. 470-475 (in Persian)

8.      Sh. Torabi and M. Abdollahi Azgomi, "A New Parallel Numerical Solver for CTMCs," Proc. of the 16th Annual National CSI Computer Conference (CSICC'11), Sharif University of Technology, Tehran, Iran, March 7-9, 2011, pp. 84-89 (in Persian)

9.      R. Fathi and M. Abdollahi Azgomi, "Symbolic State Space Generation using ROBDDs for SDES Descriptions," Proc. of the 16th Annual National CSI Computer Conference (CSICC'11), Sharif University of Technology, Tehran, Iran, March 7-9, 2011, pp. 181-186 (in Persian)

10.  H. Motallebi, R. Zare Farkhady and M. Abdollahi Azgomi, "A Probabilistic Solution for Process Mining of Incomplete Noisy Execution Logs in BPMSs," Proc. of the First Iranian Information and Communication Technology Congress (IICTC'10), Tehran Metropolitan, Tehran, Iran, May. 22-24, 2010 (in Persian)

11.  A. Vakili, M. Abdollahi Azgomi and M. Taromi, "A Solution for Security Modeling and Evaluation Based on Game Theory and Generalized Stochastic Petri Nets," Proc. of the First Iranian Information and Communication Technology Congress (IICTC'10), Tehran Metropolitan, Tehran, Iran, May. 22-24, 2010 (in Persian)

12.  M. Taromi, M. Abdollahi Azgomi and A. Vakili, "Security Risk Estimation by Considering the Dependencies of the System Vulnerabilities," Proc. of the First Iranian Information and Communication Technology Congress (IICTC'10), Tehran Metropolitan, Tehran, Iran, May. 22-24, 2010 (in Persian)

13.  T. Broomandnezhad and M. Abdollahi Azgomi, "A New Technique for Optimizing Software-Implemented Methods for Detection of Transient Faults in Embedded Software," Proc. of the 15th Annual National CSI Computer Conference (CSICC'10), Niroo Research Institute, Tehran, Iran, Feb. 20-22, 2010 (in Persian)

14.  A. Jalaly Bidgoly and M. Abdollahi Azgomi, "Rare Event Simulation Based on Advanced Partition of the Region Technique," Proc. of the 15th Annual National CSI Computer Conference (CSICC'10), Niroo Research Institute, Tehran, Iran, Feb. 20-22, 2010 (in Persian)

15.  M.S.A. Najjar and M. Abdollahi Azgomi, "A New Technique for Anomaly Detection in Web Services using Hidden Markov Models," Proc. of the 15th Annual National CSI Computer Conference (CSICC'10), Niroo Research Institute, Tehran, Iran, Feb. 20-22, 2010 (in Persian)

16.  T. Broomandnezhad, M. Abdollahi Azgomi and Sh. Jalilian, "A Survey on Software-Implemented Techniques for Tolerating Transient Faults in Satellite Software," Proc. of the 9th Iranian Aerospace Society Conference (AERO'10), The Science and Research Branch, Islamic Azad University, Tehran, Iran, Feb. 8-10, 2010 (in Persian)

17.  R. Ghasem Esfahani and M. Abdollahi Azgomi, "A Method for Intrusion Detection in Web Services by Employing XML Mining," Proc. of the 3rd Iranian Data Mining Conference (IDMC'09), Amirkabir University of Technology, Tehran, Iran, Dec. 15-16, 2009 (in Persian)

18.  H. Daghaghzadeh and M. Abdollahi Azgomi, "A Semantic Based Search Method to Improve the Precision of Search Results in Qur'anic Software," Proc. of the 3rd Iranian Data Mining Conference (IDMC'09), Amirkabir University of Technology, Tehran, Iran, Dec. 15-16, 2009 (in Persian)

19.  M. Akbarzadeh and M. Abdollahi Azgomi, "Modeling and Analysis of Security Protocols Based on Role-Based Specifications Using Coloured Petri Nets and  CPN Tools," Proc. of the 3rd Conference of Iranian Society for Command and Control (C4I'09), Tehran, Iran, Nov. 16-18, 2009, pp. 481-488 (in Persian)

20.  M. Akbarzadeh and M. Abdollahi Azgomi, "Modeling and Quantitative Analysis of Security Protocols Based on Probabilistic Model Checking and the PRISM Tool,"Proc. of the 6th International ISC Conference on Information Security and Cryptology (ISCISC'09), University of Isfahan, Isfahan, Iran, Oct. 7-8, 2009, pp. 189-196 (in Persian)

21.  M.S.A. Najjar and M. Abdollahi Azgomi, "A Distributed Intrusion Detection System for Web Services by Anomaly and Misuse Detection Approaches," Proc. of the 6thInternational ISC Conference on Information Security and Cryptology (ISCISC'09), University of Isfahan, Isfahan, Iran, Oct. 7-8, 2009, pp. 205-212 (in Persian)

22.  R. Entezari Maleki and M. Abdollahi Azgomi, "Modeling Scheduling and Task Execution in Grid Environment Using Distributed Timed Petri Nets," Proc. of the 3rd Joint Congress on Fuzzy and Intelligent Systems (IFS'09), Yazd University, Yazd, Iran, July 14-16, 2009 (in Persian)

23.  J. Almasizadeh and M. Abdollahi Azgomi, "Security Analysis by Considering the Temporal Aspects of the Behavior of Attacker and System," Proc. of the 17th Iranian Conference on Electrical Engineering (ICEE'09), Iran University of Science and Technology, Tehran, Iran, May 12-14, 2009 (in Persian)

24.  Y. Fazlalizadeh, A. Khalilian, M. Abdollahi Azgomi and S. Parsa, "Accelerating the Process of Fault Detection in Software Regression Testing for Environments with Time and Resource Constraints," Proc. of the 17th Iranian Conference on Electrical Engineering (ICEE'09), Iran University of Science and Technology, Tehran, Iran, May 12-14, 2009 (in Persian)

25.  S. Hajian and M. Abdollahi Azgomi, "A Privacy Preserving Clustering Technique for Distributed Datasets," Proc. of the 17th Iranian Conference on Electrical Engineering (ICEE'09), Iran University of Science and Technology, Tehran, Iran, May 12-14, 2009 (in Persian)

26.  K. Yazdian and M. Abdollahi Azgomi, "Analysis of the Security Challenges of Iran Electricity Market," Proc. of the 17th Iranian Conference on Electrical Engineering (ICEE'09), Iran University of Science and Technology, Tehran, Iran, May 12-14, 2009 (in Persian)

27.  J. Almasizadeh and M. Abdollahi Azgomi, "A Efficient Method for Computing Mean-Time-To-Security-Failure of Computer Systems," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

28.  A. Jalaly Bidgoly and M. Abdollahi Azgomi, "Rare Event Simulation Based on Stochastic Activity Networks and Partition of the Region Technique," Proc. of the 14thAnnual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

29.  R. Homauninezhad and M. Abdollahi Azgomi, "A Security Checklist for Evaluation of Steganographic File Systems," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

30.  R. Asadi, M. Fathian and M. Abdollahi Azgomi, "A Context-Based Extension for Bell-La Padula Access Control Model," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

31.  N. Laleh and M. Abdollahi Azgomi, "Design and Implementation of a Tool for Monitoring and Detection of Spikes in Data Streams," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

1.      B. Zare Moayedi and M. Abdollahi Azgomi, "An Efficient Scheme for Self-Sorting WSNs with Binary Tree Topology," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

32.  F. Javadi Mottaghi and M. Abdollahi Azgomi, "A Workflow Modeling Language Based on Stochastic Activity Networks," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

33.  S. Hajian and M. Abdollahi Azgomi, "A New Privacy Preserving Technique for Data Mining Algorithms Based on Euclidian Distance," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

34.  Y. Fazlalizadeh, A. Khalilian, M. Abdollahi Azgomi and S. Parsa, "History-Driven Prioritization of Test Cases Based on Fault Detection Performance and Aging in Software Regression Test," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

35.  Z. Aghajani and M. Abdollahi Azgomi, "A Binary Majority Voting Scheme for Multi-Version Programming Technique with Regarding Malicious Attacks," Proc. of the 14thAnnual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

36.  M. Khalesi and M. Abdollahi Azgomi, "A Direct Mechanism to Support Exchanged Plaintext in E-Mail List Services," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

37.  A. Rezaee and M. Abdollahi Azgomi, "Modeling and Analysis of System Based on Virtualization with Respect to Rejuvenation using SRNs," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

38.  R. Entezari Maleki and M. Abdollahi Azgomi, "Modeling Task Distribution and Evaluation of Reliability in Grid Services Using CPNs," Proc. of the 14th Annual National CSI Computer Conference (CSICC'09), Amirkabir University of Technology, Tehran, Iran, March 10-11, 2009 (in Persian)

39.  S. M. Rooholamini and M. Abdollahi Azgomi, "Enterprise Resource Planning Systems: Security Issues and the Proposed Solution" Proc. of the Conference on Enterprise Resource Planning Systems (IRERP'09), Tehran, Iran, Jan. 21-22, 2009 (in Persian)

40.  K. Yazdian and M. Abdollahi Azgomi, "Solutions for Enhancing the Security of Iran Power Market," Proc. of the 23rd International Power System Conference (PSC'08), Tehran, Iran, Nov. 30-Dec. 1, 2008 (in Persian)

41.  K. Yazdian and M. Abdollahi Azgomi, "Analysis of Iran Power Market Based on B2B Model of E-Commerce," Proc. of the 23rd International Power System Conference (PSC'08), Tehran, Iran, Nov. 30-Dec. 1, 2008 (in Persian)

42.  S. Hajian and M. Abdollahi Azgomi, "A New Data Transformation Method for Privacy Preserving Clustering," Proc. of the 2nd Iranian Data Mining Conference (IDMC'08), Amirkabir University of Technology, Tehran, Iran, Nov. 11-12, 2008 (in Persian)

43.  S. Hajian, M. Abdollahi Azgomi and B. Minaei-Bidgoli, "A Framework for Privacy Preserving Data Mining," Proc. of the 2nd Iranian Data Mining Conference  (IDMC'08), Amirkabir University of Technology, Tehran, Iran, Nov. 11-12, 2008 (in Persian)

44.  N. Laleh, M. Abdollahi Azgomi, B. Minaei Bidgoli, "A New Fraud Detection Method in Unlabeled Data with Emphasis on Minimizing False Alarms Proc. of the 2nd Iranian Data Mining Conference  (IDMC'08), Amirkabir University of Technology, Tehran, Iran, Nov. 11-12, 2008 (in Persian)

45.  J. Almasizadeh and M. Abdollahi Azgomi, "Definition of an Appropriate Probability Distribution Function for Modeling Security Failure," Proc. of the 5th International ISC Conference on Information Security and Cryptography (ISCISC'08), Tehran, Iran, Oct. 6-7, 2008, pp. 117-127 (in Persian)

46.  S. Hajian and M. Abdollahi Azgomi, "A Technique for Privacy Preservation of Sensitive Data by Preserving Their Statistical Properties," Proc. of the 5th International ISC Conference on Information Security and Cryptography (ISCISC'08), Tehran, Iran, Oct. 6-7, 2008, pp. 164-171  (in Persian)

47.  S.M. Rooholamini and M. Abdollahi Azgomi, "Security Issues in Implementation of ERP Systems," Proc. of the 1st Iranian Conference on Information Technology Project Management (ITPMC'08), Tehran, Iran, June 15-16, 2008 (in Persian)

48.  A. Khalili and M. Abdollahi Azgomi, "Formal Modeling and Performance Evaluation of a Medium Access Control Protocol in Wireless Sensor Networks," Proc. of the 16th Iranian Conference on Electrical Engineering (ICEE'08), Computer Track, Tarbiat Modares University, Tehran, May 13-15, 2008, pp. 38-43 (in Persian)

49.  S. Hosseini and M. Abdollahi Azgomi, "Formal Specification of UML Model Refactoring with Regard to Preserving Consistency," Proc. of the 16th Iranian Conference on Electrical Engineering (ICEE'08), Computer Track, Tarbiat Modares University, Tehran, May 13-15, 2008, pp. 254-259 (in Persian)

50.  S. Shariati, M. Sharifi and M. Abdollahi Azgomi, "Topology Approximation in Mobile Ad Hoc Networks using Stochastic Activity Networks and Neural Networks," Proc. of the 13th National CSI Computer Conference (CSICC'08), Sharif University of Technology, Kish Island, Iran, March 9-11, 2008 (in Persian)

51.  H. Mohammad Gholizadeh and M. Abdollahi Azgomi, "A Framework Based on Object-Oriented Technology for Modeling and Evaluation of Systems," Proc. of the 5thInternational Conference on Information and Knowledge Technology (IKT'07), Ferdowsi of Mashhad University, Mashhad, Iran, 27-29 Nov., 2007 (in Persian)

52.  A. Khalili and M. Abdollahi Azgomi, "Formal Modeling and Probabilistic Verification of an Intrusion Alert System in Wireless Sensor Networks," Proc. of the 5th International Conference on Information and Knowledge Technology (IKT'07), Ferdowsi of Mashhad University, Mashhad, Iran, 27-29 Nov., 2007 (in Persian)

53.  F. Ramezani and M. Abdollahi Azgomi, "Modeling and Performance Evaluation of Flexible Manufacturing Systems with Resource Sharing using Stochastic Petri Nets,"Proc. of the 5th International Industrial Engineering Conference (IIEC'07), Iran University of Science and Technology, Tehran, Iran, 11-12 July, 2007 (in Persian)

54.  H. Ghasemzadeh, E. Behrangi and M. Abdollahi Azgomi, "An Algorithm for Routing and Scheduling Automated Guided Vehicles in Mesh Systems," Proc. of the 15thIranian Electrical Engineering Conference (ICEE'07), Computer Track, Iran Telecommunication Research Center (ITRC), Tehran, May 15-17, 2007 (in Persian)

55.  S. Shirvani, S. Almassi and M. Abdollahi Azgomi, "Modeling and Analysis of Digital Library Preprocessing System Using Generalized Stochastic Petri Nets," Proc. of the 12th Annual International CSI Computer Conference (CSICC'07), Tehran, Iran, Feb.20-22,, 2007, pp. 995-1002 (in Persian)

56.  M. Nasri and M. Abdollahi Azgomi, "Designing Agents by Market Mechanism for e-Commerce Automation," Proc. of the 12th Annual International CSI Computer Conference (CSICC'07), Tehran, Iran, Feb.20-22, , 2007, pp. 2098-2102 (in Persian)

57.  A. Kamandi, M. Abdollahi Azgomi and A. Movaghar, "A Tool for Modeling with Object Stochastic Activity Networks," Proc. of the 9th Annual International CSI Computer Conference (CSICC'04), Tehran, Iran, 2004, pp. 408-419 (in Persian)

58.  M. Abdollahi Azgomi and A. Movaghar, "Performance Evaluation of Computer and Communication Systems with SharifSAN," Proc. of 6th Annual International CSI Computer Conference (CSICC'01), Isfahan, Iran, 2001, pp. 133-143 (in Persian)

59.  M. Abdollahi Azgomi and A. Movaghar, "A Tool for Verification of Concurrent Systems Using Activity Networks," Proc. of 5th Annual International CSI Computer Conference (CSICC'00), Tehran, Iran, 2000, pp. 305-314 (in Persian)

60.  A. Movaghar and M. Abdollahi Azgomi, "An Overview on Some Design and Implemental Features of SharifSAN," Research Proc. of Sharif University of Technology: Department of Computer Engineering, Tehran, Iran, 2000, pp. 65-72 (in Persian)

61.  A. Movaghar and M. Abdollahi Azgomi, "Introducing Various Solvers Used in SharifSAN," Research Proc. of Sharif University of Technology: Department of Computer Engineering, Tehran, Iran, 1999, pp. 147-155 (in Persian)

62.  A. Movaghar, K. Davoodi and M. Abdollahi Azgomi, "Design and Implementation of a Firewall in Computer Networks," Research Proc. of Sharif University of Technology: Department of Computer Engineering, Tehran, Iran, 1999, pp. 137-145 (in Persian)

63.  A. Movaghar, M. Abdollahi Azgomi and K. Davoodi, "Solutions for Enhancing the Security of Computer Networks," Research Proc. of Sharif University of Technology: Department of Computer Engineering, Tehran, Iran, 1998, pp. 179-191 (in Persian)

64.  M. Abdollahi Azgomi and A. Movaghar, "Security Enhancement for Network Services," Proc. of the 3rd Annual International CSI Computer Conference (CSICC'97), Tehran, Iran, 1997, pp. 450-457 (in Persian)

Return to Azgomi's Home Page