首页>外文会议>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;European joint conferences on theory and practice of software

召开年：2017
召开地：Uppsala(SE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.HiFrog: SMT-based Function Summarization for Software Verification

机译：HiFrog：用于软件验证的基于SMT的功能汇总
- 作者：Leonardo Alt;Sepideh Asadi;Hana Chockler;Karine Even Mendoza;Grigory Fedyukovich;Antti E.J. Hyvärinen;Natasha Sharygina
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
2.FlyFast: A Mean Field Model Checker

机译：FlyFast：平均场模型检查器
- 作者：Diego Latella;Michele Loreti;Mieke Massink
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
- Mean field model checking;
- Collective Adaptive Systems;
- Discrete time markov chains;
- Self-organisation;
- Gossip protocols;
3.Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions

机译：静态检测使用正则表达式的程序中的DoS漏洞
- 作者：Valentin Wiistholz;Oswaldo Olive;Marijn J.H. Heule;Isil Dillig
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
4.Discriminating Traces with Time

机译：区分时间痕迹
- 作者：Saeid Tizpaz-Niari;Pavol Černý;Bor-Yuh Evan Chang;Sriram Sankaranarayanan;Ashutosh Trivedi
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
5.Directed Automated Memory Performance Testing

机译：定向自动内存性能测试
- 作者：Sudipta Chattopadhyay
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
6.Context-Bounded Analysis for POWER

机译：POWER的上下文边界分析
- 作者：Parosh Aziz Abdulla;Mohamed Faouzi Atig;Ahmed Bouajjani;Tuan Phong Ngo
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
7.Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

机译：无重写的HyperLTL的基于重写的运行时验证
- 作者：Noel Brett;Umair Siddique;Borzoo Bonakdarpour
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
8.Almost Event-Rate Independent Monitoring of Metric Temporal Logic

机译：度量时间逻辑的几乎与事件无关的监视
- 作者：David Basin;Bhargav Nagaraja Bhatt;Dmitriy Traytel
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
9.Optimal Translation of LTL to Limit Deterministic Automata

机译：LTL的最佳转换以限制确定性自动机
- 作者：Dileep Kini;Mahesh Viswanathan
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
10.Sequential Convex Programming for the Efficient Verification of Parametric MDPs

机译：用于有效验证参数MDP的顺序凸规划
- 作者：Murat Cubuktepe;Nils Jansen;Sebastian Junges;Joost-Pieter Katoen;Ivan Papusha;Hasan A. Poonawala;Ufuk Topcu
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
11.JANI: Quantitative Model and Tool Interaction

机译：JANI：定量模型与工具交互
- 作者：Carlos E. Budde;Christian Dehnert;Ernst Moritz Hahn;Arnd Hartmanns;Sebastian Junges;Andrea Turrini
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
12.Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults

机译：计算概率故障的交换网络中转发方案的分数
- 作者：Guy Avni;Shubham Goel;Thomas A. Henzinger;Guillermo Rodriguez-Navas
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
13.Long-Run Rewards for Markov Automata

机译：马尔可夫自动机的长期奖励
- 作者：Yuliya Butkova;Ralf Wimmer;Holger Hermanns
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
14.Congruence Closure with Free Variables

机译：具有自由变量的同余闭包
- 作者：Haniel Barbosa;Pascal Fontaine;Andrew Reynolds
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
15.On Optimization Modulo Theories, MaxSMT and Sorting Networks

机译：优化模理论，MaxSMT和排序网络
- 作者：Roberto Sebastiani;Patrick Trentin
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
16.The Automatic Detection of Token Structures and Invariants Using SAT Checking

机译：使用SAT检查自动检测令牌结构和不变量
- 作者：Pedro Antonino;Thomas Gibson-Robinson;A.W. Roscoe
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
17.Maximizing the Conditional Expected Reward for Reaching the Goal

机译：达到目标的有条件预期奖励最大化
- 作者：Christel Baier;Joachim Klein;Sascha Klüppelholz;Sascha Wunderlich
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
18.ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

机译：ARES：最优计划的自适应后退视野综合
- 作者：Anna Lukina;Lukas Esterle;Christian Hirsch;Ezio Bartocci;Junxing Yang;Ashish Tiwari;Scott A. Smolka;Radu Grosu
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
19.ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations

机译：ERODE：评估和简化常微分方程的工具
- 作者：Luca Cardelli;Mirco Tribastone;Max Tschaikowski;Andrea Vandin
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
20.Software Verification with Validation of Results (Report on SV-COMP 2017)

机译：带有结果验证的软件验证（关于SV-COMP 2017的报告）
- 作者：Dirk Beyer
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
21.DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs (Competition Contribution)

机译：DepthK：基于不变推理的C程序的k归纳验证器（竞争贡献）
- 作者：Williame Rocha;Herbert Rocha;Hussama Ismail;Lucas Cordeiro;Bernd Fischer
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
22.HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction (Competition Contribution)

机译：HipTNT +：通过二阶绑架（竞争贡献）的终止和非终止分析器
- 作者：Ton Chanh Le;Quang-Trung Ta;Wei-Ngan Chin
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
23.Validation, Synthesis and Optimization for Cyber-Physical Systems

机译：网络物理系统的验证，综合和优化
- 作者：Kim Guldstrand Larsen
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
24.The Facebook Infer Static Analyser

机译：Facebook推断静态分析
- 作者：Dino Distefano
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
25.ETAPS Foreword

机译：阶段序言
- 作者：Joost-Pieter Katoen
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
26.Forester: From Heap Shapes to Automata Predicates (Competition Contribution)

机译：Forester：从堆形状到自动机谓词（竞争贡献）
- 作者：Lukáš Holík;Martin Hrušks;Ondřej Lengál;Adam Rogalewicz;Jiří Šimáček;Tomáš Vojnar
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
27.Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)

机译：在SymDIVINE中优化和缓存SMT查询（竞争贡献）
- 作者：Jan Mrázek;Martin Jonáš;Vladimír Štill;Henrich Lauko;Jiří Barnat
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
28.AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs (Competition Contribution)

机译：AProVE：证明和反对终止使用内存的C程序的终止（竞争贡献）
- 作者：Jera Hensel;Frank Emrich;Florian Frohn;Thomas Ströder;Jürgen Giesl
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
29.Symbiotic 4: Beyond Reachability (Competition Contribution)

机译：共生4：超越可及性（竞争贡献）
- 作者：Marek Chalupa;Martina Vitovská;Martin Jonáš;Jiri Slaby;Jan Strejček
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
30.Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata (Competition Contribution)

机译：具有按需构造的Floyd-Hoare自动机的终极自动化器（竞争贡献）
- 作者：Matthias Heizmann;Yu-Wen Chen;Daniel Dietsch;Marius Greitschus;Alexander Nutz;Betim Musa;Claus Schätzle;Christian Schilling;Frank Schüssele;Andreas Podelski
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
31.CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions (Competition Contribution)

机译：CPA-BAM-BnB：谓词抽象的块抽象记忆和基于区域的内存模型（竞争贡献）
- 作者：Pavel Andrianov;Karlheinz Friedberger;Mikhail Mandrykin;Vadim Mutilin;Anton Volkov
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
32.Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation (Competition Contribution)

机译：Lazy-CSeq 2.0：将懒惰序列化与抽象解释相结合（竞争贡献）
- 作者：Truc L. Nguyen;Omar Inverso;Bernd Fischer;Salvatore La Torre;Gennaro Parlato
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
33.Skink: Static Analysis of Programs in LLVM Intermediate Representation (Competition Contribution)

机译：Skink：LLVM中级表示法（竞争贡献）中程序的静态分析
- 作者：Franck Cassez;Anthony M. Sloane;Matthew Roberts;Matthew Pigram;Pongsak Suvanpong;Pablo Gonzalez de Aledo
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
34.Ultimate Taipan: Trace Abstraction and Abstract Interpretation (Competition Contribution)

机译：终极大班：痕迹抽象和抽象解释（竞赛贡献）
- 作者：Marius Greitschus;Daniel Dietsch;Matthias Heizmann;Alexander Nutz;Claus Schätzle;Christian Schilling;Frank Schüssele;Andreas Podelski
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
35.VeriAbs: Verification by Abstraction (Competition Contribution)

机译：VeriAbs：通过抽象验证（竞争贡献）
- 作者：Bharti Chimdyalwar;Priyanka Darke;Avriti Chauhan;Punit Shah;Shrawan Kumar;R. Venkatesh
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年
36.Preface

机译：前言
- 作者：Dirk Beyer;Axel Legay;Tiziana Margaria;Dave Parker
- 会议名称：《International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software》 | 2017年