• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 40 matches

• 2011
• 
  Puneet Bhateja:
  A Tagging Protocol for Asynchronous Testing. TASE 2011: 11-18
• 
  Puneet Bhateja:
  Test Case Generation Using PDA. TASE 2011: 221-224
• 
  Patrice Carle, Christine Choppy, Romain Kervarc:
  Behaviour Recognition Using Chronicles. TASE 2011: 100-107
• 
  Shengbo Chen, Huaikou Miao:
  Modeling and Verifying for Frameset-Based Web Applications. TASE 2011: 177-184
• 
  Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu:
  Analysis of WS-BPEL Processes in PRISM. TASE 2011: 199-202
• 
  Guisheng Fan, Huiqun Yu, Liqiong Chen, Chunhua Gu:
  An Approach to Handling Failure Recovery in Service Composition and Its Analysis. TASE 2011: 153-160
• 
  Jianhua Gao, Ying Jiang:
  Model Checking: A Coalgebraic Approach. TASE 2011: 235-238
• 
  Honghao Gao, Huaikou Miao, Hongwei Zeng:
  Research on Web Service Composition Using Probabilistic Abstraction Refinement. TASE 2011: 161-168
• 
  Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo:
  An Approach to Regression Test Selection of Adaptive EFSM Tests. TASE 2011: 217-220
• 
  Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi:
  Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE 2011: 142-149
• 
  Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
  Proving Computational Geometry Algorithms in TLA+2. TASE 2011: 251-254
• 
  Hannes Lau, Uwe Nestmann:
  Java Goes TLA+. TASE 2011: 117-124
• 
  Guoqiang Li, Yonggen Gu, Xiuting Tao, Jie Tao:
  A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols. TASE 2011: 243-246
• 
  Zhaopeng Li, Yang Zhang, Yiyun Chen:
  A Method to Generate Verification Condition Generator. TASE 2011: 239-242
• 
  Wenrui Li, Pengcheng Zhang, Zhijian Wang, Zhongxue Yang:
  Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications. TASE 2011: 205-208
• 
  Shaoying Liu:
  Automatic Specification-Based Testing: Challenges and Possibilities. TASE 2011: 5-8
• 
  Yijing Liu, Ali Hong, Zongyan Qiu:
  Inheritance and Modularity in Specification and Verification of OO Programs. TASE 2011: 19-26
• 
  Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li:
  Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE 2011: 195-198
• 
  Ming Ma:
  Model Checking for Protocols Using Verds. TASE 2011: 231-234
• 
  Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu:
  Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE 2011: 108-114
• 
  Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu:
  Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141
• 
  John C. Reynolds:
  Making Program Logics Intelligible. TASE 2011: 3-4
• 
  Raphael Romeikat, Bernhard Bauer:
  Formal Specification of Domain-Specific ECA Policy Models. TASE 2011: 209-212
• 
  Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer:
  A Categorical Modeling Approach of Aspect-Oriented Systems. TASE 2011: 85-92
• 
  Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer:
  Undesirable Aspect Interactions: A Prevention Policy. TASE 2011: 225-228
• 
  Haihe Shi, Jinyun Xue:
  A Generative Approach to Searching Algorithmic Programs Development. TASE 2011: 76-81
• 
  Graeme Smith, Steffen Helke:
  Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. TASE 2011: 35-41
• 
  Cong Tian, Zhenhua Duan:
  Focus Game for Projection Temporal Logic. TASE 2011: 45-51
• 
  Yi Wang, Zhoujun Li, Tao Guo:
  Program Slicing Stored XSS Bugs in Web Application. TASE 2011: 191-194
• 
  Wei Wang, Zhong Shao, Xinyu Jiang, Yu Guo:
  A Simple Model for Certifying Assembly Programs with First-Class Function Pointers. TASE 2011: 125-132

skipping 10 more matches