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

• 2017
• 
  Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns:
  Better Automated Importance Splitting for Transient Rare Events. SETTA 2017: 42-58
• 
  Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah:
  Multi-core Cyclic Executives for Safety-Critical Systems. SETTA 2017: 94-109
• 
  Maithily Diwan, Meenakshi D'Souza:
  A Framework for Modeling and Verifying IoT Communication Protocols. SETTA 2017: 266-280
• 
  Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang:
  On Equivalence Checking of Nondeterministic Finite Automata. SETTA 2017: 216-231
• 
  Dimitar P. Guelev, Shuling Wang, Naijun Zhan:
  Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. SETTA 2017: 110-127
• 
  Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni:
  Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA 2017: 25-41
• 
  Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev:
  Formal Analysis of Information Flow in HOL. SETTA 2017: 283-299
• 
  Idress Husien, Sven Schewe, Nicolas Berthier:
  PranCS: A Protocol and Discrete Controller Synthesis Tool. SETTA 2017: 337-349
• 
  Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage:
  General Lessons from a Rely/Guarantee Development. SETTA 2017: 3-22
• 
  Yi Li:
  Termination of Semi-algebraic Loop Programs. SETTA 2017: 131-146
• 
  Wanwei Liu, Fu Song, Ge Zhou:
  Reasoning About Periodicity on Infinite Words. SETTA 2017: 200-215
• 
  Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri:
  Computing Exact Loop Bounds for Bounded Program Verification. SETTA 2017: 147-163
• 
  Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan:
  A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. SETTA 2017: 232-249
• 
  Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden:
  Construction of Abstract State Graphs for Understanding Event-B Models. SETTA 2017: 250-265
• 
  Luca Santinelli, Zhishan Guo:
  On the Criticality of Probabilistic Worst-Case Execution Time Models. SETTA 2017: 59-74
• 
  Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga:
  How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA 2017: 319-336
• 
  Yuwei Wang, Guoqiang Li, Shoji Yuen:
  Nested Timed Automata with Invariants. SETTA 2017: 77-93
• 
  Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng:
  Formalizing SPARCv8 Instruction Set Architecture in Coq. SETTA 2017: 300-316
• 
  Jianxin Xue, Huan Long, Yuxi Fu:
  Remark on Some \pi Variants. SETTA 2017: 183-199
• 
  Zipeng Zhang, Xinyu Feng:
  AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications. SETTA 2017: 164-180
• 
  Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang:
  Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science 10606, Springer 2017, ISBN 978-3-319-69482-5 [contents]