|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 542 occurrences of 335 keywords
|
|
|
Results
Found 2210 publication records. Showing 2209 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee |
SMT-Based Translation Validation for Machine Learning Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, pp. 386-407, 2022, Springer, 978-3-031-13187-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
SMT-Based Model Checking of Industrial Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings, pp. 156-172, 2022, Springer, 978-3-031-17243-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ali Kemal Uncu, James H. Davenport, Matthew England 0001 |
SMT-Solving Induction Proofs of Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022., pp. 10-24, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
13 | Hidetaro Tanaka, Tomoaki Tanaka, Ryosuke Higashi, Tsutomu Sekibe, Shuichi Takada, Hironori Nakajo |
Implementation of a RISC-V SMT Core in an AI processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoICT ![In: The 11th International Symposium on Information and Communication Technology, SoICT 2022, Hanoi, Vietnam, December 1-3, 2022, pp. 15-22, 2022, ACM, 978-1-4503-9725-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Raiyyan Malik, Shubham Baunthiyal, Puneet Kumar, Srinath J, Sneh Saurabh |
A Comparison of SAT-based and SMT-based Frameworks for X-value Combinational Equivalence Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, VLSI-SoC 2022, Patras, Greece, October 3-5, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-9005-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mohamed Oulaaffart, Remi Badonnel, Christophe Bianco |
An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 2022 IEEE/IFIP Network Operations and Management Symposium, NOMS 2022, Budapest, Hungary, April 25-29, 2022, pp. 1-9, 2022, IEEE, 978-1-6654-0601-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jaeseo Lee, Sangki Kim, Kyungmin Bae |
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022, pp. 56-67, 2022, ACM, 978-1-4503-9907-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog + SMT + FP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 48-53, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
13 | Malte Mues, Falk Howar |
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell., pp. 75-76, 2022, Gesellschaft für Informatik e.V., 978-3-88579-714-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022, pp. 422-433, 2022, IEEE, 978-1-6654-7704-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani |
SMT-based weighted model integration with structure awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, 1-5 August 2022, Eindhoven, The Netherlands., pp. 1876-1885, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
13 | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
Verification of SMT Systems with Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 154-170, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani |
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, pp. 137-153, 2022, Springer, 978-3-031-19991-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Antero Karvonen, Pertti Saariluoma |
Cognitive Mimetics - SMT Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIC ![In: Proceedings of the 8th International Workshop on Artificial Intelligence and Cognition, AIC 2022, Örebro, Sweden, 15-17 June, 2022., pp. 134-139, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
13 | Soumyadyuti Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay |
SMarT: A SMT Based Privacy Preserving Smart Meter Streaming Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPACE ![In: Security, Privacy, and Applied Cryptography Engineering - 12th International Conference, SPACE 2022, Jaipur, India, December 9-12, 2022, Proceedings, pp. 267-286, 2022, Springer, 978-3-031-22828-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zifu Yan, Yongjun Wang, Haoran Xu |
NNSMT: Deep Neural Networks for SMT Solvers Fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAI ![In: ICCAI '22: 8th International Conference on Computing and Artificial Intelligence, Tianjin, China, March 18 - 21, 2022, pp. 46-53, 2022, ACM, 978-1-4503-9611-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mohammadkazem Taram, Xida Ren, Ashish Venkat, Dean M. Tullsen |
SecSMT: Securing SMT Processors against Contention-Based Covert Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022, pp. 3165-3182, 2022, USENIX Association, 978-1-939133-31-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
13 | Jens Bruchertseifer, Benjamin Weyers |
SMT Solvers - A PromisingWay for Verifying User Interfaces? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC (Workshopband) ![In: Mensch und Computer 2022 - Workshopband, Darmstadt, Germany, September 4 - 7, 2022, 2022, Gesellschaft für Informatik e.V.. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Conformance Checking with Uncertainty via SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 20th International Conference, BPM 2022, Münster, Germany, September 11-16, 2022, Proceedings, pp. 199-216, 2022, Springer, 978-3-031-16102-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Gianola |
SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (PhD/Demos) ![In: Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2022 co-located with 20th International Conference on Business Process Management (BPM 2022), Münster, Germany, September 11th to 16th, 2022., pp. 20-24, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
13 | Idan Raz, Maxim Barsky, Ella Sheory, Idan Yaniv, Dan Tsafrir |
Model-based simulation for SMT cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYSTOR ![In: SYSTOR '22: The 15th ACM International Systems and Storage Conference, Haifa, Israel, June 13 - 15, 2022, pp. 153, 2022, ACM, 978-1-4503-9380-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ying Sheng 0007, Andres Nötzli, Andrew Reynolds 0001, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli |
Reasoning About Vectors Using an SMT Theory of Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, pp. 125-143, 2022, Springer, 978-3-031-10768-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Gereon Kremer, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli |
Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, pp. 95-105, 2022, Springer, 978-3-031-10768-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Haniel Barbosa, Andrew Reynolds 0001, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett |
Flexible Proof Production in an Industrial-Strength SMT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, pp. 15-35, 2022, Springer, 978-3-031-10768-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Chengkai Yu, Yunbo Zhao, Zhenyi Xu |
SMT Component Defection Reassessment Based on Siamese Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim (2) ![In: Methods and Applications for Modeling and Simulation of Complex Systems - 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part II, pp. 75-85, 2022, Springer, 978-981-19-9194-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mikolás Janota, Jelle Piepenbrock, Bartosz Piotrowski |
Towards Learning Quantifier Instantiation in SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel., pp. 7:1-7:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-242-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas |
Efficient Modular SMT-Based Model Checking of Pointer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings, pp. 227-246, 2022, Springer, 978-3-031-22307-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger |
An SMT-Based Framework for Reasoning About Discrete Biological Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications - 18th International Symposium, ISBRA 2022, Haifa, Israel, November 14-17, 2022, Proceedings, pp. 114-125, 2022, Springer, 978-3-031-23197-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak |
SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 1, Online Streaming, February 3-5, 2022., pp. 345-352, 2022, SCITEPRESS, 978-989-758-547-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mihály Dobos-Kovács, András Vörös 0001 |
Evaluation of SMT solvers in abstraction-based software model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022, pp. 109-116, 2022, ACM, 978-1-4503-9737-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hernán Ponce de León, Thomas Haas, Roland Meyer 0001 |
Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, pp. 418-423, 2022, Springer, 978-3-030-99526-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds 0001, Ying Sheng 0007, Cesare Tinelli, Yoni Zohar |
cvc5: A Versatile and Industrial-Strength SMT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, pp. 415-442, 2022, Springer, 978-3-030-99523-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio |
A Max-SMT Superoptimizer for EVM handling Memory and Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, pp. 201-219, 2022, Springer, 978-3-030-99523-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Fei He 0001, Zhihang Sun, Hongyu Fan |
Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, pp. 424-428, 2022, Springer, 978-3-030-99526-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hao Zhang, Rui Zhou |
Study on Manufacturing Execution System of SMT Manufacturing Workshop Based on RFID. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSIE ![In: MSIE 2022: 4th International Conference on Management Science and Industrial Engineering, Chiang Mai Thailand, April 28 - 30, 2022, pp. 324-335, 2022, ACM, 978-1-4503-9581-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sims Hill Osborne, Joshua Bakita, Jingyuan Chen, Tyler Yandrofski, James H. Anderson |
Minimizing DAG Utilization by Exploiting SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 267-280, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sagar Indurkhya |
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNLL ![In: Proceedings of the 26th Conference on Computational Natural Language Learning, CoNLL 2022, Abu Dhabi, United Arab Emirates (Hybrid Event), December 7-8, 2022, pp. 157-175, 2022, Association for Computational Linguistics, 978-1-959429-07-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Martin Tappler, Bernhard K. Aichernig, Florian Lorber |
Timed Automata Learning via SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, pp. 489-507, 2022, Springer, 978-3-031-06772-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Mauro Bringolf, Dominik Winterer, Zhendong Su 0001 |
Finding and Understanding Incompleteness Bugs in SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, pp. 43:1-43:10, 2022, ACM, 978-1-4503-9475-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Rokicki, Clémentine Maurice, Michael Schwarz 0001 |
CPU Port Contention Without SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (3) ![In: Computer Security - ESORICS 2022 - 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part III, pp. 209-228, 2022, Springer, 978-3-031-17142-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Raúl López-Rueda, Santiago Escobar 0001 |
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 45-64, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Vivek Nigam, Carolyn L. Talcott |
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 212-229, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze, Priyanka Raina, Clark W. Barrett, Pat Hanrahan |
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 139-150, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro |
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE-Companion ![In: 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022, pp. 65-69, 2022, ACM/IEEE, 978-1-6654-9598-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Aidi Pi, Xiaobo Zhou 0002, Chengzhong Xu 0001 |
Holmes: SMT Interference Diagnosis and CPU Scheduling for Job Co-location. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: HPDC '22: The 31st International Symposium on High-Performance Parallel and Distributed Computing, Minneapolis, MN, USA, 27 June 2022 - 1 July 2022, pp. 110-121, 2022, ACM, 978-1-4503-9199-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hongyu Fan, Weiting Liu, Fei He 0001 |
Interference relation-guided SMT solving for multi-threaded program verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022, pp. 163-176, 2022, ACM, 978-1-4503-9204-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
A Modular SMT-based Approach for Data-aware Conformance Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022., pp. 87-92, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
13 | Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis |
On Neural Network Equivalence Checking Using SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings, pp. 237-257, 2022, Springer, 978-3-031-15838-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Simon Robillard, Hélène Coullon |
SMT-Based Planning Synthesis for Distributed System Reconfigurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, pp. 268-287, 2022, Springer, 978-3-030-99428-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jan Hula, Jan Jakubuv, Mikolás Janota, Lukás Kubej |
Targeted Configuration of an SMT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings, pp. 256-271, 2022, Springer, 978-3-031-16680-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Güdemann |
SMT-Based Verification of Concurrent Critical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sicherheit ![In: Sicherheit, Schutz und Zuverlässigkeit: Konferenzband der 11. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), Sicherheit 2022, Karlsruhe, Germany, April 5-8, 2022., pp. 67-82, 2022, Gesellschaft für Informatik, Bonn, 978-3-88579-717-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tanja Schindler |
SMT solving, interpolation, and quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
13 | Jiwon Park, Dominik Winterer, Chengyu Zhang 0001, Zhendong Su 0001 |
Generative type-aware mutation for testing SMT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(OOPSLA), pp. 1-19, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Claudia Matos Veliz, Orphée De Clercq, Véronique Hoste |
Is neural always better? SMT versus NMT for Dutch text normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 170, pp. 114500, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Daeyeal Lee, Bill Lin 0001, Chung-Kuan Cheng |
SMT-Based Contention-Free Task Mapping and Scheduling on SMART NoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 13(4), pp. 158-161, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta |
SMT-Based Verification of Safety-Critical Embedded Control Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 13(3), pp. 138-141, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Zubair Khan, Muhammad Awais Javed, Hamza Ghandorh, Omar Hussain Alhazmi, Khalid S. Aloufi |
NA-SMT: A Network-Assisted Service Message Transmission Protocol for Reliable IoV Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 149542-149551, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Laura Pandolfo, Luca Pulina, Simone Vuotto |
SMT-Based Consistency Checking of Configuration-Based Components Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 83718-83726, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Hsien-Pin Hsu |
Printed Circuit Board Assembly Planning for Multi-Head Gantry SMT Machine Using Multi-Swarm and Discrete Firefly Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 1642-1654, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Chung-Kuan Cheng, Chia-Tung Ho, Daeyeal Lee, Bill Lin 0001, Dongwon Park |
Complementary-FET (CFET) Standard Cell Synthesis Framework for Design and System Technology Co-Optimization Using SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 29(6), pp. 1178-1191, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Daeyeal Lee, Dongwon Park, Chia-Tung Ho, Ilgweon Kang, Hayoung Kim, Sicun Gao, Bill Lin 0001, Chung-Kuan Cheng |
SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(10), pp. 2142-2155, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali |
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.12330, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Ying Zhao, Jinhao Tan, Guoqiang Li 0001 |
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.09414, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001 |
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.07642, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Wolfgang Schreiner, Franz-Xaver Reichl |
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 99-113, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Byron Heersink, Pape M. Sylla, Michael A. Warren |
Formal verification of octorotor flight envelope using barrier functions and SMT solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.00612, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, Pascal Fontaine |
Alethe: Towards a Generic SMT Proof Format (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP ![In: Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021., pp. 49-54, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro |
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.13117, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Sabino Francesco Roselli, Martin Fabian, Knut Åkesson |
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.08217, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Gan Shen, Lindsey Kuper |
Toward SMT-Based Refinement Types in Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.05771, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Yuliya Lierler |
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.08252, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro |
Verifying Quantized Neural Networks using SMT-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.05997, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Sabino Francesco Roselli, Martin Fabian, Knut Åkesson |
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.07387, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio |
On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.09850, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds 0001, Clark W. Barrett |
lazybvtoint at the SMT Competition 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.09743, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.10507, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer |
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.05320, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro |
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.13110, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Elena Voita, Rico Sennrich, Ivan Titov |
Language Modeling, Lexical Translation, Reordering: The Training Process of NMT through the Lens of Classical SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.01396, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001 |
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.04385, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Jianhui Chen, Fei He 0001 |
Leveraging Control Flow Knowledge in SMT Solving of Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 30(4), pp. 41:1-41:26, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sukanta Sen, Mohammed Hasanuzzaman, Asif Ekbal, Pushpak Bhattacharyya, Andy Way |
Neural machine translation of low-resource languages using SMT phrase pair injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Lang. Eng. ![In: Nat. Lang. Eng. 27(3), pp. 271-292, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Salim Chehida, Yves Ledru, Yoann Blein, Germán Vega |
An SMT-based approach for generating trace examples and counter-examples of parametric properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 10(2), pp. 143-183, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski |
SAT and SMT-Based Verification of Security Protocols Including Time Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(9), pp. 3055, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Dirk Beyer 0001, Matthias Dangl, Philipp Wendler |
Correction to: A Unifying View on SMT-Based Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 65(3), pp. 461, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sarmad Riazi, Bengt Lennartson |
Using CP/SMT Solvers for Scheduling and Routing of AGVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 18(1), pp. 218-229, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio |
Lower-Bound Synthesis Using Loop Specialization and Max-SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 863-886, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett |
Pono: A Flexible and Extensible SMT-Based Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 461-474, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Gereon Kremer, Aina Niemetz, Mathias Preiner |
ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 231-242, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly |
Efficient SMT-Based Analysis of Failure Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 209-230, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu 0001, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang |
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 149-171, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes |
An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 752-776, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh |
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 289-312, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Baier, Dirk Beyer 0001, Karlheinz Friedberger |
JavaSMT 3: Interacting with SMT Solvers in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 195-208, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin |
SMT-Based Deployment Calculation for IEC 61499 Control Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021, Victoria, BC, Canada, May 10-12, 2021, pp. 172-178, 2021, IEEE, 978-1-7281-6207-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Tanmoy Kundu 0001, Indranil Saha |
SMT-Based Optimal Deployment of Mobile Rechargers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pp. 8165-8171, 2021, IEEE, 978-1-7281-9077-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio |
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings, pp. 164-185, 2021, Springer, 978-3-030-76982-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jan Mrázek, Martin Jonás, Jiri Barnat |
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021, pp. 6935-6940, 2021, IEEE, 978-1-6654-1714-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Chandan Karfa, T. M. Abdul Khader, Yom Nigam, Ramanuj Chouksey, Ramesh Karri |
HOST: HLS Obfuscations against SMT ATtack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, pp. 32-37, 2021, IEEE, 978-3-9819263-5-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ruping Zhou, Genggeng Liu, Wenzhong Guo, Xin Wang 0030 |
An X-Architecture SMT Algorithm Based on Competitive Swarm Optimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISA ![In: Web Information Systems and Applications - 18th International Conference, WISA 2021, Kaifeng, China, September 24-26, 2021, Proceedings, pp. 393-404, 2021, Springer, 978-3-030-87570-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 2209 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|