• 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 36 matches

• 2013
• 
  Markus Bals, Christina Jansen, Thomas Noll:
  Incremental Construction of Greibach Normal Form. TASE 2013: 165-168
• 
  Radu Calinescu, Yasmin Rafiq:
  Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. TASE 2013: 131-134
• 
  Zining Cao:
  Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. TASE 2013: 217-224
• 
  Nicolás Cardozo, Sebastián González, Kim Mens, Ragnhild Van Der Straeten, Theo D'Hondt:
  Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets. TASE 2013: 191-198
• 
  Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang:
  Model Repair for Markov Decision Processes. TASE 2013: 85-92
• 
  Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes:
  Computing Repairs from Active Integrity Constraints. TASE 2013: 183-190
• 
  Rui-Zhi Dong, Xin Peng, Yijun Yu, Wenyun Zhao:
  Requirements-Driven Self-Repairing against Environmental Failures. TASE 2013: 241-244
• 
  Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
  Aspect Orientation Based Test Case Selection Strategy for Service Composition. TASE 2013: 95-104
• 
  Ingo Feinerer, Gernot Salzer, Tanja Sisel:
  Class Diagrams with Equated Association Chains. TASE 2013: 209-216
• 
  Daniel Gaffé, Annie Ressouche:
  Algebraic Framework for Synchronous Language Semantics. TASE 2013: 51-58
• 
  Barry Jay, Jose Vergara:
  Growing a Language in Pattern Calculus. TASE 2013: 233-240
• 
  Axel van Lamsweerde:
  Engineering Multi-view Models for Model-Driven Engineering. TASE 2013: 3
• 
  Gongzheng Lu, Huaikou Miao:
  Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. TASE 2013: 153-156
• 
  Qian Ma, Zhenhua Duan, Mengfei Yang:
  Integration of Linear Constraints with a Temporal Logic Programming Language. TASE 2013: 157-164
• 
  Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
  When Even the Interface Evolves... TASE 2013: 79-82
• 
  Ken Madlener, Sjaak Smetsers:
  GSOS Formalized in Coq. TASE 2013: 199-206
• 
  Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi:
  Aspect-Oriented Semantic Framework for Executable Models. TASE 2013: 63-70
• 
  Chunyan Mu:
  On Information Flow Control in Event-B and Refinement. TASE 2013: 225-232
• 
  Masaki Murakami:
  Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. TASE 2013: 149-152
• 
  Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo:
  Modeling and Verification of AUTOSAR OS and EMS Application. TASE 2013: 37-44
• 
  Pedro Ribeiro, Ana Cavalcanti:
  Designs with Angelic Nondeterminism. TASE 2013: 71-78
• 
  Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
  Verifying Bigraphical Models of Architectural Reconfigurations. TASE 2013: 135-138
• 
  Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan:
  Unified Modeling of Active and Reactive Components for Real-Time Systems. TASE 2013: 145-148
• 
  Daniel Stöhr, Sabine Glesner:
  Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. TASE 2013: 7-14
• 
  Laurent Thiry, Michel Hassenforder:
  Surfing with Fun. TASE 2013: 139-142
• 
  Tayssir Touili:
  Process Rewrite Systems for Software Model Checking. TASE 2013: 15-22
• 
  Neil White, Janet Barnes:
  How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems. TASE 2013: 171
• 
  Hengyang Wu, Yixiang Chen, Min Zhang:
  On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. TASE 2013: 113-120
• 
  Hao Wu, Rosemary Monahan, James F. Power:
  Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. TASE 2013: 175-182
• 
  Xiaofeng Wu, Qiwen Xu, Huibiao Zhu:
  Formal Analysis of AODV Using Rely-Guarantee. TASE 2013: 45-48

skipping 6 more matches