停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第7届TACAS 2001：意大利热那亚（ETAPS 2001的一部分）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/2001
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/2001
蒂齐亚娜·玛格丽亚,王毅:
《用于系统构建和分析的工具和算法》，第七届国际会议，TACAS 2001，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2001，Genova，意大利，2001年4月2-6日，会议记录。计算机科学课堂讲稿2031,施普林格 2001，国际标准图书编号3-540-41865-2

受邀捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Vardi01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Vardi01网址
莫舍·瓦尔迪:
分支与线性时间：最终决战。 1-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Fourman01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Fourman01
迈克尔·福曼:
命题推理。 23

符号验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Finkbeiner01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Finkbeiner01
伯恩德·芬克贝纳:
使用非确定性BDD进行语言包含检查。 24-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/WilliamsAH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/WilliamsAH01
保罗·弗雷德里克·威廉姆斯,亨利克·赖夫·安徒生,亨利克·胡尔加德:
使用布尔表达式图进行可满足性检查。 39-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Yavuz-KahveciTB01文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Yavuz-KahveciTB01
Tuba Yavuz-Kahveci公司,穆拉特调谐器,特维菲克·布尔坦:
复合符号表示库。 52-66

无限状态系统：演绎与抽象

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ColonS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ColonS01
迈克尔·科隆,亨尼·西普玛:
线性排序函数的合成。 67-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PnueliRZ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PnueliRZ01
阿米尔·普努利,西特凡尼特·鲁阿,勒诺·D·扎克:
用不可见不变量进行自动演绎验证。 82-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/LakhnechBBO01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/LakhnechBBO01
亚辛·拉赫内赫,萨德克·本萨勒姆,谢尔盖·贝雷津,山姆·奥威尔:
通过抽象进行增量验证。 98-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/TiwariRSS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/TiwariRSS01
阿什什·蒂瓦里,哈拉尔德街,哈森·萨伊迪,纳塔拉詹·尚卡尔:
不变量生成技术。 113-127

模型检验技术的应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SebastianiTG01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SebastianiTG01
罗伯托·塞巴斯蒂亚尼,亚历山德罗·托马西,福斯托·朱奇利亚:
模型检查大纲和学生导览。 128-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FuBHS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FuBHS01
祥福,特夫菲克·布尔坦,理查德·哈尔,苏建文:
验证涡流工作流。 143-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BallCR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BallCR01
托马斯·鲍尔,萨加尔·查基,斯里拉姆·拉贾马尼:
多线程软件库的参数化验证。 158-173

时间和概率系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BehrmannF01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BehrmannF01
格德·贝尔曼,安斯加·芬克,托马斯·胡恩,金·拉森,保罗·佩特森,朱迪·罗米恩:
UPPAAL中实现成本最优化的有效指导。 174-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HuneRSV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HuneRSV01
托马斯·胡恩,朱迪·罗米恩,玛丽埃尔·斯托琳加,Frits W.Vaandrager公司:
时间自动机的线性参数模型检验。 189-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AndovaB01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AndovaB01
苏珊娜·安多瓦,Jos C.M.Baeten先生:
概率过程代数中的抽象。 204-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RuysLKLM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RuysLKLM01
西奥·C·鲁伊斯,罗姆·兰格拉克,Joost-Pieter Katoen公司,迭戈·拉特拉,梅克·马西克:
使用偏序的随机过程代数的首次通过时间分析。 220-235

硬件：设计和验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MicroftS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MycroftS01
艾伦·迈克罗夫特,理查德·夏普:
使用函数语言进行硬件/软件协同设计。 236-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Velev01文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Velev01
米罗斯拉夫·韦列夫:
超标量微处理器形式验证中存储器的自动提取。 252-267

软件验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BallPR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BallPR01
托马斯·鲍尔,安德烈亚斯·波德尔斯基,斯里拉姆·拉贾马尼:
模型检查C程序的布尔和笛卡尔抽象。 268-283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PasareanuDV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PasareanuDV01
科琳娜·帕萨雷努,马修·德怀尔,威廉·维瑟:
在模型检查抽象Java程序时寻找可行的反例。 284-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BergJ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BergJ01
约阿希姆·范登伯格,雅各布施:
Java和JML的LOOP编译器。 299-312

符号验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CimattiRB01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CimattiRB01
亚历山德罗·西马蒂,马可·罗维里,皮埃尔吉奥·贝尔托利:
结合显式状态和符号模型检查搜索功率集自动机。 313-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CiardoLS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CiardoLS01
吉安弗兰科·西亚多,杰拉尔德·吕特根,西米尼亚努半径:
饱和：符号状态空间生成的有效迭代策略。 328-342

测试：技术和工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NielsenS01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NielsenS01
布莱恩·尼尔森,阿恩·斯科:
从定时自动机自动生成测试。 343-357
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Khurshid01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Khurshid01
萨尔夫拉兹·库希德:
使用遗传算法测试意向性命名方案。 358-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RicaT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RicaT01
菲利波·里卡,保罗·托内拉:
构建用于分析和测试Web应用程序的工具：问题和解决方案。 373-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SourterWSP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SouterWSP01网站
阿米·苏特,蒂芙尼·M·王,Stacey A.Shindo公司,洛丽·波洛克:
TATOO：面向对象软件的测试和分析工具。 389-403

实施技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChechikDE01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChechikDE01网站
玛莎·切奇克,贝内特·德韦鲁,史蒂夫·伊斯特布鲁克:
实现多值符号模型检查器。 404-419
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FislerFVY01型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FislerFVY01
凯西·菲斯勒,拉南·弗雷尔,吉拉·卡米,莫舍·瓦尔迪,资江杨:
有最佳的符号周期检测算法吗？ 420-434
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Carvajal-SchiaffinoDC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Carvajal-SchiaffinoDC01
鲁宾·卡瓦贾尔·斯齐亚菲诺,乔治·德尔扎诺,乔瓦尼·奇奥拉:
结合结构和枚举技术验证有界Petri网。 435-449
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChristensenKM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChristensenKM01
瑟伦·克里斯滕森,拉尔斯·迈克尔·克里斯滕森,托马斯·梅隆德:
状态空间探索的扫描线方法。 450-464

语义和成分验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AmlaENT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AmlaENT01
尼娜·阿姆拉,E.Allen爱默生,Kedar S.Namjoshi公司,理查德·特雷弗:
基于假设保证的同步时序图合成推理。 465-479
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/TanC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/TanC01
李坦,兰斯·克莱维兰:
再次模拟。 480-495
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GunterMP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GunterMP01
埃尔萨·甘特,安卡麝香草,多龙·A·贝利德:
合成消息序列图。 496-511
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KloseW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KloseW01
约钦·克洛泽,哈特穆特·维特克:
基于自动机的实时序列图解释。 512-527

逻辑和模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/节流阀KV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChocklerKV01
哈娜·查克勒,奥尔娜·库普夫曼,莫舍·瓦尔迪:
时序逻辑模型检查的覆盖度量。 528-542
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BolligLW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BolligLW01
Benedikt Bollig公司,马丁·勒克,米夏埃尔·韦伯:
无交替微积分的并行模型检查。 543-558
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Pandya01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Pandya01网址
帕里托什·K·潘迪亚:
模型检查CTL*[DC]。 559-573

ETAPS工具演示

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Boudouin-LafonMJAJLLMMRRRCJ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Boudouin-LafonMJAJLLMMRRRCJ01
米歇尔·博杜因·拉丰,温迪·麦凯,马德斯·延森,彼得·安徒生,保罗·杰耐科克,亨利·迈克尔·拉森,卡斯皮尔·兰德,杰尔德·Höyer Mortensen,斯蒂芬妮·蒙克,安妮·V·拉特泽,卡特琳乌鸦,瑟伦·克里斯滕森,库尔特·延森:
CPN/Tools:一个用于编辑和模拟彩色Petri网的工具，ETAPS工具演示与TACAS相关。 574-577
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Castillo01型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Castillo01
朱塞佩·德尔·卡斯蒂略:
ASM工作台-用于抽象状态机器模型工具演示的计算机辅助分析和验证的工具环境。 578-581
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/NollFG01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/NollFG01
托马斯·诺尔,拉尔斯·奥克·弗雷德隆德,迪利安·古罗夫:
Erlang验证工具。 582-586

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关详细信息查看我们的F.A.Q。