Search results for "BMC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Ofer Strichman, Armin Biere	Preface.	BMC@CAV	2003	DBLP DOI BibTeX RDF
30	Bing Li, Chao Wang 0001, Fabio Somenzi	A satisfiability-based approach to abstraction refinement in model checking.	BMC@CAV	2003	DBLP DOI BibTeX RDF
30	P. Madhusudan, Wonhong Nam, Rajeev Alur	Symbolic computational techniques for solving games.	BMC@CAV	2003	DBLP DOI BibTeX RDF
30	Niklas Eén, Niklas Sörensson	Temporal induction by incremental SAT solving.	BMC@CAV	2003	DBLP DOI BibTeX RDF
27	Hratch Mangassarian, Andreas G. Veneris, Marco Benedetti	Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	k-induction, sequential ATPG, SAT, QBF, design debugging, BMC
27	Liang Xu	SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	real-time systems, SMT, BMC
27	Lucas C. Cordeiro	SMT-based bounded model checking for multi-threaded software in embedded systems.	ICSE (2)	2010	DBLP DOI BibTeX RDF	SAT modulo theories, formal software verification, multicore systems, computer-aided verification
27	Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
27	Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler	Contradictory antecedent debugging in bounded model checking.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	formal verification, debugging, bounded model checking, psl
27	Robert Wille, Görschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler	Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking.	DSD	2008	DBLP DOI BibTeX RDF
27	Jefferson O. Andrade, Yukiyoshi Kameyama	A Direct Algorithm for Multi-valued Bounded Model Checking.	ATVA	2008	DBLP DOI BibTeX RDF
27	Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko	Symbolic Step Encodings for Object Based Communicating State Machines.	FMOODS	2008	DBLP DOI BibTeX RDF
27	Federico Mari, Enrico Tronci	CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
27	Rotem Oshman, Orna Grumberg	A New Approach to Bounded Model Checking for Branching Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
27	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Bounded Model Checking with Description Logic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
27	John A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya	Displacement Whiplash PCR: Optimized Architecture and Experimental Validation.	DNA	2006	DBLP DOI BibTeX RDF
27	Heon-Mo Koo, Prabhat Mishra 0001	Test generation using SAT-based bounded model checking for validation of pipelined processors.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	test generation, functional validation
27	Takeshi Toda, Yuukich Aihara, Jun-ichi Takada	Field trial of space-time equalizer and delay diversity transmission in uplink for TDMA mobile communication.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
27	Tobias Schüle, Klaus Schneider 0001	Three-valued logic in bounded model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
27	Calvin Kai Fan Tang, Eugenia Ternovska	Model Checking Abstract State Machines with Answer Set Programming.	LPAR	2005	DBLP DOI BibTeX RDF
27	Marc Herbstritt, Bernd Becker 0001	On SAT-based Bounded Invariant Checking of Blackbox Designs.	MTV	2005	DBLP DOI BibTeX RDF
27	Jacob Katz, Ziyad Hanna, Nachum Dershowitz	Space-Efficient Bounded Model Checking.	DATE	2005	DBLP DOI BibTeX RDF
27	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
27	Ofer Strichman	Accelerating Bounded Model Checking of Safety Properties.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	SAT, Bounded Model Checking
27	Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi	Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking.	ISORC	2004	DBLP DOI BibTeX RDF
27	Jason Baumgartner, Andreas Kuehlmann	Enhanced Diameter Bounding via Structural.	DATE	2004	DBLP DOI BibTeX RDF
27	Edmund M. Clarke, Daniel Kroening, Flavio Lerda	A Tool for Checking ANSI-C Programs.	TACAS	2004	DBLP DOI BibTeX RDF
27	Fang Yu 0001, Bow-Yaw Wang, Yao-Wen Huang	Bounded Model Checking for Region Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
27	Max H. Garzon, Derrel Blain, Kiranchand V. Bobba, Andrew Neel, Michael West	Self-Assembly of DNA-like Structures In Silico.	Genet. Program. Evolvable Mach.	2003	DBLP DOI BibTeX RDF	online genetic algorithms, DNA-based associative memories, efficiency of DNA computing, reaction kinetics in DNA-based computational protocols, Hamiltonian path problem
27	Martin Fränzle, Christian Herde	Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.	LPAR	2003	DBLP DOI BibTeX RDF	non-clausal propositional logic, zero-one linear constraint systems, Satisfiability, proof search, acceleration techniques
27	Daniel Kroening, Ofer Strichman	Efficient Computation of Recurrence Diameters.	VMCAI	2003	DBLP DOI BibTeX RDF
27	Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani	Bounded Model Checking for Timed Systems.	FORTE	2002	DBLP DOI BibTeX RDF
27	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Can BDDs compete with SAT solvers on bounded model checking?	DAC	2002	DBLP DOI BibTeX RDF	model checking, formal verification, SAT, BDDs
27	Daniel Sheridan	Comparing SAT Encodings for Model Checking.	CP	2001	DBLP DOI BibTeX RDF
27	Max H. Garzon, Evan M. Drumwright, Russell J. Deaton, David Renault	Virtual Test Tubes: A New Methodology for Computing.	SPIRE	2000	DBLP DOI BibTeX RDF	biocomputers, virtual test tubes, biological molecules, electronic computers, biomolecules, solid-state based computers, Edna, reliability, evolutionary algorithms, computing methodology, biomolecular computing
26	Hsin-Ta Chiao	Comparison of OMA BCAST 1.0 service guide with DVB-IPDC phase 1 ESG over DVB-H.	Mobility Conference	2008	DBLP DOI BibTeX RDF	BMC (broadcast and mobile convergence), EPG (electronic program guide), mobile multimedia broadcasting, mobile TV
26	Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik	Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.	DAC	2002	DBLP DOI BibTeX RDF	boolean constraint propagation (BCP), bounded model checking (BMC), conjunctive normal form (CNF), boolean satisfiability (SAT)
23	Jie Su, Ying Wang, Jing Zhang 0083, Sijie Niu, Jinjun Han, Lumin Xing, Jinming Song	ROI-BMC-DNNet: An efficient automatic analysis model of whole-slide scanned bone marrow aspirate images for the diagnosis of hematological disorders.	Biomed. Signal Process. Control.	2023	DBLP DOI BibTeX RDF
23	Abhishek Bansal	Data:Short Circuit 72Ah Li-Ion Battery & BMC.		2023	DOI RDF
23	Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee	Harnessing Multiple BMC Engines Together for Efficient Formal Verification.	MEMOCODE	2023	DBLP BibTeX RDF
23	Daewoong Hwang, Minho Park	Reducing the Booting Time for BMC.	RACS	2023	DBLP DOI BibTeX RDF
23	Hamaad Rafique, Davide Patti, Maurizio Palesi, Vincenzo Catania	m-BMC: Exploration of Magnetic Field Measurements for Indoor Positioning Using mini-Batch Magnetometer Calibration.	MOST	2023	DBLP DOI BibTeX RDF
23	Yashi Liu, Kefan Qiu, Lu Liu, Quanxin Zhang	Penetrating Machine Learning Servers via Exploiting BMC Vulnerability.	ML4CS	2023	DBLP DOI BibTeX RDF
23	Jingyao Wu, Ting Dang, Vidhyasaharan Sethu, Eliathamby Ambikairajah	Belief Mismatch Coefficient (BMC): A Novel Interpretable Measure of Prediction Accuracy for Ambiguous Emotion States.	ACII	2023	DBLP DOI BibTeX RDF
23	Jianxin Liu, Fuge Wang, Qingkun Zhuo, Xue Yang	PCIE-Based Shared Memory Technology between BMC and CPU.	SPCNC	2023	DBLP DOI BibTeX RDF
23	Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro	Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.	IEEE Access	2022	DBLP DOI BibTeX RDF
23	Ying Zhang 0040, Yi Ding, Zebo Peng, Huawei Li 0001, Masahiro Fujita, Jianhui Jiang	BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature.	IEEE Trans. Very Large Scale Integr. Syst.	2022	DBLP DOI BibTeX RDF
23	Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro	Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.	CoRR	2022	DBLP DOI BibTeX RDF
23	Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty	BMC+Fuzz: Efficient and Effective Test Generation.	DATE	2022	DBLP DOI BibTeX RDF
23	Hongwei Liu, Haojun Xia, Bibo Tu	Secure and Efficient BMC-Based Centralized Management Method for Large-Scale Data Centers.	HPCC/DSS/SmartCity/DependSys	2022	DBLP DOI BibTeX RDF
23	Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman	Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding.	ICCAD	2022	DBLP DOI BibTeX RDF
23	Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak	SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties.	ICAART (1)	2022	DBLP DOI BibTeX RDF
23	Hongwei Liu, Haojun Xia, Bibo Tu, Da Zhang, Xiaotong Wang	A Secure and Efficient USB-based In-band Communication Interface between Host and BMC.	ISPA/BDCloud/SocialCom/SustainCom	2022	DBLP DOI BibTeX RDF
23	Sai Eswar Garapati, Erhan Giral, Smiljana Antonijevic	Rethinking Monitoring for Cloud Environments: BMC Software AIOps Case Study.	ESOCC Workshops	2022	DBLP DOI BibTeX RDF
23	Abdelouahid Derhab, Mohamed Guerroumi, Mohamed Belaoued, Omar Cheikhrouhou	BMC-SDN: Blockchain-Based Multicontroller Architecture for Secure Software-Defined Networks.	Wirel. Commun. Mob. Comput.	2021	DBLP DOI BibTeX RDF
23	Yoann Ghigoff, Julien Sopena, Kahina Lazri, Antoine Blin, Gilles Muller	BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing.	NSDI	2021	DBLP BibTeX RDF
23	Zsófia Ádám, Gyula Sallai, Ákos Hajdu	Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).	TACAS (2)	2021	DBLP DOI BibTeX RDF
23	Tobias Latzo, Julian Brost, Felix C. Freiling	BMCLeech: Introducing Stealthy Memory Forensics to BMC.	Digit. Investig.	2020	DBLP DOI BibTeX RDF
23	Md. Manjurul Ahsan, Yueqing Li, Jing Zhang 0050, Md Tanvir Ahad, Munshi Md. Shafwat Yazdan	Face Recognition in an Unconstrained and Real-Time Environment Using Novel BMC-LBPH Methods Incorporates with DJI Vision Sensor.	J. Sens. Actuator Networks	2020	DBLP DOI BibTeX RDF
23	Michael Gimelfarb, Scott Sanner, Chi-Guhn Lee	ε-BMC: A Bayesian Ensemble Approach to Epsilon-Greedy Exploration in Model-Free Reinforcement Learning.	CoRR	2020	DBLP BibTeX RDF
23	Sumiko Asai	Changes in revenue structure of a leading open access journal publisher: the case of BMC.	Scientometrics	2019	DBLP DOI BibTeX RDF
23	Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer 0001	BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings.	CAV (1)	2019	DBLP DOI BibTeX RDF
23	Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell	Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C.	CAV (1)	2019	DBLP DOI BibTeX RDF
23	Michael Gimelfarb, Scott Sanner, Chi-Guhn Lee	Epsilon-BMC: A Bayesian Ensemble Approach to Epsilon-Greedy Exploration in Model-Free Reinforcement Learning. (PDF / PS)	UAI	2019	DBLP BibTeX RDF
23	Siamak Delshadpour, Xu Zhang, Abhijeet Kulkarni	A BMC Analog/Digital PHY for Type-C USB Power Delivery Chip in 0.14 μm CMOS Technology.	CCECE	2019	DBLP DOI BibTeX RDF
23	Liangze Yin, Wei Dong 0006, Fei He, Ji Wang 0001	A True-Concurrency Encoding for BMC of Compositional Systems.	Comput. J.	2018	DBLP DOI BibTeX RDF
23	Jae-Hoon An, Chanyeong Kim, Younghwan Kim	The design and development of integrated interface for provision BMC framework.	RACS	2018	DBLP DOI BibTeX RDF
23	Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer 0001	BMC with Memory Models as Modules.	FMCAD	2018	DBLP DOI BibTeX RDF
23	Agnieszka M. Zbrzezny, Andrzej Zbrzezny	SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems.	AICCSA	2018	DBLP DOI BibTeX RDF
23	Mustapha Bouhrara, Richard G. Spencer 0001	Rapid simultaneous high-resolution mapping of myelin water fraction and relaxation times in human brain using BMC-mcDESPOT.	NeuroImage	2017	DBLP DOI BibTeX RDF
23	Jae-Hoon An, Younghwan Kim, Chang Won Park	Design of Framework supporting IPMI and DCMI based on Open BMC.	RACS	2017	DBLP DOI BibTeX RDF
23	Xiyao Fu, Yi Bin, Liang Peng, Jie Zhou, Yang Yang 0002, Heng Tao Shen	BMC@MediaEval 2017 Multimedia Satellite Task via Regression Random Forest.	MediaEval	2017	DBLP BibTeX RDF
23	Agnieszka M. Zbrzezny	SAT-Versus SMT-Based BMC for TWIS and the Existential Fragment of WCTL with Knowledge.	KES-AMSTA	2017	DBLP DOI BibTeX RDF
23	Oliver Gasser, Felix Emmert, Georg Carle	Digging for Dark IPMI Devices: Advancing BMC Detection and Evaluating Operational Security.	TMA	2016	DBLP BibTeX RDF
23	Yakir Vizel, Arie Gurfinkel, Sharad Malik	Fast Interpolating BMC.	CAV (1)	2015	DBLP DOI BibTeX RDF
23	Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller	Successful Use of Incremental BMC in the Automotive Industry.	FMICS	2015	DBLP DOI BibTeX RDF
23	Yuanpei Gao, Haijiang Ye, Jian Wang 0036, Jinmei Lai	FPGA bitstream compression and decompression based on LZ77 algorithm and BMC technique.	ASICON	2015	DBLP DOI BibTeX RDF
23	Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet	Constraint-based BMC: a backjumping strategy.	Int. J. Softw. Tools Technol. Transf.	2014	DBLP DOI BibTeX RDF
23	Jade Alglave, Daniel Kroening, Michael Tautschnig	Partial Orders for Efficient BMC of Concurrent Software	CoRR	2013	DBLP BibTeX RDF
23	Eduardo P. Wiechmann, Pablo Aqueveque, Jorge A. Henriquez, Luis G. Munoz, Aníbal S. Morales	BMC: A modulating bar for copper electrowining designed for heavy duty and high reliability.	IAS	2013	DBLP DOI BibTeX RDF
23	Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny	Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
23	Bozena Wozna-Szczesniak, Andrzej Zbrzezny	SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems.	DALT	2012	DBLP DOI BibTeX RDF
23	Stefan Kupferschmid, Matthew Lewis 0004, Tobias Schubert 0001, Bernd Becker 0001	Incremental preprocessing methods for use in BMC.	Formal Methods Syst. Des.	2011	DBLP DOI BibTeX RDF
23	Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen	A dynamic constraint-based BMC strategy for generating counterexamples.	SAC	2011	DBLP DOI BibTeX RDF
23	Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar	DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking.	RV	2011	DBLP DOI BibTeX RDF
23	Ke Zhu 0001, Wenjie Zhang 0001, Gaoping Zhu, Ying Zhang 0001, Xuemin Lin 0001	BMC: An Efficient Method to Evaluate Probabilistic Reachability Queries.	DASFAA (1)	2011	DBLP DOI BibTeX RDF
23	Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny	The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems.	EPIA	2011	DBLP DOI BibTeX RDF
23	Jocelyn Simmonds, Jessica Davies 0001, Arie Gurfinkel, Marsha Chechik	Exploiting resolution proofs to speed up LTL vacuity detection for BMC.	Int. J. Softw. Tools Technol. Transf.	2010	DBLP DOI BibTeX RDF
23	Malay K. Ganai	Propelling SAT and SAT-based BMC using careset.	FMCAD	2010	DBLP BibTeX RDF
23	Andrew V. Jones, Alessio Lomuscio	Distributed BDD-based BMC for the verification of multi-agent systems.	AAMAS	2010	DBLP BibTeX RDF
23	Kai-Hui Chang, Valeria Bertacco, Igor L. Markov	Simulation-Based Bug Trace Minimization With BMC-Based Refinement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
23	Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar	Deeper Bound in BMC by Combining Constant Propagation and Abstraction.	ASP-DAC	2007	DBLP DOI BibTeX RDF
23	Katharina Weinberger, Slava Bulach, Wolfgang Rosenstiel	Property Set Exhaustiveness Estimation Approach for BMC-based Formal Hardware Verification.	MBMV	2007	DBLP BibTeX RDF
23	Görschwin Fey, Rolf Drechsler	SAT-based Calculation of Source Code Coverage for BMC.	MBMV	2006	DBLP BibTeX RDF
23	Kai-Hui Chang, Valeria Bertacco, Igor L. Markov	Simulation-based bug trace minimization with BMC-based refinement.	ICCAD	2005	DBLP DOI BibTeX RDF
23	Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz	Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal.	GI Jahrestagung (1)	2005	DBLP BibTeX RDF
23	Liang Zhang 0012, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle	Dynamic abstraction using SAT-based BMC.	DAC	2005	DBLP DOI BibTeX RDF	model checking, SAT, abstraction refinement
23	Toni Jussila	BMC via Dynamic Atomicity Analysis.	ACSD	2004	DBLP DOI BibTeX RDF
23	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	A comparison of BDDs, BMC, and sequential SAT for model checking.	HLDVT	2003	DBLP DOI BibTeX RDF
13	Josefin Rosén, Anders Lövgren, Thierry Kogej, Sorel Muresan, Johan Gottfries, Anders Backlund	ChemGPS-NPWeb: chemical space navigation online.	J. Comput. Aided Mol. Des.	2009	DBLP DOI BibTeX RDF	ChemGPS-NP, Natural products, Chemical space, Internet tool, Biologically active compounds, Drug discovery