论文
关于莫比乌斯和Modest建模工具的集成.
H.Bohnenkamp、T.Courtney、D.Daly、S.Derisavi、H.Hermanns、J.-P.Katoen、R.Klaren、V.V.Lam和W.H.Sanders。（03BOH01）
中的工具纸2003年可靠系统和网络国际会议记录2003年6月22日至25日，加利福尼亚州旧金山，第671页。[IEEE Xplore条目]
莫比乌斯建模框架中的仿真调试和可视化。
C.T.布坎南。（14BUC01）
大学硕士论文伊利诺伊州乌尔班纳·香槟，2014年。
模拟调试和Möbius建模框架中的可视化。
C.布坎南和K.基夫。（14BUC02）
第十一届系统定量评估国际会议论文集（QEST 2014）2014年9月8日至10日，意大利佛罗伦萨。计算机科学课堂讲稿，第8657卷（G.Norman和W.Sanders，编辑），第226-240页。斯普林格，2014年。[Springer Link条目]
莫比乌斯建模框架中的结果规范和模型连接.
A.L.克里斯滕森。（00CHR01）
伊利诺伊大学硕士论文，2000年。
莫比乌斯建模工具.
G.Clark、T.Courtney、D.Daly、D.Deavours、S.Derisavi、J.M.Doyle、W.H.Sanders和P.Webster。（01CLA01）
第九届Petri网和性能模型国际研讨会会议记录2001年9月11日至14日，德国亚琛，第241-250页。[IEEE Xplore条目]
在莫比乌斯建模框架中实现随机过程代数.
G.Clark和W.H.Sanders。（01CLA02）
卢卡·德·阿尔法罗（Luca de Alfaro）和斯蒂芬·吉尔摩（Stephen Gilmore）（编辑），过程代数和概率方法：性能建模和验证：联合国际研讨会论文集，PAPM-PROBMIV 2001，德国亚琛RWTH，2001年9月12日至14日，计算机科学课堂讲稿第2165号，柏林：施普林格出版社，2001年，第200-215页。
莫比乌斯建模环境：最新发展.
T.Courtney、D.Daly、S.Derisavi、S.Gaunkar、M.Griffith、V.Lam和W.H.Sanders。（04COU01）
第一届系统定量评估国际会议记录（QEST 2004）《荷兰恩舍德》，2004年9月27日至30日，第328-329页。[IEEE Xplore条目]
莫比乌斯建模环境.
T.Courtney、D.Daly、S.Derisavi、V.Lam和W.H.Sanders。（03COU01）
2003年伊利诺伊州计算机通信系统测量、建模和评估国际会议工具《多特蒙德大学Fachbereich Informatik研究报告》，第781/2003号，2003年，第34-37页。
莫比乌斯建模环境：最新扩展-2005.
T.Courtney、S.Derisavi、S.Gaunkar、M.Griffith、V.Lam、M.McQuinn、E.Rozier和W.H.Sanders。（05库存02）
第二届系统定量评估国际会议记录（QEST 2005）2005年9月19日至22日，意大利都灵，第259-260页。[IEEE Xplore条目]
莫比乌斯建模环境中的数据分析和可视化.
T.Courtney、S.Gaonkar、M.Griffith、V.Lam、M.McQuinn、E、E.的、他。（06COU01）
第三届系统定量评价国际会议论文集2006年9月11日至14日，加利福尼亚州河滨，第137-138页。[IEEE Xplore条目]
Möbius 2.3：大型复杂系统模型的可靠性、安全性和性能评估的可扩展工具.
T.Courtney、S.Gaunkar、K.Keefe、E.W.D.Rozier和W.H.Sanders。（08COU01）
第39届IEEE/IFIP可靠系统和网络国际年会（DSN 2009）会议记录2009年6月29日至7月2日，葡萄牙里斯本埃斯托里尔，第353-358页。[IEEE Xplore条目]
莫比乌斯模型框架内的实验设计.
T.Courtney、S.Gaunkar、M.G.McQuinn、E.Rozier、W.H.Sanders和P.Webster。（07COU01）
2007年第四届系统定量评估国际会议记录2007年9月16日至19日，英国爱丁堡，第161-162页。[IEEE Xplore条目]
作为分解技术的连接分析.
D.戴利。（01DAL01）
伊利诺伊大学硕士论文，2001年。
莫比乌斯：性能和可靠性建模的可扩展工具.
D.Daly、D.D.Deavours、J.M.Doyle、A.J.Stillman和P.G.Webster。（99DAL01）
第29届容错计算国际年会（FTCS-29）上发布的FastAbstracts摘要1999年6月15日至18日，美国威斯康星州麦迪逊，第15-16页。
莫比乌斯：性能和可靠性建模的可扩展框架.
D.Daly、D.D.Deavours、J.M.Doyle、A.J.Stillman、P.G.Webster和W.H.Sanders。（99DAL02）
性能评估和应用中形式化方法的多车间工具描述1999年9月6日至10日，西班牙萨拉戈萨。
莫比乌斯：性能和可靠性建模的可扩展工具.
D.Daly、D.D.Deavours、J.M.Doyle、P.G.Webster和W.H.Sanders。（99天03）
计算机性能评估：建模技术和工具：第11届国际会议论文集，TOOLS20002000年3月27日至31日，伊利诺伊州朔姆堡。在B.R.Haverkort、H.C.Bohnenkamp和C.U.Smith（编辑）中，计算机科学课堂讲稿第1786号，第332-336页。柏林：施普林格出版社，2000年。
组合服务的服务级协议建模.
D.Daly、G.Kar和W.H.Sanders。（02DAL02）
电子商务和电子商务应用的管理技术：第13届IFIP/IEEE分布式系统国际研讨会论文集：操作与管理，DSOM 2002，加拿大蒙特利尔，2002年10月21日至23日，第4-15页。
求解大型刚性模型的连接形式.
D.Daly和W.H.Sanders。（00DAL01）
第34届年度模拟研讨会会议记录华盛顿州西雅图，2001年4月22日至26日，第258-265页。[IEEE Xplore条目]
莫比乌斯建模框架的形式化规范.
D.D.迪沃斯。（01DEA03）
伊利诺伊大学博士论文，2001年。
莫比乌斯框架及其实施.
D.D.Deavours、G.Clark、T.Courtney、D.Daly、S.Derisavi、J.M.Doyle、W.H.Sanders和P.G.Webster。（01第05页）
IEEE软件工程汇刊，第28卷，第10期，2002年10月，第956-969页。[IEEE Xplore条目]
一种高效的基于磁盘的工具，用于求解大型马尔可夫模型。
D.D.Deavors和W.H.Sanders。（98DEA01）
绩效评估1998年第33卷，第67-84页。
一种有效的基于磁盘的工具，用于求解非常大的马尔可夫模型。
D.D.Deavors和W.H.Sanders。（96DEA02）
雷蒙德·玛丽等人（编辑），计算机性能评估：第九届建模技术和工具国际会议论文集（Tools'97），1997年6月3日至6日，法国圣马洛(计算机科学课堂讲稿第1245页），柏林：施普林格出版社，1997年，第58-71页。
一种高效、明确的检查.
D.D.Deavors和W.H.Sanders。（99DEA01）
1999年PNPM会议记录：第八届Petri网和性能模型国际研讨会1999年9月8日至10日，西班牙萨拉戈萨，第124-133页。[IEEE Xplore条目]
莫比乌斯执行政策.
D.D.Deavors和W.H.Sanders。（01DEA02）
第九届Petri网和性能模型国际研讨会会议记录2001年9月11日至14日，德国亚琛，第135-144页。[IEEE Xplore条目]
莫比乌斯：框架和原子模型.
D.D.Deavors和W.H.Sanders。（01DEA01）
第九届Petri网和性能模型国际研讨会会议记录2001年9月11日至14日，德国亚琛，第251-260页。[IEEE Xplore条目]
随机Petri网及其扩展的“即时”求解技术。
D.D.Deavors和W.H.Sanders。（96DEA01）
第七届Petri网和性能模型国际研讨会论文集（PNPM’97）1997年6月3日至6日，法国圣马洛，第132-141页。[IEEE Xplore条目]
随机Petri网的“即时”求解技术及其扩展.
D.D.Deavors和W.H.Sanders。（97DEA02）
IEEE软件工程汇刊，第24卷，第10期，1998年10月，第889-902页。[IEEE Xplore条目]
莫比乌斯状态级抽象功能接口.
S.德里萨维。（03DER02）
伊利诺伊大学厄本那-香槟分校硕士论文，2003年。
马尔可夫链中的最优状态空间集总.
S.Derisavi、H.Hermanns和W.H.Sanders。（02DER01）
信息处理信件第87卷，第6期，2003年9月30日，第309-315页。
莫比乌斯综合分析技术：界面经验.
S.Derisavi和P.Kemper。（03DER04）
ICALP 2003随机Petri网及相关形式化卫星研讨会论文集（多特蒙德大学第780号研究报告），荷兰埃因霍温，2003年6月28日至29日，第170页。
莫比乌斯国家级抽象功能接口.
S.Derisavi、P.Kemper、W.H.Sanders和T.Courtney。（01DER01）
计算机性能评估：建模技术和工具：第12届国际会议论文集，Tools 20022002年4月14日至17日，英国伦敦，计算机科学课堂讲稿第2324卷（T.Field、P.G.Harrison、J.Bradley和U.Harder编辑），柏林：施普林格出版社，第31-50页。
莫比乌斯国家级抽象功能接口.
S.Derisavi、P.Kemper、W.H.Sanders和T.Courtney。（02DER02）
绩效评估第54卷，第2期，2003年10月，第105-128页。
使用莫比乌斯建模工具抽象模型规范.
J.M.Doyle。（01年月日）
伊利诺伊大学硕士论文，2000年。
采用ADVISE元模型形式主义的企业安全度量.
B.Feddersen、K.Keefe、W.H.Sanders、C.Muehrcke、D.Parks、A.Crapo、A.Gabaldon和R.Palla。（2002年2月15日）
2015年SECURWARE会议记录：第九届新兴安全信息、系统和技术国际会议2015年8月23日至28日，意大利威尼斯，第65-66页。
构造Mobius ADVISE安全模型的本体论模型.
B.Feddersen、K.Keefe、W.H.Sanders、C.Muehrcke、D.Parks、A.Crapo、A.Gabaldon和R.Palla。（2001年2月15日）
第45届快速摘要IEEE/IFIP可靠系统年度国际会议和Networks，巴西里约热内卢，2015年6月22日至25日。（在诉讼中提出但未发表。）
在莫比乌斯中实现ADVISE安全建模形式主义.
M.D.Ford、K.Keefe、E.LeMay、W.H.Sanders和C.Muehrcke。（2004年12月）
第43届IEEE/IFIP可靠系统和网络（DSN）国际年会论文集2013年6月24日至27日，匈牙利布达佩斯，第1-8页。[IEEE Xplore条目]
基于莫比乌斯的性能和可靠性建模.
S.Gaunkar、K.Keefe、R.Lamprecht、E.Rozier、P.Kemper和W.H.Sanders。（08高03）
ACM SIGMETRICS性能评估审查，第36卷，第4期，2009年3月，第16-21页。[ACM内政部：http://dx.doi.org/10.1145/1530873.1530878]
一种用于性能和可靠性模型评估的可扩展工具的设计与实现.
G.P.卡瓦诺三世（98GP01）
伊利诺伊大学硕士论文，1998年。
两种基于时间的协调检查点协议的性能分析。
G.P.Kavanaugh和W.H.Sanders。（97GP01）
1997年环太平洋容错系统国际研讨会论文集1997年12月15日至16日，台湾台北，第194-201页。[IEEE Xplore条目]
莫比乌斯建模框架中的远程作业管理.
K.Keefe、Q.Mitchell、E.Rozier和W.H.Sanders。（09GUL01）
2009年第六届系统定量评估国际会议论文集2009年9月13日至16日，匈牙利布达佩斯，第209-210页。[IEEE Xplore条目]
莫比乌斯外壳：莫比乌s的命令行界面。
K.Keefe和W.H.Sanders。（13KEE01）
第十届SysTems定量评估国际会议论文集（QEST 2013）2013年8月27日至30日，阿根廷布宜诺斯艾利斯，计算机科学课堂讲稿第8054卷，施普林格，第282-285页。
莫比乌斯建模工具中动态可靠性框图的可靠性分析.
K.Keefe和W.H.Sanders。（15KEE01）
第九届EAI绩效评估方法和工具（VALUETOOLS）国际会议记录2015年12月14日至16日，德国柏林，第164-170页。
测量-自适应状态-空间构建方法.
W.D.奥巴尔二世（98OBA04）
亚利桑那大学博士论文，1998年。
测量自适应状态空间构建。
W.D.Obal II和W.H.Sanders。（99OBA01）
第四届IEEE国际计算机性能和可靠性研讨会（IPDS 2K）会议记录，2000年3月27日至29日，美国伊利诺伊州芝加哥，第25-34页。[IEEE Xplore条目]
测量-自适应状态-空间构建.
W.D.Obal II和W.H.Sanders。（00OBA01）
绩效评估，IPDS 2000特刊2001年4月，第44卷，第237-258页。
基于路径的奖励变量的状态空间支持.
W.D.Obal II和W.H.Sanders。（98OBA01）
1998年国际计算机性能和可靠性研讨会（IPDS’98）会议记录1998年9月7日至9日，美国北卡罗来纳州达勒姆，第228-237页。[IEEE Xplore条目]
基于路径的奖励变量的状态空间支持.
W.D.Obal II和W.H.Sanders。（98OBA02）
绩效评估第35卷，1999年，第233-251页。
莫比乌斯：一个集成的离散事件建模环境.
J.Peccoud、T.Courtney和W.H.Sanders。（07PEC01）
生物信息学第23卷，第24期，2007年，第3412-3414页。
多层次和多形式建模的集成框架.
W·H·桑德斯。（99年3月01日）
1999年PNPM会议记录：第八届Petri网和性能模型国际研讨会1999年9月8日至10日，西班牙萨拉戈萨，第2-9页。[IEEE Xplore条目]
多形式主义和多解决方法建模框架：莫比乌斯方法.
W.H.Sanders、T.Courtney、D.Deavours、D.Daly、S.Derisavi和V.Lam。（03SAN01）
绩效评估研讨会论文集——故事与观点2003年12月5日至6日，奥地利维也纳，第241-256页。
随机活动网络：形式定义和概念.
W.H.Sanders和J.F.Meyer。（01SAN02）
在E.Brinksma、H.Hermanns和J.P.Katoen（编辑）中，2000年7月3日至7日，荷兰Berg en Dal，第一届EEF/欧洲计算机科学趋势暑期学校，关于形式方法和性能分析的讲座，计算机科学的修订讲座和讲稿第2090期，第315-343页。柏林：施普林格，2001年。
概述：性能工程和资源软件编译的集成框架.
W.H.Sanders、C.Polychronopoulos、T.Huang、T.Courtney、D.Daly、D.Deavours和S.Derisavi。（02SAN01）
NSF下一代系统项目研讨会会议记录，佛罗里达州劳德代尔堡，2002年4月15日。
莫比乌斯建模框架中的状态空间生成技术.
J.M.Sowder。（98SOW01）
伊利诺伊大学硕士论文，1998年。
莫比乌斯建模框架中的模型组合.
A.J.斯蒂尔曼。（99STI01）
伊利诺伊大学硕士论文，1999年。
莫比乌斯模型框架中的实验设计.
P.G.韦伯斯特。（02WEB01）
伊利诺伊大学硕士论文，2002年。
莫比乌斯建模框架中的离散事件仿真.
A.L.威廉姆森。（98WIL01）
伊利诺伊大学硕士论文，1998年。
上述电子文件提交给确保学术和技术作品的及时传播。版权所有其中的所有权利由作者或其他版权所有持有人。所有复制此信息的人都应遵守每个作者的版权所引用的条款和约束。在大多数情况下，如果没有明确的版权所有者的许可。
以下版权声明适用于所有IEEE出版物中出现的上述项目：个人使用材料是允许的。然而，允许转载/发布本文件用于广告或促销目的或用于创建新的将集体作品转售或重新分发到服务器或列表，或要在其他作品中重复使用本作品的任何受版权保护的部分，必须从IEEE获得。
关于ACM发布的项目：项目版权归所列作者和ACM所有，在每个文件所列年份项目。这里发布的文件是作者的作品版本。它们张贴在这里供您个人使用，而不是供再分配。最终版本的记录发布为在提供的书目引文中注明，并且可用从ACM数字对象标识符到ACM数字图书馆为每个出版物列出。
