Search results for "underapproximation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Neha Rungta, Eric Mercer	Slicing and dicing bugs in concurrent programs.	ICSE (2)	2010	DBLP DOI BibTeX RDF	underapproximation, concurrency, abstraction-refinement
79	Arie Matsliah, Ofer Strichman	Underapproximation for Model-Checking Based on Random Cryptographic Constructions.	CAV	2007	DBLP DOI BibTeX RDF
60	Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald	Proof-guided underapproximation-widening for multi-process systems.	POPL	2005	DBLP DOI BibTeX RDF	SAT proofs, underapproximation-widening, abstraction, software verification, bounded model checking
48	Goran Frehse, Sumit Kumar Jha 0001, Bruce H. Krogh	A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
31	Mateusz Gabor, Rafal Zdunek, Radoslaw Zimroz, Agnieszka Wylomanska	Non-Negative Matrix Underapproximation as Optimal Frequency Band Selector.	IECON	2023	DBLP DOI BibTeX RDF
31	Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy 0001	Proof-Guided Underapproximation Widening for Bounded Model Checking.	CAV (1)	2022	DBLP DOI BibTeX RDF
31	Abraham P. Vinod, Meeko M. K. Oishi	Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms.	IEEE Control. Syst. Lett.	2017	DBLP DOI BibTeX RDF
31	Pierre Ganty, Radu Iosif, Filip Konecný	Underapproximation of procedure summaries for integer programs.	Int. J. Softw. Tools Technol. Transf.	2017	DBLP DOI BibTeX RDF
31	Ievgen Ivanov	On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems.	SNR@ETAPS	2017	DBLP DOI BibTeX RDF
31	Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi	Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods.	CoRR	2017	DBLP BibTeX RDF
31	Abraham P. Vinod, Meeko M. K. Oishi	Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms.	CoRR	2017	DBLP BibTeX RDF
31	Sumanth Prabhu 0001, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar	Concurrent Program Verification with Invariant-Guided Underapproximation.	ATVA	2017	DBLP DOI BibTeX RDF
31	Joseph D. Gleason, Abraham P. Vinod, Meeko M. K. Oishi	Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods.	CDC	2017	DBLP DOI BibTeX RDF
31	Mariano Tepper, Guillermo Sapiro	Nonnegative Matrix Underapproximation for Robust Multiple Model Fitting.	CVPR	2017	DBLP DOI BibTeX RDF
31	Mariano Tepper, Guillermo Sapiro	Nonnegative Matrix Underapproximation for Robust Multiple Model Fitting.	CoRR	2016	DBLP BibTeX RDF
31	Pierre Ganty, Radu Iosif, Filip Konecný	Underapproximation of Procedure Summaries for Integer Programs.	TACAS	2013	DBLP DOI BibTeX RDF
31	Pierre Ganty, Radu Iosif, Filip Konecný	Underapproximation of Procedure Summaries for Integer Programs	CoRR	2012	DBLP BibTeX RDF
31	Ivica Kopriva, Xinjian Chen 0001, Jianhua Yao 0001	Nonlinear band expansion and nonnegative matrix underapproximation for unsupervised segmentation of a liver from a multi-phase CT image.	Medical Imaging: Image Processing	2011	DBLP DOI BibTeX RDF
31	Nicolas Gillis, Robert J. Plemmons	Sparse nonnegative matrix underapproximation and its application to hyperspectral image analysis.	WHISPERS	2011	DBLP DOI BibTeX RDF
31	Arie Matsliah, Ofer Strichman	Underapproximation for model-checking based on universal circuits.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
31	Michael W. Berry, Nicolas Gillis, François Glineur	Document Classification using Nonnegative Matrix Factorization and Underapproximation.	ISCAS	2009	DBLP DOI BibTeX RDF
29	Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
29	Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar	Testing for buffer overflows with length abstraction.	ISSTA	2008	DBLP DOI BibTeX RDF	length abstractions, underapproximation, buffer overflows, testing c programs, directed testing
24	Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo	A Forward-Backward Abstraction Refinement Algorithm.	VMCAI	2008	DBLP DOI BibTeX RDF
24	Raffaella Gentilini, Klaus Schneider 0001, Bud Mishra	Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking.	LFCS	2007	DBLP DOI BibTeX RDF
24	David A. Schmidt	Underapproximating Predicate Transformers.	SAS	2006	DBLP DOI BibTeX RDF
24	Alexandre M. Bayen, Eva Crück, Claire J. Tomlin	Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques.	HSCC	2002	DBLP DOI BibTeX RDF