BibTeX records: Ramtin Khosravi

download as .bib file

@inproceedings{DBLP:conf/spin/MellatiKK17,
  author    = {Pouria Mellati and
               Ehsan Khamespanah and
               Ramtin Khosravi},
  title     = {LeeTL: {LTL} with quantifications over model objects},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  pages     = {41--49},
  year      = {2017},
  crossref  = {DBLP:conf/spin/2017},
  url       = {http://doi.acm.org/10.1145/3092282.3092294},
  doi       = {10.1145/3092282.3092294},
  timestamp = {Wed, 16 Aug 2017 09:59:03 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/spin/MellatiKK17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/taros/SheshkalaniKM17,
  author    = {Ali Narenji Sheshkalani and
               Ramtin Khosravi and
               Mayssam Mohammadi},
  title     = {Verification of Visibility-Based Properties on Multiple Moving Robots},
  booktitle = {Towards Autonomous Robotic Systems - 18th Annual Conference, {TAROS}
               2017, Guildford, UK, July 19-21, 2017, Proceedings},
  pages     = {51--65},
  year      = {2017},
  crossref  = {DBLP:conf/taros/2017},
  url       = {https://doi.org/10.1007/978-3-319-64107-2_5},
  doi       = {10.1007/978-3-319-64107-2_5},
  timestamp = {Wed, 19 Jul 2017 14:55:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/taros/SheshkalaniKM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/facs2/2016,
  editor    = {Olga Kouchnarenko and
               Ramtin Khosravi},
  title     = {Formal Aspects of Component Software - 13th International Conference,
               {FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10231},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-57666-4},
  doi       = {10.1007/978-3-319-57666-4},
  isbn      = {978-3-319-57665-7},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/2016},
  bibsource = {dblp computer science bibliography, http://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},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/YousefiGK16},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/journals/scp/KhamespanahSSKI15},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/journals/scp/Sabahi-KavianiK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sosym/NorooziKMW15,
  author    = {Neda Noroozi and
               Ramtin Khosravi and
               Mohammad Reza Mousavi and
               Tim A. C. Willemse},
  title     = {Synchrony and asynchrony in conformance testing},
  journal   = {Software and System Modeling},
  volume    = {14},
  number    = {1},
  pages     = {149--172},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10270-012-0302-8},
  doi       = {10.1007/s10270-012-0302-8},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sosym/NorooziKMW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/agere/ZakeriyanKSK15,
  author    = {Arvin Zakeriyan and
               Ehsan Khamespanah and
               Marjan Sirjani and
               Ramtin Khosravi},
  title     = {Jacco: more efficient model checking toolset for Java actor programs},
  booktitle = {Proceedings of the 5th International Workshop on Programming Based
               on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh,
               PA, USA, October 26, 2015},
  pages     = {37--44},
  year      = {2015},
  crossref  = {DBLP:conf/agere/2015},
  url       = {http://doi.acm.org/10.1145/2824815.2824819},
  doi       = {10.1145/2824815.2824819},
  timestamp = {Tue, 03 Nov 2015 15:26:34 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agere/ZakeriyanKSK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KhedriK15,
  author    = {Niloofar Khedri and
               Ramtin Khosravi},
  title     = {Incremental Variability Management in Conceptual Data Models of Software
               Product Lines},
  booktitle = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New
               Delhi, India, December 1-4, 2015},
  pages     = {222--229},
  year      = {2015},
  crossref  = {DBLP:conf/apsec/2015},
  url       = {https://doi.org/10.1109/APSEC.2015.19},
  doi       = {10.1109/APSEC.2015.19},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/KhedriK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/facs2/KhamespanahSVK15,
  author    = {Ehsan Khamespanah and
               Marjan Sirjani and
               Mahesh Viswanathan and
               Ramtin Khosravi},
  title     = {Floating Time Transition System: More Efficient Analysis of Timed
               Actors},
  booktitle = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  pages     = {237--255},
  year      = {2015},
  crossref  = {DBLP:conf/facs2/2015},
  url       = {https://doi.org/10.1007/978-3-319-28934-2_13},
  doi       = {10.1007/978-3-319-28934-2_13},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/KhamespanahSVK15},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/YousefiGK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/KhedriK15,
  author    = {Niloofar Khedri and
               Ramtin Khosravi},
  title     = {Towards Managing Data Variability in Multi Product Lines},
  booktitle = {{MODELSWARD} 2015 - Proceedings of the 3rd International Conference
               on Model-Driven Engineering and Software Development, ESEO, Angers,
               Loire Valley, France, 9-11 February, 2015.},
  pages     = {523--530},
  year      = {2015},
  crossref  = {DBLP:conf/modelsward/2015},
  url       = {https://doi.org/10.5220/0005227005230530},
  doi       = {10.5220/0005227005230530},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/modelsward/KhedriK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/taros/SheshkalaniKF15,
  author    = {Ali Narenji Sheshkalani and
               Ramtin Khosravi and
               Mohammad K. Fallah},
  title     = {Discretizing the State Space of Multiple Moving Robots to Verify Visibility
               Properties},
  booktitle = {Towards Autonomous Robotic Systems - 16th Annual Conference, {TAROS}
               2015, Liverpool, UK, September 8-10, 2015, Proceedings},
  pages     = {186--191},
  year      = {2015},
  crossref  = {DBLP:conf/taros/2015},
  url       = {https://doi.org/10.1007/978-3-319-22416-9_22},
  doi       = {10.1007/978-3-319-22416-9_22},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/taros/SheshkalaniKF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/SabouriK14,
  author    = {Hamideh Sabouri and
               Ramtin Khosravi},
  title     = {Reducing the verification cost of evolving product families using
               static analysis techniques},
  journal   = {Sci. Comput. Program.},
  volume    = {83},
  pages     = {35--55},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2013.06.009},
  doi       = {10.1016/j.scico.2013.06.009},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/SabouriK14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/agere/MagnussonKKS14,
  author    = {Brynjar Magnusson and
               Ehsan Khamespanah and
               Ramtin Khosravi and
               Marjan Sirjani},
  title     = {Event-Based Analysis of Timed Rebeca Models using {SQL}},
  booktitle = {Proceedings of the 4th International Workshop on Programming based
               on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
               OR, USA, October 20, 2014},
  pages     = {43--54},
  year      = {2014},
  crossref  = {DBLP:conf/agere/2014},
  url       = {http://doi.acm.org/10.1145/2687357.2687365},
  doi       = {10.1145/2687357.2687365},
  timestamp = {Fri, 16 Jan 2015 13:56:33 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agere/MagnussonKKS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/agere/KhamespanahKS14,
  author    = {Ehsan Khamespanah and
               Ramtin Khosravi and
               Marjan Sirjani},
  title     = {Efficient {TCTL} Model Checking Algorithm for Timed Actors},
  booktitle = {Proceedings of the 4th International Workshop on Programming based
               on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
               OR, USA, October 20, 2014},
  pages     = {55--66},
  year      = {2014},
  crossref  = {DBLP:conf/agere/2014},
  url       = {http://doi.acm.org/10.1145/2687357.2687366},
  doi       = {10.1145/2687357.2687366},
  timestamp = {Fri, 16 Jan 2015 13:56:33 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agere/KhamespanahKS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apsec/VarshosazK14,
  author    = {Mahsa Varshosaz and
               Ramtin Khosravi},
  title     = {Model Checking of Software Product Lines in Presence of Nondeterminism
               and Probabilities},
  booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
               South Korea, December 1-4, 2014. Volume 1: Research Papers},
  pages     = {63--70},
  year      = {2014},
  crossref  = {DBLP:conf/apsec/2014-1},
  url       = {https://doi.org/10.1109/APSEC.2014.18},
  doi       = {10.1109/APSEC.2014.18},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/VarshosazK14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/SabouriK13,
  author    = {Hamideh Sabouri and
               Ramtin Khosravi},
  title     = {Modeling and Verification of Reconfigurable Actor Families},
  journal   = {J. {UCS}},
  volume    = {19},
  number    = {2},
  pages     = {207--232},
  year      = {2013},
  url       = {https://doi.org/10.3217/jucs-019-02-0207},
  doi       = {10.3217/jucs-019-02-0207},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/SabouriK13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KhedriK13,
  author    = {Niloofar Khedri and
               Ramtin Khosravi},
  title     = {Handling Database Schema Variability in Software Product Lines},
  booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
               Bangkok, Thailand, December 2-5, 2013 - Volume 1},
  pages     = {331--338},
  year      = {2013},
  crossref  = {DBLP:conf/apsec/2013-1},
  url       = {https://doi.org/10.1109/APSEC.2013.52},
  doi       = {10.1109/APSEC.2013.52},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/KhedriK13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsen/SabouriK13,
  author    = {Hamideh Sabouri and
               Ramtin Khosravi},
  title     = {Delta Modeling and Model Checking of Product Families},
  booktitle = {Fundamentals of Software Engineering - 5th International Conference,
               {FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
  pages     = {51--65},
  year      = {2013},
  crossref  = {DBLP:conf/fsen/2013},
  url       = {https://doi.org/10.1007/978-3-642-40213-5_4},
  doi       = {10.1007/978-3-642-40213-5_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/SabouriK13},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/conf/ftscs/Sabahi-KavianiKSOK13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/splc/VarshosazK13,
  author    = {Mahsa Varshosaz and
               Ramtin Khosravi},
  title     = {Discrete time Markov chain families: modeling and verification of
               probabilistic software product lines},
  booktitle = {17th International Software Product Line Conference co-located workshops,
               {SPLC} 2013 workshops, Tokyo, Japan - August 26 - 30, 2013},
  pages     = {34--41},
  year      = {2013},
  crossref  = {DBLP:conf/splc/2013w},
  url       = {http://doi.acm.org/10.1145/2499777.2500725},
  doi       = {10.1145/2499777.2500725},
  timestamp = {Fri, 30 Aug 2013 08:21:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/splc/VarshosazK13},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/2414639.2414645},
  doi       = {10.1145/2414639.2414645},
  timestamp = {Wed, 23 Apr 2014 20:19:01 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agere/KhamespanahSKSI12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SabouriJBK12,
  author    = {Hamideh Sabouri and
               Mohammad Mahdi Jaghoori and
               Frank S. de Boer and
               Ramtin Khosravi},
  title     = {Scheduling and Analysis of Real-Time Software Families},
  booktitle = {36th Annual {IEEE} Computer Software and Applications Conference,
               {COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
  pages     = {680--689},
  year      = {2012},
  crossref  = {DBLP:conf/compsac/2012},
  url       = {https://doi.org/10.1109/COMPSAC.2012.95},
  doi       = {10.1109/COMPSAC.2012.95},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/compsac/SabouriJBK12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KhosraviS12,
  author    = {Ramtin Khosravi and
               Hamideh Sabouri},
  title     = {Using Coordinated Actors to Model Families of Distributed Systems},
  booktitle = {Coordination Models and Languages - 14th International Conference,
               {COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
  pages     = {74--88},
  year      = {2012},
  crossref  = {DBLP:conf/coordination/2012},
  url       = {https://doi.org/10.1007/978-3-642-30829-1_6},
  doi       = {10.1007/978-3-642-30829-1_6},
  timestamp = {Wed, 24 May 2017 08:27:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/KhosraviS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VarshosazK12,
  author    = {Mahsa Varshosaz and
               Ramtin Khosravi},
  title     = {Modeling and Verification of Probabilistic Actor Systems Using pRebeca},
  booktitle = {Formal Methods and Software Engineering - 14th International Conference
               on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
               12-16, 2012. Proceedings},
  pages     = {135--150},
  year      = {2012},
  crossref  = {DBLP:conf/icfem/2012},
  url       = {https://doi.org/10.1007/978-3-642-34281-3_12},
  doi       = {10.1007/978-3-642-34281-3_12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/VarshosazK12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/facs2/SabouriK11,
  author    = {Hamideh Sabouri and
               Ramtin Khosravi},
  title     = {Reducing the Model Checking Cost of Product Lines Using Static Analysis
               Techniques},
  booktitle = {Formal Aspects of Component Software - 8th International Symposium,
               {FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
               Papers},
  pages     = {296--312},
  year      = {2011},
  crossref  = {DBLP:conf/facs2/2011},
  url       = {https://doi.org/10.1007/978-3-642-35743-5_18},
  doi       = {10.1007/978-3-642-35743-5_18},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/SabouriK11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AsaadiKMN11,
  author    = {Hamid Reza Asaadi and
               Ramtin Khosravi and
               Mohammad Reza Mousavi and
               Neda Noroozi},
  title     = {Towards Model-Based Testing of Electronic Funds Transfer Systems},
  booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
               {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  pages     = {253--267},
  year      = {2011},
  crossref  = {DBLP:conf/fsen/2011},
  url       = {https://doi.org/10.1007/978-3-642-29320-7_17},
  doi       = {10.1007/978-3-642-29320-7_17},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/AsaadiKMN11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsen/SabouriK11,
  author    = {Hamideh Sabouri and
               Ramtin Khosravi},
  title     = {Efficient Verification of Evolving Software Product Lines},
  booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
               {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  pages     = {351--358},
  year      = {2011},
  crossref  = {DBLP:conf/fsen/2011},
  url       = {https://doi.org/10.1007/978-3-642-29320-7_24},
  doi       = {10.1007/978-3-642-29320-7_24},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/SabouriK11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NorooziKMW11,
  author    = {Neda Noroozi and
               Ramtin Khosravi and
               Mohammad Reza Mousavi and
               Tim A. C. Willemse},
  title     = {Synchronizing Asynchronous Conformance Testing},
  booktitle = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  pages     = {334--349},
  year      = {2011},
  crossref  = {DBLP:conf/sefm/2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6_23},
  doi       = {10.1007/978-3-642-24690-6_23},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/NorooziKMW11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/RahimiK10,
  author    = {Razieh Rahimi and
               Ramtin Khosravi},
  title     = {Architecture conformance checking of multi-language applications},
  booktitle = {The 8th {ACS/IEEE} International Conference on Computer Systems and
               Applications, {AICCSA} 2010, Hammamet, Tunisia, May 16-19, 2010},
  pages     = {1--8},
  year      = {2010},
  crossref  = {DBLP:conf/aiccsa/2010},
  url       = {https://doi.org/10.1109/AICCSA.2010.5587025},
  doi       = {10.1109/AICCSA.2010.5587025},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiccsa/RahimiK10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/KhakpourKSJ10,
  author    = {Narges Khakpour and
               Ramtin Khosravi and
               Marjan Sirjani and
               Saeed Jalili},
  title     = {Formal analysis of policy-based self-adaptive systems},
  booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
               Sierre, Switzerland, March 22-26, 2010},
  pages     = {2536--2543},
  year      = {2010},
  crossref  = {DBLP:conf/sac/2010},
  url       = {http://doi.acm.org/10.1145/1774088.1774613},
  doi       = {10.1145/1774088.1774613},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/KhakpourKSJ10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/splc/SabouriK10,
  author    = {Hamideh Sabouri and
               Ramtin Khosravi},
  title     = {An Effective Approach for Verifying Product Lines in Presence of Variability
               Models},
  booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
               Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
               (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
               and Tools)},
  pages     = {113--120},
  year      = {2010},
  crossref  = {DBLP:conf/splc/2010w},
  url       = {http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf},
  timestamp = {Wed, 30 Mar 2016 18:10:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/splc/SabouriK10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itng/YazdanshenasK09,
  author    = {Amir Reza Yazdanshenas and
               Ramtin Khosravi},
  title     = {Using Domain-Specific Languages to Describe the Development Viewpoint
               of Software Architectures},
  booktitle = {Sixth International Conference on Information Technology: New Generations,
               {ITNG} 2009, Las Vegas, Nevada, 27-29 April 2009},
  pages     = {1595--1596},
  year      = {2009},
  crossref  = {DBLP:conf/itng/2009},
  url       = {https://doi.org/10.1109/ITNG.2009.269},
  doi       = {10.1109/ITNG.2009.269},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itng/YazdanshenasK09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/simutools/BazzazSKT09,
  author    = {Hamid Hajabdolali Bazzaz and
               Marjan Sirjani and
               Ramtin Khosravi and
               Shamim Taheri},
  title     = {Modeling networking issues of network-on-chip: a coloured petri nets
               approach},
  booktitle = {Proceedings of the 2nd International Conference on Simulation Tools
               and Techniques for Communications, Networks and Systems, SimuTools
               2009, Rome, Italy, March 2-6, 2009},
  pages     = {22},
  year      = {2009},
  crossref  = {DBLP:conf/simutools/2009},
  url       = {https://doi.org/10.4108/ICST.SIMUTOOLS2009.5574},
  doi       = {10.4108/ICST.SIMUTOOLS2009.5574},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/simutools/BazzazSKT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/RostamabadiSGK08,
  author    = {Farshad Rostamabadi and
               Iman Sadeghi and
               Mohammad Ghodsi and
               Ramtin Khosravi},
  title     = {Optimal point removal in closed-2PM labeling},
  journal   = {Inf. Process. Lett.},
  volume    = {105},
  number    = {3},
  pages     = {108--113},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.ipl.2007.08.033},
  doi       = {10.1016/j.ipl.2007.08.033},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ipl/RostamabadiSGK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/RazavianK08,
  author    = {Maryam Razavian and
               Ramtin Khosravi},
  title     = {Modeling variability in the component and connector view of architecture
               using {UML}},
  booktitle = {The 6th {ACS/IEEE} International Conference on Computer Systems and
               Applications, {AICCSA} 2008, Doha, Qatar, March 31 - April 4, 2008},
  pages     = {801--809},
  year      = {2008},
  crossref  = {DBLP:conf/aiccsa/2008},
  url       = {https://doi.org/10.1109/AICCSA.2008.4493618},
  doi       = {10.1109/AICCSA.2008.4493618},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiccsa/RazavianK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KhosraviSASI08,
  author    = {Ramtin Khosravi and
               Marjan Sirjani and
               Nesa Asoudeh and
               Shaghayegh Sahebi and
               Hamed Iravanchi},
  title     = {Modeling and Analysis of Reo Connectors Using Alloy},
  booktitle = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  pages     = {169--183},
  year      = {2008},
  crossref  = {DBLP:conf/coordination/2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3_11},
  doi       = {10.1007/978-3-540-68265-3_11},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/KhosraviSASI08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/faw/KhosraviG08,
  author    = {Ramtin Khosravi and
               Mohammad Ghodsi},
  title     = {Visiting a Polygon on the Optimal Way to a Query Point},
  booktitle = {Frontiers in Algorithmics, Second Annual International Workshop, {FAW}
               2008, Changsha, China, June 19-21, 2008, Proceeedings},
  pages     = {245--251},
  year      = {2008},
  crossref  = {DBLP:conf/faw/2008},
  url       = {https://doi.org/10.1007/978-3-540-69311-6_26},
  doi       = {10.1007/978-3-540-69311-6_26},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/faw/KhosraviG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iadis/SahebiOK08,
  author    = {Shaghayegh Sahebi and
               Farhad Oroumchian and
               Ramtin Khosravi},
  title     = {Applying and Comparing Hidden Markov Model and Fuzzy Clustering Algorithms
               to Web Usage Data for Recommender Systems},
  booktitle = {{IADIS} European Conference on Data Mining 2008, Amsterdam, The Netherlands,
               July 24-26, 2008. Proceedings},
  pages     = {179--181},
  year      = {2008},
  crossref  = {DBLP:conf/iadis/2008dm},
  timestamp = {Thu, 29 Sep 2011 17:31:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iadis/SahebiOK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iat/SahebiOK08,
  author    = {Shaghayegh Sahebi and
               Farhad Oroumchian and
               Ramtin Khosravi},
  title     = {An Enhanced Similarity Measure for Utilizing Site Structure in Web
               Personalization Systems},
  booktitle = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on
               Web Intelligence and International Conference on Intelligent Agent
               Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia},
  pages     = {82--85},
  year      = {2008},
  crossref  = {DBLP:conf/iat/2008w},
  url       = {https://doi.org/10.1109/WIIAT.2008.270},
  doi       = {10.1109/WIIAT.2008.270},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iat/SahebiOK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itng/RazavianK08,
  author    = {Maryam Razavian and
               Ramtin Khosravi},
  title     = {Modeling Variability in Business Process Models Using {UML}},
  booktitle = {Fifth International Conference on Information Technology: New Generations
               {(ITNG} 2008), 7-8 April 2008, Las Vegas, Nevada, {USA}},
  pages     = {82--87},
  year      = {2008},
  crossref  = {DBLP:conf/itng/2008},
  url       = {https://doi.org/10.1109/ITNG.2008.132},
  doi       = {10.1109/ITNG.2008.132},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itng/RazavianK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/KhosraviG07,
  author    = {Ramtin Khosravi and
               Mohammad Ghodsi},
  title     = {Query-point visibility constrained shortest paths in simple polygons},
  journal   = {Theor. Comput. Sci.},
  volume    = {389},
  number    = {1-2},
  pages     = {1--11},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.tcs.2007.07.003},
  doi       = {10.1016/j.tcs.2007.07.003},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/KhosraviG07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ewcg/KhosraviG05,
  author    = {Ramtin Khosravi and
               Mohammad Ghodsi},
  title     = {The fastest way to view a query point in simple polygons},
  booktitle = {(Informal) Proceedings of the 21st European Workshop on Computational
               Geometry, Eindhoven, The Netherlands, March 9-11, 2005},
  pages     = {187--190},
  year      = {2005},
  crossref  = {DBLP:conf/ewcg/2005},
  url       = {http://www.win.tue.nl/EWCG2005/Proceedings/48.pdf},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ewcg/KhosraviG05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/KhosraviG04,
  author    = {Ramtin Khosravi and
               Mohammad Ghodsi},
  title     = {Shortest paths in simple polygons with polygon-meet constraints},
  journal   = {Inf. Process. Lett.},
  volume    = {91},
  number    = {4},
  pages     = {171--176},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.ipl.2004.04.010},
  doi       = {10.1016/j.ipl.2004.04.010},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ipl/KhosraviG04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/2017,
  editor    = {Hakan Erdogmus and
               Klaus Havelund},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3092282},
  isbn      = {978-1-4503-5077-8},
  timestamp = {Wed, 16 Aug 2017 09:59:03 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/spin/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/taros/2017,
  editor    = {Yang Gao and
               Saber Fallah and
               Yaochu Jin and
               Constantina Lekakou},
  title     = {Towards Autonomous Robotic Systems - 18th Annual Conference, {TAROS}
               2017, Guildford, UK, July 19-21, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10454},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-64107-2},
  doi       = {10.1007/978-3-319-64107-2},
  isbn      = {978-3-319-64106-5},
  timestamp = {Wed, 19 Jul 2017 14:55:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/taros/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agere/2015,
  editor    = {Elisa Gonzalez Boix and
               Philipp Haller and
               Alessandro Ricci and
               Carlos Varela},
  title     = {Proceedings of the 5th International Workshop on Programming Based
               on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh,
               PA, USA, October 26, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2824815},
  doi       = {10.1145/2824815},
  isbn      = {978-1-4503-3901-8},
  timestamp = {Tue, 03 Nov 2015 15:26:34 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agere/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2015,
  editor    = {Jing Sun and
               Y. Raghu Reddy and
               Arun Bahulkar and
               Anjaneyulu Pasala},
  title     = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New
               Delhi, India, December 1-4, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7467057},
  isbn      = {978-1-4673-9644-8},
  timestamp = {Fri, 13 May 2016 12:35:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/facs2/2015,
  editor    = {Christiano Braga and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9539},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-28934-2},
  doi       = {10.1007/978-3-319-28934-2},
  isbn      = {978-3-319-28933-5},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/2015},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2015,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Philippe Desfray and
               Joaquim Filipe},
  title     = {{MODELSWARD} 2015 - Proceedings of the 3rd International Conference
               on Model-Driven Engineering and Software Development, ESEO, Angers,
               Loire Valley, France, 9-11 February, 2015},
  publisher = {SciTePress},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7307714},
  isbn      = {978-989-758-083-3},
  timestamp = {Tue, 17 Nov 2015 15:54:11 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/modelsward/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/taros/2015,
  editor    = {Clare Dixon and
               Karl Tuyls},
  title     = {Towards Autonomous Robotic Systems - 16th Annual Conference, {TAROS}
               2015, Liverpool, UK, September 8-10, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9287},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-22416-9},
  doi       = {10.1007/978-3-319-22416-9},
  isbn      = {978-3-319-22415-2},
  timestamp = {Fri, 26 May 2017 00:49:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/taros/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agere/2014,
  editor    = {Elisa Gonzalez Boix and
               Philipp Haller and
               Alessandro Ricci and
               Carlos Varela},
  title     = {Proceedings of the 4th International Workshop on Programming based
               on Actors Agents {\&} Decentralized Control, AGERE! 2014, Portland,
               OR, USA, October 20, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2687357},
  isbn      = {978-1-4503-2189-1},
  timestamp = {Fri, 16 Jan 2015 13:56:33 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agere/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2014-1,
  editor    = {Sungdeok (Steve) Cha and
               Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
               Gihwon Kwon},
  title     = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
               South Korea, December 1-4, 2014. Volume 1: Research Papers},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7090773},
  isbn      = {978-1-4799-7425-2},
  timestamp = {Tue, 28 Apr 2015 11:20:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/2014-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2013-1,
  editor    = {Pornsiri Muenchaisri and
               Gregg Rothermel},
  title     = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
               Bangkok, Thailand, December 2-5, 2013 - Volume 1},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6805370},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/2013-1},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/2013},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/conf/ftscs/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/splc/2013w,
  title     = {17th International Software Product Line Conference co-located workshops,
               {SPLC} 2013 workshops, Tokyo, Japan - August 26 - 30, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2499777},
  isbn      = {978-1-4503-2325-3},
  timestamp = {Fri, 30 Aug 2013 08:21:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/splc/2013w},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/conf/agere/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/compsac/2012,
  editor    = {Xiaoying Bai and
               Fevzi Belli and
               Elisa Bertino and
               Carl K. Chang and
               Atilla El{\c{c}}i and
               Cristina Cerschi Seceleanu and
               Haihua Xie and
               Mohammad Zulkernine},
  title     = {36th Annual {IEEE} Computer Software and Applications Conference,
               {COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6340121},
  isbn      = {978-1-4673-1990-4},
  timestamp = {Thu, 09 Oct 2014 16:51:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/compsac/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coordination/2012,
  editor    = {Marjan Sirjani},
  title     = {Coordination Models and Languages - 14th International Conference,
               {COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7274},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30829-1},
  doi       = {10.1007/978-3-642-30829-1},
  isbn      = {978-3-642-30828-4},
  timestamp = {Wed, 24 May 2017 08:27:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2012,
  editor    = {Toshiaki Aoki and
               Kenji Taguchi},
  title     = {Formal Methods and Software Engineering - 14th International Conference
               on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
               12-16, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7635},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34281-3},
  doi       = {10.1007/978-3-642-34281-3},
  isbn      = {978-3-642-34280-6},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/facs2/2011,
  editor    = {Farhad Arbab and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Aspects of Component Software - 8th International Symposium,
               {FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7253},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35743-5},
  doi       = {10.1007/978-3-642-35743-5},
  isbn      = {978-3-642-35742-8},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsen/2011,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
               {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7141},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29320-7},
  doi       = {10.1007/978-3-642-29320-7},
  isbn      = {978-3-642-29319-1},
  timestamp = {Sun, 21 May 2017 00:18:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sefm/2011,
  editor    = {Gilles Barthe and
               Alberto Pardo and
               Gerardo Schneider},
  title     = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7041},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6},
  doi       = {10.1007/978-3-642-24690-6},
  isbn      = {978-3-642-24689-0},
  timestamp = {Sun, 21 May 2017 00:18:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2010,
  title     = {The 8th {ACS/IEEE} International Conference on Computer Systems and
               Applications, {AICCSA} 2010, Hammamet, Tunisia, May 16-19, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5570122},
  isbn      = {978-1-4244-7716-6},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiccsa/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2010,
  editor    = {Sung Y. Shin and
               Sascha Ossowski and
               Michael Schumacher and
               Mathew J. Palakal and
               Chih{-}Cheng Hung},
  title     = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
               Sierre, Switzerland, March 22-26, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1774088},
  doi       = {10.1145/1774088},
  isbn      = {978-1-60558-639-7},
  timestamp = {Tue, 03 Nov 2015 12:36:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/splc/2010w,
  editor    = {Goetz Botterweck and
               Stan Jarzabek and
               Tomoji Kishi and
               Jaejoon Lee and
               Steve Livengood},
  title     = {Software Product Lines - 14th International Conference, {SPLC} 2010,
               Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
               (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
               and Tools)},
  publisher = {Lancaster University},
  year      = {2010},
  url       = {http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf},
  isbn      = {978-1-86220-274-0},
  timestamp = {Wed, 30 Mar 2016 18:10:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/splc/2010w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itng/2009,
  editor    = {Shahram Latifi},
  title     = {Sixth International Conference on Information Technology: New Generations,
               {ITNG} 2009, Las Vegas, Nevada, 27-29 April 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5070574},
  isbn      = {978-0-7695-3596-8},
  timestamp = {Tue, 27 Jan 2015 17:31:59 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itng/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/simutools/2009,
  editor    = {Olivier Dalle and
               Gabriel A. Wainer and
               L. Felipe Perrone and
               Giovanni Stea},
  title     = {Proceedings of the 2nd International Conference on Simulation Tools
               and Techniques for Communications, Networks and Systems, SimuTools
               2009, Rome, Italy, March 2-6, 2009},
  publisher = {{ICST/ACM}},
  year      = {2009},
  url       = {http://eudl.eu/proceedings/SIMUTOOLS/2009},
  isbn      = {978-963-9799-45-5},
  timestamp = {Tue, 24 Mar 2015 18:02:52 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/simutools/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2008,
  title     = {The 6th {ACS/IEEE} International Conference on Computer Systems and
               Applications, {AICCSA} 2008, Doha, Qatar, March 31 - April 4, 2008},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4488216},
  isbn      = {978-1-4244-1967-8},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiccsa/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coordination/2008,
  editor    = {Doug Lea and
               Gianluigi Zavattaro},
  title     = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5052},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3},
  doi       = {10.1007/978-3-540-68265-3},
  isbn      = {978-3-540-68264-6},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/faw/2008,
  editor    = {Franco P. Preparata and
               Xiaodong Wu and
               Jianping Yin},
  title     = {Frontiers in Algorithmics, Second Annual International Workshop, {FAW}
               2008, Changsha, China, June 19-21, 2008, Proceeedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5059},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69311-6},
  doi       = {10.1007/978-3-540-69311-6},
  isbn      = {978-3-540-69310-9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/faw/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iadis/2008dm,
  editor    = {Ajith Abraham},
  title     = {{IADIS} European Conference on Data Mining 2008, Amsterdam, The Netherlands,
               July 24-26, 2008. Proceedings},
  publisher = {{IADIS}},
  year      = {2008},
  isbn      = {978-972-8924-63-8},
  timestamp = {Thu, 29 Sep 2011 17:31:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iadis/2008dm},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iat/2008w,
  title     = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on
               Web Intelligence and International Conference on Intelligent Agent
               Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4740691},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iat/2008w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itng/2008,
  editor    = {Shahram Latifi},
  title     = {Fifth International Conference on Information Technology: New Generations
               {(ITNG} 2008), 7-8 April 2008, Las Vegas, Nevada, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4492437},
  isbn      = {978-0-7695-3099-4},
  timestamp = {Tue, 27 Jan 2015 17:31:59 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itng/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ewcg/2005,
  title     = {(Informal) Proceedings of the 21st European Workshop on Computational
               Geometry, Eindhoven, The Netherlands, March 9-11, 2005},
  publisher = {Technische Universiteit Eindhoven},
  year      = {2005},
  timestamp = {Wed, 14 Jan 2015 15:36:16 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ewcg/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier