默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

路易吉·迪·古列尔莫

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vecos/KirovRGC23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vecos/KirovRGC23
德米特里·基洛夫,西蒙·富尔维奥·罗里尼,路易吉·迪·古列尔莫,达伦·D·科弗:
飞机设备神经网络预测系统的形式化验证。美国钢铁协会 2023:225-240

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2017
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/imbsa/FerranteGSF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imbsa/FerranteGSF17
奥兰多·费兰特,路易吉·迪·古列尔莫,瓦莱里奥·塞尼,阿尔贝托·费拉里:
基于模型的安全评估在航空电子电源系统验证中的应用。 IMBSA公司 2017:243-254
2013
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jss/GuglielmoGFFFMP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jss/GuglielmoGFFFMP13
朱塞佩·迪·古列尔莫,路易吉·迪·古列尔莫,安德烈亚斯·福尔蒂内克,藤田正弘,佛朗哥·富米,克里斯蒂娜·马可西尼,格拉齐亚诺·普拉瓦德利:
关于嵌入式软件的模型驱动设计和基于动态断言的验证的集成。 J.系统。柔和。 86(8):2013-2033(2013)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tc/GuglielmoFPSV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tc/GuglielmoFPSV13
路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利,弗朗切斯科·斯特凡尼,萨拉·文科:
UNIVERCM：异构系统集成的通用通用计算模型。 IEEE传输。计算机 62(2):225-241(2013)
[第16条]
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fedcsis/GuglielmoSV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fedcsis/GuglielmoSV13
路易吉·迪·古列尔莫,桑吉特·塞希亚,蒂齐亚诺别墅:
懒惰线性混合自动机可实施控制策略的综合。联邦犯罪现场调查系统 2013:1369-1376
2012
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/date/GuglielmoGFP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/date/GuglielmoGFP12
朱塞佩·迪·古列尔莫,路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利:
通过模型驱动设计实现基于断言的嵌入式软件动态验证。日期 2012:212-217
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ddecs/GuglielmoGFP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ddecs/GuglielmoGFP12
朱塞佩·迪·古列尔莫,路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利:
关于使用断言进行嵌入式软件动态验证。 DDECS公司 2012:330-335
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsd/BresolinGGMFV12型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsd/BresolinGGMFV12
大卫·布雷索林,路易吉·迪·古列尔莫,卢卡·杰雷蒂,里卡多·穆拉多尔,保罗·菲奥里尼,蒂齐亚诺别墅:
自主机器人系统验证和改进中的开放问题。 DSD公司 2012:469-476
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sies/GuglielmoFPSV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sies/GuglielmoFPSV12
路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利,弗朗西斯科·斯特凡尼,萨拉·文科:
对异构嵌入式系统同构模拟的正式支持。 SIES公司 2012:211-219
2011
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/et/GuglielmoGFP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/et/GuglielmoGFP11
朱塞佩·迪·古列尔莫,路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利:
通过跨扩展FSM回跳高效生成功能验证刺激。《电子杂志》。测试。 27(2):137-162(2011)
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hldvt/GuglielmoFPSV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hldvt/GuglielmoFPSV11
路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利,弗朗西斯科·斯特凡尼,萨拉·文科:
UNIVERCM：用于异构嵌入式系统设计的UNIversal VERsatile计算模型。 HLDVT公司 2011:33-40
[c10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hldvt/GuglielmoGFP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hldvt/GuglielmoGFP11
朱塞佩·迪·古列尔莫,路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利:
交互式演示摘要：嵌入式软件设计中基于断言的验证。 HLDVT公司 2011:80
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hldvt/GuglielmoFP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hldvt/GuglielmoFP11
路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利:
交互式表示摘要：混合自动机离散化后属性的重用。 HLDVT公司 2011:81
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/GuglielmoFGFPMF11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/GuglielmoFGFPMF11
朱塞佩·迪·古列尔莫,藤田正弘,路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利,克里斯蒂娜·马可西尼,安德烈亚斯·福尔廷克:
嵌入式软件的模型驱动设计和验证。 AST公司 2011:98-104
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iwcmc/BresolinGGV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iwcmc/BresolinGGV11
大卫·布雷索林,路易吉·迪·古列尔莫,卢卡·杰雷蒂,蒂齐亚诺别墅:
从混合自动机规范生成正确的构造代码。 IWCMC公司 2011:1660-1665
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mtv/GuglielmoFP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mtv/GuglielmoFP11
路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利:
混合自动机离散化后的属性重用。音乐电视 2011:10-15
2010
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/date/GuglielmoFP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/date/GuglielmoFP10
路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利:
通过检查器突变进行性能鉴定的真空度分析。日期 2010:478-483
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hldvt/BombieriGGFFPSV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hldvt/BombieriGGFFPSV10
尼古拉·波比里,朱塞佩·迪·古列尔莫,路易吉·迪·古列尔莫,费拉里,佛朗哥·富米,格拉齐亚诺·普拉瓦德利,弗朗西斯科·斯特凡尼,亚历山德罗·文图雷利:
HIFSuite：用于HDL代码转换和操作的工具。 HLDVT公司 2010:40-41
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iccd/GuglielmoFOP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iccd/GuglielmoFOP10
路易吉·迪·古列尔莫,佛朗哥·富米,尼古拉·奥兰迪,格拉齐亚诺·普拉瓦德利:
DDPSL：定义属性的简单方法。 ICCD公司 2010:468-473

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/GuglielmoFP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/GuglielmoFP09
路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利:
突变分析在属性鉴定中的作用。记忆码 2009:28-35
2008
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/GuglielmoFP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/GuglielmoFP08
路易吉·迪·古列尔莫,佛朗哥·富米,格拉齐亚诺·普拉瓦德利:
通过故障模拟进行的真空度分析。记忆码 2008:27-36

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。