首页>外文会议>Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

召开年：2004
召开地：Barcelona(ES);Barcelona(ES);Barcelona(ES);Barcelona(ES)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.MetaGame: An Animation Tool for Model-Checking Games

机译：MetaGame：用于模型检查游戏的动画工具
- 作者：Markus Mueller-Olm;Haiseung Yoo
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
- model checking;
- game;
- error diagnosis;
- branching time logic;
- animation;
2.SyncGen: An Aspect-Oriented Framework for Synchronization

机译：SyncGen：面向方面的同步框架
- 作者：Xianghua Deng;Matthew Dwyer;John Hatcliff;Masaaki Mizuno
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
3.Tampere Verification Tool

机译：篡改验证工具
- 作者：Heikki Virtanen;Henri Hansen;Antti Valmari;Juha Nieminen;Timo Erkkilae
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
4.Vooduu: Verification of Object-Oriented Designs Using UPPAAL

机译：Vooduu：使用UPPAAL验证面向对象的设计
- 作者：Karsten Diethers;Michaela Huhn
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
5.A Tool for Checking ANSI-C Programs

机译：用于检查ANSI-C程序的工具
- 作者：Edmund Clarke;Daniel Kroening;Flavio Lerda
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
6.CoPS - Checker of Persistent Security

机译：CoPS-持久安全性检查器
- 作者：Carla Piazza;Enrico Pivato;Sabina Rossi
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
7.Automated Generation of a Progress Measure for the Sweep-Line Method

机译：自动生成扫描线方法的进度测量
- 作者：Karsten Schmidt
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
8.Binding-Time Analysis for MetaML via Type Inference and Constraint Solving

机译：通过类型推断和约束求解的MetaML绑定时间分析
- 作者：Nathan Linger;Tim Sheard
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
9.A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings

机译：用于区间分析的一类多项式可解范围约束，不加宽和变窄
- 作者：Zhendong Su;David Wagner
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
10.A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata

机译：定时自动机的时钟爆炸问题的偏序语义方法
- 作者：D. Lugiez;P. Niebert;S. Zennou
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
11.A Scalable Incomplete Test for the Boundedness of UML RT Models

机译：UML RT模型有界性的可扩展不完整测试
- 作者：Stefan Leue;Richard Mayr;Wei Wei
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
12.A Temporal Logic of Nested Calls and Returns

机译：嵌套调用和返回的时间逻辑
- 作者：Rajeev Alur;Kousha Etessami;P. Madhusudan
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
13.An Interpolating Theorem Prover

机译：插值定理证明
- 作者：K.L. McMillan
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
14.Applying Game Semantics to Compositional Software Modeling and Verification

机译：将游戏语义学应用于组合软件建模和验证
- 作者：Samson Abramsky;Dan R. Ghica;Andrzej S. Murawski;C.-H. Luke Ong
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
15.Automatic Creation of Environment Models via Training

机译：通过培训自动创建环境模型
- 作者：Thomas Ball;Vladimir Levin;Fei Xie
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
16.Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic

机译：基于抽象状态机和一阶定时逻辑的根争用协议的自动参数验证
- 作者：Daniele Beauquier;Tristan Crolard;Evguenia Prokofieva
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
17.Automatic Verification of Time Sensitive Cryptographic Protocols

机译：自动验证时间敏感密码协议
- 作者：Giorgio Delzanno;Pierre Ganty
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
18.Checking Strong Specifications Using an Extensible Software Model Checking Framework

机译：使用可扩展的软件模型检查框架检查严格的规格
- 作者：Robby;Edwin Rodriguez;Matthew B. Dwyer;John Hatcliff
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
19.Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

机译：使用定时自动机进行可调度性分析中的可决定性和不可决定性问题
- 作者：Pavel Krcal;Wang Yi
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
20.Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes

机译：均匀连续时间马尔可夫决策过程中有界可达概率的有效计算
- 作者：Christel Baier;Boudewijn Haverkort;Holger Hermanns;Joost-Pieter Katoen
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
21.Error Explanation with Distance Metrics

机译：距离度量的错误说明
- 作者：Alex Groce
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
22.FASTer Acceleration of Counter Automata in Practice

机译：实践中快速实现计数器自动机
- 作者：Sebastien Bardin;Alain Finkel;Jerome Leroux
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
- acceleration;
- counter automata;
- reachability set;
- convex translation;
- TTP protocol;
23.From Complementation to Certification

机译：从补充到认证
- 作者：Orna Kupferman;Moshe Y. Vardi
- 会议名称：《》 | 2004年
24.Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

机译：基于抽象和符号模式数据库的引导不变模型检查
- 作者：Kairong Qian;Albert Nymeyer
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
25.How Vacuous Is Vacuous?

机译：有多空虚？
- 作者：Arie Gurfinkel;Marsha Chechik
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
26.Liveness with Incomprehensible Ranking

机译：排名难以理解的生活
- 作者：Yi Fang;Nir Piterman;Amir Pnueli;Lenore Zuck
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
27.Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

机译：定时自动机基于区域的抽象的上下界
- 作者：Gerd Behrmann;Patricia Bouyer;Kim G. Larsen;Radek Pelanek
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
28.Minimal Assignments for Bounded Model Checking

机译：边界模型检查的最小分配
- 作者：Kavita Ravi;Fabio Somenzi
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
29.Model Checking Discounted Temporal Properties

机译：模型检查贴现时间属性
- 作者：Luca de Alfaro;Marco Faella;Thomas A. Henzinger;Rupak Majumdar;Marieelle Stoelinga
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
30.Monotonic Abstraction-Refinement for CTL

机译：CTL的单调抽象精化
- 作者：Sharon Shoham;Orna Grumberg
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
31.Numeric Domains with Summarized Dimensions

机译：具有概括维的数值域
- 作者：Denis Gopan;Frank DiMaio;Nurit Dor;Thomas Reps;Mooly Sagiv
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
32.Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study

机译：数值与统计概率模型检查：一项实证研究
- 作者：Hakan L.S. Younes;Maxta Kwiatkowska;Gethin Norman;David Parker
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
33.Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method

机译：使用扫描线方法获得内存有效的可达性图表示
- 作者：Thomas Mailund;Michael Westergaard
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
- verification;
- state space methods;
- state space reduction;
- memory efficient state representation;
- the sweep-line method;
34.Omega-Regular Model Checking

机译：欧米茄常规模型检查
- 作者：Bernard Boigelot;Axel Legay;Pierre Wolper
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
35.Online Efficient Predictive Safety Analysis of Multithreaded Programs

机译：多线程程序的在线高效预测安全性分析
- 作者：Koushik Sen;Grigore Rosu;Gul Agha
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
36.Refining Approximations in Software Predicate Abstraction

机译：完善软件谓词抽象中的近似
- 作者：Thomas Ball;Byron Cook;Satyaki Das;Sriram K. Rajamani
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
37.Resource-Optimal Scheduling Using Priced Timed Automata

机译：使用定时定时自动机进行资源优化调度
- 作者：J.I. Rasmussen;K.G. Larsen;K. Subramani
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
38.Revisiting Positive Equality

机译：重新审视积极平等
- 作者：Shuvendu K. Lahiri;Randal E. Bryant;Amit Goel;Muralidhar Talupur
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
39.Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

机译：通过利文斯顿路径查找器基于仿真的自治控制器验证
- 作者：A.E. Lindsey;Charles Pecheur
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
40.Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points

机译：求解具有交替不动点的析取/合取布尔方程组
- 作者：Jan Friso Groote;Misa Keinaenen
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
41.Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

机译：以符号方式计算最精确的抽象运算以进行形状分析
- 作者：G. Yorsh;T. Reps;M. Sagiv
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
42.Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient

机译：Tarjan算法使即时LTL验证更加高效
- 作者：Jaco Geldenhuys;Antti Valmari
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年
43.The Succinct Solver Suite

机译：简洁求解器套件
- 作者：Flemming Nielson;Hanne Riis Nielson;Hongyan Sun;Mikael Buchholtz;Rene Rydhof Hansen;Henrik Pilegaard;Helmut Seidl
- 会议名称：《Tools and Algorithms for the Construction and Analysis of Systems》 | 2004年