3rd International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'09
17. August 2009,
Kuala Lumpur, Malaysia
Satellite event of
ICTAC 2009
3rd International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'09
17. August 2009,
Kuala Lumpur, Malaysia
Satellite event of
ICTAC 2009
| Monday, August 17th 2009 | |
|---|---|
| 9:00 | Welcome |
| 9:15 | Keynote:Abhik Roychoudhury, National University of Singapore Debugging as a Science, that too, when your Program is Changing |
| 10:30 | Break |
| Session: Creol | |
| 11:00 | Resource Modeling for Timed Creol Models (Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer and Marcel Kyas) |
| 11:30 | Credo Methodology - Modeling and Analyzing A Peer-to-Peer System in Credo (Immo Grabe, Mohammad Mahdi Jaghoori et al.) |
| 12:30 | Lunch |
| Session: Verification Techniques | |
| 14:00 | Fade to Grey: Tuning Static Program Analysis(Ansgar Fehnker, Ralf Huuck, Sean Seefried and Michael Tapp) |
| 14:30 | Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures (Stefan Rieger, Thomas Noll and Jonathan Heinen) |
| 15:00 | Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion (Hung Pham, Hoang Truong, Wei-Ngan Chin and Takenobu Aoshima) |
| 15:30 | Break |
| Session: Formal method applied in Software Engineering | |
| 16:00 | Formal Analyses and Verifications of Deadlock Prevention Solutions in Web Environment (Jieqi Ding, Han Zhu, Huibiao Zhu and Qin Li) |
| 16:30 | Analyzing MapReduce with CSP (Fan Yang, Wen Su, Huibiao Zhu and Qin Lin) |
| 17:00 | Design and Verification of a Trusted Medical System (XiJiao Xiong and Jing Liu) |
| 19:00 | Workshop Dinner (more information will be provided on site) |