default search action

combined dblp search
author search
venue search
publication search

ask others

2nd TTSS 2008: Istanbul, Turkey

> Home > Conferences and Workshops > TTSS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/ttss/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttss/2008
Jianhua Zhao, Volker Stolz:
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008. Electronic Notes in Theoretical Computer Science 243, Elsevier 2009
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZhaoS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZhaoS09
Jianhua Zhao, Volker Stolz:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AichernigGSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AichernigGSS09
Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam:
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. 3-14
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AyraultHP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AyraultHP09
Philippe Ayrault, Thérèse Hardin, François Pessaux:
Development Life-cycle of Critical Software Under FoCaL. 15-31
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BoerBGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BoerBGS09
Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen:
Java Test Driver Generation from Object-Oriented Interaction Traces. 33-47
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DingL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DingL09
Zuohua Ding, Jing Liu:
An Improvement of Software Architecture Verification. 49-67
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DuLCZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DuLCZ09
Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang:
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. 69-87
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JohnsenBKO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JohnsenBKO09
Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe:
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. 89-103
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Kyas09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kyas09
Marcel Kyas:
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. 105-120
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WangLL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WangLL09
Xiaobo Wang, Guanhui Lai, Chao Liu:
Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering. 121-137
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MiliAAN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MiliAAN09
Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni:
Harnessing a Refinement Theory to Compute Loop Functions. 139-155

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.