|
|
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 | Dominik Winterer, Chengyu Zhang 0001, Zhendong Su 0001 |
Validating SMT solvers via semantic fusion. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Maria Stasimioti, Vilelmini Sosoni, Katia Kermanidis, Despoina Mouratidis |
Machine Translation Quality: A comparative evaluation of SMT, NMT and tailored-NMT outputs. |
EAMT |
2020 |
DBLP BibTeX RDF |
|
13 | Weiwei Jia 0001, Jianchen Shan, Tsz On Li, Xiaowei Shang, Heming Cui, Xiaoning Ding |
vSMT-IO: Improving I/O Performance and Efficiency on SMT Processors in Virtualized Clouds. |
USENIX Annual Technical Conference |
2020 |
DBLP BibTeX RDF |
|
13 | Martin Jonás, Jan Strejcek |
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. |
SAT |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Chung-Kuan Cheng, Chia-Tung Ho, Daeyeal Lee, Dongwon Park |
A Routability-Driven Complimentary-FET (CFET) Standard Cell Synthesis Framework using SMT. |
ICCAD |
2020 |
DBLP DOI 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. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto |
Testing for Race Conditions in Distributed Systems via SMT Solving. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler |
Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Felli, Alessandro Gianola, Marco Montali |
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. |
PRIMA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Pavel Surynek |
Continuous Multi-agent Path Finding via Satisfiability Modulo Theories (SMT). |
ICAART (Revised Selected Papers) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Daniele Ahmed, Andrea Peruffo, Alessandro Abate |
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. |
TACAS (1) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale |
Effective Encodings of Constraint Programming Models to SMT. |
CP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Nikhil Pimpalkhare |
Dynamic Algorithm Selection for SMT. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina |
Incremental Verification by SMT-based Summary Repair. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Chengyu Zhang 0001 |
Stress testing SMT solvers via type-aware mutation. |
ICSE (Companion Volume) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer |
SMT-based variability analyses in FeatureIDE. |
VaMoS |
2020 |
DBLP DOI 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. |
FORMATS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Kaisheng Wu, Liangda Fang, Liping Xiong, Zhao-Rong Lai, Yong Qiao, Kaidong Chen, Fei Rong |
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers. |
IJCAI |
2020 |
DBLP DOI BibTeX RDF |
|
13 | André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto |
Real-time MTL with durations as SMT with applications to schedulability analysis. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jan Niehues, Alex Waibel |
Detailed Analysis of Different Strategies for Phrase Table Adaptation in SMT. |
AMTA |
2020 |
DBLP BibTeX RDF |
|
13 | Manny Rayner, Pierrette Bouillon, Barry Haddow |
Using Source-Language Transformations to Address Register Mismatches in SMT. |
AMTA |
2020 |
DBLP BibTeX RDF |
|
13 | Satoshi Yamane, Kosuke Uemura |
Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program. |
GCCE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jim Whitehead |
Spatial Layout of Procedural Dungeons Using Linear Constraints and SMT Solvers. |
FDG |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Karine Even-Mendoza |
Efficient SMT-based verification of software programs. |
|
2020 |
RDF |
|
13 | Gil Shomron, Tal Horowitz, Uri C. Weiser |
SMT-SA: Simultaneous Multithreading in Systolic Arrays. |
IEEE Comput. Archit. Lett. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio |
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. |
ACM Trans. Comput. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Miao Cai, Yonghu Liang, Minghui Yun, Xuan-You Chen, Haidong Yan, Zhaozhe Yu, Dao-Guo Yang, Guoqi Zhang |
Effects of Thermal Reflowing Stress on Mechanical Properties of Novel SMT-SREKs. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Shujuan Jiang, Hongyang Wang, Yanmei Zhang, Meng Xue, Junyan Qian, Miao Zhang |
An Approach for Detecting Infeasible Paths Based on a SMT Solver. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Sébastien Bardin, Nikolaj S. Bjørner, Cristian Cadar |
Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). |
Dagstuhl Reports |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, Takashi Kunifuji |
Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Joke Daems, Lieve Macken |
Interactive adaptive SMT versus interactive adaptive NMT: a user experience evaluation. |
Mach. Transl. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Reynolds 0001, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett, Morgan Deters |
Refutation-based synthesis in SMT. |
Formal Methods Syst. Des. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Morettin, Andrea Passerini, Roberto Sebastiani |
Advanced SMT techniques for weighted model integration. |
Artif. Intell. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger |
The SMT Competition 2015-2018. |
J. Satisf. Boolean Model. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Frank Imeson, Stephen L. Smith 0001 |
An SMT-Based Approach to Motion Planning for Multiple Robots With Complex Constraints. |
IEEE Trans. Robotics |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Eremondi |
Set Constraints, Pattern Match Analysis, and SMT. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Atul Kr. Ojha |
English-Bhojpuri SMT System: Insights from the Karaka Model. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Da Shen, Yuliya Lierler |
SMT-based Constraint Answer Set Solver EZSMT+. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Yue Zhang, Ziyuan Zhu, Dan Meng |
DDM: A Demand-based Dynamic Mitigation for SMT Transient Channels. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Fadil Kallat, Tristan Schäfer, Anna Vasileva |
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories. |
PxTP |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Sagar Indurkhya |
Automatic Inference of Minimalist Grammars using an SMT-Solver. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Andrei Arusoaie, Ionut Pistol |
Using SMT Solvers to Validate Models for AI Problems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Yoni Zohar, Clark W. Barrett, Cesare Tinelli |
Towards Bit-Width-Independent Proofs in SMT Solvers. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Pavel Surynek |
Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT). |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Li Huang 0001, Eun-Young Kang 0001 |
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Mohammad Hekmatnejad, Georgios Fainekos |
Model Checking Clinical Decision Support Systems Using SMT. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Shuo Ren, Zhirui Zhang, Shujie Liu 0001, Ming Zhou 0001, Shuai Ma 0001 |
Unsupervised Neural Machine Translation with SMT as Posterior Regularization. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Ali Abbassi, Nancy A. Day, Derek Rayside |
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Alberto Poncelas, Maja Popovic, Dimitar Sht. Shterionov, Gideon Maillette de Buy Wenniger, Andy Way |
Combining SMT and NMT Back-Translated Data for Efficient NMT. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 |
Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving. |
ACM Trans. Softw. Eng. Methodol. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kimia Zamiri Azar, Hadi Mardani Kamali, Houman Homayoun, Avesta Sasan |
SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks. |
IACR Trans. Cryptogr. Hardw. Embed. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Gabrielle Beck, Maximilian Zinkus, Matthew Green 0001 |
Using SMT Solvers to Automate Chosen Ciphertext Attacks. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|
13 | Barbara König 0001, Maxime Nederkorn, Dennis Nolte |
CoReS: A tool for computing core graphs via SAT/SMT solvers. |
J. Log. Algebraic Methods Program. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kyungmin Bae, Camilo Rocha |
Symbolic state space reduction with guarded terms for rewriting modulo SMT. |
Sci. Comput. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Marwa Naveed Sheikh, Wei-Ming Lin |
Dynamic capping of rename registers for SMT processors. |
J. Syst. Archit. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina |
Lattice-based SMT for program verification. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Reynolds 0001, Andres Nötzli, Clark W. Barrett, Cesare Tinelli |
High-Level Abstractions for Simplifying Extended String Constraints in SMT. |
CAV (2) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer 0001 |
BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. |
CAV (1) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Martin Jonás, Jan Strejcek |
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. |
CAV (2) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yueling Zhang, Geguang Pu, Min Zhang |
SMTBCF: Efficient Backbone Computing for SMT Formulas. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Thais Campos, Adam Pacheck, Guy Hoffman, Hadas Kress-Gazit |
SMT-Based Control and Feedback for Social Navigation. |
ICRA |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Pavel Surynek |
Lazy Compilation of Variants of Multi-robot Path Planning with Satisfiability Modulo Theory (SMT) Approach. |
IROS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli |
Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method. |
ENASE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Artemiy Margaritov, Siddharth Gupta 0003, Rekai González-Alberquilla, Boris Grot |
Stretch: Balancing QoS and Throughput for Colocated Server Workloads on SMT Cores. |
HPCA |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Caleb Donovick, Makai Mann, Clark W. Barrett, Pat Hanrahan |
Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks. |
ReConFig |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Joachim Bard, Heiko Becker, Eva Darulova |
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek |
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran |
Programming Behavioral Test Models for SMT Solving in Scala. |
ICST Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. |
BPM |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mariam Gómez Sánchez, Alejandro Fernández Gil, Carlos Castro 0001 |
Integrating a SMT Solver based Local Search in Ant Colony Optimization for Solving RCMPSP. |
LA-CCI |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier |
Towards Synthesis of Distributed Algorithms with SMT Solvers. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Eremondi |
Set Constraints, Pattern Match Analysis, and SMT. |
TFP |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson |
SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis. |
CASE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos |
Task Scheduling with Nonlinear Costs using SMT Solvers. |
CASE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Shuo Ren, Zhirui Zhang, Shujie Liu 0001, Ming Zhou 0001, Shuai Ma 0001 |
Unsupervised Neural Machine Translation with SMT as Posterior Regularization. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny |
SMT-Based Encoding of Argumentation Dialogue Games. |
ICAISC (2) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Xiyue Zhang, Meng Sun 0002 |
SMT-Based Modeling and Verification of Cloud Applications. |
SERVICES |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Haniel Barbosa, Andrew Reynolds 0001, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett |
Extending SMT Solvers to Higher-Order Logic. |
CADE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Yoni Zohar, Clark W. Barrett, Cesare Tinelli |
Towards Bit-Width-Independent Proofs in SMT Solvers. |
CADE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Andres Nötzli, Andrew Reynolds 0001, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, Cesare Tinelli |
Syntax-Guided Rewrite Rule Enumeration for SMT Solvers. |
SAT |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Camillo Fiorentini, Rajeev Goré, Stéphane Graham-Lengrand |
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Krings, Michael Leuschel |
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Liudmyla Omelchuk, Olena Shyshatska |
Extending the SMT-Lib Standard with Theory of Nominative Data. |
ICTERI Workshops |
2019 |
DBLP BibTeX RDF |
|
13 | Liudmyla Omelchuk, Olena Shyshatska |
SMT-LIB Theory of Nominative Data. |
ICTERI (Revised Selected Papers) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Henrich Lauko, Vladimír Still, Petr Rockai, Jiri Barnat |
Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution). |
TACAS (3) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nils Becker, Peter Müller 0001, Alexander J. Summers |
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. |
TACAS (1) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Qinhao Wang, Amir Masoud Gharehbaghi, Takeshi Matsumoto, Masahiro Fujita |
High-Level Engineering Change Through Programmable Datapath and SMT Solvers. |
ISCAS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Weidong Lin 0001, Malcolm Y. H. Low |
Concept and Implementation of a Cyber-Pbysical Digital Twin for a SMT Line. |
IEEM |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Erik Brunvand |
Extending Student Labs with SMT Circuit Implementation. |
ACM Great Lakes Symposium on VLSI |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yue Zhang, Ziyuan Zhu, Dan Meng |
DDM: A Demand-Based Dynamic Mitigation for SMT Transient Channels. |
ISPA/BDCloud/SocialCom/SustainCom |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Gergely Kovásznai, Krisztián Gajdár, Laura Kovács |
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. |
SYNASC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Rafael Dutra, Jonathan Bachrach, Koushik Sen |
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Haniel Barbosa, Andrew Reynolds 0001, Daniel Larraz, Cesare Tinelli |
Extending enumerative function synthesis via SMT-driven classification. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mark R. Greenstreet |
Integrating SMT with Theorem Proving for Verification of Analog and Mixed-Signal Circuits (Invited Tutorial). |
FMCAD |
2019 |
DBLP DOI 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. |
ICSE (Companion Volume) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tarik Terzimehic, Monika Wenger, Sebastian Voss, Sten Grüner, Haitham Elfaham |
SMT-Based Deployment Calculation in Industrial Automation Domain. |
ETFA |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Anaïs Finzi, Silviu S. Craciunas |
Integration of SMT-based Scheduling with RC Network Calculus Analysis in TTEthernet Networks. |
ETFA |
2019 |
DBLP DOI BibTeX RDF |
|
|
|