2012年第九届ICTAC:印度班加罗尔
阿比克·罗伊乔杜里 , Meenakshi D'Souza公司 :
计算理论——2012年ICTAC第九届国际学术讨论会,印度班加罗尔,2012年9月24日至27日。 诉讼程序。 计算机科学讲义 7521, 施普林格 2012 ,国际标准图书编号 978-3-642-32942-5 S.阿克西 , 布莱斯·基内斯特 , 洛伊克·赫鲁特 , 杨绍发 :
时间约束MSC图中漂移的符号边界。 1-15 Deepak D'Souza公司 , 拉杰·莫汉·马特普拉克尔 :
LTL的组合层次监控自动机构造。 16-29 塞萨尔·桑切斯 , 朱利安·桑博尔斯基·福尔勒 :
如何将时序逻辑的有效扩展转换为交替自动机。 30-45 西蒙·福斯特 , Ondrej Rypacek公司 , 乔治·斯特鲁斯 :
通过扩展类型推理实现面向对象模型的正确性。 46-60 戴丽云 , 碧灿霞 :
简单线性循环的非终止集。 61-73 杜利卡·尼科利奇 , 福斯托·斯波托 :
Java字节码的定义表达式别名分析。 74年至89年 阿德里安·里斯科 :
使用Maude中指定的语义生成测试用例。 90-104 利迪娅·桑切兹·吉尔 , 梅赛德斯-伊达尔戈-赫雷罗 , 尤兰达·奥尔特加购物中心 :
用于懒惰计算的自然语义的局部无名表示。 105-119 尼古拉·贝内斯 , 扬·克伦斯克 :
模态过程重写系统。 120-135 阿德里安·里斯科 , 胡安·罗德里格斯-霍塔拉 :
S-建造系统缩小。 136-150 萨钦·洛达 , 尼基尔·帕特沃德汉 , 阿希姆·罗伊 , 沙拉达·桑达拉姆 , 迪利斯·托马斯 :
使用MASKETEERTM的数据隐私。 151-158 苏曼·罗伊 , Sidharth比哈里 , Jose Alfonso Corso老挝 :
一致性检查工具CSPConCheck。 159-163 萨钦·拉维拉姆 , Prakash Mohan管理局 , Manoranjan Satpathy公司 , S.拉梅什 :
SmartTestGen+:增强结构覆盖的测试套件助推器。 164-167 大卫·M·威廉姆斯 , 乔里·德鲁伊特 , 万·J·福克金 :
ProB中公平性下的模型检查及其在公平交换协议中的应用。 168-182 肯罗·亚塔克 , 青木东崎 :
基于环境建模的OSEK/VDX操作系统设计模型的模型检查。 183-197 Sjoerd Cranen公司 , 杰罗恩·J·A·凯伦 , 蒂姆·A·C·威廉斯 :
口吃平价游戏的治疗方法。 198-212年 贝诺·特凯劳德 , Jean-Baptiste Raclet女士 :
通过设计确保可达性。 213-227 西尔万·佩伦内特 , 米歇尔·德·罗杰蒙特 , 亚恩·斯特罗泽基 :
近似验证和枚举问题。 228-242 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
离散时间线性混合系统量化状态反馈控制的不确定性。 243-258