BibTeX records: Zeynab Sabahi-Kaviani

download as .bib file

@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/eceasst/KhamespanahSMSR15,
  author    = {Ehsan Khamespanah and
               Marjan Sirjani and
               Mohammad Reza Mousavi and
               Zeynab Sabahi{-}Kaviani and
               Mohamadreza Razzazi},
  title     = {State Distribution Policy for Distributed Model Checking of Actor
               Models},
  journal   = {{ECEASST}},
  volume    = {72},
  year      = {2015},
  url       = {https://doi.org/10.14279/tuj.eceasst.72.1022},
  doi       = {10.14279/tuj.eceasst.72.1022},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/KhamespanahSMSR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KhamespanahSSKI15,
  author    = {Ehsan Khamespanah and
               Marjan Sirjani and
               Zeynab Sabahi{-}Kaviani and
               Ramtin Khosravi and
               Mohammad{-}Javad Izadi},
  title     = {Timed Rebeca schedulability and deadlock freedom analysis using bounded
               floating time transition system},
  journal   = {Sci. Comput. Program.},
  volume    = {98},
  pages     = {184--204},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2014.07.005},
  doi       = {10.1016/j.scico.2014.07.005},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/KhamespanahSSKI15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Sabahi-KavianiK15,
  author    = {Zeynab Sabahi{-}Kaviani and
               Ramtin Khosravi and
               Peter Csaba {\"{O}}lveczky and
               Ehsan Khamespanah and
               Marjan Sirjani},
  title     = {Formal semantics and efficient analysis of Timed Rebeca in Real-Time
               Maude},
  journal   = {Sci. Comput. Program.},
  volume    = {113},
  pages     = {85--118},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.07.003},
  doi       = {10.1016/j.scico.2015.07.003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/Sabahi-KavianiK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Sabahi-KavianiKSOK13,
  author    = {Zeynab Sabahi{-}Kaviani and
               Ramtin Khosravi and
               Marjan Sirjani and
               Peter Csaba {\"{O}}lveczky and
               Ehsan Khamespanah},
  title     = {Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  pages     = {178--194},
  year      = {2013},
  crossref  = {DBLP:conf/ftscs/2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_12},
  doi       = {10.1007/978-3-319-05416-2\_12},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/Sabahi-KavianiKSOK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/KhamespanahSKSI12,
  author    = {Ehsan Khamespanah and
               Zeynab Sabahi{-}Kaviani and
               Ramtin Khosravi and
               Marjan Sirjani and
               Mohammad{-}Javad Izadi},
  title     = {Timed-rebeca schedulability and deadlock-freedom analysis using floating-time
               transition system},
  booktitle = {Proceedings of the 2nd edition on Programming systems, languages and
               applications based on actors, agents, and decentralized control abstractions,
               AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  pages     = {23--34},
  year      = {2012},
  crossref  = {DBLP:conf/agere/2012},
  url       = {https://doi.org/10.1145/2414639.2414645},
  doi       = {10.1145/2414639.2414645},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/KhamespanahSKSI12},
  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/ftscs/2013,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05416-2},
  doi       = {10.1007/978-3-319-05416-2},
  isbn      = {978-3-319-05415-5},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftscs/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2012,
  editor    = {Gul A. Agha and
               Rafael H. Bordini and
               Assaf Marron and
               Alessandro Ricci},
  title     = {Proceedings of the 2nd edition on Programming systems, languages and
               applications based on actors, agents, and decentralized control abstractions,
               AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2414639},
  isbn      = {978-1-4503-1630-9},
  timestamp = {Wed, 23 Apr 2014 20:19:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agere/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier