default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs266.bht:"
@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} }
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.