Search dblp for Publications

export results for "toc:db/journals/entcs/entcs266.bht:"

 download as .bib file

@proceedings{DBLP:conf/ttss/2009,
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/266/suppl/C},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ttss/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FehnkerHST10,
  author       = {Ansgar Fehnker and
                  Ralf Huuck and
                  Sean Seefried and
                  Michael Tapp},
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Fade to Grey: Tuning Static Program Analysis},
  booktitle    = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  pages        = {17--32},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.08.046},
  doi          = {10.1016/J.ENTCS.2010.08.046},
  timestamp    = {Thu, 09 Mar 2023 15:55:52 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FehnkerHST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GrabeJABBBGJKKKLSSSTXY10,
  author       = {Immo Grabe and
                  Mohammad Mahdi Jaghoori and
                  Bernhard K. Aichernig and
                  Christel Baier and
                  Tobias Blechmann and
                  Frank S. de Boer and
                  Andreas Griesmayer and
                  Einar Broch Johnsen and
                  Joachim Klein and
                  Sascha Kl{\"{u}}ppelholz and
                  Marcel Kyas and
                  Wolfgang Leister and
                  Rudolf Schlatte and
                  Andries Stam and
                  Martin Steffen and
                  Simon Tschirner and
                  Liang Xuedong and
                  Wang Yi},
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Credo Methodology: Modeling and Analyzing {A} Peer-to-Peer System
                  in Credo},
  booktitle    = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  pages        = {33--48},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.08.047},
  doi          = {10.1016/J.ENTCS.2010.08.047},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HeinenNR10,
  author       = {Jonathan Heinen and
                  Thomas Noll and
                  Stefan Rieger},
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures},
  booktitle    = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  pages        = {93--107},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2011.07.001},
  doi          = {10.1016/J.ENTCS.2011.07.001},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HeinenNR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JohnsenS10,
  author       = {Einar Broch Johnsen and
                  Volker Stolz},
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Preface},
  booktitle    = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.08.044},
  doi          = {10.1016/J.ENTCS.2010.08.044},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JohnsenS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PhamTCA10,
  author       = {Tuan{-}Hung Pham and
                  Anh{-}Hoang Truong and
                  Wei{-}Ngan Chin and
                  Takenobu Aoshima},
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Test Case Generation for Adequacy of Floating-point to Fixed-point
                  Conversion},
  booktitle    = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  pages        = {49--61},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.08.048},
  doi          = {10.1016/J.ENTCS.2010.08.048},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PhamTCA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Roychoudhury10,
  author       = {Abhik Roychoudhury},
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Debugging as a Science, that too, when your Program is Changing},
  booktitle    = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  pages        = {3--15},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.08.045},
  doi          = {10.1016/J.ENTCS.2010.08.045},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Roychoudhury10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchlatteAGK10,
  author       = {Rudolf Schlatte and
                  Bernhard K. Aichernig and
                  Andreas Griesmayer and
                  Marcel Kyas},
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Resource Modeling for Timed Creol Models},
  booktitle    = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  pages        = {63--75},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.08.049},
  doi          = {10.1016/J.ENTCS.2010.08.049},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchlatteAGK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/XiongLD10,
  author       = {Xijiao Xiong and
                  Jing Liu and
                  Zuohua Ding},
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Design and Verification of a Trustable Medical System},
  booktitle    = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  pages        = {77--92},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.08.050},
  doi          = {10.1016/J.ENTCS.2010.08.050},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/XiongLD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.