|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 107 occurrences of 66 keywords
|
|
|
Results
Found 19409 publication records. Showing 19409 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
133 | Madhukar Budagavi, Jerry D. Gibson |
Multiframe video coding for improved performance over wireless channels. |
IEEE Trans. Image Process. |
2001 |
DBLP DOI BibTeX RDF |
|
120 | Malay K. Ganai, Aarti Gupta, Zijiang Yang 0006, Pranav Ashar |
Efficient distributed SAT and SAT-based distributed Bounded Model Checking. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Distributed-SAT, Parallel SAT, Model Checking, Formal Verification, SAT, BMC |
120 | Malay K. Ganai, Aarti Gupta |
Accelerating high-level bounded model checking. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
|
117 | Malay K. Ganai, Aarti Gupta |
Tunneling and slicing: towards scalable BMC. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
CFG, partitioning, slice, SMT, tunnel, EFSM, CSR, BMC |
106 | Madhukar Budagavi, Jerry D. Gibson |
Error Propagation in Motion Compensated Video Over Wireless Channels. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
motion compensated video, error propagation probability, multiple frames, block motion compensation, video coders, error robustness properties, multiframe BMC coders, multiple Markov chain, macroblock prediction, base level H.263 coder, simulated errors, AWGN channel, motion compensation, wireless channels, personal communication systems, Markov chain analysis |
93 | Jinji Yang, Kaile Su, Qingliang Chen |
Improving Encoding Efficiency for Bounded Model Checking. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
encoding, SAT, Bounded Model Checking |
93 | Yao-Wen Huang, Fang Yu 0001, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo |
Verifying Web Applications Using Bounded Model Checking. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
93 | Malay K. Ganai, Aarti Gupta, Zijiang Yang 0006, Pranav Ashar |
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
93 | Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi |
Benefits of Bounded Model Checking at an Industrial Setting. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
80 | Liang Zhang 0012, Mukul R. Prasad, Michael S. Hsiao |
Incremental deductive & inductive reasoning for SAT-based bounded model checking. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
80 | Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel |
Experimental Analysis of Different Techniques for Bounded Model Checking. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
76 | Malay K. Ganai, Aarti Gupta |
Completeness in SMT-based BMC for Software Programs. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
76 | Malay K. Ganai, Aarti Gupta |
Efficient BMC for Multi-Clock Systems with Clocked Specifications. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks |
76 | Toni Jussila, Keijo Heljanko, Ilkka Niemelä |
BMC via on-the-fly determinization. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Verification, Labeled transition system, Bounded model checking |
67 | Yanyan Xu 0001, Wei Chen 0018, Liang Xu, Wenhui Zhang |
Evaluation of SAT-based Bounded Model Checking of ACTL Properties. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Shujun Deng, Weimin Wu, Jinian Bian |
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
67 | Nachum Dershowitz, Ziyad Hanna, Jacob Katz |
Bounded Model Checking with QBF. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
67 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
Efficient Modeling of Embedded Memories in Bounded Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
63 | S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song |
Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
63 | Malay K. Ganai, Weihong Li |
d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Manitra Rakotoarisoa, Enric Pastor |
BMC Encoding for Concurrent Systems. |
SCCC |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe |
A BMC-based formulation for the scheduling problem of hardware systems. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Hardware scheduling, Binary decision diagrams, Bounded model checking, Satisfiability solvers |
53 | Tobias Schüle, Klaus Schneider 0001 |
Bounded model checking of infinite state systems. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems |
53 | Ulrich Kühne, Daniel Große, Rolf Drechsler |
Improving the Quality of Bounded Model Checking by Means of Coverage Estimation. |
ISVLSI |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna |
Disk Based Software Verification via Bounded Model Checking. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Zhenyu Chen 0001, Zhihong Tao, Baowen Xu, Lifu Wang |
Implication-Based Approximating Bounded Model Checking. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Approximation, Abstraction, Bounded Model Checking, Implication |
53 | Toni Jussila, Armin Biere |
Compressing BMC Encodings with QBF. |
BMC@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref |
Supporting SAT based BMC on Finite Path Models. |
BMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Alex Groce, Daniel Kroening |
Making the Most of BMC Counterexamples. |
BMC@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe |
A BMC-formulation for the scheduling problem in highly constrained hardware Systems. |
BMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Toni Jussila, Keijo Heljanko, Ilkka Niemelä |
BMC via on-the-fly determinization. |
BMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Jocelyn Simmonds, Jessica Davies 0001, Arie Gurfinkel, Marsha Chechik |
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle |
Error Detection Using BMC in a Parallel Environment. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Aarti Gupta, Malay K. Ganai, Chao Wang 0001, Zijiang Yang 0006, Pranav Ashar |
Abstraction and BDDs Complement SAT-Based BMC in DiVer. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Aarti Gupta, Malay K. Ganai, Zijiang Yang 0006, Pranav Ashar |
Iterative Abstraction using SAT-based BMC with Proof Analysis. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Tien-Ying Kuo, C.-C. Jay Kuo |
A Hybrid BMC/OBMC Motion Compensation Scheme. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
|
40 | Fang Yu 0001, Bow-Yaw Wang |
Toward Unbounded Model Checking for Region Automata. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
Region automata, Real-time systems, Model checking, Verification, Induction, BMC |
40 | Daniel Große, Ulrich Kühne, Rolf Drechsler |
Analyzing Functional Coverage in Bounded Model Checking. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate |
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Daniel Große, Ulrich Kühne, Rolf Drechsler |
Estimating functional coverage in bounded model checking. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Shujun Deng, Weimin Wu, Jinian Bian |
Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. |
CSCWD |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Erika Ábrahám, Tobias Schubert 0001, Bernd Becker 0001, Martin Fränzle, Christian Herde |
Parallel SAT Solving in Bounded Model Checking. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Mark Reynolds 0001 |
Verification of Multi-agent Systems Via Bounded Model Checking. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking |
40 | Anubhav Gupta 0001, Ofer Strichman |
Abstraction Refinement for Bounded Model Checking. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
Verification of Embedded Memory Systems using Efficient Memory Modeling. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Maciej Szreter |
Selective Search in Bounded Model Checking of Reachability Properties. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Erika Ábrahám, Bernd Becker 0001, Felix Klaedtke, Martin Steffen |
Optimizing Bounded Model Checking for Linear Hybrid Systems. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Aarti Gupta, Malay K. Ganai, Pranav Ashar |
Lazy Constraints and SAT Heuristics for Proof-Based Abstraction. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
Beyond safety: customized SAT-based model checking. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL |
40 | Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Qingliang Chen, Guanfeng Lv |
Bounded model checking knowledge and branching time in synchronous multi-agent systems. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking |
40 | Per Bjesse, James H. Kukula |
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Kuehlmann |
Dynamic transition relation simplification for bounded property checking. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Vivekananda M. Vedula, Whitney J. Townsend, Jacob A. Abraham |
Program Slicing for ATPG-Based Property Checking. |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Chao Wang 0001, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
Refining the SAT decision ordering for bounded model checking. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
decision heuristic, SAT, bounded model checking |
40 | Ohad Shacham, Emmanuel Zarpas |
Tuning the VSIDS Decision Heuristic for Bounded Model Checking. |
MTV |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Bozena Wozna, Andrzej Zbrzezny |
Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Per Bjesse |
Industrial Model Checking Based on Satisfiability Solvers. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani |
Improving the Encoding of LTL Model Checking into SAT. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Max H. Garzon, Chris Oehmen |
Biomolecular Computation in Virtual Test Tubes. |
DNA |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Ofer Strichman |
Pruning Techniques for the SAT-Based Bounded Model Checking Problem. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Malay K. Ganai, Aarti Gupta |
Efficient Modeling of Concurrent Systems in BMC. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Israel Gat |
How BMC is Scaling Agile Development. |
AGILE |
2006 |
DBLP DOI BibTeX RDF |
|
30 | V. G. Vinod Vydiswaran, Yaoyun Zhang, Yanshan Wang, Hua Xu 0001 |
Special issue of BMC medical informatics and decision making on health natural language processing. |
BMC Medical Informatics Decis. Mak. |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Claudia Angelini, Andrea Bracciali, David Gilbert, Riccardo Rizzo |
Preface to the BMC-CIBB 2015-16 special issue. |
BMC Bioinform. |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Dirk Krüger |
BMC Bioinformatics reviewer acknowledgement 2015. |
BMC Bioinform. |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Giulia Mangiameli |
BMC Medical Informatics and Decision Making reviewer acknowledgement 2015. |
BMC Medical Informatics Decis. Mak. |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Clare Partridge |
BMC Medical Imaging reviewer acknowledgement 2015. |
BMC Medical Imaging |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Irene Pala |
BMC Bioinformatics reviewer acknowledgement 2014. |
BMC Bioinform. |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Giulia Mangiameli |
BMC Medical Informatics and Decision Making reviewer acknowledgement 2014. |
BMC Medical Informatics Decis. Mak. |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Clare Partridge |
BMC Medical Imaging reviewer acknowledgement 2014. |
BMC Medical Imaging |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Alexandre Kuhn |
Correspondence regarding Zhong et al., BMC Bioinformatics 2013 Mar 7;14: 89. |
BMC Bioinform. |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Irene Pala |
BMC Medical Informatics and Decision Making. |
BMC Medical Informatics Decis. Mak. |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Michael Retsky |
Comments on John D. Keen and James E. Keen, What is the point: will screening mammography save my life? BMC Medical Informatics and Decision Making, 2009. |
BMC Medical Informatics Decis. Mak. |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Oscar M. Rueda, Ramón Díaz-Uriarte |
A response to Yu et al. "A forward-backward fragment assembling algorithm for the identification of genomic amplification and deletion breakpoints using high-density single nucleotide polymorphism (SNP) array", BMC Bioinformatics 2007, 8: 145. |
BMC Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Matt J. Hodgkinson, Penelope A. Webb |
A system for success: BMC Systems Biology, a new open access journal. |
BMC Syst. Biol. |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Ofer Strichman, Armin Biere (eds.) |
Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006 |
BMC@FLoC |
2007 |
DBLP BibTeX RDF |
|
30 | Armin Biere, Ofer Strichman (eds.) |
Proceedings of the Third International Workshop on Bounded Model Checking, BMC@CAV 2005, Edinburgh, UK, July 11, 2005 |
BMC@CAV |
2006 |
DBLP BibTeX RDF |
|
30 | João Marques-Silva 0001 |
Interpolant Learning and Reuse in SAT-Based Model Checking. |
BMC@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Erika Ábrahám, Marc Herbstritt, Bernd Becker 0001, Martin Steffen |
Bounded Model Checking with Parametric Data Structures. |
BMC@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Ofer Strichman, Armin Biere |
Preface. |
BMC@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Xuandong Li, Sumit Jha Aanand, Lei Bu |
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. |
BMC@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Paul B. Jackson, Daniel Sheridan |
A Compact Linear Translation for Bounded Model Checking. |
BMC@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Matthew J. Cockerill |
BMC Bioinformatics comes of age. |
BMC Bioinform. |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Armin Biere, Ofer Strichman (eds.) |
Proceedings of the 2nd International Workshop on Bounded Model Checking, BMC@CAV 2004, Boston, MA, USA, July 18, 2004 |
BMC@CAV |
2005 |
DBLP BibTeX RDF |
|
30 | Armin Biere, Ofer Strichman |
Preface. |
BMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Ohad Shacham, Karen Yorav |
Adaptive Application of SAT Solving Techniques. |
BMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Mohammad Awedh, Fabio Somenzi |
Termination Criteria for Bounded Model Checking: Extensions and Comparison. |
BMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky |
Bounded Model Checking for All Regular Properties. |
BMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Anders Franzén |
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs. |
BMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Daniel Kroening |
Computing Over-Approximations with Bounded Model Checking. |
BMC@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. |
BMC@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi |
SAT-based Induction for Temporal Safety Properties. |
BMC@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Daniel Sheridan |
Bounded Model Checking with SNF, Alternating Automata, and Bu"chi Automata. |
BMC@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
30 | HoonSang Jin, Fabio Somenzi |
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. |
BMC@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Armin Biere, Ofer Strichman |
Preface. |
BMC@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani |
Verifying Industrial Hybrid Systems with MathSAT. |
BMC@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Ofer Strichman, Armin Biere (eds.) |
First International Workshop on Bounded Model Checking, BMC@CAV 2003, Boulder, Colorado, USA, July 13, 2003 |
BMC@CAV |
2003 |
DBLP BibTeX RDF |
|
30 | Zurab Khasidashvili, Ziyad Hanna |
SAT-based methods for sequential hardware equivalence verification without synchronization. |
BMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 19409 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|