Mila E.Majster-Cederbaum公司
人员信息
附属: 德国慕尼黑LMU 隶属关系(前): 德国曼海姆大学
优化列表
2010 – 2019
2015 [公元32年] Mila E.Majster-Cederbaum公司 , 尼尔斯·塞梅尔洛克 :
组合确保安全属性及其与关系代数运算符的连接的基础。 科学。 计算。 程序。 98 : 516-530 ( 2015 ) 2013 [公元31年] 克里斯蒂安·兰贝茨 , Mila E.Majster-Cederbaum公司 :
基于组件的软件体系结构的高效死锁分析。 科学。 计算。 程序。 78 ( 12 ) : 2488-2510 ( 2013 ) [c38] Mila E.Majster-Cederbaum公司 , 尼尔斯·塞梅尔洛克 :
具有体系结构约束的协作系统中的可达性是PSPACE完备的。 石墨 2013 : 1-11 2012 【j30】 莫里茨·马滕斯 , Mila E.Majster-Cederbaum公司 :
具有架构约束的组件系统中的死锁自由。 形式方法系统。 设计。 41 ( 2 ) : 129-177 ( 2012 ) 2011 [公元37年] 克里斯蒂安·兰贝茨 , Mila E.Majster-Cederbaum公司 :
基于体系结构约束分析基于组件的系统。 FSEN公司 2011 : 64-79 2010 [公元29年] 詹乃军 , Mila E.Majster-Cederbaum公司 :
关于分层发展的反应系统。 Inf.计算。 208 ( 9 ) : 997-1019 ( 2010 ) [公元36年] 克里斯蒂安·兰贝茨 , Mila E.Cederbaum少校 :
组件系统死锁自由的端口协议。 冰 2010 : 7-11
2000 – 2009
2009 [公元35年] 费利克斯·C·弗雷林 , 克里斯蒂安·兰贝茨 , Mila E.Majster-Cederbaum公司 :
碰撞恢复模型的模块共识算法。 PDCAT公司 2009 : 287-292 [公元34年] Mila E.Majster-Cederbaum公司 , 克里斯托夫·米纳迈耶 :
基于组件的系统可达全局状态空间的交叉检查-增强过逼近。 RP公司 2009 : 189-202 [公元33年] 莫里茨·马滕斯 , Mila E.Majster-Cederbaum公司 :
使用体系结构约束实现具有多路协作的组件系统的死锁-自由。 TASE公司 2009 : 225-232 [公元32年] Mila E.Majster-Cederbaum公司 , 尼尔斯·塞梅尔洛克 :
树状组件系统中的可达性是PSPACE-Complete。 FACS@FMWeek 2009 : 197-210 2008 [c31] Mila E.Majster-Cederbaum公司 , 莫里茨·马滕斯 :
树状组件体系结构死锁自由度的组成分析。 EMSOFT公司 2008 : 199-206 [公元30年] Mila E.Majster-Cederbaum公司 , 克里斯托夫·米纳迈耶 :
交互系统中的一切都是PSPACE-Complete。 ICTAC公司 2008 : 216-227 [公元29年] Mila E.Majster-Cederbaum公司 , 克里斯托夫·米纳迈耶 :
从1-安全Petri网导出交互系统的复杂性结果。 SOFSEM公司 2008 : 352-363 [公元28年] 费利克斯·C·弗雷林 , 克里斯蒂安·兰贝茨 , Mila E.Majster-Cederbaum公司 :
碰撞恢复模型的简易共识算法。 圆盘 2008 : 507-508 2007 [公元27年] Mila E.Majster-Cederbaum公司 , 尼尔斯·塞梅尔洛克 , 维雷娜·沃尔夫 :
生化反应的相互作用模型。 生物综合公司 2007 : 480-486 [公元26年] Mila E.Majster-Cederbaum公司 , 莫里茨·马滕斯 :
交互系统中的鲁棒性。 复地 2007 : 325-340 [公元25年] 格雷戈·格勒 , 苏珊·格拉芙 , Mila E.Majster-Cederbaum公司 , 莫里茨·马滕斯 , 约瑟夫·西法基斯 :
一种基于组件的系统建模和验证方法。 软质(1) 2007 : 295-308 [公元24年] Mila E.Majster-Cederbaum公司 , 莫里茨·马滕斯 , 克里斯托夫·米纳迈耶 :
基于组件的系统死锁自由的多项式时间可检验充分条件。 软质(1) 2007 : 888-899 【c23】 Mila E.Majster-Cederbaum公司 , 莫里茨·马滕斯 , 克里斯托夫·米纳迈耶 :
交互系统中的活力。 传真 2007 : 57-74 2006 [公元28年] Mila E.Majster-Cederbaum公司 , 吴金照 , 后光岳 :
具有因果模糊性的实时并发系统的动作优化。 信息学报 42 ( 6-7 ) : 389-418 ( 2006 ) [公元27年] 哈拉尔德·费彻 , Mila E.Majster-Cederbaum公司 :
应用于延迟决策的操作优化。 形式方面计算。 18 ( 2 ) : 211-230 ( 2006 ) [公元22年] 格雷戈·格勒 , 苏珊·格拉芙 , Mila E.Majster-Cederbaum公司 , 莫里茨·马滕斯 , 约瑟夫·西法基斯 :
确保交互系统的属性。 程序分析和编译 2006 : 201-224 【c21】 Mila E.Majster-Cederbaum公司 , 克里斯托夫·米纳迈耶 :
在LinCa的最大进展多步语义下,终止和分歧是不确定的。 ICTAC公司 2006 : 65-79 [公元20年] 维雷娜·沃尔夫 , 克里斯特尔·拜尔 , Mila E.Cederbaum少校 :
非确定性随机系统的跟踪语义。 QAPL公司 2006 : 187-204 2005 [公元26年] 哈拉尔德·费彻 , Mila E.Majster-Cederbaum公司 :
任意中断的事件结构。 芬丹。 信息学 68 ( 1-2 ) : 103-130 ( 2005 ) [第19条] 詹乃军(Naijun Zhan) , Mila E.Majster-Cederbaum公司 :
从连接和析取导出不确定性。 复地 2005 : 351-365 [第18条] 维雷娜·沃尔夫 , 克里斯特尔·拜尔 , Mila E.Majster-Cederbaum公司 :
用于观察连续时间马尔可夫链的跟踪机。 QAPL公司 2005 : 259-277 2004 [公元25年] Mila E.Majster-Cederbaum公司 , 弗兰克·萨尔格 :
面向反应系统的分级验证。 西奥。 计算。 科学。 318 ( 三 ) : 243-296 ( 2004 ) [第17条] Mila E.Majster-Cederbaum公司 , 吴金照 , 后光岳 , 詹乃军 :
具有因果模糊性的实时并发系统的动作精化。 ICFEM公司 2004 : 449-463 [第16条] 孙秀丽 , 吴金照 , 宋晓宇 , Mila E.Majster-Cederbaum公司 :
通过动作细化对异步处理器进行形式化规范。 音乐电视 2004 : 36-41 2003 [公元24年] Mila E.Majster-Cederbaum公司 , 吴金照 :
实现真正并发实时的操作优化。 信息学报 39 ( 8 ) : 531-577 ( 2003 ) [第15条] Mila E.Majster-Cederbaum公司 , 吴金照 :
向随机真正并发模型添加操作优化。 ICFEM公司 2003 : 226-245 [第14条] Mila E.Cederbaum少校 , 詹乃军(Naijun Zhan) , 哈拉尔德·费彻 :
从逻辑角度优化操作。 VMCAI公司 2003 : 253-267 2002 [公元23年] 哈拉尔德·费彻 , Mila E.Majster-Cederbaum公司 , 吴金照 :
捆绑事件结构:修正的cpo方法。 Inf.流程。 莱特。 83 ( 1 ) : 7-12 ( 2002 ) [第13条] 哈拉尔德·费彻 , Mila E.Majster-Cederbaum公司 , 吴金照 :
具有真正并发模型的概率过程的操作优化。 PAPM-PROBMIV公司 2002 : 77-94 [第12条] 哈拉尔德·费彻 , Mila E.Majster-Cederbaum公司 :
延迟决策:基于最终结果的选择与行动优化相结合。 优化 2002 : 244-259 [第11条] 哈拉尔德·费彻 , Mila E.Majster-Cederbaum公司 , 吴金照 :
使用真正的并发模型对实时进程代数中的操作进行优化。 优化 2002 : 260-280 2001 [公元22年] Mila E.Majster-Cederbaum公司 :
递归过程的简单过程代数的欠指定。 西奥。 计算。 科学。 266 ( 1-2 ) : 935-950 ( 2001 ) [第10条] Mila E.Majster-Cederbaum公司 , 吴金照 :
真正并发实时的操作优化。 ICECCS公司 2001 : 58-68 2000 [公元21年] 克里斯特尔·拜尔 , 贝蒂娜·恩格伦 , Mila E.Majster-Cederbaum公司 :
概率过程的双相似度和相似度的判定。 J.计算。 系统。 科学。 60 ( 1 ) : 187-231 ( 2000 ) [公元20年] 马库斯·罗根巴赫 , Mila E.Majster-Cederbaum公司 :
走向相互模拟的统一观点:一项比较研究。 西奥。 计算。 科学。 238 ( 1-2 ) : 81-130 ( 2000 ) 【c9】 Mila E.Majster-Cederbaum公司 , 弗兰克·索尔格 , 玛丽亚·索里亚 :
无功系统的先验验证。 复地 2000 : 35-50 【c8】 Mila E.Majster-Cederbaum公司 , 弗兰克·萨尔格 :
通过构建实现正确性:面向层次系统开发中的验证。 自旋蛋白 2000 : 163-180
1990 – 1999
1999 [c7] Mila E.Majster-Cederbaum公司 , 弗兰克·索尔格 :
一种基于TCSP类过程代数中句法动作精化的验证技术和Hennessy-Milner逻辑。 亚洲的 1999 : 379-380 1998 [公元19年] Mila E.Majster-Cederbaum公司 , 马库斯·罗根巴赫 :
重温事件结构中的过渡系统。 Inf.流程。 莱特。 67 ( 三 ) : 119-124 ( 1998 ) 1997 [公元18年] 克里斯特尔·拜尔 , Mila E.Majster-Cederbaum公司 :
部分顺序语义的度量语义。 信息学报 34 ( 9 ) : 701-735 ( 1997 ) [公元17年] 克里斯特尔·拜尔 , Mila E.Majster-Cederbaum公司 :
偏序度量方法中区域方程的初始解和唯一解之间的联系。 形式方面计算。 9 ( 4 ) : 425-445 ( 1997 ) [公元16年] 克里斯特尔·拜尔 , Mila E.Majster-Cederbaum公司 :
如何解释和建立并发编程语言语义的一致性结果。 芬丹。 信息学 29 ( 三 ) : 225-256 ( 1997 ) 1996 [公元15年] Mila E.Majster-Cederbaum公司 , 马库斯·罗根巴赫 :
关于互模拟的两个不同特征。 牛市。 EATCS公司 59 ( 1996 ) [公元14年] 克里斯特尔·拜尔 , Mila E.Majster-Cederbaum公司 :
表示线性时间语义和序列组合。 Inf.流程。 莱特。 59 ( 三 ) : 135-143 ( 1996 ) [j13] Mila E.Majster-Cederbaum公司 , 克里斯特尔·拜尔 :
标准完成与理想完成。 西奥。 计算。 科学。 170 ( 1-2 ) : 145-171 ( 1996 ) 【c6】 克里斯特尔·拜尔 , Mila E.Majster-Cederbaum公司 :
一致性结果的分类特征。 AMAST公司 1996 : 473-486 1995 【c5】 Mila E.Majster-Cederbaum公司 , 克里斯特尔·拜尔 :
衡量完成情况与理想完成情况。 严格 1995 : 236-248 1994 [公元12年] 克里斯特尔·拜尔 , Mila E.Majster-Cederbaum公司 :
TCSP的事件结构语义和操作语义之间的连接。 信息学报 31 ( 1 ) : 81-104 ( 1994 ) [公元11年] Mila E.Majster-Cederbaum公司 , 弗兰克·泽采 :
CSP基于CPO的语义与基于CMS的语义的比较。 西奥。 计算。 科学。 124 ( 1 ) : 1-40 ( 1994 ) [公元10年] 克里斯特尔·拜尔 , Mila E.Majster-Cederbaum公司 :
CPO和度量方法中的指称语义。 西奥。 计算。 科学。 135 ( 2 ) : 171-220 ( 1994 ) 1992 [公元9年] Mila E.Majster-Cederbaum公司 :
确保在O(N²)时间内保持函数依赖性的BCNF-Decomposition的存在。 Inf.流程。 莱特。 43 ( 2 ) : 95-100 ( 1992 ) 1991 [j8] Mila E.Majster-Cederbaum公司 , 弗兰克·泽采 :
走向完备度量空间中语义的基础。 Inf.计算。 90 ( 2 ) : 217-243 ( 1991 ) 【c4】 克里斯特尔·拜尔 , Mila E.Majster-Cederbaum公司 :
全TCSP中非交织和交织模型的一致性。 FCT公司 1991 : 105-120
1980 – 1989
1989 [j7] Mila E.Majster-Cederbaum公司 :
压缩性质足以保证完备度量空间中内函不动点的唯一性。 Inf.流程。 莱特。 33 ( 1 ) : 15-19 ( 1989 ) 1988 [j6] Mila E.Majster-Cederbaum公司 :
关于完备度量空间中内函子不动点的唯一性。 Inf.流程。 莱特。 29 ( 6 ) : 277-281 ( 1988 ) 1985 [j5] Mila E.Majster-Cederbaum公司 :
使用常规选择运算符消除关系查询中的冗余操作。 计算 34 ( 4 ) : 303-323 ( 1985 ) 1980 【j4】 Mila E.Majster-Cederbaum公司 :
非确定性程序的关系和谓词转换语义之间的简单关系。 Inf.流程。 莱特。 11 ( 4/5 ) : 190-192 ( 1980 ) [j3] Mila E.Majster-Cederbaum公司 , 安吉丽卡·赖瑟 :
位置树的高效在线构造和校正。 SIAM J.计算。 9 ( 4 ) : 785-807 ( 1980 ) 【c3】 Mila E.Majster-Cederbaum公司 :
语义学:代数,不动点,公理。 ICALP公司 1980 : 394-408
1970 – 1979
1979 [注2] Mila E.Cederbaum少校 :
数据类型、抽象数据类型及其规范问题。 西奥。 计算。 科学。 8 : 89-127 ( 1979 ) 【c2】 Mila E.Majster-Cederbaum公司 , 安吉丽卡·赖瑟 :
一种高效的在线位置树构造算法。 理论计算机科学 1979 : 190-198 1977 [j1] Mila E.Majster-Cederbaum公司 :
扩展有向图,结构化数据和数据结构的形式主义。 信息学报 8 : 37-59 ( 1977 ) 1976 【c1】 Mila E.Majster-Cederbaum公司 :
数据结构模型。 ECI公司 1976 : 161-177