default search action

combined dblp search
author search
venue search
publication search

ask others

1st TTSS 2007: Macau

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttss/2007
Geguang Pu, Volker Stolz:
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007. Electronic Notes in Theoretical Computer Science 207, Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PuS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PuS08
Geguang Pu, Volker Stolz:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Olderog08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Olderog08
Ernst-Rüdiger Olderog:
Automatic Verification of Combined Specifications: An Overview. 3-16
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LiL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiL08
Xiaoshan Li, Zhiming Liu:
Prototyping System Requirements Model. 17-32
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DingCL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DingCL08
Zuohua Ding, Zhenbang Chen, Jing Liu:
A Rigorous Model of Service Component Architecture. 33-48
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/YuWPML08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/YuWPML08
Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu:
The Verification of rCOS Using Spin. 49-67
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/YangS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/YangS08
Lu Yang, Volker Stolz:
Integrating Refinement into Software Development Tools. 69-88
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RibeiroBW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RibeiroBW08
Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang:
An Exercise on Transition Systems. 89-106
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ChangilH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChangilH08
Choe Changil, Dang Van Hung:
On Verification of Linear Occurrence Properties of Real-Time Systems. 107-120
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZhangQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZhangQ08
Miaomiao Zhang, Wenzhong Qin:
Parametric Analysis of an Improved Fault Tolerant System. 121-136
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MaWD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MaWD08
Xiaodong Ma, Ji Wang, Wei Dong:
Shape Analysis by Refining on Abstract Evaluation Path. 137-151
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JinSCN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JinSCN08
Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni:
Engineering of An Assertion-based PSL^Simple-Verilog Dynamic Verifier by Alternating Automata. 153-169
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MontangeroS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MontangeroS08
Carlo Montangero, Laura Semini:
Barbed Model-Driven Software Development: A Case Study. 171-186
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ReevesS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ReevesS08
Steve Reeves, David Streader:
Generic Tools via General Refinement. 187-202
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Sun08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Sun08
Meng Sun:
Pre-Galois Connection on Coalgebras for Generic Component Refinement. 203-217

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.