Search results for "BMC"

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