BibTeX records: Fatemeh Ghassemi

download as .bib file

@incollection{DBLP:books/sp/24/KhosraviKGS24,
  author       = {Ramtin Khosravi and
                  Ehsan Khamespanah and
                  Fatemeh Ghassemi and
                  Marjan Sirjani},
  title        = {Actors Upgraded for Variability, Adaptability, and Determinism},
  booktitle    = {Active Object Languages: Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {14360},
  pages        = {226--260},
  publisher    = {Springer},
  year         = {2024}
}

@article{DBLP:journals/acta/SamadiGK23,
  author       = {Mahboubeh Samadi and
                  Fatemeh Ghassemi and
                  Ramtin Khosravi},
  title        = {Decentralized runtime verification of message sequences in message-based
                  systems},
  journal      = {Acta Informatica},
  volume       = {60},
  number       = {2},
  pages        = {145--178},
  year         = {2023}
}

@inproceedings{DBLP:conf/icse-formalise/GhassemiSKMH23,
  author       = {Fatemeh Ghassemi and
                  Marjan Sirjani and
                  Ehsan Khamespanah and
                  Mahrokh Mirani and
                  Hossein Hojjat},
  title        = {Transparent Actor Model},
  booktitle    = {FormaliSE},
  pages        = {97--107},
  publisher    = {{IEEE}},
  year         = {2023}
}

@inproceedings{DBLP:conf/networking/MarzaniGSES23,
  author       = {Fatemeh Marzani and
                  Fatemeh Ghassemi and
                  Zeynab Sabahi{-}Kaviani and
                  Thijs van Ede and
                  Maarten van Steen},
  title        = {Mobile App Fingerprinting through Automata Learning and Machine Learning},
  booktitle    = {{IFIP} Networking},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2023}
}

@article{DBLP:journals/lmcs/ZarneshanGKSH22,
  author       = {Mahsa Zarneshan and
                  Fatemeh Ghassemi and
                  Ehsan Khamespanah and
                  Marjan Sirjani and
                  John Hatcliff},
  title        = {Specification and Verification of Timing Properties in Interoperable
                  Medical Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {18},
  number       = {2},
  year         = {2022}
}

@article{DBLP:journals/logcom/MoezkarimiGM22,
  author       = {Zahra Moezkarimi and
                  Fatemeh Ghassemi and
                  Mohammad Reza Mousavi},
  title        = {A policy-aware epistemic framework for social networks},
  journal      = {J. Log. Comput.},
  volume       = {32},
  number       = {6},
  pages        = {1234--1271},
  year         = {2022}
}

@article{DBLP:journals/sosym/JahandidehGS21,
  author       = {Iman Jahandideh and
                  Fatemeh Ghassemi and
                  Marjan Sirjani},
  title        = {An actor-based framework for asynchronous event-based cyber-physical
                  systems},
  journal      = {Softw. Syst. Model.},
  volume       = {20},
  number       = {3},
  pages        = {641--665},
  year         = {2021}
}

@inproceedings{DBLP:conf/coordination/ZarneshanGS20,
  author       = {Mahsa Zarneshan and
                  Fatemeh Ghassemi and
                  Marjan Sirjani},
  title        = {Formal Modeling and Analysis of Medical Systems},
  booktitle    = {{COORDINATION}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12134},
  pages        = {386--402},
  publisher    = {Springer},
  year         = {2020}
}

@inproceedings{DBLP:conf/opodis/SamadiGK20,
  author       = {Mahboubeh Samadi and
                  Fatemeh Ghassemi and
                  Ramtin Khosravi},
  title        = {Decentralized Runtime Enforcement of Message Sequences in Message-Based
                  Systems},
  booktitle    = {{OPODIS}},
  series       = {LIPIcs},
  volume       = {184},
  pages        = {21:1--21:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020}
}

@inproceedings{DBLP:conf/ttcs/Sabahi-KavianiG20,
  author       = {Zeynab Sabahi{-}Kaviani and
                  Fatemeh Ghassemi and
                  Zahra Alimadadi},
  title        = {Combining Machine and Automata Learning for Network Traffic Classification},
  booktitle    = {{TTCS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  pages        = {17--31},
  publisher    = {Springer},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2012-04025,
  author       = {Mahsa Zarneshan and
                  Fatemeh Ghassemi and
                  Ehsan Khamespanah and
                  Marjan Sirjani and
                  John Hatcliff},
  title        = {Specification and Verification of Timing Properties in Interoperable
                  Medical Systems},
  journal      = {CoRR},
  volume       = {abs/2012.04025},
  year         = {2020}
}

@article{DBLP:journals/acta/AbbasiGK19,
  author       = {Rosa Abbasi and
                  Fatemeh Ghassemi and
                  Ramtin Khosravi},
  title        = {Verification of asynchronous systems with an unspecified component},
  journal      = {Acta Informatica},
  volume       = {56},
  number       = {2},
  pages        = {161--203},
  year         = {2019}
}

@article{DBLP:journals/fuin/GhassemiF19,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink},
  title        = {Reliable Restricted Process Theory},
  journal      = {Fundam. Informaticae},
  volume       = {165},
  number       = {1},
  pages        = {1--41},
  year         = {2019}
}

@article{DBLP:journals/scp/Sabahi-KavianiG19,
  author       = {Zeynab Sabahi{-}Kaviani and
                  Fatemeh Ghassemi},
  title        = {Behavioral model identification and classification of multi-component
                  systems},
  journal      = {Sci. Comput. Program.},
  volume       = {177},
  pages        = {41--66},
  year         = {2019}
}

@inproceedings{DBLP:conf/dsrt/SirjaniKG19,
  author       = {Marjan Sirjani and
                  Ehsan Khamespanah and
                  Fatemeh Ghassemi},
  title        = {Reactive Actors: Isolation for Efficient Analysis of Distributed Systems},
  booktitle    = {{DS-RT}},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1901-02597,
  author       = {Iman Jahandideh and
                  Fatemeh Ghassemi and
                  Marjan Sirjani},
  title        = {Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems},
  journal      = {CoRR},
  volume       = {abs/1901.02597},
  year         = {2019}
}

@inproceedings{DBLP:conf/birthday/SirjaniGP18,
  author       = {Marjan Sirjani and
                  Fatemeh Ghassemi and
                  Bahman Pourvatan},
  title        = {Reo Connectors and Components as Tagged Signal Models},
  booktitle    = {It's All About Coordination},
  series       = {Lecture Notes in Computer Science},
  volume       = {10865},
  pages        = {160--173},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/cyphy/JahandidehGS18,
  author       = {Iman Jahandideh and
                  Fatemeh Ghassemi and
                  Marjan Sirjani},
  title        = {Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems},
  booktitle    = {CyPhy/WESE},
  series       = {Lecture Notes in Computer Science},
  volume       = {11615},
  pages        = {3--27},
  publisher    = {Springer},
  year         = {2018}
}

@article{DBLP:journals/corr/abs-1811-10448,
  author       = {Ehsan Edalat and
                  Babak Sadeghiyan and
                  Fatemeh Ghassemi},
  title        = {ConsiDroid: {A} Concolic-based Tool for Detecting {SQL} Injection
                  Vulnerability in Android Apps},
  journal      = {CoRR},
  volume       = {abs/1811.10448},
  year         = {2018}
}

@article{DBLP:journals/adhoc/JahandoustG17,
  author       = {Ghazaleh Jahandoust and
                  Fatemeh Ghassemi},
  title        = {An adaptive sinkhole aware algorithm in wireless sensor networks},
  journal      = {Ad Hoc Networks},
  volume       = {59},
  pages        = {24--34},
  year         = {2017}
}

@article{DBLP:journals/fac/YousefiGK17,
  author       = {Behnaz Yousefi and
                  Fatemeh Ghassemi and
                  Ramtin Khosravi},
  title        = {Modeling and efficient verification of wireless ad hoc networks},
  journal      = {Formal Aspects Comput.},
  volume       = {29},
  number       = {6},
  pages        = {1051--1086},
  year         = {2017}
}

@inproceedings{DBLP:conf/fsen/RiahiKG17,
  author       = {Shahrzad Riahi and
                  Ramtin Khosravi and
                  Fatemeh Ghassemi},
  title        = {Purpose-Based Policy Enforcement in Actor-Based Systems},
  booktitle    = {{FSEN}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10522},
  pages        = {196--211},
  publisher    = {Springer},
  year         = {2017}
}

@inproceedings{DBLP:conf/fsen/Sabahi-KavianiG17,
  author       = {Zeynab Sabahi{-}Kaviani and
                  Fatemeh Ghassemi and
                  Fateme Bajelan},
  title        = {Automatic Transition System Model Identification for Network Applications
                  from Packet Traces},
  booktitle    = {{FSEN}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10522},
  pages        = {212--227},
  publisher    = {Springer},
  year         = {2017}
}

@article{DBLP:journals/corr/GhassemiF17,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink},
  title        = {Reliable Restricted Process Theory},
  journal      = {CoRR},
  volume       = {abs/1705.02600},
  year         = {2017}
}

@article{DBLP:journals/corr/abs-1709-01786,
  author       = {Behnaz Yousefi and
                  Fatemeh Ghassemi},
  title        = {An Efficient Loop-free Version of ADOVv2},
  journal      = {CoRR},
  volume       = {abs/1709.01786},
  year         = {2017}
}

@article{DBLP:journals/corr/abs-1709-03245,
  author       = {Rosa Abbasi and
                  Fatemeh Ghassemi and
                  Ramtin Khosravi},
  title        = {Verification of Asynchronous Systems with an Unspecified Component},
  journal      = {CoRR},
  volume       = {abs/1709.03245},
  year         = {2017}
}

@article{DBLP:journals/fmsd/GhassemiF16,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink},
  title        = {Model checking mobile ad hoc networks},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {3},
  pages        = {159--189},
  year         = {2016}
}

@article{DBLP:journals/jlp/GhassemiM16,
  author       = {Fatemeh Ghassemi and
                  Mohammad Reza Mousavi},
  title        = {Product line process theory},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {1},
  pages        = {200--226},
  year         = {2016}
}

@article{DBLP:journals/corr/YousefiGK16,
  author       = {Behnaz Yousefi and
                  Fatemeh Ghassemi and
                  Ramtin Khosravi},
  title        = {Modeling and Efficient Verification of Wireless Ad hoc Networks},
  journal      = {CoRR},
  volume       = {abs/1604.07179},
  year         = {2016}
}

@inproceedings{DBLP:conf/aina/AhmadiGGM15,
  author       = {Mahdieh Ahmadi and
                  Mohammed Gharib and
                  Fatemeh Ghassemi and
                  Ali Movaghar},
  title        = {Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc
                  Networks Using Subjective Logic},
  booktitle    = {{AINA}},
  pages        = {185--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2015}
}

@inproceedings{DBLP:conf/fsen/YousefiGK15,
  author       = {Behnaz Yousefi and
                  Fatemeh Ghassemi and
                  Ramtin Khosravi},
  title        = {Modeling and Efficient Verification of Broadcasting Actors},
  booktitle    = {{FSEN}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9392},
  pages        = {69--83},
  publisher    = {Springer},
  year         = {2015}
}

@inproceedings{DBLP:conf/fsen/GhassemiAFM13,
  author       = {Fatemeh Ghassemi and
                  Saeide Ahmadi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  title        = {Model Checking MANETs with Arbitrary Mobility},
  booktitle    = {{FSEN}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8161},
  pages        = {217--232},
  publisher    = {Springer},
  year         = {2013}
}

@article{DBLP:journals/tcs/GhassemiFM11,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  title        = {Verification of mobile ad hoc networks: An algebraic approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {28},
  pages        = {3262--3282},
  year         = {2011}
}

@inproceedings{DBLP:conf/epew/GhassemiTMF11,
  author       = {Fatemeh Ghassemi and
                  Mahmoud Talebi and
                  Ali Movaghar and
                  Wan J. Fokkink},
  title        = {Stochastic Restricted Broadcast Process Theory},
  booktitle    = {{EPEW}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6977},
  pages        = {72--86},
  publisher    = {Springer},
  year         = {2011}
}

@article{DBLP:journals/fuin/GhassemiFM10,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  title        = {Equational Reasoning on Mobile Ad Hoc Networks},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {4},
  pages        = {375--415},
  year         = {2010}
}

@inproceedings{DBLP:conf/acsd/GhassemiMF10,
  author       = {Fatemeh Ghassemi and
                  Ali Movaghar and
                  Wan J. Fokkink},
  title        = {Towards Performance Evaluation of Mobile Ad Hoc Network Protocols},
  booktitle    = {{ACSD}},
  pages        = {85--92},
  publisher    = {{IEEE} Computer Society},
  year         = {2010}
}

@inproceedings{DBLP:conf/fsen/GhassemiFM09,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  title        = {Equational Reasoning on Ad Hoc Networks},
  booktitle    = {{FSEN}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5961},
  pages        = {113--128},
  publisher    = {Springer},
  year         = {2009}
}

@inproceedings{DBLP:conf/csicc/GhassemiM08,
  author       = {Fatemeh Ghassemi and
                  Ali Movaghar},
  title        = {Modeling Routing Protocols in Adhoc Networks},
  booktitle    = {{CSICC}},
  series       = {Communications in Computer and Information Science},
  volume       = {6},
  pages        = {419--426},
  year         = {2008}
}

@inproceedings{DBLP:conf/sefm/GhassemiFM08,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  title        = {Restricted Broadcast Process Theory},
  booktitle    = {{SEFM}},
  pages        = {345--354},
  publisher    = {{IEEE} Computer Society},
  year         = {2008}
}

@inproceedings{DBLP:conf/webist/GhassemiBLS06,
  author       = {Fatemeh Ghassemi and
                  Naser Nematbakhsh and
                  Behrouz Tork Ladani and
                  Marjan Sirjani},
  title        = {Specification and Implementation of Multi-Agent Organizations},
  booktitle    = {{WEBIST} {(1)}},
  pages        = {447--453},
  publisher    = {{INSTICC} Press},
  year         = {2006}
}

@inproceedings{DBLP:journals/entcs/GhassemiTS06,
  author       = {Fatemeh Ghassemi and
                  Samira Tasharofi and
                  Marjan Sirjani},
  title        = {Automated Mapping of Reo Circuits to Constraint Automata},
  booktitle    = {{FSEN}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {159},
  pages        = {99--115},
  publisher    = {Elsevier},
  year         = {2005}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.