×
作者ID: 蒂齐亚诺别墅“Villa,Tiziano”最近发表的zbMATH文章
发布日期: 蒂齐亚诺别墅
已编制索引的文档: 29出版物自1997年以来,包括3本书
4作为编辑的贡献
合著者: 44位合著者具有33份联合出版物
775位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

20出版物有被引用88中的次79文件 引用人 年份
多值决策图:理论与应用。 Zbl 1025.94515号
Timothy Kam先生;蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。
15
1998
有限状态机的模型匹配。 Zbl 1009.93053号
迪·贝内代托,玛丽亚·多梅尼卡;阿尔贝托Sangiovanni-Vincentelli;蒂齐亚诺别墅
10
2001
用ARIADNE对非线性混合系统进行假设保证验证。 Zbl 1284.93121号
卢卡·本韦努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅
10
2014
有限状态机的综合:函数优化。 Zbl 0876.94056号
蒂莫西·卡姆;蒂齐亚诺别墅;罗伯特·布雷顿;阿尔贝托Sangiovanni-Vincentelli
8
1997
自动发动机怠速控制的最大安全设置计算。 Zbl 0962.93070号
安德烈·巴卢奇;卢卡·本韦努蒂;玛丽亚·迪·贝内代托。;吉多·米科尼。;乌戈·波齐;蒂齐亚诺别墅;Howard Wong-Toi,霍华德;Alberto L.Sangiovanni-Vincentelli。
6
2000
同步FSM方程的组合渐进解。 Zbl 1161.93322号
尼娜·叶夫图申科;蒂齐亚诺别墅;罗伯特·K·布雷顿。;亚历克斯·佩特伦科;Alberto L.Sangiovanni-Vincentelli。
6
2008
事件分离下限混合系统的控制器综合。 兹比尔1048.93051
安德烈·巴卢奇;卢卡·本韦努蒂;蒂齐亚诺别墅;Howard Wong-Toi,霍华德;Alberto L.Sangiovanni-Vincentelli。
4
2003
确定性定时有限状态机:等价性检查和表达能力。 Zbl 1464.68152号
大卫·布雷索林;El-Fakih,哈立德;蒂齐亚诺别墅;尼娜·叶夫图申科
4
2014
未知组件问题。理论和应用。 Zbl 1248.68023号
蒂齐亚诺别墅;尼娜·叶夫图申科;罗伯特·K·布雷顿。;阿兰·米什琴科;亚历山大·佩特连科;阿尔贝托Sangiovanni-Vincentelli
4
2012
有限状态机的综合:逻辑优化。 Zbl 0876.94057号
蒂齐亚诺别墅;蒂莫西·卡姆;罗伯特·K·布雷顿。;阿尔贝托Sangiovanni-Vincentelli
1997
混合自动机的可计算合成语义。 Zbl 07300859号
大卫·布雷索林;彼得·柯林斯;卢卡·杰雷蒂;罗伯特·塞加拉;蒂齐亚诺别墅;扎伊瓦诺维奇·冈萨雷斯,萨尼亚
2020
Ariadne:使用可达性分析检查非线性混合自动机的优势。 Zbl 1374.68271号
卢卡·本韦努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅
2012
2013年8月29日至31日,意大利多洛米特斯Borca di Cadore,GandALF 2013,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 Zbl 1415.68045号
2013
BDD表示的FSM编码。 Zbl 1153.68553号
威尔辛·戈斯蒂;蒂齐亚诺别墅;亚历克斯·萨尔达尼亚;Alberto L.Sangiovanni-Vincentelli。
2
2007
分布式系统的协调控制。 Zbl 1310.93004号
2
2015
混合系统验证介绍阿里阿德涅. Zbl 1403.93108号
大卫·布雷索林;卢卡·杰雷蒂;蒂齐亚诺别墅;彼得·柯林斯
1
2015
正式验证适用于机器人手术。 Zbl 1403.93140号
大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅
1
2015
使用BALM-II自动合成协议转换器。 Zbl 1461.68032号
乔瓦尼·卡斯蒂内蒂;短笛、马蒂奥;蒂齐亚诺别墅;尼娜·叶夫图申科;罗伯特·布雷顿;阿兰·米什琴科
1
2015
多级布尔网络的综合。 Zbl 1209.94068号
蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。
1
2010
通过布尔关系在P电路中使用灵活性。 Zbl 1360.94475号
安娜·伯纳斯科尼;瓦伦蒂娜·齐里亚尼;加布里埃拉·特鲁科;蒂齐亚诺别墅
1
2015
混合自动机的可计算和组合语义。 Zbl 07300859号
大卫·布雷索林;彼得·柯林斯;卢卡·杰雷蒂;罗伯特·塞加拉;蒂齐亚诺别墅;扎伊瓦诺维奇·冈萨雷斯,萨尼亚
2020
分布式系统的协调控制。 Zbl 1310.93004号
2
2015
混合动力系统验证简介阿里阿德涅. Zbl 1403.93108号
大卫·布雷索林;卢卡·杰雷蒂;蒂齐亚诺别墅;彼得·柯林斯
1
2015
应用于机器人手术的形式验证。 Zbl 1403.93140号
大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅
1
2015
使用BALM-II自动合成协议转换器。 Zbl 1461.68032号
乔瓦尼·卡斯蒂内蒂;短笛、马蒂奥;蒂齐亚诺别墅;尼娜·叶夫图申科;罗伯特·布雷顿;阿兰·米什琴科
1
2015
通过布尔关系在P电路中使用灵活性。 Zbl 1360.94475号
安娜·伯纳斯科尼;瓦伦蒂娜·齐里亚尼;加布里埃拉·特鲁科;蒂齐亚诺别墅
1
2015
用ARIADNE对非线性混合系统进行假设保证验证。 Zbl 1284.93121号
卢卡·本韦努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅
10
2014
确定性定时有限状态机:等价性检查和表达能力。 Zbl 1464.68152号
大卫·布雷索林;El-Fakih,哈立德;蒂齐亚诺别墅;尼娜·叶夫图申科
4
2014
2013年8月29日至31日,意大利多洛米特斯Borca di Cadore,GandALF 2013,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 Zbl 1415.68045号
2013
未知组件问题。理论和应用。 Zbl 1248.68023号
蒂齐亚诺别墅;尼娜·叶夫图申科;罗伯特·K·布雷顿。;阿兰·米什琴科;亚历山大·佩特连科;阿尔贝托Sangiovanni-Vincentelli
4
2012
Ariadne:使用可达性分析检查非线性混合自动机的优势。 Zbl 1374.68271号
卢卡·本韦努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅
2012
多级布尔网络的综合。 Zbl 1209.94068号
蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。
1
2010
同步FSM方程的合成渐进解。 Zbl 1161.93322号
尼娜·叶夫图申科;蒂齐亚诺别墅;罗伯特·K·布雷顿。;亚历克斯·佩特伦科;Alberto L.Sangiovanni-Vincentelli。
6
2008
BDD表示的FSM编码。 Zbl 1153.68553号
威尔辛·戈斯蒂;蒂齐亚诺别墅;亚历克斯·萨尔达尼亚;Alberto L.Sangiovanni-Vincentelli。
2
2007
事件分离下限混合系统的控制器综合。 Zbl 1048.93051号
安德烈·巴卢奇;卢卡·本韦努蒂;蒂齐亚诺别墅;Howard Wong-Toi,霍华德;Alberto L.Sangiovanni-Vincentelli。
4
2003
有限状态机的模型匹配。 Zbl 1009.93053号
迪·贝内代托,玛丽亚·多梅尼卡;阿尔贝托Sangiovanni-Vincentelli;蒂齐亚诺别墅
10
2001
自动发动机怠速控制的最大安全设置计算。 兹比尔0962.93070
安德烈·巴卢奇;卢卡·本韦努蒂;玛丽亚·迪·贝内代托。;吉多·米科尼。;乌戈·波齐;蒂齐亚诺别墅;Howard Wong-Toi,霍华德;Alberto L.Sangiovanni-Vincentelli。
6
2000
多值决策图:理论与应用。 Zbl 1025.94515号
Timothy Kam先生;蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。
15
1998
有限状态机的综合:函数优化。 Zbl 0876.94056号
蒂莫西·卡姆;蒂齐亚诺别墅;罗伯特·布雷顿;阿尔贝托Sangiovanni-Vincentelli
8
1997
有限状态机的综合:逻辑优化。 Zbl 0876.94057号
蒂齐亚诺别墅;蒂莫西·卡姆;罗伯特·K·布雷顿。;阿尔贝托Sangiovanni-Vincentelli
1997
全部的 前5名

157位作者引用

8 蒂齐亚诺别墅
8 杨荣敏
6 大卫·布雷索林
5 吉安弗兰科·西亚多
5 雅各布·哈默
4 Alberto L.Sangiovanni-Vincentelli。
彼得·柯林斯。
卢卡·杰雷蒂
安德鲁·米纳(Andrew S.Miner)。
尼娜·叶夫图申科
2 亚历山德罗·阿巴特
2 马蒂亚斯·阿尔霍夫
2 亚历山大·巴卡洛夫(Alexander A.Barkalov)。
2 马西莫·贝内雷切蒂
2 安娜·伯纳斯科尼
2 Franz Brauße
2 阿尔贝托·卡萨格兰德
2 克劳迪娜·朝义亚
2 北卡罗来纳州埃夫图申科。
2 马可·费拉
2 彼得罗·加利亚尼
2 康斯坦丁·科洛文
2 玛格丽塔·弗拉迪米洛夫娜·科罗维纳
2 阿德里安·库姆伯格
2 郑武圭
2 Lanese,伊万
2 拉诺特、拉格罗
2 法布里奇奥·卢西奥
2 马西莫·梅罗
2 卡米尔·米尔卡雷克
2 穆勒,诺伯特·瑟。
2 奥雷连·纳尔迪
2 琳达·帕格利
2 卡拉广场
2 伊丽莎白·雷米
2 丹尼斯·蒂夫里
2 蒂妮,西蒙
2 拉里萨·蒂塔伦科
2 万,敏
2 马克·韦兹林格
1 Elvio Gilberto Amparore公司
1 卡马尔·阿姆隆
1 藤崎青木
1 Krzysztof Rafal公寓
1 尤金·亚萨林
1 Bäck,Thomas H.W。
1 克里斯特尔·拜尔
1 安德烈·巴卢奇
1 雨果·巴巴略
1 卢卡·本韦努蒂
1 辛齐亚·伯纳德斯基
1 巴塔拉克索尔,帕塔拉西尼
1 什鲁蒂·比斯瓦尔
1 布兰德,塞巴斯蒂安
1 罗伯特·K·布雷顿。
1 Randal E.布莱恩特。
1 达里奥·卡塔鲁扎
1 Charalambous,Charalambos D.查拉兰博斯。
1 陈晓辉
1 Stephen Chong先生
1 亚历山德罗·西马蒂
1 安德烈·奥古斯托·西雷
1 瓦伦蒂娜·齐里亚尼
1 罗伯特·切尔温斯基
1 Thao Dang先生
1 埃琳娜·德·桑提斯
1 迪·贝内代托,玛丽亚·多梅尼卡
1 安德烈亚·多梅尼奇
1 卢卡·多里戈
1 托马索·德罗西
1 El-Fakih,哈立德
1 帕维尔·G·埃梅利亚诺夫。
1 冯俊娥
1 保罗·菲奥里尼
1 傅朝辉
1 冈萨雷斯,佩德罗·恩里克
1 桑贾·伊万诺维奇·冈萨雷斯
1 威尔辛·戈斯蒂
1 阿尔贝托·格里乔
1 格罗兹基,格热戈兹
1 阿努巴夫·古普塔
1 锡涅布·哈巴斯
1 约翰·胡克(John N.jun Hooker)。
1 贾楠
1 金小青
1 维克托·荣格
1 达留什·卡尼亚
1 托马斯·卡佩拉
1 丹尼尔·科宁
1 V.V.库利亚明。
1 纳塔尔·库希克。
1 阿尔芬斯·拉尔曼(Alfons W.Laarman)。
1 凯·兰普卡
1 亚历克西斯·勒彭文
1 李东恩
1 尤斯拉·伦巴查尔
1 林,冯
1 罗晓楠
1 杰拉尔德·吕特根
1 约翰·莱杰罗斯
…还有57位作者

按年份列出的引文