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

• 2019
• 
  Bernhard K. Aichernig, Martin Tappler:
  Probabilistic black-box reachability checking (extended version). Formal Methods Syst. Des. 54(3): 416-448 (2019)
• 
  Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner:
  Some complexity results for stateful network verification. Formal Methods Syst. Des. 54(2): 191-231 (2019)
• 
  David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel:
  Almost event-rate independent monitoring. Formal Methods Syst. Des. 54(3): 449-478 (2019)
• 
  Zachary Benavides, Keval Vora, Rajiv Gupta, Xiangyu Zhang:
  Annotation guided collection of context-sensitive parallel execution profiles. Formal Methods Syst. Des. 54(3): 388-415 (2019)
• 
  Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri:
  Abstract semantic diffing of evolving concurrent programs. Formal Methods Syst. Des. 54(1): 4-26 (2019)
• 
  Aziem Chawdhary, Edward Robbins, Andy King:
  Incrementally closing octagons. Formal Methods Syst. Des. 54(2): 232-277 (2019)
• 
  Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
  Monitoring hyperproperties. Formal Methods Syst. Des. 54(3): 336-363 (2019)
• 
  Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan:
  Template polyhedra and bilinear optimization. Formal Methods Syst. Des. 54(1): 27-63 (2019)
• 
  Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
  TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. 54(3): 364-387 (2019)
• 
  Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi:
  SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54(2): 164-190 (2019)
• 
  Abdelraouf Ouadjaout, Antoine Miné:
  Quantitative static analysis of communication protocols using abstract Markov chains. Formal Methods Syst. Des. 54(1): 64-109 (2019)
• 
  Francesco Ranzato:
  Foreword to the special issue on the 2017 Static Analysis Symposium. Formal Methods Syst. Des. 54(1): 1-3 (2019)
• 
  César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
  A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019)
• 
  Tushar Sharma, Thomas W. Reps:
  A new abstraction framework for affine transformers. Formal Methods Syst. Des. 54(1): 110-143 (2019)
• 
  Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
  Statistical verification of PCTL using antithetic and stratified samples. Formal Methods Syst. Des. 54(2): 145-163 (2019)