BibTeX records: Fatemeh Ghassemi

download as .bib file

@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 Inf.},
  volume    = {56},
  number    = {2},
  pages     = {161--203},
  year      = {2019}
}
@article{DBLP:journals/fuin/GhassemiF19,
  author    = {Fatemeh Ghassemi and
               Wan Fokkink},
  title     = {Reliable Restricted Process Theory},
  journal   = {Fundam. Inform.},
  volume    = {165},
  number    = {1},
  pages     = {1--41},
  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}
}
@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 Asp. 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 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 Fokkink},
  title     = {Model checking mobile ad hoc networks},
  journal   = {Formal Methods in System Design},
  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. Algebr. Meth. 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 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 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 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 Fokkink and
               Ali Movaghar},
  title     = {Equational Reasoning on Mobile Ad Hoc Networks},
  journal   = {Fundam. Inform.},
  volume    = {105},
  number    = {4},
  pages     = {375--415},
  year      = {2010}
}
@inproceedings{DBLP:conf/acsd/GhassemiMF10,
  author    = {Fatemeh Ghassemi and
               Ali Movaghar and
               Wan 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 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/sefm/GhassemiFM08,
  author    = {Fatemeh Ghassemi and
               Wan Fokkink and
               Ali Movaghar},
  title     = {Restricted Broadcast Process Theory},
  booktitle = {{SEFM}},
  pages     = {345--354},
  publisher = {{IEEE} Computer Society},
  year      = {2008}
}
@article{DBLP:journals/entcs/GhassemiTS06,
  author    = {Fatemeh Ghassemi and
               Samira Tasharofi and
               Marjan Sirjani},
  title     = {Automated Mapping of Reo Circuits to Constraint Automata},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {159},
  pages     = {99--115},
  year      = {2006}
}
@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}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier