停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

ISoLA 2010：希腊克里特岛赫拉克利翁

>主页 >会议和研讨会 >ISoLA公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/2010-1
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/2010-1
蒂齐亚娜·玛格丽亚,伯恩哈德·斯特芬:
利用正式方法、验证和验证的应用——第四届利用应用国际研讨会，ISoLA 2010，希腊克里特岛伊拉克利翁，2010年10月18日至21日，会议记录，第一部分。计算机科学课堂讲稿6415,施普林格 2010，国际标准图书编号978-3-642-16557-3

关键嵌入式系统开发中的新挑战——“航空动力”视角

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/JanuzajKLSV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/JanuzajKLSV10
维萨·贾努扎伊,斯特凡·库格尔,鲍里斯·兰格,克里斯蒂安·夏尔哈特,赫尔穆特·维思:
关键嵌入式系统开发中的新挑战——“航空动力”视角。 1-2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/Schatz10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/Schatz10
伯恩哈德·施瓦茨:
嵌入式软件认证——ISO DIS 26262在汽车领域的影响。三
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/PlantecSDL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/PlantecSDL10
阿兰·普兰泰克,弗兰克·辛霍夫,皮埃尔·迪索,杰罗姆·罗格朗:
利用设计模式加强实时调度理论可行性测试的适用性。 4-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/HaberlHKTW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/HaberlHKTW10
沃尔夫冈·哈伯尔,马库斯·赫曼斯多夫,斯特凡·库格尔,迈克尔·陶奇尼格,马丁·威克斯:
无缝模型驱动开发付诸实践。 18-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/HolzerJKT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/HolzerJKT10
安德烈亚斯·霍尔泽,维萨·贾努扎伊,斯特凡·库格尔,迈克尔·陶奇尼格:
及时的时间估计。 33-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/KirnerHS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/KirnerHS10
雷蒙德·科纳,斯蒂芬·赫胡特,斯文·博多·舒尔茨:
编译器—支持健壮的多核计算。 47-57

设计和验证复杂嵌入式系统的形式化语言和方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/AmeurBMW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/AmeurBMW10
雅敏·艾特·阿米尔,波尼奥尔炸薯条,多米尼克·梅里,弗吉尼亚威尔斯:
主题方向：设计和验证复杂嵌入式系统的形式语言和方法。 58-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/AbdullaCK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/AbdullaCK10
帕罗什·阿齐兹·阿卜杜拉,乔纳森·塞德伯格,丽莎·卡蒂:
利用攻击丛林分析GSM无线网络的安全性。 60-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/OuranosSO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/OuranosSO10
伊亚科沃斯·乌拉诺斯,Petros S.Stefaneas公司,绪方和弘:
OTS/CafeOBJ方法中传感器网络加密协议的形式化建模与验证。 75-89
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/BastenBGHHIRSST10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BastenBGHHIRSST10
特万·巴斯滕,埃米尔·范·本特姆,马克·盖伦,马蒂恩·亨德里克斯,弗雷德·霍本,乔治塔·伊格纳,Frans Reckers公司,塞巴斯蒂安·德·斯梅特,卢·J·萨默斯,埃格伯特·蒂塞林克:
嵌入式系统的模型驱动设计空间探索：八达通工具集。 90-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/CruzHP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/CruzHP10
达尼埃拉·卡内罗·达克鲁斯,佩德罗·兰赫尔·恩里克斯,豪尔赫·索萨·平托:
基于合同的切片。 106-120

最坏情况遍历时间（WCTT）

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/BouillardBCMSST10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BouillardBCMSST10网站
安妮·布伊拉德,马克·博伊尔,萨马尔吉特·查克拉博蒂,史蒂芬·马丁,Jean-Luc Scharbarg公司,乔瓦尼·斯特亚,埃里克·蒂埃里:
最坏情况穿越时间特殊轨道（WCTT）。 121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/BoyerNOT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BoyerNOT10
马克·博伊尔,尼古拉斯·纳韦,泽维尔橄榄,埃里克·蒂埃里:
PEGASE项目：利用网络演算对航空航天通信系统进行精确和可扩展的时间分析。 122-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/Boyer10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/Boyer10
马克·博伊尔:
NC-Maude：使用网络微积分的重写工具。 137-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/BistiLMS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BistiLMS10
卢卡·比斯蒂,卢西亚诺·伦齐尼,恩佐·明戈齐,乔瓦尼·斯特亚:
DEBORAH：FIFO Tandems最坏情况分析工具。 152-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/SchmittWM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/SchmittWM10
延斯·施密特,王浩（Hao Wang）,伊万·马丁诺维奇:
任意调度下延迟分析的自对抗方法。 169-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/CorroncCH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/CorroncCH10
尤里尔·勒科隆,伯特兰·科腾索,劳伦特·哈杜因:
使用（Min，+）代数进行流控制。 184-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/StoimenovCT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/StoimenovCT10
尼古拉·斯托伊梅诺夫,萨马尔吉特·查克拉博蒂,洛塔尔·蒂勒:
用于估计元件网络中最坏情况遍历时间的接口代数。 198-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/LoriSV10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/LoriSV10
亚历山德罗·洛里,乔瓦尼·斯特亚,吉利奥拉·瓦格利尼:
面向实时流量的资源优化路由计划。 214-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/LiSF10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/LiSF10
李晓婷,Jean-Luc Scharbarg公司,克里斯蒂安·弗拉布尔:
将周期流与偏移部分同步可以改进交换式以太网最坏情况下的端到端延迟分析。 228-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/LauerEPB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/LauerEPB10
米夏·劳尔,杰尔·埃尔蒙特,克莱尔·佩吉蒂,波尼奥尔炸薯条:
分析IMA平台上的端到端功能延迟。 243-257

科学工作流合成工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/KokLW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/KokLW10
Joost N.Kok公司,安娜·莱娜·兰普雷希特,马克·威尔金森:
科学工作流合成工具。 258-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/达尔曼DWWN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/DalmanDWWN10
托尔加·达尔曼,彼得·德罗斯特,迈克尔·魏策尔,沃尔夫冈·维切特,凯萨琳娜·诺赫:
代谢通量分析的工作流：数据集成和人类交互。 261-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/SoaresC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/SoaresC10
卡洛斯·索尔斯,米盖尔·卡列霍:
智能文档路由是走向工作流自动化的第一步：在SQL中实现的案例研究。 276-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/BruinK10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BruinK10
杰罗恩·德布鲁因,Joost N.Kok公司:
结合子组发现和置换测试来减少冗余。 285-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/WithersKMVW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/WithersKMVW10
大卫·威瑟斯,爱德华·卡瓦斯,E.卢克·麦卡锡,本杰明·范德瓦尔克,马克·威尔金森:
Taverna中语义指导的工作流构建：SADI和BioMoby插件。 301-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/PodpecanZL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/PodpecanZL10
视频波德佩坎,莫妮卡·扎科娃,纳达·拉夫拉克:
面向服务的知识发现工作流构建。 313-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/KarlssonMRT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/KarlssonMRT10
托·约翰米凯尔·卡尔松,维多利亚·马丁·雷加,哈维尔·雷奥斯,奥斯瓦尔多·特雷尔斯:
使用jORCA的工作流组合和制定。 328-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/房间BZMNRM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/RoosBZMNRM10
马可·罗斯,肖恩·贝奇霍夫,Jun Zhao（赵军）,保罗·米西耶,大卫·R·纽曼,大卫·德鲁尔,M.斯科特·马歇尔:
共享工作流和工作流结果的链接数据方法。 340-354

物联网智能环境中融合电信/网络世界的新兴服务和技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/Ott10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/Ott10
约格·奥特:
朝向更自适应的语音应用。 355-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/Bessler公司10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/Bessler网站10
桑德福·贝斯勒:
过去十年中的电信服务交付平台——从研发角度来看。 367-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/ZhouGRRY10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/ZhouGRRY10
周杰翰,叶卡捷琳娜·吉尔曼,朱卡·里基,米卡·劳泰宁,米卡·伊莲蒂拉:
Ontology-Driven普及服务组合，适用于日常生活。 375-389
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/BoussardT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BoussardT10
马修·布萨德,皮尔里克·塞波尔特:
浏览物联网：可视化和与启用网络的对象交互。 390-398
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/LeeC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/LeeC10
Gyu Myoung Lee（李国明）,无克雷斯皮:
利用云和物联网塑造未来的服务环境：网络挑战和服务演变。 399-410
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/WangW10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/WangW10
王伟伦,昆西·吴:
智能电网部署中的中继放置问题。 411-424

网络科学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/VukovicB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/VukovicB10
马贾·武科维奇,克劳迪奥·巴托里尼:
面向企业众包的研究议程。 425-434
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/MagdalenoWA10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/MagdalenoWA10网站
安德烈亚·马加莱斯·马达莱诺,Cláudia Maria Lima沃纳,雷娜塔·门德斯·德阿劳霍:
通过社交网络分析软件开发过程中的协作。 435-446
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/CowanAMLN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/CowanAMLN10
唐纳德·考恩,保罗·S·C·阿伦卡尔,弗雷德·麦加里,卡洛斯·何塞·佩雷拉·德·卢塞纳,英格丽德修女:
基于网络的协作创新框架。 447-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/GoncalvesLMF10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/GoncalvesLMF10
凡妮莎·贡萨尔维斯,Priscila M.V.利马,纳尔逊·麦库兰,菲利佩·M·G·弗朗萨:
WebGraph去污的分布式动态。 462-472
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/NunesBL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/NunesBL10
英格丽德修女,西蒙·迪尼兹·朱奎拉·巴博萨,卡洛斯·何塞·佩雷拉·德卢塞纳:
使用域中性高级用户模型增加用户对个人帮助软件的信任。 473-487
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/BartoliniBBSBCE10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BartoliniBBSBCE10
克劳迪奥·巴托里尼,卡琳·K·布莱特曼,西蒙·迪尼兹·朱奎拉·巴博萨,马蒂亚斯·萨莱,丽塔·贝拉迪,Glaucia Melissa Campos公司,埃里克·艾特:
了解IT组织。 488-501
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/英格兰H10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/EnglanderH10
塞西莉亚·恩格兰德,爱德华·赫尔曼·海斯勒:
论证明的二范畴观。 502-518

工业规模验证的模型转换与分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/DeRD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/DeRD10
阿纳布·德,阿比克·罗伊乔杜里,Deepak D'Souza公司:
弱操作记忆模型。 519-534
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/XuKZ10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/XuKZ10
徐忠兴,特德·克雷梅内克,张健（Jian Zhang）:
C程序静态分析的内存模型。 535-548
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/查克拉博蒂DK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/ChakrabortyDK10
乔伊·查克拉波蒂,迪帕克·德索萨,K.Narayan Kumar:
分析消息序列图规范。 549-563
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/LiZL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/LiZL10
钱丽,赵建华,李宣东:
通过方法总结和循环消除优化上下文敏感的安徒生式分析点。 564-578
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/RavnSV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/RavnSV10
安德斯·拉文,吉尔·斯尔巴,穆罕默德·萨利姆·维吉奥:
使用UPPAAL对Web服务原子事务协议进行形式化分析。 579-593
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/WangLZQPHG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/WangLZQPHG10
郑旺（音）,李建文,赵永新,炎夏旗,葛广普,何继峰,Bin Gu先生:
SPARDL：周期控制系统的需求建模语言。 594-608
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/LiLSY10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/LiLSY10
小山·李,刘志明,马丁·施瓦夫,凌音:
AutoPA：根据需求自动生成原型。 609-624
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/GomesMSFB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/GomesMSFB10
阿德里亚诺·戈麦斯,亚历山大·莫塔,奥古斯托·桑帕约,菲利佩·费里,胡里奥·布齐:
通过概率模型检查进行基于系统模型的安全评估。 625-639

软件验证和确认学习技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/GiannakopoulouP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/GiannakopoulouP10
迪米特拉·吉安娜科波卢,科琳娜·帕萨雷努:
软件验证和确认学习技巧——2010年ISoLA专题。 640-642
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/ChenCFHTTWZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/ChenCFHTTWZ10
陈玉芳,埃德蒙·克拉克,阿扎德·法尔赞,飞鹤,蔡明贤,Yih-Kuen Tsay先生,王朝霞（Bow-Yaw Wang）,雷柱（Lei Zhu）:
比较自动假设保证推理中的学习算法。 643-657
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/Bohlin公司JS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BohlinJS10
特蕾莎·波林,本特·琼森,Siavash Soleimanifard公司:
推断通信协议实体的紧凑模型。 658-672
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/AartsSV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/AartsSV10
Fides阿尔茨,朱利安·施马耳茨,Frits W.Vaandrager公司:
生物识别护照的推断和提取。 673-686
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/霍华德SM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/HowarSM10
福克·豪尔,伯恩哈德·斯特芬,梅克·梅尔滕:
从ZULU到RERS——ZULU挑战中的经验教训。 687-704

服务

管理网站设置

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