Fatemeh Ghassemi - Home Page

Fatemeh Ghassemi

Assistant Professor

School of Electrical and Computer Engineering
University of Tehran
N. Kargar Ave., Tehran, Iran.
Email: fghassemi "at" ut "dot" ac "dot" ir
Tel: +98 (21) 8208 4995
[DBLP][Google Scholar][Curriculum Vitae]

Research Interests

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

Professional Activities

Current: FSEN 2023 (PC), FACS 2022 (PC), RTEST 2022 (PC), COORD 2022 (PC), FORTE 2022 (PC),
Past:FACS 2021 (PC), FM 2019, 2021 (PC), FSEN 2011,2013,2015,2017,2019, 2021 (PC), COORDINATION 2019,2021 (PC), RTEST 2018 (Publication chair), TTCS 2015, 2017 (PC), iFMCloud 2016 (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

M Zarneshan, F. Ghassemi, E. Khamespanah, M. Sirjani, and J. Hatcliff, "Specification and Verification of Timing Properties in Interoperable Medical Systems", Logical Methods in Computer Science, Vol. 18, No. 2, pp. 13:1-13:37, 2022.
Z. Moezkarimi, F. Ghassemi, and MR Mousavi, "A Policy-Aware Epistemic Framework for Social Networks", Journal of Logic and Computation, 2022.
I. Jahandideh, F. Ghassemi, and M. Sirjani, "An actor-based framework for asynchronous event-based cyber-physical systems", Software and Systems Modeling, Vol. 20, No. 3, pp.641-665, 2021.
M. Samadi, F. Ghassemi, and R. Khosravi, "Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems", Proc. 24th International Conference on Principles of Distributed Systems, Vol. 184, LIPIcs, pp.21:1-21:18, 2021.
Z. Sabahi, F. Ghassemi, and Z. Alimadadi, "Combining Machine and Automata Learning for Network Traffic Classification", Proc. Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science – TTCS’20, LNCS 122814, pp.1-15, Springer, 2020.
M. Zarneshan, F. Ghassemi, and M. Sirjani, "Formal Modeling and Analysis of Medical Systems", Proc. 22nd International Conference on Coordination Models and Language – COORD’20, LNCS 12134, pp.386-402, Springer, 2020.
M. Sirjani, E. Khamespanah, and F. Ghassemi, "Reactive Actors: Isolation for Efficient Analysis of Distributed Systems", Proc. IEEE/ACM 23rd International symbosium on Distributed Simulation and Real Time Applications, pp.1-10, 2019.
A. Shamsaie, H. Habibi, E. Abdi, and F. Ghassemi, "RUbIn: A framework for reliable and ubiquitous inference in WSNs", Scientia Iranica, Vol. 26, No. 6, pp.3520-3555, 2019.
S. Sabahi and F. Ghassemi, "Behavioral Model Identiﬁcation and Classiﬁcation of Multi-component Systems", Science of Computer Programming, Vol. 177, pp.41-66, 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).