首页>外文会议>European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems

European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems

召开年：2020
召开地：Dublin(IE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.ETAPS Foreword

机译：阶段序言
- 作者：Marieke Huisman
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
2.Preface

机译：前言
- 作者：Armin Biere;David Parker;Marijn Heule;Falk Howar;Dirk Beyer;Arnd Hartmanns;Martina Seidl
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
3.An O(m log n) algorithm for branching bisimilarity on labelled transition systems

机译：标记过渡系统上的分支双相似性的O（m log n）算法
- 作者：David N. Jansen;Jan Friso Groote;Jeroen J.A. Keiren;Anton Wijs
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Branching bisimilarity;
- Algorithm;
- Labelled transition systems;
4.Verifying Quantum Communication Protocols with Ground Bisimulation

机译：通过地面双仿真验证量子通信协议
- 作者：Xudong Qin;Yuxin Deng;Wenjie Du
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Quantum process algebra;
- Bisimulation;
- Verification;
- Quantum communication protocols;
5.Deciding the bisimilarity of context-free session types

机译：确定无上下文会话类型的双相似性
- 作者：Bernardo Almeida;Andreia Mordido;Vasco T. Vasconcelos
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Types, Type equivalence, Bisimulation, Algorithm;
6.Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

机译：锐利的同余足以结合弱和强模态的时间逻辑
- 作者：Frederic Lang;Radu Mateescu;Franco Mazzanti
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Bisimulation;
- Concurrency;
- Model checking;
- Mu-calculus;
7.How Many Bits Does it Take to Quantize Your Neural Network?

机译：量化神经网络需要多少位？
- 作者：Mirco Giacobbe;Thomas A. Henzinger;Mathias Lechner
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
8.Highly Automated Formal Proofs over Memory Usage of Assembly Code

机译：汇编代码的内存使用情况的高度自动化的形式证明
- 作者：Preek Verbeek;Joshua A. Bockenek;Binoy Ravindran
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Formal Verification;
- Assembly;
- x86-64;
- Memory Usage;
9.GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

机译：GASOL：以太坊智能合约的气体分析和优化
- 作者：Elvira Albert;Jesus Correas;Pablo Gordillo;Guillermo Roman-Diez;Albert Rubio
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
10.CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering

机译：CPU电能表：能源感知算法工程的工具
- 作者：Dirk Beyer;Philipp Wendler
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Energy Measurement;
- RAPL;
- Benchmarking;
- BenchExec;
11.Practical Machine-Checked Formalization of Change Impact Analysis

机译：实用的机器检查的变更影响分析形式化
- 作者：Karl Palmskog;Ahmet Celik;Milos Gligoric
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Change impact analysis;
- Regression test selection;
- Coq;
12.What's Decidable About Program Verification Modulo Axioms?

机译：关于程序验证模公理的决定是什么？
- 作者：Umang Mathur;P. Madhusudan;Mahesh Viswanathan
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
13.Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting

机译：一阶重写理论中无穷大和范式谓词的形式化证明
- 作者：Alexander Lochmann;Aart Middeldorp
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Formalization;
- First-order theory of rewriting;
- Tree automata;
14.Fold/Unfold Transformations for Fixpoint Logic

机译：固定点逻辑的折叠/展开转换
- 作者：Naoki Kobayashi;Grigory Fedyukovich;Aarti Gupta
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
15.Verifying OpenJDK's LinkedList using KeY

机译：使用KeY验证OpenJDK链接列表
- 作者：Hans-Dieter A. Hiep;Olaf Maathuis;Jinting Bian;Frank S. de Boer;Marko van Eekelen;Stijn de Gouw
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Java standard library;
- deductive verification;
- KeY;
- Java Modeling Language;
- case study;
- bug;
16.Analysing installation scenarios of Debian packages

机译：分析Debian软件包的安装方案
- 作者：Benedikt Becker;Nicolas Jeannerod;Claude Marche;Yann Regis-Gianas;Mihaela Sighireanu;Ralf Treinen
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
17.Endicheck: Dynamic Analysis for Detecting Endianness Bugs

机译：Endicheck：用于检测字节序错误的动态分析
- 作者：Roman Kapl;Pavel Parizek
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
18.Describing and Simulating Concurrent Quantum Systems

机译：描述和模拟并发量子系统
- 作者：Richard Bornat;Jaap Boender;Florian Kammueller;Guillaume Poly;Rajagopal Nagarajan
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
19.EMTST: Engineering the Meta-theory of Session Types

机译：EMTST：设计会话类型的元理论
- 作者：David Castro;Francisco Ferreira;Nobuko Yoshida
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Concurrency;
- proof assistants;
- meta-theory;
- session-types;
20.Solving Mean-Payoff Games via Quasi Dominions

机译：通过拟域解决均值支付游戏
- 作者：Massimo Benerecetti;Daniele DellErba;Fabio Mogavero
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
21.Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

机译：奇偶游戏的偏序约简及其在参数化布尔方程组中的应用
- 作者：Thomas Neele;Tim A.C.Willemse;Wieger Wesselink
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
22.Polynomial Identification of ω-Automata

机译：ω-自动机的多项式辨识
- 作者：Dana Angluin;Dana Fisman;Yaara Shoval
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- identification in the limit, characteristic sample, ω-regular;
23.Advances in Automatic Software Verification: SV-COMP 2020

机译：自动软件验证的进展：SV-COMP 2020
- 作者：Dirk Beyer
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
- Formal Verification;
- Program Analysis;
- Competition;
24.2LS: Heap Analysis and Memory Safety (Competition Contribution)

机译：2LS：堆分析和内存安全（竞争贡献）
- 作者：Viktor Malik;Peter Schrammel;Tomas Vojnar
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
25.COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)

机译：沿海地区：将Java的Concolic和Fuzzing相结合（竞争贡献）
- 作者：Willem Visser;Jaco Geldenhuys
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
26.DARTAGNAN: Bounded Model Checking for Weak Memory Models (Competition Contribution)

机译：DARTAGNAN：针对弱内存模型的有界模型检查（竞争贡献）
- 作者：Hernan Ponce-de-Leon;Florian Furbach;Keijo Heljanko;Roland Meyer
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
27.VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)

机译：VeriAbs：通过抽象验证和测试生成（竞争贡献）
- 作者：Mohammad Afzal;Supratik Chakraborty;Avriti Chauhan;Bharti Chimdyalwar;Priyanka Darke;Ashutosh Gupta;Shrawan Kumar;Charles Babu M;Divyesh Unadkat;R Venkatesh
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
28.GACAL: Conjecture-based Verification (Competition Contribution)

机译：GACAL：基于猜想的验证（竞争贡献）
- 作者：Benjamin Quiring;Panagiotis Manolios
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
29.Java Ranger at SV-COMP 2020 (Competition Contribution)

机译：SV-COMP 2020上的Java Ranger（竞赛贡献）
- 作者：Vaibhav Sharma;Soha Hussein;Michael W. Whalen;Stephen McCamant;Willem Visser
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
30.JDART: Dynamic Symbolic Execution for JAVA Bytecode (Competition Contribution)

机译：JDART：JAVA字节码的动态符号执行（竞争贡献）
- 作者：Malte Mues;Falk Howar
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
31.Map2Check: Using Symbolic Execution and Fuzzing (Competition Contribution)

机译：Map2Check：使用符号执行和模糊测试（竞争贡献）
- 作者：Herbert Rocha;Rafael Menezes;Lucas C. Cordeiro;Raimundo Barreto
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
32.PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

机译：PredatorHP改进了（不仅是）间隔大小的内存区域和内存重新分配（竞争贡献）
- 作者：Petr Peringer;Veronika Sokova;Tomas Vojnar
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
33.Symbiotic 7: Integration of Predator and More (Competition Contribution)

机译：共生7：捕食者和更多的融合（竞争贡献）
- 作者：Marek Chalupa;Tomas Jasek;Lukas Tomovic;Martin Hruska;Veronika Sokova;Paulina Ayaziova;Jan Strejcek;Tomas Vojnar
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年
34.Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions (Competition Contribution)

机译：具有象征意义的诠释和流畅抽象的终极大班（比赛贡献）
- 作者：Daniel Dietsch;Matthias Heizmann;Alexander Nutz;Claus Schaetzle;Frank Schuessele
- 会议名称：《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》 | 2020年