default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd TTSS 2009: Kuala Lumpur, Malaysia
- Einar Broch Johnsen, Volker Stolz:
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. Electronic Notes in Theoretical Computer Science 266, Elsevier 2010 - Einar Broch Johnsen
, Volker Stolz:
Preface. 1-2 - Abhik Roychoudhury:
Debugging as a Science, that too, when your Program is Changing. 3-15 - Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp:
Fade to Grey: Tuning Static Program Analysis. 17-32 - Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi:
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. 33-48 - Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima:
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. 49-61 - Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas:
Resource Modeling for Timed Creol Models. 63-75 - Xijiao Xiong, Jing Liu, Zuohua Ding:
Design and Verification of a Trustable Medical System. 77-92 - Jonathan Heinen, Thomas Noll, Stefan Rieger:
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. 93-107
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.
last updated on 2025-01-18 01:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
