|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
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 |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|