1. ICTAC 2004: Guiyang, China

Invited Speakers

• José Luiz Fiadeiro:
  Software Services: Scientific Challenge or Industrial Hype?. 1-13
  
• Jifeng He, Naiyong Jin:
  Integrating Variants of DC. 14-34
  
• K. Rustan M. Leino:
  Challenges in Increasing Tool Support for Programming. 35-35
  
• Huimin Lin:
  A Predicate Spatial Logic and Model Checking for Mobile Processes. 36-36
  

Concurrent and Distributed Systems

• Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen:
  Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. 37-51
  
• Marco Antonio Barbosa, Luís Soares Barbosa:
  Specifying Software Connectors. 52-67
  
• Tseren-Onolt Ishdorj, Mihai Ionescu:
  Replicative - Distribution Rules in P Systems with Active Membranes. 68-83
  
• Ryszard Janicki:
  A Generalisation of a Relational Structures Model of Concurrency. 84-98
  
• Neelesh Korade, S. Arun-Kumar:
  A Logical Characterization of Efficiency Preorders. 99-112
  
• Bill Mitchell:
  Inherent Causal Orderings of Partial Order Scenarios. 113-127
  
• Steve Reeves, David Streader:
  Atomic Components. 128-139
  
• Junfeng Zhao, Lu Zhang, Yasha Wang, Ying Jiang, Bing Xie:
  Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition. 140-153
  

Model Integration and Theory Unification

• Yinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu:
  A Formal Framework for Ontology Integration Based on a Default Extension to DDL. 154-169
  
• Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li:
  A Predicative Semantic Model for Integrating UML Models. 170-186
  
• Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin:
  An Automatic Mapping from Statecharts to Verilog. 187-203
  
• Yanjun Wen, Ji Wang, Zhi-Chang Qi:
  Reverse Observation Equivalence Between Labelled State Transition Systems. 204-219
  

Program Reasoning and Testing

• Fevzi Belli, Christof J. Budnik:
  Minimal Spanning Set for Coverage Testing of Interactive Systems. 220-234
  
• Yuting Chen, Shaoying Liu, Fumiko Nagoya:
  An Approach to Integration Testing Based on Data Flow Specifications. 235-249
  
• Li Dan, Bernhard K. Aichernig:
  Combining Algebraic and Model-Based Test Case Generation. 250-264
  
• Jin Song Dong, Yuzhang Feng, Yuan-Fang Li:
  Verifying OWL and ORL Ontologies in PVS. 265-279
  

Verification

• Conrado Daws:
  Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. 280-294
  
• Pham Hong Thai, Dang Van Hung:
  Verifying Linear Duration Constraints of Timed Automata. 295-309
  
• Florian Kammüller, Jeff W. Sanders:
  Idempotent Relations in Isabelle/HOL. 310-324
  
• Enric Rodríguez-Carbonell, Deepak Kapur:
  Program Verification Using Automatic Generation of Invariants. 325-340
  

Theories of Programming and Programming Languages

• Peter Dybjer, Qiao Haiyan, Makoto Takeyama:
  Random Generators for Dependent Types. 341-355
  
• Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner:
  A Proof of Weak Termination Providing the Right Way to Terminate. 356-371
  
• Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
  Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. 372-386
  
• Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
  Real Time Reactive Programming in Lucid Enriched with Contexts. 387-402
  
• Yisong Wang, Mingyi Zhang:
  Revision Programs with Explicit Negation. 403-414
  

Real-Time and Co-design

• Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens:
  An Algebraic Approach for Codesign. 415-430
  
• Samuel Colin, Georges Mariano, Vincent Poirriez:
  Duration Calculus: A Real-Time Semantic for B. 431-446
  
• Apostolos Niaouris:
  An Algebra of Petri Nets with Arc-Based Time Restrictions. 447-462
  
• Andreas Schäfer:
  A Calculus for Shapes in Time and Space. 463-477
  
• Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio:
  A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. 478-493
  

Automata Theory and Logics

• Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
  Switched Probabilistic I/O Automata. 494-510
  
• Padmanabhan Krishnan:
  Decomposing Controllers into Non-conflicting Distributed Controllers. 511-526
  
• Salvatore La Torre, Aniello Murano:
  Reasoning About Co-Büchi Tree Automata. 527-542
  
• Mahesh Viswanathan, Moonzoo Kim:
  Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. 543-556
  

Tutorials

• Zhiming Liu:
  A Summary of the Tutorials at ICTAC 2004. 557-560