Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella |
SMT-based Planning for Robots in Smart Factories. |
IEA/AIE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Pavel Surynek |
Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT). |
SOCS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kousuke Uemura, Satoshi Yamane |
SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions. |
DASC/PiCom/DataCom/CyberSciTech |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski |
Efficient Verification of Security Protocols Time Properties Using SMT Solvers. |
CISIS-ICEUTE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Lluís Vilanova, Nadav Amit, Yoav Etsion |
Using SMT to accelerate nested virtualization. |
ISCA |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan 0009 |
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Sushant Kondguli, Michael C. Huang 0001 |
Bootstrapping: Using SMT Hardware to Improve Single-Thread Performance. |
ASPLOS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yi-Ming Chang, Chia-Chen Wei, Jeffrey Chen, Pack Hsieh |
An Implementation of Health Prediction in SMT Solder Joint via Machine Learning. |
BigComp |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Min Zhang 0002, Fu Song, Frédéric Mallet, Xiaohong Chen 0007 |
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski |
SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. |
PDCAT |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Rafael Dutra |
Efficient Sampling of SAT and SMT Solutions for Testing and Verification. |
|
2019 |
RDF |
|
13 | Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala |
Refinement reflection: complete verification with SMT. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sushant Kondguli, Michael C. Huang 0001 |
Bootstrapping: Using SMT Hardware to Improve Single-Thread Performance. |
IEEE Comput. Archit. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Marc Solé, Josep Carmona 0001 |
Encoding process discovery problems in SMT. |
Softw. Syst. Model. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Avinash Malik, Cameron G. Walker, Michael J. O'Sullivan, Oliver Sinnen |
Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay. |
Comput. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Kiyoharu Hamaguchi |
Applying an SMT Solver to Coverage-Driven Design Verification. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki |
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver. |
IEICE Trans. Inf. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Andy Way, Mikel L. Forcada |
Editors' foreword to the invited issue on SMT and NMT. |
Mach. Transl. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Xi Cheng, Min Zhou 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Parallelizing SMT solving: Lazy decomposition and conciliation. |
Artif. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Cunjing Ge, Feifei Ma, Peng Zhang 0008, Jian Zhang 0001 |
Computing and estimating the volume of the solution space of SMT(LA) constraints. |
Theor. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Madhava Krishnan Ramanathan, Wei-Ming Lin |
A controlled fetching technique for effective management of shared resources in SMT processors. |
Microprocess. Microsystems |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar |
Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Florian Brandl, Felix Brandt 0001, Manuel Eberl, Christian Geist |
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving. |
J. ACM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron |
Assessing SMT and CLP approaches for workflow nets verification. |
Int. J. Softw. Tools Technol. Transf. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Eric Madelaine, Xudong Qin, Min Zhang 0002, Simon Bliudze |
Using SMT Engine to Generate Symbolic Automata. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sainik Kumar Mahata, Soumil Mandal, Dipankar Das 0001, Sivaji Bandyopadhyay |
SMT vs NMT: A Comparison over Hindi & Bengali Simple Sentences. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer 0002, Denis A. Nicole |
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Ashutosh Gupta, Ankit Shukla, Mandyam Srivas, Mukund Thattai |
SMT Solving for Vesicle Traffic Systems in Cells. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Rajneesh Kumar Pandey, Atul Kr. Ojha, Girish Nath Jha |
Demo of Sanskrit-Hindi SMT System. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | K. Vishnu Priyanka, M. Gowthami, O. Susmitha, G. Prathyusha, Naresh Babu Muppalaneni |
Breaking Mignotte's Sequence Based Secret Sharing Scheme Using SMT Solver. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | James H. Davenport, Matthew England 0001, Roberto Sebastiani, Patrick Trentin |
OpenMath and SMT-LIB. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Jarrett Holtz, Arjun Guha, Joydeep Biswas |
Interactive Robot Transition Repair With SMT. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King 0001, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds 0001, Cesare Tinelli |
CVC4 at the SMT Competition 2018. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada |
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. |
ACM Trans. Cyber Phys. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Kshitij Bansal, Clark W. Barrett, Andrew Reynolds 0001, Cesare Tinelli |
Reasoning with Finite Sets and Cardinality Constraints in SMT. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Artur Niewiadomski 0001, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek |
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME. |
Sci. Ann. Comput. Sci. |
2018 |
DBLP BibTeX RDF |
|
13 | Karsten M. Decker, René M. Rehmann, Mike Roellig, Karlheinz Bock |
Fatigue measurement setup under combined thermal and vibration loading on electronic SMT assembly. |
Microelectron. Reliab. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Mojtaba Zaheri, Babak Sadeghiyan |
SMT-based Cube Attack on Simeck32/64. |
IACR Cryptol. ePrint Arch. |
2018 |
DBLP BibTeX RDF |
|
13 | Dirk Beyer 0001, Matthias Dangl, Philipp Wendler |
A Unifying View on SMT-Based Software Verification. |
J. Autom. Reason. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Chen Luo 0002, Fei He 0001 |
SMT-based query tracking for differentially private data analytics systems. |
Frontiers Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Wei Gao 0015, Hengyi Lv, Qiang Zhang, Dunbo Cai |
Estimating the Volume of the Solution Space of SMT(LIA) Constraints by a Flat Histogram Method. |
Algorithms |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic |
Three Is a Crowd: SAT, SMT and CLP on a Chessboard. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Christopher Schuster, Sohum Banerjea, Cormac Flanagan |
ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving. |
IFL |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina |
Lookahead-Based SMT Solving. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Robert Robere, Antonina Kolokolova, Vijay Ganesh |
The Proof Complexity of SMT Solvers. |
CAV (2) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, To Van Khanh, Xuan-Tung Vu |
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
13 | Rebecca Haehn, Gereon Kremer, Erika Ábrahám |
Evaluation of Equational Constraints for CAD in SMT Solving. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
13 | Stephen A. Forrest |
SMT-like Queries in Maple. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
13 | Yuanfang Chen, Qingchuan Shi, Xiaoming Li |
CSSMT: Compiler Based Software Simultaneous Multithreading (SMT). |
PDP |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Martin Jonás, Jan Strejcek |
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Leonardo Alt, Christian Reitwießner |
SMT-Based Verification of Solidity Smart Contracts. |
ISoLA (4) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Nikolaj S. Bjørner |
Z3 and SMT in Industrial R&D. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Praveen Acharya, Bal Krishna Bal |
A Comparative Study of SMT and NMT: Case Study of English-Nepali Language Pair. |
SLTU |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Rakesh Lingappa, Lokanna Kadakolmath |
Modeling and formal verification of SMT rail interlocking system using PyNuSMV. |
RAIT |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Da Shen, Yuliya Lierler |
SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). |
ICLP (Technical Communications) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Hai-Feng Xing, Jiantao Zhou 0002, Xiaoyu Song, Rui-dong Qi |
SMT-Based Timing Analysis and Verification of Real-Time Task. |
COMPSAC (1) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson |
SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation. |
CASE |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ulrich Gengenbach, Martin Ungerer, E. Aytac, Liane Koker, Klaus-Martin Reichert, Peter Stiller, Veit Hagenmeyer |
An Integrated Workflow to Automatically Fabricate Flexible Electronics by Functional Printing and SMT Component Mounting. |
CASE |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sainik Kumar Mahata, Soumil Mandal, Dipankar Das 0001, Sivaji Bandyopadhyay |
SMT vs NMT: A Comparison over Hindi and Bengali Simple Sentences. |
ICON |
2018 |
DBLP BibTeX RDF |
|
13 | Cunjing Ge, Feifei Ma, Jian Zhang 0001 |
VolCE: An Efficient Tool for Solving #SMT(LA) Problems. |
PRUV@IJCAR |
2018 |
DBLP BibTeX RDF |
|
13 | Pilar Sánchez-Gijón, Joss Moorkens, Andy Way |
Perception vs. Acceptability of TM and SMT Output: What do translators prefer? |
EAMT |
2018 |
DBLP BibTeX RDF |
|
13 | Meriem Beloucif, Dekai Wu |
SRL for low resource languages isn't needed for semantic SMT. |
EAMT |
2018 |
DBLP BibTeX RDF |
|
13 | Ariana López Pereira |
Determining translators' perception, productivity and post-editing effort when using SMT and NMT systems. |
EAMT |
2018 |
DBLP BibTeX RDF |
|
13 | Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal |
Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition. |
SAT |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Rafael Dutra, Jonathan Bachrach, Koushik Sen |
SMTSampler: efficient stimulus generation from complex SMT constraints. |
ICCAD |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell |
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Nadezda Okinina, Lionel Nicolas |
Towards SMT-Assisted Error Annotation of Learner Corpora. |
CLiC-it |
2018 |
DBLP BibTeX RDF |
|
13 | Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent |
ProVer: an SMT-based approach for process verification. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
13 | Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider |
An SMT Approach to Fractional Hypertree Width. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Mislav Balunovic, Pavol Bielik, Martin T. Vechev |
Learning to Solve SMT Formulas. |
NeurIPS |
2018 |
DBLP BibTeX RDF |
|
13 | Miguel Romero 0005, Camilo Rocha |
Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion. |
NFM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro 0001 |
Optimizing SMT Solving Strategies by Learning with an Evolutionary Process. |
HPCS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Clara Furió, Josué Feliu, Salvador Petit, Jose Duro, Julio Sahuquillo |
A Workload Generator for Evaluating SMT Real-Time Systems. |
HPCS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jianhui Chen, Fei He 0001 |
Control flow-guided SMT solving for program verification. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Da Shen, Yuliya Lierler |
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. |
KR |
2018 |
DBLP BibTeX RDF |
|
13 | Francisco Durán 0001, Camilo Rocha, Gwen Salaün |
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer |
Trau: SMT solver for string constraints. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione |
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
13 | John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming |
Semantic-based Automated Reasoning for AWS Access Policies using SMT. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Hao Wu 0017, Laure Hinsberger, Joseph Timoney |
A Workflow for Healthcare Systems via OCL and SMT Solving. |
SEHS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Frédéric Maris, Maël Valais, Julien Vianey |
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu. |
JFPDA |
2018 |
DBLP BibTeX RDF |
|
13 | Krzysztof Wolk, Agnieszka Wolk |
Augmenting SMT with Semantically-Generated Virtual-Parallel Corpora from Monolingual Texts. |
WorldCIST (1) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Eric Rozier |
Utilizing SMT-Based Data-Integrity Constraints to Estimate Data-Quality and Compliance. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
13 | Barbara König 0001, Maxime Nederkorn, Dennis Nolte |
CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jarrett Holtz, Arjun Guha, Joydeep Biswas |
Interactive Robot Transition Repair With SMT. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Neha V. Karanjkar, Ashish Joglekar, Sampad B. Mohanty, Venkatesh Prabhu, D. Raghunath, Rajesh Sundaresan |
Digital Twin for Energy Optimization in an SMT-PCB Assembly Line. |
IOTAIS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Meghan Dowling, Teresa Lynn, Alberto Poncelas, Andy Way |
SMT versus NMT: Preliminary comparisons for Irish. |
LoResMT@AMTA |
2018 |
DBLP BibTeX RDF |
|
13 | Fathima Farhath, Pranavan Theivendiram, Surangika Ranathunga, Sanath Jayasena, Gihan Dias |
Improving domain-specific SMT for low-resourced languages using data from different domains. |
LREC |
2018 |
DBLP BibTeX RDF |
|
13 | Laura Van Brussel, Arda Tezcan, Lieve Macken |
A fine-grained error analysis of NMT, SMT and RBMT output for English-to-Dutch. |
LREC |
2018 |
DBLP BibTeX RDF |
|
13 | Gianluca Torta, Roberto Micalizio |
SMT-Based Diagnosis of Multi-Agent Temporal Plans. |
AAMAS |
2018 |
DBLP BibTeX RDF |
|
13 | Sayandeep Mitra, Kritika Anand, Pavan Kumar Chittimalli |
Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2. |
ICEIS (2) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Terumasa Ehara |
SMT reranked NMT (2). |
WAT@PACLIC |
2018 |
DBLP BibTeX RDF |
|
13 | Tamali Banerjee, Anoop Kunchukuttan, Pushpak Bhattacharya |
Multilingual Indian Language Translation System at WAT 2018: Many-to-one Phrase-based SMT. |
WAT@PACLIC |
2018 |
DBLP BibTeX RDF |
|
13 | Rui Wang 0015, Chenchen Ding, Masao Utiyama, Eiichiro Sumita |
English-Myanmar NMT and SMT with Pre-ordering: NICT's Machine Translation Systems at WAT-2018. |
WAT@PACLIC |
2018 |
DBLP BibTeX RDF |
|
13 | Tianhai Liu |
Efficient Verification of Programs with Complex Data Structures Using SMT Solvers. |
|
2018 |
RDF |
|
13 | Joan Espasa |
SMT techniques for planning problems. |
|
2018 |
RDF |
|
13 | |
SMT. |
Encyclopedia of Machine Learning and Data Mining |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny |
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata. |
Fundam. Informaticae |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Sreelekha S, Pushpak Bhattacharyya |
Role of Morphology Injection in SMT: A Case Study from Indian Language Perspective. |
ACM Trans. Asian Low Resour. Lang. Inf. Process. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Camilo Rocha, José Meseguer 0001, César A. Muñoz |
Rewriting modulo SMT and open system analysis. |
J. Log. Algebraic Methods Program. |
2017 |
DBLP DOI BibTeX RDF |
|