Volume 266, October 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
Last update Fri May 24 20:18:25 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
