×
作者ID: 库尔曼·安德里亚斯最近由“Kuehlmann,Andreas”撰写的zbMATH文章
发布日期: 安德烈亚斯·库尔曼
已编制索引的文档: 7出版物自1999年起
合著者: 16位合著者具有7联合出版物
338合著作者

系列

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用21中的次20文件 引用人 年份
将DPLL推广到更丰富的逻辑。 Zbl 1242.68282号
肯尼思·麦克米兰。;安德烈亚斯·库尔曼;穆利·萨吉夫
8
2009
通过专家系统引导的转换实现可扩展的自动验证。 Zbl 1117.68534号
哈里·莫尼;杰森·鲍姆加特纳;维雷什·帕鲁西;罗伯特·坎泽尔曼;安德烈亚斯·库尔曼
4
2004
通过结构分析进行性能检查。 Zbl 1010.68514号
杰森·鲍姆加特纳;安德烈亚斯·库尔曼;雅各布·亚伯拉罕
4
2002
工业环境中基于sAT的模型检查技术分析。 Zbl 1159.68307号
尼娜·阿姆拉;杜晓群;安德烈亚斯·库尔曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;肯尼思·麦克米兰。
2
2005
使用BDDS对半连续时间模型进行模型检验。 Zbl 0920.68076号
塞尔吉奥·坎波斯;马西奥·泰西拉;马吕斯·米娜;安德烈亚斯·库尔曼;埃德蒙·克拉克
1
1999
使用广义重定时进行基于变换的验证。 Zbl 0991.68545号
安德烈亚斯·库尔曼;杰森·鲍姆加特纳
1
2001
符号可达性分析的细粒度连接调度。 Zbl 1043.68574号
Jin,HoonSang先生;安德烈亚斯·库尔曼;法比奥·萨蒙齐
1
2002
将DPLL推广到更丰富的逻辑。 兹比尔1242.68282
肯尼思·麦克米兰。;安德烈亚斯·库尔曼;穆利·萨吉夫
8
2009
工业环境中基于sAT的模型检查技术分析。 Zbl 1159.68307号
尼娜·阿姆拉;杜晓群;安德烈亚斯·库尔曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;肯尼思·麦克米兰。
2
2005
通过专家系统引导的转换实现可扩展的自动验证。 Zbl 1117.68534号
哈里·莫尼;杰森·鲍姆加特纳;维雷什·帕鲁西;罗伯特·坎泽尔曼;安德烈亚斯·库尔曼
4
2004
通过结构分析进行性能检查。 Zbl 1010.68514号
杰森·鲍姆加特纳;安德烈亚斯·库尔曼;雅各布·亚伯拉罕
4
2002
符号可达性分析的细粒度连接调度。 Zbl 1043.68574号
Jin,HoonSang先生;安德烈亚斯·库尔曼;法比奥·萨蒙齐
1
2002
使用广义重定时进行基于变换的验证。 Zbl 0991.68545号
安德烈亚斯·库尔曼;杰森·鲍姆加特纳
1
2001
使用BDDS对半连续时间模型进行模型检验。 Zbl 0920.68076号
塞尔吉奥·坎波斯;马西奥·泰西拉;马吕斯·米娜;安德烈亚斯·库尔曼;埃德蒙·克拉克
1
1999

按年份列出的引文