Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/sigsoft/JamesC09,
  author       = {Perry R. James and
                  Patrice Chalin},
  title        = {{ESC4:} a modern caching {ESC} for Java},
  booktitle    = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
                  and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
                  The Netherlands},
  pages        = {19--26},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596486.1596491},
  doi          = {10.1145/1596486.1596491},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/JamesC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/KimBAK09,
  author       = {Taekgoo Kim and
                  Kevin Bierhoff and
                  Jonathan Aldrich and
                  Sungwon Kang},
  title        = {Typestate protocol specification in {JML}},
  booktitle    = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
                  and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
                  The Netherlands},
  pages        = {11--18},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596486.1596490},
  doi          = {10.1145/1596486.1596490},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/KimBAK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/Mosses09,
  author       = {Peter D. Mosses},
  title        = {Component-based semantics},
  booktitle    = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
                  and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
                  The Netherlands},
  pages        = {3--10},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596486.1596489},
  doi          = {10.1145/1596486.1596489},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Mosses09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/SeoEPMM09,
  author       = {Chiyoung Seo and
                  George Edwards and
                  Daniel Popescu and
                  Sam Malek and
                  Nenad Medvidovic},
  title        = {A framework for estimating the energy consumption induced by a distributed
                  system's architectural style},
  booktitle    = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
                  and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
                  The Netherlands},
  pages        = {27--34},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596486.1596493},
  doi          = {10.1145/1596486.1596493},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SeoEPMM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/SharyginaTT09,
  author       = {Natasha Sharygina and
                  Stefano Tonetta and
                  Aliaksei Tsitovich},
  title        = {An abstraction refinement approach combining precise and approximated
                  techniques for efficient program verification: abstract for the invited
                  talk},
  booktitle    = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
                  and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
                  The Netherlands},
  pages        = {35--36},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596486.1596494},
  doi          = {10.1145/1596486.1596494},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SharyginaTT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/Stoelinga09,
  author       = {Mari{\"{e}}lle Stoelinga},
  title        = {Compositional dependability modeling using arcade: abstract for the
                  keynote talk},
  booktitle    = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
                  and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
                  The Netherlands},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596486.1596487},
  doi          = {10.1145/1596486.1596487},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Stoelinga09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sigsoft/2009savcbs,
  title        = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
                  and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
                  The Netherlands},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596486},
  doi          = {10.1145/1596486},
  isbn         = {978-1-60558-680-9},
  timestamp    = {Tue, 01 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/2009savcbs.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}