第18届ICECCS 2013:新加坡
-
2013年7月17日至19日,新加坡,2013年第18届复杂计算机系统工程国际会议。 IEEE计算机学会 2013 ,国际标准图书编号 978-0-7695-5007-7
主题演讲
克利夫·琼斯 :
关于并发推理的符号表达。 1 何继峰 :
混合关系微积分。 2 Shinichi Honiden公司 :
软件进化的目标模型精化。 三
系统建模与验证1
陈苏 , Min Zhou女士 , 梁泽贤 , 海湾 , 明古 :
使用BIP对具有数据传递的基于组件的系统进行建模和验证。 4-13 韩丰林 , 彼得·赫尔曼 , Hien Le公司 :
无功系统的实时特性建模与验证。 14-23 斯文·沃尔特 , 海克·韦尔海姆 :
基于知识的服务组合验证-SMT方法。 24-32 埃蒂安·安德烈 , 尤斯拉·莱姆巴哈 , 劳雷·佩特鲁奇 , 弗朗西斯·胡林·胡巴德 , 阿尔班·利纳德 , 洛美希拉 , Fabrice Kordon公司 :
CosyVerif:一个开源可扩展的验证环境。 33-36
系统评估
文品焦 :
自适应软件系统的适应水平和效率的度量。 37-45 马丁·曼德舍德 , 克里斯蒂安·普雷霍弗 :
使用特征模型的分布式嵌入式系统网络性能评估。 46-55 夏晓凯 , 季武 , 刘超(Chao Liu) , 罗旭 :
用于评估系统体系的模型驱动方法。 56-64
逻辑和算法
马克·艾基尔 , 鲍里斯·戈尔登 , 丹尼尔·克罗布 :
异构系统的适当逻辑。 65-74 阿桑卡亚·夏尔马 :
Promela的精化微积分。 75-84 梁泽贤 , 飞鹤 , Min Zhou女士 , 明古 :
重用搜索树进行时间归纳的增量SAT求解。 85-92
系统建模与验证2
吴晓峰 , 杰夫·桑德斯 , 朱慧彪 :
AODV的形式化建模与分析。 93-100 朱成绍 , 刘静(音译) , 丁左华 , 陈明松 , 宁康江 :
网络物理系统的时空特性分析。 101-110 秦丽 , 格雷姆·史密斯 :
使用有界公平性来指定和验证有序异步多代理系统。 111-120 加布里埃尔·乔巴努 , 满族郑 :
PAT中TiMo系统的自动分析。 121-124
实时系统
埃蒂安·安德烈 :
实时系统的观察者模式。 125-134 Eun-Young Kang(安永康) , 吉尔斯·佩鲁因 , 皮埃尔·伊夫·肖本斯 :
基于模型的能量感知实时汽车系统验证。 135-144 阿尔达·戈尼尔 , 朱利安·德安东尼 , 玛丽·阿格内斯·佩拉尔迪·弗拉蒂 , 弗雷德里克·马莱特 :
使用TimeSquare分析TADL2时间约束的工具支持。 145-154 卡特里娜·福克纳 , 瓦内亚·奇普里亚诺夫 , 尼克拉斯·J·G·福克纳 , 克劳迪娅·萨博 , 詹姆斯·希尔 , 加文·普迪 , 丹尼尔·弗雷泽 , 艾德里安·金斯顿 , 玛丽安·里克曼 , 安德鲁·沃利斯 :
分布式实时嵌入式防御系统的模型驱动性能预测。 155-158
短文第1部分
M.Shaban Jokhio先生 , 吉莉安·多比 , 孙晶(音译) , 胡天明 :
通过目标和变异进行Web服务测试。 159-162 Hajime Nakajima先生 , Masuda先生 , Ikuya Takahashi公司 :
GUI Ferret:分析多窗口应用程序复杂行为的GUI测试工具。 163-166 穆罕默德·穆萨 , Ferhat Khendek公司 :
合并测试模型。 167-170 楚铁林 , 陈德鼎 , 长石仔 , 格雷戈里·卡普哈默 :
基于历史的测试用例优先级和软件版本意识。 171-172 里达·本诺曼 , 卡梅尔·巴考伊 , 伊夫·阿尔布利埃克斯 :
为ESB体系结构开发并发性。 173-176
非功能特性分析: 安全性和可靠性
新树洞 , 凯拉斯·帕蒂尔 , 毛健(Jian Mao) , 梁振凯 :
诊断Ajax应用程序中攻击的综合客户端行为模型。 177-187 安东·巴鲁阿 , 穆罕默德·祖尔克宁 , Komminist Weldemariam公司 :
保护Web浏览器扩展免受JavaScript注入攻击。 188-197 马可·波扎诺 , 亚历山德罗·西马蒂 , 克里斯蒂安·马塔雷 :
可靠性体系结构的自动分析。 198-207 李晓蕾 , 广东白族 , 梁振凯 , 恒音 :
通过资源虚拟化限制恶意Android应用程序的软件环境。 208-211
软件工程
斯特凡·布洛姆 , 约瑟夫·基尼 , 玛丽克·赫斯曼 :
开发人员如何使用API? 并发案例研究。 212-221 辛霞 , 罗大卫 , 冯朱 , 王新余 , Bo Zhou先生 :
软件国际化和本地化:行业经验。 222-231 阿提夫·沙兰 , 穆罕默德·祖尔克宁 :
根据系统错误日志对故障模式进行运行时预测。 232-241 TegawendéF.Bissyandé , 费迪安·图恩 , 罗大卫 , 蒋凌霄 , 劳伦特·雷维耶尔 :
猎户座:一个集成了多种软件工件的软件项目搜索引擎。 242-245
短文第2课时
穆斯塔法·阿勒利 , 斋月阿卜杜纳比 , 罗伯特·B·法国 , 英德拉基·雷 :
严格分析移动系统中的时间访问控制属性。 246-251 西尔万·兰普利 , 尼古拉斯·巴斯基奥蒂斯 , 图菲克·齐亚迪 , 洛姆·梅桑·希拉 :
CARE:逆向工程技术可靠比较和分析平台。 252-255 佐藤一郎 :
复杂计算系统的弹性体系结构。 256-259 刘鹏(音) , 朱慧标 , 秦胜超 , 菲利普·J·布鲁克 , 西武 :
使用Maude链接Web服务的代数语义和操作语义。 260-263 张鹏程 , 于军(Jun Yu) , 李文瑞 , 哈里顿·梁 :
基于场景规范的基于游戏的监控器。 264-267