Research Interests

- Formal methods in software engineering, Protocol verification, Model checking, Process algebra, Formal Analysis of systems, Wireless systems, Software testing.

Professional Activities

- Current: FM 2019 (PC), FSEN 2019 (PC), COORDINATION 2019 (PC).
- Past: RTEST 2018 (Publication chair), TTCS 2017 (PC), FSEN 2017 (PC), iFMCloud 2016 (PC), FSEN 2015 (PC), TTCS 2015 (PC), FSEN 2013 (PC), FSEN 2011 (PC), JCSE (Editor Assitant).

Projects

- Smart Environment in Collaboration with VLSI Lab
- Systematic Testing of a Faminly of Thermostats in Collaboration with VLSI Lab
- Formal Specification of MANETs using Process Algebra - RBPT
- Model Checking MANETs - CACTL Checker (the source code at github )
- Efficient Modeling of MANETs - wRebeca

Publications

- S. Sabahi and F. Ghassemi, "Behavioral Model Identiﬁcation and Classiﬁcation of Multi-component Systems", Accepted in Science of Computer Programming, 2019.
- R. Abbasi, F. Ghassemi, and R. Khosravi, "Verification of Asynchronous Systems with an Unspecified Component", Acta Informatica, Vol. 56, No. 2, pp. 161-203, 2019.
- F. Ghassemi and W. Fokkink, "Reliable Restricted Process Theory", Fundamenta Informaticae, Vol. 165, No. 1, pp. 1-41, 2019.
- I. Jahandideh, F. Ghassemi, and M. Sirjani, "Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems", Accepted in Model-Based Design of Cyber Physical Systems, 2018.
- F. Ghassemi, "Verification of Mobile Ad hoc Network Processes with Data", The CSI Journal on Computer Science and Engineering, Vol. 15, No. 2, pp. 44-52, 2018.
- M. Sirjani, F. Ghassemi, and B. Pourvatan, "Reo Connectors and Components as Tagged Signal Models", It's All About Coordination, LNCS 10865, pp. 160-173, Springer, 2018.
- B. Yousefi, F. Ghassemi, and R. Khosravi, "Modeling and Efficient Verification of Wireless Ad hoc Networks", Formal Aspects of Computing, Vol. 29, No. 6, pp. 1051-1086, 2017.
- G. Jahandoust and F. Ghassemi, "An Adaptive Sinkhole Aware Algorithm in Wireless Sensor Networks", Ad Hoc Networks, Vol. 59, pp. 24-34, 2017.
- S. Sabahi and F. Ghassemi, "Automatic Transition System Model Identifications for Network Applications from Packet Traces", Proc. 7th Conference on Fundamentals of Software Engineering - FSEN'17, Tehran, LNCS 10522, pp. 212-227, Springer-Verlag, 2017.[Technical Report]
- S. Riahi, R. Khosravi, and F. Ghassemi, "Purpose-based Policy Enforcement in Actor-based Systems", Proc. 7th Conference on Fundamentals of Software Engineering - FSEN'17, Tehran, LNCS 10522, pp. 196-211, Springer-Verlag, 2017.
- F. Ghassemi, and W. Fokkink, "Model Checking Mobile Ad Hoc Networks", Formal Methods in System Design, Vol. 49, No. 3, pp. 59-189, 2016.
- F. Ghassemi, and MR. Mousavi, "Product Line Process Theory", Journal of Logical and Algebraic Methods in Programming ,Vol. 85, No. 1, pp. 200–226, 2016.
- M. Ahmadi, M. Gharib, F. Ghassemi, and A. Movaghar, "Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic", in Proc. of 29th IEEE International Conference on Advanced Information Networking and Applications- AINA' 15, Gwangju, pp. 185-192, IEEE Computer Society, 2015.
- B. Yousefi, F. Ghassemi , and R. Khosravi, "Modeling and Efficient Verification of Broadcasting Actors", in Proc. 6th Conference on Fundamentals of Software Engineering - FSEN'15, Tehran, LNCS 9392, pp. 69-83, Springer-Verlag, 2015.
- F. Ghassemi, S. Ahmadi, W. Fokkink, and A. Movaghar, "Model Checking MANETs with Arbitrary Mobility", in Proc. 5th Conference on Fundamentals of Software Engineering - FSEN'13, Tehran, LNCS 8161, pp. 217-232, Springer-Verlag, 2013.
- SM. Razavian, H. Khani, N. Yazdani, and F. Ghassemi, "An analysis of vendor lock-in problem in cloud storage", in Proc. 3rd International eConference on Computer and Knowledge Engineering (ICCKE) , pp. 331-335, IEEE, 2013.
- F. Ghassemi, W. Fokkink, and A. Movaghar,"Verification of mobile ad hoc networks: An algebraic approach", Theoretical Computer Science, Vol. 412, No. 28, pp. 3262-3282, 2011.
- F. Ghassemi, M. Talebi, A. Movaghar, and Wan Fokkink, "Stochastic Restricted Broadcast Process Theory", in Proc. 8th European Performance Engineering Workshop - EPEW'11, , Borrowdale, LNCS 6977, pp. 72-86, Springer-Verlag, 2011.
- F. Ghassemi, W. Fokkink, and A. Movaghar, "Equational Reasoning on Mobile Ad Hoc Networks", Fundamenta Informaticae, Vol. 105, No. 4, pp. 375-415, 2010.
- F. Ghassemi, A. Movaghar, and W. Fokkink, "Towards Performance Evaluation of Mobile Ad Hoc Network Protocols", in Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10, Braga, pp. 85-92, IEEE Computer Society, 2010.
- F. Ghassemi, W. Fokkink, and A. Movaghar, "Equational Reasoning on Ad Hoc Networks", Proc. 3rd Conference on Fundamentals of Software Engineering - FSEN' 09, LNCS 5961, pp. 113-128, Springer-Verlag, 2009.
- F. Ghassemi, W. Fokkink, and A. Movaghar, "Restricted Broadcast Process Theory", in Proc. 6th Conference on Software Engineering and Formal Methods - SEFM'08, Cape Town, pp. 345-354, IEEE , 2008.
- F. Ghassemi, and A. Movaghar, "Modeling Routing Protocols in Adhoc Networks", in Proc. of 13th International Computer Conference of CSI - CSICC'08, Kish, Vol. 6, pp. 419-426, Springer, 2008.
- A. Ghassempouri, F. Ghassemi, and A. Movaghar, "A New Tool for Model Checking of Probabilistic Constraint Automata", in Proc. 13th International Computer Conference of CSI -CSICC'08, Kish, 2008 (in Persian).
- F. Ghassemi, and A. Movaghar, "Formal Modeling Routing Protocols in Mobile Ad Hoc Networks", CSI Journal on Computer Science and Engineering, Vol. 5, No. 2&4 (b), pp. 46-55, 2007.
- A. Shamsaie, J. Habibi, and F. Ghassemi, "Tierpeer: A Three-Tier Framework for P2P Applications", International Journal of Computer Science and Network Security, Vol. 7, No. 2, pp. 292-301, 2007.
- F. Ghassemi, N. Nematbakhsh, B. Tork Ladani, and M. Sirjani, "Specification and Implementation of Multi-Agent Organizations", in Proc. of the Second International Conference on Web Information Systems and Technologies: Internet Technology, Web Interface and Applications- WEBST'06, Portugal, pp. 447-453, INSTICC Press, 2006.
- F. Ghassemi, N. Nemat-Bakhsh, B. Tork Ladani, and M. Sirjani, "A Formal Model for Coordination Behavior of the Organization in Multi Agent Systems", in Proc. 2nd International Conference on Information & Communication Technologies: from Theory to Applications, Syria, IEEE, 2006.
- F. Ghassemi, N. Nemat-Bakhsh, B. Tork Ladani, and M. Sirjani, "A Formal Model for Organization of Multi-agent Systems", in Proc. the Symposium on Information Technology Development, Esfahan, 2005.
- F. Ghassemi, S. Tasharofi, and Marjan Sirjani, "Automated Mapping of Reo Circuits to Constraint Automata", Electronic Notes in Theoretical Computer Science, Vol. 159: pp. 99-115, 2005 (Best paper Award).