BibTeX records: Fatemeh Ghassemi

download as .bib file

@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},
  url       = {https://doi.org/10.1016/j.adhoc.2017.01.002},
  doi       = {10.1016/j.adhoc.2017.01.002},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/adhoc/JahandoustG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/s00165-017-0429-z},
  doi       = {10.1007/s00165-017-0429-z},
  timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fac/YousefiGK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/RiahiKG17,
  author    = {Shahrzad Riahi and
               Ramtin Khosravi and
               Fatemeh Ghassemi},
  title     = {Purpose-Based Policy Enforcement in Actor-Based Systems},
  booktitle = {Fundamentals of Software Engineering - 7th International Conference,
               {FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
  pages     = {196--211},
  year      = {2017},
  crossref  = {DBLP:conf/fsen/2017},
  url       = {https://doi.org/10.1007/978-3-319-68972-2_13},
  doi       = {10.1007/978-3-319-68972-2_13},
  timestamp = {Thu, 12 Oct 2017 10:40:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/RiahiKG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Fundamentals of Software Engineering - 7th International Conference,
               {FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
  pages     = {212--227},
  year      = {2017},
  crossref  = {DBLP:conf/fsen/2017},
  url       = {https://doi.org/10.1007/978-3-319-68972-2_14},
  doi       = {10.1007/978-3-319-68972-2_14},
  timestamp = {Thu, 12 Oct 2017 10:40:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/Sabahi-KavianiG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhassemiF17,
  author    = {Fatemeh Ghassemi and
               Wan Fokkink},
  title     = {Reliable Restricted Process Theory},
  journal   = {CoRR},
  volume    = {abs/1705.02600},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.02600},
  archivePrefix = {arXiv},
  eprint    = {1705.02600},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GhassemiF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1709.01786},
  archivePrefix = {arXiv},
  eprint    = {1709.01786},
  timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-01786},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1709.03245},
  archivePrefix = {arXiv},
  eprint    = {1709.03245},
  timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-03245},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/s10703-016-0254-7},
  doi       = {10.1007/s10703-016-0254-7},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/GhassemiF16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/j.jlamp.2015.09.008},
  doi       = {10.1016/j.jlamp.2015.09.008},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/GhassemiM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1604.07179},
  archivePrefix = {arXiv},
  eprint    = {1604.07179},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/YousefiGK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {29th {IEEE} International Conference on Advanced Information Networking
               and Applications, {AINA} 2015, Gwangju, South Korea, March 24-27,
               2015},
  pages     = {185--192},
  year      = {2015},
  crossref  = {DBLP:conf/aina/2015},
  url       = {https://doi.org/10.1109/AINA.2015.184},
  doi       = {10.1109/AINA.2015.184},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/AhmadiGGM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/YousefiGK15,
  author    = {Behnaz Yousefi and
               Fatemeh Ghassemi and
               Ramtin Khosravi},
  title     = {Modeling and Efficient Verification of Broadcasting Actors},
  booktitle = {Fundamentals of Software Engineering - 6th International Conference,
               {FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
  pages     = {69--83},
  year      = {2015},
  crossref  = {DBLP:conf/fsen/2015},
  url       = {https://doi.org/10.1007/978-3-319-24644-4_5},
  doi       = {10.1007/978-3-319-24644-4_5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/YousefiGK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Fundamentals of Software Engineering - 5th International Conference,
               {FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
  pages     = {217--232},
  year      = {2013},
  crossref  = {DBLP:conf/fsen/2013},
  url       = {https://doi.org/10.1007/978-3-642-40213-5_14},
  doi       = {10.1007/978-3-642-40213-5_14},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/GhassemiAFM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/j.tcs.2011.03.017},
  doi       = {10.1016/j.tcs.2011.03.017},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/GhassemiFM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/GhassemiTMF11,
  author    = {Fatemeh Ghassemi and
               Mahmoud Talebi and
               Ali Movaghar and
               Wan Fokkink},
  title     = {Stochastic Restricted Broadcast Process Theory},
  booktitle = {Computer Performance Engineering - 8th European Performance Engineering
               Workshop, {EPEW} 2011, Borrowdale, UK, October 12-13, 2011. Proceedings},
  pages     = {72--86},
  year      = {2011},
  crossref  = {DBLP:conf/epew/2011},
  url       = {https://doi.org/10.1007/978-3-642-24749-1_7},
  doi       = {10.1007/978-3-642-24749-1_7},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/GhassemiTMF11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.3233/FI-2010-371},
  doi       = {10.3233/FI-2010-371},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/GhassemiFM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {10th International Conference on Application of Concurrency to System
               Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
  pages     = {85--92},
  year      = {2010},
  crossref  = {DBLP:conf/acsd/2010},
  url       = {https://doi.org/10.1109/ACSD.2010.20},
  doi       = {10.1109/ACSD.2010.20},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/GhassemiMF10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GhassemiFM09,
  author    = {Fatemeh Ghassemi and
               Wan Fokkink and
               Ali Movaghar},
  title     = {Equational Reasoning on Ad Hoc Networks},
  booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
               {FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
               Papers},
  pages     = {113--128},
  year      = {2009},
  crossref  = {DBLP:conf/fsen/2009},
  url       = {https://doi.org/10.1007/978-3-642-11623-0_6},
  doi       = {10.1007/978-3-642-11623-0_6},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/GhassemiFM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GhassemiFM08,
  author    = {Fatemeh Ghassemi and
               Wan Fokkink and
               Ali Movaghar},
  title     = {Restricted Broadcast Process Theory},
  booktitle = {Sixth {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
               2008},
  pages     = {345--354},
  year      = {2008},
  crossref  = {DBLP:conf/sefm/2008},
  url       = {https://doi.org/10.1109/SEFM.2008.25},
  doi       = {10.1109/SEFM.2008.25},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/GhassemiFM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/j.entcs.2005.12.064},
  doi       = {10.1016/j.entcs.2005.12.064},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GhassemiTS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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} 2006, Proceedings of the Second International Conference
               on Web Information Systems and Technologies: Internet Technology /
               Web Interface and Applications, Set{\'{u}}bal, Portugal, April
               11-13, 2006},
  pages     = {447--453},
  year      = {2006},
  crossref  = {DBLP:conf/webist/2006-1},
  timestamp = {Wed, 01 Apr 2009 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/webist/GhassemiBLS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2017,
  editor    = {Mehdi Dastani and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering - 7th International Conference,
               {FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10522},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68972-2},
  doi       = {10.1007/978-3-319-68972-2},
  isbn      = {978-3-319-68971-5},
  timestamp = {Thu, 12 Oct 2017 10:40:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aina/2015,
  editor    = {Leonard Barolli and
               Makoto Takizawa and
               Fatos Xhafa and
               Tomoya Enokido and
               Jong Hyuk Park},
  title     = {29th {IEEE} International Conference on Advanced Information Networking
               and Applications, {AINA} 2015, Gwangju, South Korea, March 24-27,
               2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7095453},
  isbn      = {978-1-4799-7905-9},
  timestamp = {Wed, 27 Apr 2016 17:41:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2015,
  editor    = {Mehdi Dastani and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering - 6th International Conference,
               {FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9392},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24644-4},
  doi       = {10.1007/978-3-319-24644-4},
  isbn      = {978-3-319-24643-7},
  timestamp = {Sun, 21 May 2017 00:18:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2013,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering - 5th International Conference,
               {FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8161},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40213-5},
  doi       = {10.1007/978-3-642-40213-5},
  isbn      = {978-3-642-40212-8},
  timestamp = {Sun, 21 May 2017 00:18:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2011,
  editor    = {Nigel Thomas},
  title     = {Computer Performance Engineering - 8th European Performance Engineering
               Workshop, {EPEW} 2011, Borrowdale, UK, October 12-13, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6977},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24749-1},
  doi       = {10.1007/978-3-642-24749-1},
  isbn      = {978-3-642-24748-4},
  timestamp = {Wed, 24 May 2017 08:27:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2010,
  editor    = {Lu{\'{\i}}s Gomes and
               Victor Khomenko and
               Jo{\~{a}}o M. Fernandes},
  title     = {10th International Conference on Application of Concurrency to System
               Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5552634},
  isbn      = {978-0-7695-4066-5},
  timestamp = {Tue, 01 Mar 2016 11:42:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2009,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering, Third {IPM} International Conference,
               {FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5961},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11623-0},
  doi       = {10.1007/978-3-642-11623-0},
  isbn      = {978-3-642-11622-3},
  timestamp = {Sun, 21 May 2017 00:18:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2008,
  editor    = {Antonio Cerone and
               Stefan Gruner},
  title     = {Sixth {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
               2008},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4685778},
  isbn      = {978-0-7695-3437-4},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/webist/2006-1,
  editor    = {Jos{\'{e}} A. Moinhos Cordeiro and
               Vitor Pedrosa and
               Bruno Encarna{\c{c}}{\~{a}}o and
               Joaquim Filipe},
  title     = {{WEBIST} 2006, Proceedings of the Second International Conference
               on Web Information Systems and Technologies: Internet Technology /
               Web Interface and Applications, Set{\'{u}}bal, Portugal, April
               11-13, 2006},
  publisher = {{INSTICC} Press},
  year      = {2006},
  isbn      = {978-972-8865-46-7},
  timestamp = {Mon, 18 Sep 2006 11:02:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/webist/2006-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier