默认搜索操作

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

问别人

安妮·雷姆克

>主页 >珀森斯

人员信息

附属： 德国明斯特大学
隶属关系（前）： 荷兰恩舍德特温特大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tomacs/SilvaSR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tomacs/SilvaSR23
卡琳娜·达席尔瓦,斯特凡·舒普,安妮·雷姆克:
通过Flowpipe构造优化一类受限随机混合自动机的可达概率。 ACM事务处理。模型。计算。模拟。 33(4):18:1-18:27(2023)
[公元69年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/arch/AbateBCDHHLRSSS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arch/AbateBCDHHLRSSS23
亚历山德罗·阿巴特,亨克·A·P·布隆,纳塔莉·考奇,乔安娜·德利卡利斯,苏菲·海瑟特,Birgit van Huijgevoort公司,Abolfazl熔岩,安妮·雷姆克,奥利弗·舍恩,斯特凡·舒普,费多·什马洛夫,萨代赫·苏贾尼,丽莎·威廉姆森,保罗·祖利亚尼:
ARCH-COMP23类别报告：随机模型。建筑 2023:126-150
[公元68年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csr2/MenzelGR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csr2/MenzelGR23
孟维娜,凯·奥利弗·格罗·汉滕,安妮·雷姆克:
评估分布式硬件上智能电网的进程软件IDS。企业社会责任 2023:418-425
[公元67年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/AbrahamKR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/AbrahamKR23
埃里卡·阿布拉哈姆,约瑟夫·科瓦奇,安妮·雷姆克:
SMT：一些你必须尝试的东西。智能调频 2023:3-18
[公元66年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/WillemsenRA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/WillemsenRA23
丽莎·威廉姆森,安妮·雷姆克,埃里卡·阿布拉哈姆:
比较混合自动机中包含随机性的两种方法。 QEST公司 2023:238-254
[公元65年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tase/DelicarisSAR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/DelicarisSAR23
乔安娜·德利卡利斯,斯特凡·舒普,埃里卡·阿布拉哈姆,安妮·雷姆克:
随机时钟矩形自动机可达概率的最大化。 TASE公司 2023:164-182
[公元64年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/valuetools/NiehageR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/valuetools/NiehageR23
马西斯·尼哈吉,安妮·雷姆克:
两全其美：HPnG的分析引导模拟，以实现最佳可达性。 VALUETOOLS价值工具 2023:61-81
[公元63年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/valuetools/DelicarisSSR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/valuetools/DelicarisSSR23
乔安娜·德利卡利斯,乔纳斯·斯图布,斯特凡·舒普,安妮·雷姆克:
RealySt：一个C++工具，用于优化随机混合系统中的可达概率。 VALUETOOLS价值工具 2023:170-182
[公元62年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vecos/AdeltBHNR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vecos/AdeltBHNR23
朱利叶斯·阿德尔特,塞巴斯蒂安·布鲁奇,保拉·赫伯,马西斯·尼哈吉,安妮·雷姆克:
基于Simulink中统计模型检查的弹性和性能屏蔽学习。美国钢铁协会 2023:94-118
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2304-14996
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2304-14996
乔安娜·德利卡利斯,斯特凡·舒普,埃里卡·阿布拉哈姆,安妮·雷姆克:
随机时钟矩形自动机可达概率的最大化。 CoRR公司 abs/2304.14996(2023)
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2307-08052
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-08052
丽莎·威廉姆森,安妮·雷姆克,埃里卡·阿布拉哈姆:
比较混合自动机中包含随机性的两种方法。 CoRR公司 abs/2307.08052(2023)
2022
[第61条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/arch/AbateBDHHHLMNRS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arch/AbateBDHHHLMNRS22
亚历山德罗·阿巴特,亨克·A·P·布隆,乔安娜·德利卡利斯,苏菲·海瑟特,阿诺德·哈特曼斯,Birgit van Huijgevoort公司,阿波法兹·拉瓦伊,郝马,马西斯·尼哈吉,安妮·雷姆克,奥利弗·舍恩,斯特凡·舒普,萨代赫·苏贾尼,丽莎·威廉姆森:
ARCH-COMP22类别报告：随机模型。 SAFECOMP建筑 2022:113-141
[公元60年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/NiehageR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/NiehageR22
马西斯·尼哈吉,安妮·雷姆克:
了解网格方便不会在不确定性存在时损害韧性。格式 2022:298-306
[公元59年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/AdeltHNR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/AdeltHNR22
朱利叶斯·阿德尔特,保拉·赫伯,马西斯·尼哈吉,安妮·雷姆克:
在存在学习和不确定性的情况下，实现安全和弹性混合系统。 ISoLA（1） 2022:299-319
[电子8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2207-04391
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2207-04391
安妮·雷姆克,Dung Hoang Tran公司:
第七届符号-数字方法推理CPS和物联网国际研讨会论文集，SNR 2021，在线，2021年8月23日。 EPTCS系统361,2022 [目录]
2021
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tomacs/HulsPSNDR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tomacs/HulsPSNDR21
扬尼克·希尔斯,卡琳娜·皮尔奇,帕特里夏·辛克,亨纳·尼豪斯,乔安娜·德利卡利斯,安妮·雷姆克:
具有多次随机激发的混合Petri网的状态空间构造。 ACM事务处理。模型。计算。模拟。 31(三):13:1-13:37(2021)
[公元58年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/arch/AbateBBCCDHHKLM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arch/AbateBBCCDHHKLM21
亚历山德罗·阿巴特,亨克·A·P·布隆,马克·布伊索,纳塔莉·考奇,哈桑·克莱比,乔安娜·德莉卡里斯,苏菲·海瑟特,阿恩·哈特曼斯,马哈茂德·哈立德,阿波法兹·拉瓦伊,郝马,考希克·马利克,马西斯·尼哈吉,安妮·雷姆克,斯特凡·舒普,费多·什马洛夫,萨代赫·苏贾尼,亚当·索普,弗拉德·图尔库曼,保罗·祖利亚尼:
ARCH-COMP21类别报告：随机模型。拱@ADHS 2021:55-89
[公元57年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/NiehageHR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/NiehageHR21
马西斯·尼哈吉,阿恩·哈特曼斯,安妮·雷姆克:
随机混合系统的最优决策学习。记忆码 2021:44-55
[公元56年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/PilchSR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/PilchSR21
卡琳娜·皮尔奇,斯特凡·舒普,安妮·雷姆克:
通过Flowpipe-Construction优化一类受限随机混合自动机的可达概率。 QEST公司 2021:435-456
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/smartgridcomm/MenzelHR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smartgridcomm/MenzelHR21
孟维娜,约翰·胡林克,安妮·雷姆克:
通过对本地传感器数据的分布式评估，为智能电网保护SCADA网络。智能电网通信 2021:405-411
2020
[公元54年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/arch/AbateBCDHKLPRSS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arch/AbateBCDHKLPRS20
亚历山德罗·阿巴特,亨克·A·P·布隆,纳塔莉·考奇,乔安娜·德莉卡里斯,阿恩·哈特曼斯,马哈茂德·哈立德,阿波法兹·拉瓦伊,卡琳娜·皮尔奇,安妮·雷姆克,斯特凡·舒普,费多·什马洛夫,萨代赫·苏贾尼,亚伯拉罕·维诺德,本·伍丁,马吉德·扎马尼,保罗·祖利亚尼:
ARCH-COMP20类别报告：随机模型。建筑 2020:76-106
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/PilchHR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/PilchHR20
卡琳娜·皮尔奇,阿恩·哈特曼斯,安妮·雷姆克:
具有随机触发的混合Petri网的经典和非营养模型检验。高速列车控制中心 2020:10:1-10:11
[第52条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/HulsNR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/HulsNR20
扬尼克·希尔斯,亨纳·尼豪斯,安妮·雷姆克:
hpnmg：一个C++工具，用于带有一般转换的混合Petri网的模型检查。非金融市场 2020:369-378
[第51条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/PilchKRA20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/PilchKRA20网址
卡琳娜·皮尔奇,莫里斯·克劳斯,安妮·雷姆克,埃里卡·阿布拉哈姆:
具有随机触发的混合Petri网到随机混合自动机子类的转换。非金融市场 2020:381-400
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/valuetools/NiehagePR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/valuetools/NiehagePR20
马西斯·尼哈吉,卡琳娜·皮尔奇,安妮·雷姆克:
用一般变换和非线性微分方程模拟混合Petri网。 VALUETOOLS价值工具 2020:88-95
[电子7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/每日/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dais/2020
安妮·雷姆克,瓦莱里奥·斯齐亚沃尼:
分布式应用和互操作系统-第20届IFIP WG 6.1国际会议，DAIS 2020，作为第15届分布式计算技术国际联合会会议的一部分，DisCoTec 2020，马耳他瓦莱塔，2020年6月15-19日，会议记录。计算机科学课堂讲稿12135,施普林格 2020，国际标准图书编号978-3-030-50322-2 [目录]
[电子6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/2020
马可·格里鲍多,大卫·N·詹森,安妮·雷姆克:
系统定量评估——第17届国际会议，QEST 2020，奥地利维也纳，2020年8月31日至9月3日，会议记录。计算机科学课堂讲稿12289,施普林格 2020，国际标准图书编号978-3-030-59853-2 [目录]
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2010-11056
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2010-11056
扬尼克·希尔斯,卡琳娜·皮尔奇,帕特里夏·辛克,亨纳·尼豪斯,乔安娜·德利卡利斯,安妮·雷姆克:
具有多重随机触发的混合Petri网的状态空间构造。 CoRR公司 abs/2010.11056(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[公元49年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cpsweek/AbateBCDFHHMOPR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpsweek/AbateBCDFHHMOPR19
亚历山德罗·阿巴特,亨克·A·P·布隆,纳塔莉·考奇,库尔特·德吉奥吉奥,马丁·弗伦泽,恩斯特·莫里茨·哈恩,苏菲·海瑟特,郝马,大江美子,卡琳娜·皮尔奇,安妮·雷姆克,马哈茂德·萨拉马蒂,萨代赫·苏贾尼,Birgit van Huijgevoort公司,亚伯拉罕·维诺德:
ARCH-COMP19类别报告：随机建模。建筑@CPSIoTWeek 2019:62-102
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/ChromikRHG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/ChromikRHG19
Justyna J.铬米克,安妮·雷姆克,Boudewijn R.Haverkort公司,杰拉尔德·盖斯特:
IEC-104深度包检测分析器：工业应用的实用解决方案。 DSN（行业跟踪） 2019:5-8
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/HulsR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/HulsR19
扬尼克·希尔斯,安妮·雷姆克:
多维HPnG的模型检验：将状态集表示为凸多面体。复地 2019:148-166
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/HulsPSDR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/HulsPSDR19
扬尼克·希尔斯,卡琳娜·皮尔奇,帕特里夏·辛克,乔安娜·德利卡利斯,安妮·雷姆克:
具有多次随机激发的混合Petri网的状态空间构造。 QEST公司 2019:182-199
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/srds/FlosbachCR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/srds/FlosbachCR19
罗伯特·弗洛斯巴赫,Justyna Joanna Chromik女士,安妮·雷姆克:
电网中过程软件入侵检测的体系结构和原型实现。 SRDS公司 2019:42-51
2018
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eninf/ChromikRH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eninf/CromikRH18
Justyna J.Chromik公司,安妮·雷姆克,Boudewijn R.Haverkort公司:
智能电网中本地监测SCADA系统的集成测试台。能源信息。 1(1)(2018)
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/吉祥物/PilchNR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mascots/PilchNR18
卡琳娜·皮尔奇,马西斯·尼哈吉,安妮·雷姆克:
HPnG走向非线性：电池供电系统的统计可靠性评估。马斯科茨 2018:157-169
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mmb/弗林CCR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmb/FeringCCR18
Benedikt发酵,Justyna J.Chromik公司,卡塞利,安妮·雷姆克:
基于减少流量模型的序列攻击入侵检测。 MMB公司 2018:53-67
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mmb/外壳R18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmb/HulsR18
扬尼克·希尔斯,安妮·雷姆克:
用于测试风电场SCADA解决方案的模块化环境。 MMB公司 2018:262-272
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mmb/路缘石CRH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmb/KerkersCRH18
Max Kerkers公司,Justyna J.Chromik公司,安妮·雷姆克,Boudewijn R.Haverkort公司:
生成IEC60870-5-104实现的自动机的工具。 MMB公司 2018:307-311
[电子5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/epew/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/epew/2018
雷娜·巴赫西,保罗·巴拉里尼,贝诺·特巴博特,Hind Castel-Taleb公司,安妮·雷姆克:
计算机性能工程-第15届欧洲研讨会，2018年EPEW，法国巴黎，2018年10月29日至30日，会议记录。计算机科学课堂讲稿11178,施普林格 2018，国际标准图书编号978-3-030-02226-6 [目录]
2017
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/PilchR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/PilchR17
卡琳娜·皮尔奇,安妮·雷姆克:
具有多个一般变换的混合Petri网的统计模型检验。 DSN（DSN） 2017:475-486
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/epew/GoddeR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/epew/GoddeR17
阿德里安·戈德,安妮·雷姆克:
使用Nef多面体在混合Petri网上对STL时限截止时间进行模型检查。 EPEW公司 2017:101-116
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/smartgridcom/ChromikPBDEGTWW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smartgridcomm/ChromikPBDEGTWH17
Justyna J.Chromik公司,卡琳娜·皮尔奇,帕斯卡·布拉克曼,克里斯托夫·杜姆,弗兰齐斯卡·埃文霍夫,阿图尔·吉伯林,托马斯·特奥多罗维奇,朱利安·维兰德,Boudewijn R.Haverkort公司,安妮·雷姆克:
SCADA系统中的上下文软件本地入侵检测：一个测试平台和两个展示案例。智能电网通信 2017:467-472
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/valuetools/HulsSRA17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/valuetools/HulsSRA17
扬尼克·希尔斯,斯特凡·舒普,安妮·雷姆克,埃里卡·阿布拉哈姆:
使用HyPro分析具有多个随机触发的混合Petri网。 VALUETOOLS价值工具 2017:178-185
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/valuetools/PilchER17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/valuetools/PilchER17
卡琳娜·皮尔奇,费边·爱登菲尔德,安妮·雷姆克:
混合Petri网的统计模型检查：工具文件。估价工具 2017:186-191
2016
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pe/GhasemiehRH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pe/GhasemiehRH16
哈米德·加塞米耶,安妮·雷姆克,Boudewijn R.Haverkort公司:
使用混合Petri网对污水处理设施进行生存性分析。执行。评价 97:36-56(2016)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pe/GribaudoR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pe/GribaudoR16
马可·格里鲍多,安妮·雷姆克:
具有一般一次性转换的混合Petri网。执行。评价 105:22-50(2016)
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asmta/BiechBDFR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asmta/BiechBDFR16
迈克尔·比奇,蒂莫·比格登,克里斯蒂安·迪利茨,格奥尔格·弗洛姆,安妮·雷姆克:
用于共享能量存储和交换的智能邻居模拟工具。 ASMTA公司 2016:76-91
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/drcn/KolesnichenkoHR16会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/drcn/KolesnichenkoHR16
安娜·科列斯尼琴科,Boudewijn R.Haverkort公司,安妮·雷姆克,彼得·特克·德·波尔:
拟合编码病毒传播模型：将理论付诸实践的说明。刚果民主共和国 2016:39-46
[公元33年]
- 看法
  - 电子版@bcs.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ics-csr/ChromikRH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ics-csr/ChromikRH16
Justyna J.Chromik公司,安妮·雷姆克,Boudewijn R.Haverkort公司:
使用电网模型提高本地进程的SCADA安全性。 ICS-CSR公司 2016
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/moscots/HuelsR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mascots/HuelsR16
扬尼克·胡尔斯,安妮·雷姆克:
智能家居中的储能：电网便利与自用和生存能力。马斯科茨 2016:385-390
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/valuetools/HulsR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/valuetools/HulsR16
扬尼克·希尔斯,安妮·雷姆克:
协调插入式电动汽车的充电策略，以确保强劲的充电过程。 VALUETOOLS价值工具 2016
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HaverkortKRT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HaverkortKRT16
Boudewijn R.Haverkort公司,威廉·克诺滕贝尔,安妮·雷姆克,奈杰尔·托马斯:
前言。帕斯卡 2016:1-3
[电子4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 2016年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmb/2016
安妮·雷姆克,Boudewijn R.Haverkort公司:
可靠计算机和通信系统的测量、建模和评估——第18届国际GI/ITG会议，2016年MMB&DFT，德国慕尼黑，2016年4月4日至6日，会议记录。计算机科学课堂讲稿9629,施普林格 2016，国际标准图书编号978-3-319-31558-4 [目录]
[电子3]
- 看法
- 出口记录
  dblp键：
  - conf/pasm/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pasm/2016
Boudewijn R.Haverkort公司,威廉·J·诺滕贝尔特,安妮·雷姆克,奈杰尔·托马斯:
第八届随机建模实际应用国际研讨会，2016年PASM，德国穆斯特，2016年4月。理论计算机科学电子笔记327,爱思维尔 2016 [目录]
2015
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sas/GhasemiehRH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sas/GhasemiehRH15
哈米德·加塞米耶,安妮·雷姆克,Boudewijn R.Haverkort公司:
具有多个随机转移触发的混合Petri网。 EAI背书交易。自适应。系统。 1(三):第1页(2015)
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/GhasemiehHJR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/GhasemiehHJR15
哈米德·加塞米耶,Boudewijn R.Haverkort公司,玛丽恩·琼格登,安妮·雷姆克:
智能房屋的能源弹性建模。 DSN（DSN） 2015:275-286
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/epew/BergHHHR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/epew/BergHHR15
弗里克·范登伯格,乔泽夫·胡曼,阿恩·哈特曼斯,Boudewijn R.Haverkort公司,安妮·雷姆克:
使用迭代概率模型检查计算响应时间分布。 EPEW公司 2015:208-224
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/epew/BergRH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/epew/BergRH15
弗里克·范登伯格,安妮·雷姆克,Boudewijn R.Haverkort公司:
iDSL：医学成像系统的自动性能预测和分析。 EPEW公司 2015:227-242
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/valuetools/GhasemiehRHC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/valuetools/GhasemiehRHC15
哈米德·加塞米耶,安妮·雷姆克,Boudewijn R.Haverkort公司,吉安弗兰科·西亚多:
具有概率时间转移的混合Petri网的近似分析。 VALUETOOLS价值工具 2015:127-134
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asmta/2015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asmta/2015
马可·格里鲍多,丹妮尔·马尼尼,安妮·雷姆克:
分析和随机建模技术及应用——第22届国际会议，ASMTA 2015，保加利亚阿尔贝纳，2015年5月26-29日。诉讼程序。计算机科学课堂讲稿9081,施普林格 2015，国际标准图书编号978-3-319-18578-1 [目录]
2014
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mcps/BergRH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mcps/BergRH14
弗里克·范登伯格,安妮·雷姆克,Boudewijn R.Haverkort公司:
医学成像系统性能评估的领域特定语言。 MCPS公司 2014:80-93
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mmb/海报RHG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmb/PostemaRHG14网站
比约恩·F·波斯特玛,安妮·雷姆克,Boudewijn R.Haverkort公司,哈米德·加塞米耶:
流体生存工具：混合Petri网的模型检查器。 MMB/DFT公司 2014:255-259
[c23]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/HeijenkER14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/HeijenkER14
吉尔特·海耶克,Martijn van Eenennaam先生,安妮·雷姆克:
车辆网络信标IEEE 802.11 DCF和EDCA的性能比较。 QEST公司 2014:154-169
[公元22年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/valuetools/GhasemiehRH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/valuetools/GasemiehRH14
哈米德·加塞米耶,安妮·雷姆克,Boudewijn R.Haverkort公司:
具有多个随机转移触发的混合Petri网。 VALUETOOLS价值工具 2014
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/AvritzerCGHHKMR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/AvritzerCGHHKMR15
阿尔贝托·阿弗里策,劳拉·卡内瓦利,哈米德·加塞米耶,露西娅·哈普,Boudewijn R.Haverkort公司,安妮·科齐奥莱克,丹尼尔·梅纳西,安妮·雷姆克,萨赫拉·塞迪赫·萨维斯塔尼,恩里科·比卡里奥:
天然气、水和电力基础设施的生存能力评估。 PASM公司 2014:5-25
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rocks/2012
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rocks/2012
安妮·雷姆克,玛丽埃尔·斯托琳加:
随机模型检查。使用随机系统模型检查技术进行严格可靠性分析——国际秋季学校，ROCKS 2012，意大利Vahrn，2012年10月22日至26日，高级讲座。计算机科学课堂讲稿8453,施普林格 2014，国际标准图书编号978-3-662-45488-6 [目录]
[i1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/AbrahamARS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/AbrahamARS14
埃里卡·阿布拉哈姆,阿尔贝托·阿弗里策,安妮·雷姆克,威廉·桑德斯:
关键基础设施的随机时间和混合模型（Dagstuhl研讨会14031）。达格斯图尔报告 4(1):36-82(2014)
2013
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/Kolesnichenko BRH13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/KolesnichenkoBRH13
安娜·科列斯尼琴科,彼得·特克·德·波尔,安妮·雷姆克,Boudewijn R.Haverkort公司:
模型检查平均场模型的逻辑。 DSN（DSN） 2013:1-12
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/RemkeW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/RemkeW13
安妮·雷姆克,西安武:
无线HART建模和性能评估。 DSN（DSN） 2013:1-12
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/epew/BergRMH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/epew/BergRMH13网址
弗里克·范登伯格,安妮·雷姆克,阿尔扬·J·穆伊（Arjan J.Mooij）,Boudewijn R.Haverkort公司:
基于领域特定语言的防撞性能评估。 EPEW公司 2013:276-287
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prdc/GhasemiehRH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prdc/GhasemiehRH13
哈米德·加塞米耶,安妮·雷姆克,Boudewijn R.Haverkort公司:
使用混合Petri网评估流体关键基础设施的生存能力。 PRDC公司 2013:152-161
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/valuetools/GhasemiehRH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/valuetools/GhasemiehRH13
哈米德·加塞米耶,安妮·雷姆克,Boudewijn R.Haverkort公司:
使用混合Petri网对污水处理设施进行分析。 VALUETOOLS价值工具 2013:165-174
2012
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/GhasemiehRHG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/GhasemiehRHG12
哈米德·加塞米耶,安妮·雷姆克,Boudewijn R.Haverkort公司,马可·格里鲍多:
基于区域的混合Petri网的单广义单快照转换分析。格式 2012:139-154
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mmb/SadreRHH12型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmb/SadreRHH12
拉明·萨德尔,安妮·雷姆克,斯乔斯·赫廷加,Boudewijn R.Haverkort公司:
基于ASD的嵌入式软件的仿真和分析评估。 MMB/DFT公司 2012:166-181
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rocks/Kolesnichenko SPR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rocks/KolesnichenkoSPR12
安娜·科列斯尼琴科,瓦莱里奥·塞尼,Alireza Pourranjbar公司,安妮·雷姆克:
将平均场近似应用于连续时间马尔可夫链。岩石 2012:242-280
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vnc/EenennaamRH12会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vnc/EenennaamRH12
Martijn van Eenennaam先生,安妮·雷姆克,吉尔特·海耶克:
VANETs信标的分析模型。越南国家标准 2012:9-16
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/wolter2012/AvritzerGRR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/wolter2012/AvritzerGRR12
阿尔贝托·阿弗里策,费利西塔·迪·詹多梅尼科,安妮·雷姆克,马丁里德尔:
评估关键基础设施的可靠性和弹性：挑战和机遇。计算系统的弹性评估与评估 2012:41-63
2011
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pe/KlinkRHK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pe/KlinkRHK11
丹尼尔·克林克,安妮·雷姆克,Boudewijn R.Haverkort公司,Joost-Pieter Katoen公司:
通过抽象实现树结构QBD中的时限可达性。执行。评价 68(2):105-125(2011)
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/epew/KolesnichenkoRBH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/epew/Kolesnichenko参考文献11
安娜·科列斯尼琴科,安妮·雷姆克,彼得·特克·德·波尔,Boudewijn R.Haverkort公司:
对等僵尸网络案例研究中平均场方法和模拟的比较。 EPEW公司 2011:133-147
2010
[c10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/HaverkortKRRS10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/HaverkortKRRS10
Boudewijn R.Haverkort公司,马蒂亚斯·昆茨,安妮·雷姆克,S.屋顶连接,玛丽埃尔·斯托琳加:
评估使用Arcade的水处理设施的维修策略。 DSN（DSN） 2010:419-424
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hase/GribaudoR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hase/GribaudoR10
马尔科·格里博多,安妮·雷姆克:
用于流体关键基础设施可靠性评估的具有一般单点转换的混合Petri网。哈斯 2010:84-93
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mmb/RemkeHHB10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmb/RemkeHHB10
安妮·雷姆克,Boudewijn R.Haverkort公司,吉尔特·海耶克,杰斯珀·巴克斯:
为两跳IEEE 802.11e Ad Hoc网络设置正确的参数。 MMB/DFT公司 2010:168-182

2000 – 2009

请参阅常见问题解答

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

2009
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/KlinkRHK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/KlinkRHK09
丹尼尔·克林克,安妮·雷姆克,Boudewijn R.Haverkort公司,Joost-Pieter Katoen公司:
通过抽象实现树结构QBD中的时间限制可达性。 QEST公司 2009:133-142
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/SchippersRPWH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/SchippersRPWH10
Jorrit Schippers公司,安妮·雷姆克,亨克·蓬特,马尔滕·维格达姆,Boudewijn R.Haverkort公司:
即时消息和状态的大规模可扩展架构。马斯科茨PASM 2009:109-130
2008
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asmta/RemkeHHC08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asmta/RemkeHHC08网址
安妮·雷姆克,Boudewijn R.Haverkort公司,Geert J.Heijenk公司,露西亚布:
两跳IEEE 802.11e自组网的瓶颈分析。 ASMTA公司 2008:279-294
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/RemkeH08格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/RemkeH08
安妮·雷姆克,Boudewijn R.Haverkort公司:
一种基于均匀化的标记排队网络CSL Until算子模型检测算法。格式 2008:188-202
2007
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/RemkeHC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/RemkeHC07
安妮·雷姆克,Boudewijn R.Haverkort公司,露西亚布:
QBD的CSL模型检查算法。西奥。计算。科学。 382(1):24-41(2007)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/RemkeH07格式
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/RemkeH07网址
安妮·雷姆克,Boudewijn R.Haverkort公司:
无限状态结构马尔可夫链的CSL模型检验算法。格式 2007:336-351
2006
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/RemkeHC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/RemkeHC06
安妮·雷姆克,Boudewijn R.Haverkort公司,露西亚布:
一个通用的无限状态马尔可夫奖励模型，用于研究2跳自组织网络中的瓶颈。 QEST公司 2006:63-72
2005
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/RemkeHC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/RemkeHC05
安妮·雷姆克,Boudewijn R.Haverkort公司,露西亚布:
模型检查无限状态马尔可夫链。 TACAS公司 2005:237-252

合著者索引

请参阅常见问题解答

管理网站设置

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