5. ASIAN 1999: Phuket, Thailand

Invited Talks

• Nicolas Halbwachs, Pascal Raymond:
  Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. 1-12
  
• Krishna V. Palem:
  Emerging Application Domains and the Computing Fabric. 13-14
  

Regular Papers

• Roberto M. Amadio, Sanjiva Prasad:
  The Game of the Name in Cryptographic Tables. 15-26
  
• Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis, Rossella Petreschi:
  A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs. 27-36
  
• Chantana Chantrapornchai, Sissades Tongsima, Edwin Hsing-Mean Sha:
  Rapid Prototyping Techniques for Fuzzy Controllers. 37-49
  
• IlYoung Chung, Chong-Sun Hwang:
  Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments. 50-61
  
• Koen Claessen, David Sands:
  Observable Sharing for Functional Circuit Description. 62-73
  
• Luis Fernando Llana Díaz, David de Frutos-Escrig:
  Relating May and Must Testing Semantics for Discrete Timed Process Algebras. 74-86
  
• Lars-Åke Fredlund, Dilian Gurov:
  A Framework for Formal Reasoning about Open Distributed Systems. 87-100
  
• Didier Galmiche, Dominique Larchey-Wendling:
  Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. 101-112
  
• Jerry den Hartog:
  Verifying Probabilistic Programs Using a Hoare like Logic. 113-125
  
• Jesper G. Henriksen:
  An Expressive Extension of TLC. 126-138
  
• Dang Van Hung, Dimitar P. Guelev:
  Completeness and Decidability of a Fragment of Duration Calculus with Iteration. 139-150
  
• Mia Indrika:
  Logical Relations in Circuit Verification. 151-162
  
• Koji Iwanuma, Kenichi Kishino:
  Lemma Generalization and Non-unit Lemma Matching for Model Elimination. 163-176
  
• Fairouz Kamareddine, François Monin:
  On Automating Inductive and Non-inductive Termination Methods. 177-189
  
• Hanna Klaudel, Franck Pommereau:
  Asynchronous Links in the PBC and M-Nets. 190-200
  
• Jens Knoop:
  Demand-Driven Model Checking for Context-Free Processes. 201-213
  
• Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky:
  Programming the Mobility Behaviour of Agents by Composing Itineraries. 214-226
  
• Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka:
  Faster Model Checking for Open Systems. 227-238
  
• Ekawit Nantajeewarawat, Vilas Wuwongse:
  An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance. 239-250
  
• Joachim Niehren, Tim Priesnitz:
  Entailment of Non-structural Subtype Constraints. 251-265
  
• Ichiro Ogata:
  A CPS-Transform of Constructive Classical Logic. 266-280
  
• Kazuhiro Ogata, Kokichi Futatsugi:
  Formal Verification of the MCS List-Based Queuing Lock. 281-293
  
• Frank Reffel:
  BDD-Nodes Can Be More Expressive. 294-307
  
• Gerd Ritter, Holger Hinrichsen, Hans Eveking:
  Formal Verification of Descriptions with Distinct Order of Memory Operations. 308-321
  
• Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
  Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. 322-333
  
• Anil Seth:
  On L^k(Q) Types and Boundedness of IFP(Q) on Finite Structures. 334-346
  
• Hong Shen, Keqin Li, Si-Qing Zheng:
  Separators Are as Simple as Cutsets. 347-358
  
• Chia Jim Tong, Hoong Chuin Lau, Andrew Lim:
  Ant Colony Optimization for the Ship Berthing Problem. 359-370
  

Poster Session Abstracts

• Anthony H. W. Chan, Michael R. Lyu:
  Security Modeling and Evaluation for the Mobile Code Paradigm. 371-372
  
• Stephan Flake, Christian Geiger:
  CASA - Structured Design of a Specification Language for Intelligent Agents. 373-374
  
• Joon-Min Gil, Chong-Sun Hwang:
  An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks. 375-376
  
• Koji Kagawa:
  Programming with Explicit Regions. 377-378
  
• Mila E. Majster-Cederbaum, Frank Salger:
  A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. 379-380
  
• Kok Meng Yew, M. Zahidur Rahman, Sai Peck Lee:
  Formal Verification of Secret Sharing Protocol Using Coq. 381-382
  
• Nguyen Duc Quang:
  On Feasibility, Boundedness, and Redundancy of Systems of Linear Constraints over R²-Plane. 383-385
  
• Jan Rauch:
  Deduction in Logic of Association Rules. 386-387
  
• Shisanu Tongchim, Prabhas Chongstitvatana:
  Asynchronous Migration in Parallel Genetic Programming. 388-389
  
• Tony Tsang, Richard Lai:
  Verification Results for a Multimedia Protocol. 390-392
  
• Qing Yu, Doan B. Hoang:
  Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks. 393-395
  

Last update Sun May 19 21:36:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page