Search results for "SMT"

Hits ?▲	Authors	Title	Venue	Year	Link
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