Search results for "SMT"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier	Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction.	CILC	2021	DBLP BibTeX RDF
13	Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001	Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers.	FM	2021	DBLP DOI BibTeX RDF
13	Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh	BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning.	FM	2021	DBLP DOI BibTeX RDF
13	Kenta Sugai, Hiroshi Hosobe, Shaoying Liu	SMT-Based Theorem Verification for Testing-Based Formal Verification.	ICSCA	2021	DBLP DOI BibTeX RDF
13	Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker 0001, Tino Teige	Benchmarking SMT Solvers on Automotive Code.	MBMV	2021	DBLP BibTeX RDF
13	Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler	CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT.	BPM	2021	DBLP DOI BibTeX RDF
13	Sabino Francesco Roselli, Martin Fabian, Knut Åkesson	An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem.	CASE	2021	DBLP DOI BibTeX RDF
13	Jiwon Park	SMT solver testing with type and grammar based mutation.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang 0001	Skeletal approximation enumeration for SMT solver testing.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
13	Paolo Felli, Alessandro Gianola, Marco Montali	SMT-based Safety Checking of Parameterized Multi-Agent Systems.	AAAI	2021	DBLP DOI BibTeX RDF
13	Mohamad H. Danesh	Reducing Neural Network Parameter Initialization Into an SMT Problem (Student Abstract).	AAAI	2021	DBLP DOI BibTeX RDF
13	Alessandro Cimatti, Alberto Griggio, Gianluca Redondi	Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning.	CADE	2021	DBLP DOI BibTeX RDF
13	Joshua Schmidt, Michael Leuschel	Improving SMT Solver Integrations for the Validation of B and Event-B Models.	FMICS	2021	DBLP DOI BibTeX RDF
13	Roberto Bruttomesso	Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker.	FMICS	2021	DBLP DOI BibTeX RDF
13	Dongpeng Xu 0001, Binbin Liu, Weijie Feng, Jiang Ming 0002, Qilong Zheng, Jing Li 0047, Qiaoyan Yu	Boosting SMT solver performance on mixed-bitwise-arithmetic expressions.	PLDI	2021	DBLP DOI 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.	ARCADE@CADE	2021	DBLP BibTeX RDF
13	Sabino Francesco Roselli, Martin Fabian, Knut Åkesson	Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers.	MED	2021	DBLP DOI BibTeX RDF
13	Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin	A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application.	ISIE	2021	DBLP DOI BibTeX RDF
13	Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia	MedleySolver: Online SMT Algorithm Selection.	SAT	2021	DBLP DOI BibTeX RDF
13	Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001	Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.	SAS	2021	DBLP DOI BibTeX RDF
13	Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang 0001	Fuzzing SMT solvers via two-dimensional input space exploration.	ISSTA	2021	DBLP DOI BibTeX RDF
13	Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh	MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.	TACAS (2)	2021	DBLP DOI BibTeX RDF
13	Malte Mues, Falk Howar	JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution).	TACAS (2)	2021	DBLP DOI BibTeX RDF
13	Guy Amir, Haoze Wu 0001, Clark W. Barrett, Guy Katz	An SMT-Based Approach for Verifying Binarized Neural Networks.	TACAS (2)	2021	DBLP DOI BibTeX RDF
13	Jan Hula, David Mojzísek, Mikolás Janota	Graph Neural Networks for Scheduling of SMT Solvers.	ICTAI	2021	DBLP DOI BibTeX RDF
13	Sebastian Pointner, Sven Wenzek, Robert Wille	SMT-Based Placement for System-on-Chip Design.	ISCAS	2021	DBLP DOI 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.	EMNLP (1)	2021	DBLP DOI BibTeX RDF
13	Agustín Navarro-Torres, Jesús Alastruey-Benedé, Pablo Ibáñez-Marín, Maria Carpen-Amarie	Synchronization Strategies on Many-Core SMT Systems.	SBAC-PAD	2021	DBLP DOI BibTeX RDF
13	Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti	SMT-Based Model Checking of Max-Plus Linear Systems.	CONCUR	2021	DBLP DOI BibTeX RDF
13	Michal Kanski, Artur Niewiadomski 0001, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek	SMT-Based Unbounded Model Checking for ATL.	VECoS	2021	DBLP DOI BibTeX RDF
13	Jia Lee, Geunyeol Yu, Kyungmin Bae	Efficient SMT-Based Model Checking for Signal Temporal Logic.	ASE	2021	DBLP DOI BibTeX RDF
13	Malte Mues, Falk Howar	Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost.	ASE	2021	DBLP DOI BibTeX RDF
13	Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina	Lookahead in Partitioning SMT.	FMCAD	2021	DBLP DOI BibTeX RDF
13	Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali	SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results).	Description Logics	2021	DBLP BibTeX RDF
13	Pascal Fontaine, Hans-Jörg Schurr	Quantifier Simplification by Unification in SMT.	FroCoS	2021	DBLP DOI BibTeX RDF
13	Zhilei Ren, Xiaofei Fan, Xiaochen Li, Zhide Zhou, He Jiang 0001	Multi-objective Evolutionary Algorithm for String SMT Solver Testing.	DSA	2021	DBLP DOI BibTeX RDF
13	Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina	Theory-Specific Proof Steps Witnessing Correctness of SMT Executions.	DAC	2021	DBLP DOI BibTeX RDF
13	Andrew Wright	Modular SMT-Based Verification of Rule-Based Hardware Designs.		2021	RDF
13	Andres Nöetzli	Towards better simplifications in SMT solvers with applications in string solving.		2021	RDF
13	Dominik Winterer, Chengyu Zhang 0001, Zhendong Su 0001	On the unusual effectiveness of type-aware operator mutations for testing SMT solvers.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
13	Aaron Bembenek, Michael Greenberg 0002, Stephen Chong	Formulog: Datalog for SMT-based static analysis.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
13	Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar	Inter-theory dependency analysis for SMT string solvers.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
13	Mojtaba Zaheri, Babak Sadeghiyan	SMT-based cube attack on round-reduced Simeck32/64.	IET Inf. Secur.	2020	DBLP DOI BibTeX RDF
13	Qiang Liu, Zhifeng Lian, Yu Guo	Empirical analysis of organizational quality defect management enabling factors identification based on SMT, interval-valued hesitant fuzzy set ELECTRE and QRA methods.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
13	Harish Kumar Sahu, N. Rajesh Pillai, Indivar Gupta, Rajendra Kumar Sharma	SMT Solver-Based Cryptanalysis of Block Ciphers.	SN Comput. Sci.	2020	DBLP DOI BibTeX RDF
13	Tetsuo Miyauchi, Kiyofumi Tanaka	Solving Slitherlink with FPGA and SMT Solver.	J. Inf. Process.	2020	DBLP DOI BibTeX RDF
13	Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen	Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.	J. Inf. Process.	2020	DBLP DOI BibTeX RDF
13	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	SMT-based verification of data-aware processes: a model-theoretic approach.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
13	Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro 0001	Improving complex SMT strategies with learning.	Int. Trans. Oper. Res.	2020	DBLP DOI BibTeX RDF
13	Xin Jin, Ningmei Yu, Yaoyang Zhou, Bowen Huang, Zihao Yu, Xusheng Zhan, Huizhe Wang, Sa Wang, Yungang Bao	Supporting Predictable Performance Guarantees for SMT Processors.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2020	DBLP DOI BibTeX RDF
13	Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang 0002	SMT-based generation of symbolic automata.	Acta Informatica	2020	DBLP DOI BibTeX RDF
13	Josué Feliu, Julio Sahuquillo, Salvador Petit, Lieven Eeckhout	Thread Isolation to Improve Symbiotic Scheduling on SMT Multicore Processors.	IEEE Trans. Parallel Distributed Syst.	2020	DBLP DOI BibTeX RDF
13	Samuel Teuber, Marko Kleine Büning, Carsten Sinz	An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.	CoRR	2020	DBLP BibTeX RDF
13	Christoph Lüders	Computing Tropical Prevarieties with Satisfiability Modulo Theory (SMT) Solvers.	CoRR	2020	DBLP BibTeX RDF
13	Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury	Fairness-guided SMT-based Rectification of Decision Trees and Random Forests.	CoRR	2020	DBLP BibTeX RDF
13	Gidon Ernst	Cuvée: Blending SMT-LIB with Programs and Weakest Preconditions.	CoRR	2020	DBLP BibTeX RDF
13	Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache	On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators.	CoRR	2020	DBLP BibTeX RDF
13	Vaishak Belle	SMT + ILP.	CoRR	2020	DBLP BibTeX RDF
13	Guy Amir, Haoze Wu 0001, Clark W. Barrett, Guy Katz	An SMT-Based Approach for Verifying Binarized Neural Networks.	CoRR	2020	DBLP BibTeX RDF
13	Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid	Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.	CoRR	2020	DBLP BibTeX RDF
13	Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher	An efficient constraint based framework forhandling floating point SMT problems.	CoRR	2020	DBLP BibTeX RDF
13	Daniele Ahmed, Andrea Peruffo, Alessandro Abate	Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.	CoRR	2020	DBLP BibTeX RDF
13	Paolo Felli, Alessandro Gianola, Marco Montali	SMT-based Safety Verification of Parameterised Multi-Agent Systems.	CoRR	2020	DBLP BibTeX RDF
13	Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal	An SMT-Based Concolic Testing Tool for Logic Programs.	CoRR	2020	DBLP BibTeX RDF
13	Cristina Borralleras, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio	Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers.	CoRR	2020	DBLP BibTeX RDF
13	Dominik Winterer, Chengyu Zhang 0001, Zhendong Su 0001	On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers.	CoRR	2020	DBLP BibTeX RDF
13	Mohamad H. Danesh	Reducing Neural Network Parameter Initialization Into an SMT Problem.	CoRR	2020	DBLP BibTeX RDF
13	Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang	Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing.	CoRR	2020	DBLP BibTeX RDF
13	Ákos Hajdu, Dejan Jovanovic	SMT-Friendly Formalization of the Solidity Memory Model.	CoRR	2020	DBLP BibTeX RDF
13	Aina Niemetz, Mathias Preiner	Bitwuzla at the SMT-COMP 2020.	CoRR	2020	DBLP BibTeX RDF
13	Jarrett Holtz, Arjun Guha, Joydeep Biswas	SMT-based Robot Transition Repair.	CoRR	2020	DBLP BibTeX RDF
13	Aaron Bembenek, Michael Greenberg 0002, Stephen Chong	Formulog: Datalog for SMT-Based Static Analysis (Extended Version).	CoRR	2020	DBLP BibTeX RDF
13	Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh	A Length-aware Regular Expression SMT Solver.	CoRR	2020	DBLP BibTeX RDF
13	Sarab Kamal, Basma Nazar	Performance evaluation of combining SMT-ETX metric with POS scheme for implementing multilayer multicast mobile ad hoc network (MANET) CRN.	IET Commun.	2020	DBLP DOI BibTeX RDF
13	Genggeng Liu, Zhisheng Chen, Zhen Zhuang, Wenzhong Guo, Guolong Chen	A unified algorithm based on HTS and self-adapting PSO for the construction of octagonal and rectilinear SMT.	Soft Comput.	2020	DBLP DOI BibTeX RDF
13	Alex Ozdemir, Fraser Brown, Riad S. Wahby	Unifying Compilers for SNARKs, SMT, and More.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
13	Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret	SMT encodings for Resource-Constrained Project Scheduling Problems.	Comput. Ind. Eng.	2020	DBLP DOI BibTeX RDF
13	Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta	SMT-based satisfiability of first-order LTL with event freezing functions and metric operators.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
13	Lydia Wahid Rizkallah, Mona F. Ahmed, Nevin M. Darwish	SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints.	Comput. J.	2020	DBLP DOI BibTeX RDF
13	Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache	On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress).	NCA	2020	DBLP DOI BibTeX RDF
13	Joseph Scott, Federico Mora, Vijay Ganesh	BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers.	VSTTE	2020	DBLP DOI BibTeX RDF
13	Hao Wu 0017, Joseph Timoney	Verifying OCL Operational Contracts via SMT-based Synthesising.	MODELSWARD	2020	DBLP DOI BibTeX RDF
13	Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett	Synthesis of Super-Optimized Smart Contracts Using Max-SMT.	CAV (1)	2020	DBLP DOI BibTeX RDF
13	Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko 0001	Using an SMT Solver for Checking the Completeness of FSM-Based Tests.	ICTSS	2020	DBLP DOI BibTeX RDF
13	Pavel Surynek	Bounded Sub-optimal Multi-Robot Path Planning Using Satisfiability Modulo Theory (SMT) Approach.	IROS	2020	DBLP DOI BibTeX RDF
13	José A. Riaza, Ginés Moreno	Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs.	FUZZ-IEEE	2020	DBLP DOI BibTeX RDF
13	Gaurav Bhandari, Rajeev Shorey, Rajesh Sundaresan, Prakash Hiremath M., Ashish Joglekar, Anupama Kulkarni, Devadatta M. Kulkarni, C. Mahadeva, Sampad B. Mohanty, D. Raghunath, M. B. Raju	An Implementation of an Industrial Internet of Things on an SMT Assembly Line.	COMSNETS	2020	DBLP DOI BibTeX RDF
13	Juliana Küster Filipe Bowles, Marco B. Caminati	A Formally Verified SMT Approach to True Concurrency.	CILC	2020	DBLP BibTeX RDF
13	Manish Goyal 0002, David Bergman, Parasara Sridhar Duggirala	Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT.	ACC	2020	DBLP DOI BibTeX RDF
13	MirSaleh Bahavarnia, Yasser Shoukry, Nuno C. Martins	Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach.	ACC	2020	DBLP DOI BibTeX RDF
13	Suresh Purini, Vinamra Benara, Ziaul Choudhury, Uday Bondhugula	Bitwidth customization in image processing pipelines using interval analysis and SMT solvers.	CC	2020	DBLP DOI BibTeX RDF
13	Ákos Hajdu, Dejan Jovanovic	SMT-Friendly Formalization of the Solidity Memory Model.	ESOP	2020	DBLP DOI BibTeX RDF
13	Mohamed Nadjib Mami, Irlán Grangel-González, Damien Graux, Enkeleda Elezi, Felix Lösch	Semantic Data Integration for the SMT Manufacturing Process Using SANSA Stack.	ESWC (Satellite Events)	2020	DBLP DOI BibTeX RDF
13	Hiroyuki Okamura, Kazuya Morihara, Tadashi Dohi	An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets.	VALUETOOLS	2020	DBLP DOI BibTeX RDF
13	Hiroshi Hosobe	Solving Hierarchical Soft Constraints with an SMT Solver.	ICCAE	2020	DBLP DOI BibTeX RDF
13	Shin Hong	Using SMT Solver and Logic Puzzles for Teaching Computational Logics in Discrete Mathematics Class.	SIGCSE	2020	DBLP DOI BibTeX RDF
13	Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang	Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
13	Ionela Georgiana Mocanu, Vaishak Belle, Brendan Juba	Polynomial-Time Implicit Learnability in SMT.	ECAI	2020	DBLP DOI BibTeX RDF
13	Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric	An SMT Theory of Fixed-Point Arithmetic.	IJCAR (1)	2020	DBLP DOI BibTeX RDF
13	Christoph Lüders	Computing Tropical Prevarieties With Satisfiability Modulo Theories (SMT) Solvers.	PAAR+SC²@IJCAR	2020	DBLP BibTeX RDF