BibTeX records: Fatemeh Ghassemi

download as .bib file

@inproceedings{DBLP:conf/coordination/ZarneshanGS20,
  author    = {Mahsa Zarneshan and
               Fatemeh Ghassemi and
               Marjan Sirjani},
  editor    = {Simon Bliudze and
               Laura Bocchi},
  title     = {Formal Modeling and Analysis of Medical Systems},
  booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2020, Held as Part of the 15th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2020, Valletta, Malta, June 15-19, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12134},
  pages     = {386--402},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50029-0\_24},
  doi       = {10.1007/978-3-030-50029-0\_24},
  timestamp = {Wed, 10 Jun 2020 16:04:42 +0200},
  biburl    = {https://dblp.org/rec/conf/coordination/ZarneshanGS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/s00236-018-0317-x},
  doi       = {10.1007/s00236-018-0317-x},
  timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/acta/AbbasiGK19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GhassemiF19,
  author    = {Fatemeh Ghassemi and
               Wan J. Fokkink},
  title     = {Reliable Restricted Process Theory},
  journal   = {Fundam. Inform.},
  volume    = {165},
  number    = {1},
  pages     = {1--41},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1775},
  doi       = {10.3233/FI-2019-1775},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/GhassemiF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/j.scico.2019.03.003},
  doi       = {10.1016/j.scico.2019.03.003},
  timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/Sabahi-KavianiG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/SirjaniKG19,
  author    = {Marjan Sirjani and
               Ehsan Khamespanah and
               Fatemeh Ghassemi},
  editor    = {Floriano De Rango and
               Carlos T. Calafate and
               Miroslav Vozn{\'{a}}k and
               Alfredo Garro and
               Mauro Tropea},
  title     = {Reactive Actors: Isolation for Efficient Analysis of Distributed Systems},
  booktitle = {23rd {IEEE/ACM} International Symposium on Distributed Simulation
               and Real Time Applications {DS-RT} 2019, Cosenza, Italy, October 7-9,
               2019},
  pages     = {1--10},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/DS-RT47707.2019.8958682},
  doi       = {10.1109/DS-RT47707.2019.8958682},
  timestamp = {Fri, 31 Jan 2020 16:11:39 +0100},
  biburl    = {https://dblp.org/rec/conf/dsrt/SirjaniKG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1901.02597},
  archivePrefix = {arXiv},
  eprint    = {1901.02597},
  timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1901-02597.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SirjaniGP18,
  author    = {Marjan Sirjani and
               Fatemeh Ghassemi and
               Bahman Pourvatan},
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Jan Rutten},
  title     = {Reo Connectors and Components as Tagged Signal Models},
  booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
               Achievements of Farhad Arbab},
  series    = {Lecture Notes in Computer Science},
  volume    = {10865},
  pages     = {160--173},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-90089-6\_11},
  doi       = {10.1007/978-3-319-90089-6\_11},
  timestamp = {Sat, 19 Oct 2019 20:29:09 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/SirjaniGP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/JahandidehGS18,
  author    = {Iman Jahandideh and
               Fatemeh Ghassemi and
               Marjan Sirjani},
  editor    = {Roger D. Chamberlain and
               Walid Taha and
               Martin T{\"{o}}rngren},
  title     = {Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems},
  booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop,
               CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy,
               October 4-5, 2018, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11615},
  pages     = {3--27},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-23703-5\_1},
  doi       = {10.1007/978-3-030-23703-5\_1},
  timestamp = {Tue, 02 Jul 2019 13:02:18 +0200},
  biburl    = {https://dblp.org/rec/conf/cyphy/JahandidehGS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1811.10448},
  archivePrefix = {arXiv},
  eprint    = {1811.10448},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1811-10448.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/journals/adhoc/JahandoustG17.bib},
  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/journals/fac/YousefiGK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/RiahiKG17,
  author    = {Shahrzad Riahi and
               Ramtin Khosravi and
               Fatemeh Ghassemi},
  editor    = {Mehdi Dastani and
               Marjan Sirjani},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {10522},
  pages     = {196--211},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68972-2\_13},
  doi       = {10.1007/978-3-319-68972-2\_13},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/fsen/RiahiKG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/Sabahi-KavianiG17,
  author    = {Zeynab Sabahi{-}Kaviani and
               Fatemeh Ghassemi and
               Fateme Bajelan},
  editor    = {Mehdi Dastani and
               Marjan Sirjani},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {10522},
  pages     = {212--227},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68972-2\_14},
  doi       = {10.1007/978-3-319-68972-2\_14},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/fsen/Sabahi-KavianiG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1705.02600},
  archivePrefix = {arXiv},
  eprint    = {1705.02600},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/GhassemiF17.bib},
  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 = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1709-01786.bib},
  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 = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1709-03245.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/s10703-016-0254-7},
  doi       = {10.1007/s10703-016-0254-7},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fmsd/GhassemiF16.bib},
  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. Algebraic Methods 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 = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/GhassemiM16.bib},
  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 = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/YousefiGK16.bib},
  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},
  editor    = {Leonard Barolli and
               Makoto Takizawa and
               Fatos Xhafa and
               Tomoya Enokido and
               Jong Hyuk Park},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://doi.org/10.1109/AINA.2015.184},
  doi       = {10.1109/AINA.2015.184},
  timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl    = {https://dblp.org/rec/conf/aina/AhmadiGGM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/YousefiGK15,
  author    = {Behnaz Yousefi and
               Fatemeh Ghassemi and
               Ramtin Khosravi},
  editor    = {Mehdi Dastani and
               Marjan Sirjani},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9392},
  pages     = {69--83},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24644-4\_5},
  doi       = {10.1007/978-3-319-24644-4\_5},
  timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/fsen/YousefiGK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GhassemiAFM13,
  author    = {Fatemeh Ghassemi and
               Saeide Ahmadi and
               Wan J. Fokkink and
               Ali Movaghar},
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8161},
  pages     = {217--232},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40213-5\_14},
  doi       = {10.1007/978-3-642-40213-5\_14},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fsen/GhassemiAFM13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/j.tcs.2011.03.017},
  doi       = {10.1016/j.tcs.2011.03.017},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/GhassemiFM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/GhassemiTMF11,
  author    = {Fatemeh Ghassemi and
               Mahmoud Talebi and
               Ali Movaghar and
               Wan J. Fokkink},
  editor    = {Nigel Thomas},
  title     = {Stochastic Restricted Broadcast Process Theory},
  booktitle = {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},
  pages     = {72--86},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24749-1\_7},
  doi       = {10.1007/978-3-642-24749-1\_7},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/epew/GhassemiTMF11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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. 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 = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/GhassemiFM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GhassemiMF10,
  author    = {Fatemeh Ghassemi and
               Ali Movaghar and
               Wan J. Fokkink},
  editor    = {Lu{\'{\i}}s Gomes and
               Victor Khomenko and
               Jo{\~{a}}o M. Fernandes},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/ACSD.2010.20},
  doi       = {10.1109/ACSD.2010.20},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/GhassemiMF10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GhassemiFM09,
  author    = {Fatemeh Ghassemi and
               Wan J. Fokkink and
               Ali Movaghar},
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5961},
  pages     = {113--128},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-11623-0\_6},
  doi       = {10.1007/978-3-642-11623-0\_6},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fsen/GhassemiFM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GhassemiFM08,
  author    = {Fatemeh Ghassemi and
               Wan J. Fokkink and
               Ali Movaghar},
  editor    = {Antonio Cerone and
               Stefan Gruner},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://doi.org/10.1109/SEFM.2008.25},
  doi       = {10.1109/SEFM.2008.25},
  timestamp = {Mon, 18 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/GhassemiFM08.bib},
  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   = {Electron. 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 = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/GhassemiTS06.bib},
  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},
  editor    = {Jos{\'{e}} A. Moinhos Cordeiro and
               Vitor Pedrosa and
               Bruno Encarna{\c{c}}{\~{a}}o and
               Joaquim Filipe},
  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},
  publisher = {{INSTICC} Press},
  year      = {2006},
  timestamp = {Wed, 01 Apr 2009 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/webist/GhassemiBLS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics