Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/MengAAABR12,
  author       = {Sun Meng and
                  Farhad Arbab and
                  Bernhard K. Aichernig and
                  Lacramioara Astefanoaei and
                  Frank S. de Boer and
                  Jan J. M. M. Rutten},
  title        = {Connectors as designs: Modeling, refinement and test case generation},
  journal      = {Sci. Comput. Program.},
  volume       = {77},
  number       = {7-8},
  pages        = {799--822},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.scico.2011.04.002},
  doi          = {10.1016/J.SCICO.2011.04.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MengAAABR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/Meng12,
  author       = {Sun Meng},
  editor       = {Tiziana Margaria and
                  Zongyan Qiu and
                  Hongli Yang},
  title        = {Connectors as Designs: The Time Dimension},
  booktitle    = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2012, 4-6 July 2012, Beijing, China},
  pages        = {201--208},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/TASE.2012.36},
  doi          = {10.1109/TASE.2012.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/Meng12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MengA09,
  author       = {Sun Meng and
                  Farhad Arbab},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Connectors as Designs},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {119--135},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.028},
  doi          = {10.1016/J.ENTCS.2009.10.028},
  timestamp    = {Tue, 06 Dec 2022 12:48:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MengA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}