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

• 2024
• 
  Dániel Szekeres, Kristóf Marussy, István Majzik:
  A Lazy Abstraction Algorithm for Markov Decision Processes - Theory and Initial Evaluation. ASMTA 2024: 81-96
• 
  Xuhao Luo, Shreesha G. Bhat, Jiyu Hu, Ramnatthan Alagappan, Aishwarya Ganesan:
  LazyLog: A New Shared Log Abstraction for Low-Latency Applications. SOSP 2024: 296-312
• 
  Dániel Szekeres, Kristóf Marussy, István Majzik:
  A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation. CoRR abs/2406.00824 (2024)
• 2022
• 
  Haowei Liang, Chunyan Hou, Jinsong Wang, Chen Chen:
  An Extention of Lazy Abstraction and Refinement for Program Verification. COMPSAC 2022: 1750-1755
• 2020
• 
  Yajun Wu, Hiromu Kamide, Satoshi Yamane:
  Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement. GCCE 2020: 62-65
• 2019
• 
  Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
  Lazy Abstraction-Based Controller Synthesis. ATVA 2019: 23-47
• 2018
• 
  Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias:
  Improving lazy abstraction for SCR specifications through constraint relaxation. Softw. Test. Verification Reliab. 28(2) (2018)
• 
  Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
  Lazy Abstraction-Based Control for Safety Specifications. CDC 2018: 4902-4907
• 
  Omar Hussien, Paulo Tabuada:
  Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications. CDC 2018: 3567-3572
• 
  Taku Terao:
  Lazy Abstraction for Higher-Order Program Verification. PPDP 2018: 23:1-23:13
• 
  Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
  Lazy Abstraction-Based Control for Safety Specifications. CoRR abs/1804.02666 (2018)
• 
  Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
  Lazy Abstraction-Based Control for Reachability. CoRR abs/1804.02722 (2018)
• 2017
• 
  Zhao Duan, Cong Tian, Zhenhua Duan:
  Verifying Temporal Properties of C Programs via Lazy Abstraction. ICFEM 2017: 122-139
• 2016
• 
  Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato:
  Lazy sequentialization for TSO and PSO via shared memory abstractions. FMCAD 2016: 193-200
• 
  Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
  Lazy Constrained Monotonic Abstraction. VMCAI 2016: 147-165
• 2015
• 
  Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta:
  Verifying synchronous reactive systems using lazy abstraction. DATE 2015: 1571-1574
• 2014
• 
  Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
  An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. 45(1): 63-109 (2014)
• 2013
• 
  Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
  Lazy Abstractions for Timed Automata. CAV 2013: 990-1005
• 
  Guodong Li, Indradeep Ghosh:
  Lazy Symbolic Execution through Abstraction and Sub-space Search. Haifa Verification Conference 2013: 295-310
• 
  Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
  Lazy abstractions for timed automata. CoRR abs/1301.3127 (2013)
• 2012
• 
  Yakir Vizel, Orna Grumberg, Sharon Shoham:
  Lazy abstraction and SAT-based reachability in hardware model checking. FMCAD 2012: 173-181
• 
  Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
  Lazy Abstraction with Interpolants for Arrays. LPAR 2012: 46-61
• 2011
• 
  Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
  Boosting Lazy Abstraction for SystemC with Partial Order Reduction. TACAS 2011: 341-356
• 2010
• 
  Michael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp:
  Lazy Abstraction for Size-Change Termination. LPAR (Yogyakarta) 2010: 217-232
• 2008
• 
  Harald Fecher, Sharon Shoham:
  State Focusing: Lazy Abstraction for the Mu-Calculus. SPIN 2008: 95-113
• 
  Rayna Dimitrova, Andreas Podelski:
  Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? VMCAI 2008: 98-111
• 2006
• 
  Kenneth L. McMillan:
  Lazy Abstraction with Interpolants. CAV 2006: 123-136
• 
  Sumit Kumar Jha:
  Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata. CoRR abs/cs/0611051 (2006)
• 2005
• 
  Aarti Gupta, Malay K. Ganai, Pranav Ashar:
  Lazy Constraints and SAT Heuristics for Proof-Based Abstraction. VLSI Design 2005: 183-188
• 2002
• 
  Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
  Lazy abstraction. POPL 2002: 58-70

skipping 3 more matches