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

• 2019
• 
  Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop:
  A compositional approach for real-time machine learning. MEMOCODE 2019: 7:1-7:5
• 
  Maryam Dabaghchian, Zvonimir Rakamaric:
  A timeless model for the verification of quasi-periodic distributed systems. MEMOCODE 2019: 4:1-4:11
• 
  Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina:
  Lattice-based SMT for program verification. MEMOCODE 2019: 16:1-16:11
• 
  David J. Greaves:
  Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog. MEMOCODE 2019: 2:1-2:11
• 
  Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos:
  Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. MEMOCODE 2019: 6:1-6:11
• 
  Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo:
  Security-driven metrics and models for efficient evaluation of logic encryption schemes. MEMOCODE 2019: 9:1-9:5
• 
  Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia:
  RTL bug localization through LTL specification mining (WIP). MEMOCODE 2019: 5:1-5:5
• 
  Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan:
  Modeling observability in adaptive systems to defend against advanced persistent threats. MEMOCODE 2019: 10:1-10:11
• 
  Ratan Lal, Pavithra Prabhakar:
  Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. MEMOCODE 2019: 12:1-12:5
• 
  Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
  Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE 2019: 14:1-14:11
• 
  Bernard Nongpoh, Rajarshi Ray, Ansuman Banerjee:
  Approximate computing for multithreaded programs in shared memory architectures. MEMOCODE 2019: 11:1-11:9
• 
  Paritosh K. Pandya, Amol Wakankar:
  Logical specification and uniform synthesis of robust controllers. MEMOCODE 2019: 15:1-15:11
• 
  Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty:
  Securing implantable medical devices with runtime enforcement hardware. MEMOCODE 2019: 3:1-3:9
• 
  Jin Woo Ro, Avinash Malik, Partha S. Roop:
  A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. MEMOCODE 2019: 1:1-1:11
• 
  Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen:
  Security analysis of cloud-connected industrial control systems using combinatorial testing. MEMOCODE 2019: 13:1-13:11
• 
  Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle:
  Establishing a refinement relation between binaries and abstract code. MEMOCODE 2019: 17:1-17:5
• 
  Michael Witterauf, Frank Hannig, Jürgen Teich:
  Polyhedral fragments: an efficient representation for symbolically generating code for processor arrays. MEMOCODE 2019: 8:1-8:10
• 
  Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo:
  Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM 2019, ISBN 978-1-4503-6997-8 [contents]