2016年第27届CONCUR:加拿大魁北克市
何塞·德沙奈斯 , 拉德哈·贾加迪桑 :
第27届并行理论国际会议,2016年8月23日至26日,加拿大魁北克市,CONCUR 2016。 LIPIcs公司 59, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2016 ,国际标准图书编号 978-3-95977-017-0 -
前言、目录、前言、会议组织。 0:i-0:xxii
受邀论文
弗雷德里克·达尔奎斯特 , 文森特·达诺斯 , 伊利亚斯·加尼尔 , 奥哈德·卡马尔 :
ω-完全锥对偶的贝叶斯反演。 1:1-1:15 弗朗西斯卡·罗西 :
基于道德偏好的决策支持系统。 2:1-2:7 马克·夏皮罗 , 马苏德·萨伊达·阿德卡尼 , 古斯塔沃·佩特里 :
3D一致性。 3:1-3:14 杨俊兴 , 拉杜·格罗苏 , 斯科特·斯莫尔卡 , 阿什什·蒂瓦里 :
爱你的邻居:V形形成是一个模型预测控制问题。 4:1-4:5
共享内存
帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , Tuan Phong Ngo村 :
在TSO下验证并发程序的双重性的好处。 5:1-5:15 安得利亚斯·哈斯 , 托马斯·汉津格 , 安德烈亚斯·霍尔泽 , 克里斯托夫·基尔希 , 迈克尔·利普茨(Michael Lippautz) , 汉内斯·佩耶 , 阿里·塞兹金 , 安娜·索科洛娃 , 赫尔穆特·维斯 :
并发容器类型数据结构的局部线性化。 6:1-6:15 乔瓦尼·贝尔纳迪 , 亚历克谢·戈茨曼 :
具有原子可见性的一致性模型的健壮性。 7:1-7:15
验证
罗曼·布伦吉尔 :
合成的最佳假设。 8:1-8:15 沙乌尔·阿尔马戈 , 奥尔娜·库普夫曼 , 纱线维纳 :
在硬布尔约束下最小化预期成本,及其在定量合成中的应用。 9:1-9:15 托马斯·布拉兹迪尔 , Vojtech外汇 , 安东·库塞拉 , 彼得·诺沃顿 :
图和游戏中的稳定性。 10:1-10:14 维罗妮克·布鲁耶尔 , 昆廷别墅 , Jean-François Raskin女士 :
异质多维博弈的复杂性。 11:1-11:15
算法和复杂性
哈维尔·埃斯帕尔扎 , 丹尼斯·库珀伯格 , 安卡·穆斯科尔 , 伊戈尔·瓦卢基维奇 :
谈判的稳健性。 12:1-12:13 伯恩德·芬克贝纳 , 克里斯托弗·哈恩 :
决定超属性。 13:1-13:14 马文·特里贝尔 , 扬·苏尔梅利 :
代数Petri网的齐次方程。 14:1-14:14 乌利·施拉赫特 :
模态转换系统的有界Petri网综合是不确定的。 15:1-15:14
分布式系统
Borzoo Bonakdarpour公司 , 皮埃尔·弗拉吉诺 , 塞尔吉奥·拉兹鲍姆 , 大卫·A·罗森布鲁思 , 科伦蒂·特拉弗斯 :
分散式异步崩溃恢复运行时验证。 16:1-16:15 洛伊格·杰泽奎尔 , 迪迪埃·莱姆 :
分布式系统中的延迟可达性分析。 17:1-17:14 罗利·佩雷拉 , 迪帕克·加尔格 , 詹姆斯·切尼 :
因果一致的动态切片。 18:1-18:15 克里斯蒂娜·里克曼 , 克里斯托夫·瓦格纳 , 乌韦·内斯特曼 , 斯特凡·施密德 :
基于命名过程演算的拓扑自稳定。 19:1-19:15
概率系统的距离
Przemyslaw Daca公司 , 托马斯·汉津格 , 扬·克伦斯克 , 塔贾娜·彼得罗夫 :
马尔可夫链之间的线性距离。 20:1-20:15 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
马尔可夫链上双相似距离的完全公理化。 21:1-21:14 七一汤 , 弗兰克·范·布鲁格尔 :
通过策略迭代计算概率双相似度距离。 22:1-22:15
类别
弗雷德里克·达尔奎斯特 , 文森特·达诺斯 , 伊利亚斯·加尼尔 :
稳健参数化高阶概率模型。 23:1-23:15 Natsuki Urabe公司 , 清水顺介 , Hasuo一郎 :
Buechi和奇偶自动机的协同式跟踪语义。 24:1-24:15 杰瑞米·杜布特 , 埃里克·古堡 , 让·古堡-拉雷克 :
P-可及范畴模型中的互模拟和展开。 25:1-25:14 托马斯·布伦戈斯 , 马可·佩雷索蒂 :
时间自动机的统一框架。 26:1-26:15
定时和参数化系统
S.阿克西 , 保罗·加斯廷 , 桑卡拉·纳拉亚南·克里希纳 :
使用树自动机分析时间系统。 27:1-27:14 艾米莉·戴维 , 弗朗索瓦·拉鲁西尼 , 尼古拉斯·马基 :
关于QCTL的表达。 28:1-28:15 安东尼娅·莱切纳 , 理查·马 , 乔尔·瓦克宁 , 阿默里·波利 , 詹姆斯·沃雷尔 :
单计数器自动机上的模型检查平面冻结LTL。 29:1-29:14 伊戈尔·康诺夫 , 托默·科特克 , 王强(Qiang Wang) , 赫尔穆特·维斯 , 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
BIP中的参数化系统:设计和模型检查。 30:1-30:16
逻辑
罗斯·霍恩 , Alwen Tiu先生 , 博格丹·阿曼 , 加布里埃尔·乔巴努 :
非交换逻辑中的私有名称。 31:1-31:16 西蒙·卡斯特伦 , 皮埃尔·克莱兰堡 :
并发游戏语义中的因果关系与交错。 32:1-32:14 马克·卡博尼 , 萨姆·林德利 , 法布里奇奥·蒙泰西 , 卡斯滕·舒尔曼 , 菲利普·沃德勒 :
一致性概括了二重性:多方会话类型的逻辑解释。 33:1-33:15 丹尼尔·奥斯曼 , 卢茨·施罗德 , 克里斯托夫·艾格 :
无交替微积分的全局缓存。 34:1-34:15
概率
Konstantinos Chatzikokolakis公司 , 帕拉米德斯猫 , 瓦莱丽亚·维格努德利 :
广义互模拟度量的最新技术。 35分35秒14秒 瓦伦蒂娜·卡斯蒂格利奥尼 , 丹尼尔·格布勒 , 西蒙·蒂尼 :
非确定性概率过程的模态分解。 36:1-36:15 纳塔莉·贝特朗 , 谢尔盖·哈达德 , 恩格尔·勒福丘 :
无限状态概率系统的诊断。 37:1-37:15