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 |