• F. Heidarian, F. W. Vaandrager, “Modeling and Analyzing of the 8N1 Protocol with Uppaal”, 2010.

  • M. Schuts, F. Zhu, F. Heidarian, F. W. Vaandrager, “Modeling Clock Synchronization in the Chess gMAC WSN Protocol”, In S. Andova et.al., editors. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09), Eindhoven, the Netherlands, 3rd November 2009. Electronic Proceedings in Theoretical Computer Science 13, pp.41-54, 2009.

  • F. Heidarian, J. Schmaltz, F. W. Vaandrager, “Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks”, In A. Cavalcanti and D. Dams, editors. Proceedings FM 2009: Formal Methods, Eindhoven, The Netherlands, November 2009. LNCS 5850, pp. 516-531, Springer-Verlag, 2009. Full version invited submission of FACJ special issue on FM 2009.

  • F. Heidarian, M. Ardeshir, “Verification of Dynamic Reconfiguration Process in Component-based Systems using Timed-Scheduled Data Stream Logic”, In Proceeding of the IPM International Workshop on Foundations of Software Engineering (Theory and Practice) FSEN 2009, 15-17 April 2009, Kish Island, Iran.

  • F. Heidarian, “Studying the Usage of Data-Stream Logic in Dynamic Reconfiguration of Component-based Software”, Masters’ thesis, 2007 (in Persian)

  • M. Niamanesh, F. Heidarian, N. F. Nobakht, R. Jalili, “On Assurance of Dynamic Reconfiguration for Component-based Systems”, FSEN’05, 2005, pp. 238-247.

  • F. Heidarian, “Studying the Methods of Resource Management for e-Business”, B.Sc. thesis, 2004 (in Persian)