|
|
|
|
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.  |
CAV (2)  |
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. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Ali Kemal Uncu, James H. Davenport, Matthew England 0001 |
SMT-Solving Induction Proofs of Inequalities. |
SC-Square@FLoC |
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. |
SoICT |
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. |
VLSI-SoC |
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. |
NOMS |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Jaeseo Lee, Sangki Kim, Kyungmin Bae |
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog + SMT + FP. |
Datalog |
2022 |
DBLP BibTeX RDF |
|
| 13 | Malte Mues, Falk Howar |
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. |
Software Engineering |
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. |
QRS |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani |
SMT-based weighted model integration with structure awareness. |
UAI |
2022 |
DBLP BibTeX RDF |
|
| 13 | Alessandro Cimatti, Alberto Griggio, Gianluca Redondi |
Verification of SMT Systems with Quantifiers. |
ATVA |
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. |
ATVA |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Antero Karvonen, Pertti Saariluoma |
Cognitive Mimetics - SMT Model. |
AIC |
2022 |
DBLP BibTeX RDF |
|
| 13 | Soumyadyuti Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay |
SMarT: A SMT Based Privacy Preserving Smart Meter Streaming Methodology. |
SPACE |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Zifu Yan, Yongjun Wang, Haoran Xu |
NNSMT: Deep Neural Networks for SMT Solvers Fuzzing. |
ICCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Mohammadkazem Taram, Xida Ren, Ashish Venkat, Dean M. Tullsen |
SecSMT: Securing SMT Processors against Contention-Based Covert Channels. |
USENIX Security Symposium |
2022 |
DBLP BibTeX RDF |
|
| 13 | Jens Bruchertseifer, Benjamin Weyers |
SMT Solvers - A PromisingWay for Verifying User Interfaces? |
MuC (Workshopband) |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
Conformance Checking with Uncertainty via SMT. |
BPM |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Alessandro Gianola |
SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications. |
BPM (PhD/Demos) |
2022 |
DBLP BibTeX RDF |
|
| 13 | Idan Raz, Maxim Barsky, Ella Sheory, Idan Yaniv, Dan Tsafrir |
Model-based simulation for SMT cores. |
SYSTOR |
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. |
IJCAR |
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). |
IJCAR |
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. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Chengkai Yu, Yunbo Zhao, Zhenyi Xu |
SMT Component Defection Reassessment Based on Siamese Network. |
AsiaSim (2) |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Mikolás Janota, Jelle Piepenbrock, Bartosz Piotrowski |
Towards Learning Quantifier Instantiation in SMT. |
SAT |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas |
Efficient Modular SMT-Based Model Checking of Pointer Programs. |
SAS |
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. |
ISBRA |
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. |
ICAART (1) |
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. |
LADC |
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). |
TACAS (2) |
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. |
TACAS (1) |
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. |
TACAS (1) |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Fei He 0001, Zhihang Sun, Hongyu Fan |
Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). |
TACAS (2) |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Hao Zhang, Rui Zhou |
Study on Manufacturing Execution System of SMT Manufacturing Workshop Based on RFID. |
MSIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Sims Hill Osborne, Joshua Bakita, Jingyuan Chen, Tyler Yandrofski, James H. Anderson |
Minimizing DAG Utilization by Exploiting SMT. |
RTAS |
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. |
CoNLL |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Martin Tappler, Bernhard K. Aichernig, Florian Lorber |
Timed Automata Learning via SMT Solving. |
NFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Mauro Bringolf, Dominik Winterer, Zhendong Su 0001 |
Finding and Understanding Incompleteness Bugs in SMT Solvers. |
ASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Thomas Rokicki, Clémentine Maurice, Michael Schwarz 0001 |
CPU Port Contention Without SMT. |
ESORICS (3) |
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. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Vivek Nigam, Carolyn L. Talcott |
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. |
WRLA@ETAPS |
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. |
FMCAD |
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. |
ICSE-Companion |
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. |
HPDC |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Hongyu Fan, Weiting Liu, Fei He 0001 |
Interference relation-guided SMT solving for multi-threaded program verification. |
PPoPP |
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. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 13 | Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis |
On Neural Network Equivalence Checking Using SMT Solvers. |
FORMATS |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Simon Robillard, Hélène Coullon |
SMT-Based Planning Synthesis for Distributed System Reconfigurations. |
FASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Jan Hula, Jan Jakubuv, Mikolás Janota, Lukás Kubej |
Targeted Configuration of an SMT Solver. |
CICM |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Matthias Güdemann |
SMT-Based Verification of Concurrent Critical System. |
Sicherheit |
2022 |
DBLP DOI BibTeX RDF |
|
| 13 | Tanja Schindler |
SMT solving, interpolation, and quantifiers. |
|
2022 |
RDF |
|
| 13 | Jiwon Park, Dominik Winterer, Chengyu Zhang 0001, Zhendong Su 0001 |
Generative type-aware mutation for testing SMT solvers. |
Proc. ACM Program. Lang. |
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. |
Expert Syst. Appl. |
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. |
IEEE Embed. Syst. Lett. |
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. |
IEEE Embed. Syst. Lett. |
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. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
| 13 | Laura Pandolfo, Luca Pulina, Simone Vuotto |
SMT-Based Consistency Checking of Configuration-Based Components Specifications. |
IEEE Access |
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. |
IEEE Access |
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. |
IEEE Trans. Very Large Scale Integr. Syst. |
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. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
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). |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 13 | Ying Zhao, Jinhao Tan, Guoqiang Li 0001 |
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. |
CoRR |
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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 13 | Wolfgang Schreiner, Franz-Xaver Reichl |
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. |
SCSS |
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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 13 | Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, Pascal Fontaine |
Alethe: Towards a Generic SMT Proof Format (extended abstract). |
PxTP |
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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 13 | Sabino Francesco Roselli, Martin Fabian, Knut Åkesson |
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 13 | Gan Shen, Lindsey Kuper |
Toward SMT-Based Refinement Types in Agda. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 13 | Yuliya Lierler |
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
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). |
CoRR |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 13 | Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001 |
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 13 | Jianhui Chen, Fei He 0001 |
Leveraging Control Flow Knowledge in SMT Solving of Program Verification. |
ACM Trans. Softw. Eng. Methodol. |
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. |
Nat. Lang. Eng. |
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. |
Int. J. Crit. Comput. Based Syst. |
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. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
| 13 | Dirk Beyer 0001, Matthias Dangl, Philipp Wendler |
Correction to: A Unifying View on SMT-Based Software Verification. |
J. Autom. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
| 13 | Sarmad Riazi, Bengt Lennartson |
Using CP/SMT Solvers for Scheduling and Routing of AGVs. |
IEEE Trans Autom. Sci. Eng. |
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. |
CAV (2) |
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. |
CAV (2) |
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. |
CAV (2) |
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. |
CAV (2) |
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. |
CAV (2) |
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. |
CAV (2) |
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. |
CAV (2) |
2021 |
DBLP DOI BibTeX RDF |
|
| 13 | Daniel Baier, Dirk Beyer 0001, Karlheinz Friedberger |
JavaSMT 3: Interacting with SMT Solvers in Java. |
CAV (2) |
2021 |
DBLP DOI BibTeX RDF |
|
| 13 | Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin |
SMT-Based Deployment Calculation for IEC 61499 Control Applications. |
ICPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 13 | Tanmoy Kundu 0001, Indranil Saha |
SMT-Based Optimal Deployment of Mobile Rechargers. |
ICRA |
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. |
Petri Nets |
2021 |
DBLP DOI BibTeX RDF |
|
| 13 | Jan Mrázek, Martin Jonás, Jiri Barnat |
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? |
IROS |
2021 |
DBLP DOI BibTeX RDF |
|
| 13 | Chandan Karfa, T. M. Abdul Khader, Yom Nigam, Ramanuj Chouksey, Ramesh Karri |
HOST: HLS Obfuscations against SMT ATtack. |
DATE |
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. |
WISA |
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][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license