Research Interests

• Formal methods in software engineering, Protocol verification, Model checking, Process algebra, Formal modeling and analysis of cyber-physical systems, Theory of programming languages, Software testing.

Professional Activities

• Current: FM 2021 (PC), FSEN 2021 (PC).
• Past: COORDINATION 2020 (PC),  FM 2019 (PC),  FSEN 2019 (PC),  COORDINATION 2019 (PC),  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

• Z. Sabahi, F. Ghassemi, Z. Alimadadi, "Combining Machine and Automata Learning for Network Traffic Classification", in Proc. Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, LNCS 12281, pp. 1-15, Springer, 2020
• M. Zarneshan, F. Ghassemi, M. Sirjani, "Formal Modeling and Analysis of Medical Systems", in Proc. 22nd International Conference on Coordination Models and Language, LNCS 12134, pp. 386-402, Springer, 2020
• M. Sirjani, E. Khamespanah, F.Ghassemi, "Reactive Actors: Isolation for Efficient Analysis of Distributed Systems", in Proc. IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, pp. 1-10, 2019.
• A. Shamsaie, H. Habibi, E. Abdi, F. Ghassemi, "RUbIn: A framework for reliable and ubiquitous inference in WSNs", Scientia Iranica, Vol. 26, No. 6, pp. 3540-3555, 2019
• S. Sabahi and F. Ghassemi, "Behavioral Model Identification and Classification 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", in 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).