保罗·皮荷;简·希尔斯顿 平滑模型检查中的主动和稀疏方法。 (英语) Zbl 1491.68112号 阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,巴黎,法国,2021年8月23日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。128461217-234(2021年)。MSC公司:第68季度第60季度 87年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Piho}和\textit{J.Hillston},莱克特。注释计算。科学。12846,217--234(2021;Zbl 1491.68112) 全文: 内政部 arXiv公司
简·希尔斯顿;安德烈亚·马林;卡拉广场;萨宾娜·罗西 持续随机无干扰。 (英语) Zbl 1519.68163号 芬达姆。通知。 181,编号1,1-35(2021).MSC公司:第68季度85 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hillston}等人,Fundam。通知。181,编号1,1-35(2021;Zbl 1519.68163) 全文: 内政部
保罗·皮荷;简·希尔斯顿 集体动力的政策综合。 (英语) Zbl 1514.68179号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 356-372 (2018).MSC公司:第68季度85 60J28型 87年第68季度 90立方厘米 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{P.Piho}和\textit{J.Hillston},莱克特。注释计算。科学。11024、356--372(2018;Zbl 1514.68179) 全文: 内政部
简·希尔斯顿;卡拉广场;萨宾娜·罗西 持续的随机不干扰。 (英语) Zbl 1525.68084号 Pérez,Jorge A.(编辑)等,第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集,EXPRESS/SOS 2018,中国北京,2018年9月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27653-68(2018)。MSC公司:第68季度85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hillston}等人,电子。程序。西奥。计算。科学。(EPTCS)276、53--68(2018;Zbl 1525.68084) 全文: arXiv公司 链接
Luisa Vissat,卢多维察;米歇尔·洛雷蒂;劳拉·内兹;简·希尔斯顿;格伦·马里恩 三值时空逻辑:随机系统时空特性的进一步分析。 (英语) Zbl 1420.68133号 Bertrand,Nathalie(编辑)等人,《系统的定量评估》。2017年9月5-7日在德国柏林举行的2017年QEST第14届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10503, 317-332 (2017).MSC公司:第68季度第60季度 03B44号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Luisa Vissat}等人,Lect。注释计算。科学。10503、317--332(2017;Zbl 1420.68133) 全文: 内政部 链接
卢卡·博托卢西;简·希尔斯顿 通过流体近似对单个代理行为进行模型检查。 (英语) Zbl 1317.68108号 Inf.计算。 242, 183-226 (2015).MSC公司:第68季度第60季度 60J27型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{J.Hillston},Inf.Compute。242183-226(2015年;兹bl 1317.68108) 全文: 内政部
卢卡·博托卢西;简·希尔斯顿 通过流体近似检查马尔可夫种群模型中的个体代理行为。 (英语) Zbl 1380.68269号 Bernardo,Marco(编辑)等人,动力系统的形式化方法。2013年6月17日至22日,意大利贝蒂诺罗,第13所计算机、通信和软件系统正式设计方法国际学校,SFM 2013。高级讲座。柏林:施普林格出版社(ISBN 978-3-642-38873-6/pbk)。计算机科学课堂讲稿7938,113-149(2013)。MSC公司:第68季度第60季度 60J20型 87年第68季度 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{J.Hillston},莱克特。注释计算。科学。7938、113--149(2013年;Zbl 1380.68269) 全文: 内政部 链接
卢卡·博托卢西;瓦实提·加尔平;简·希尔斯顿 机会主义网络的混合性能建模。 (英语) Zbl 1458.68026号 Wiklicky,Herbert(编辑)等人,《关于编程语言和系统的数量方面的第十次研讨会论文集》,爱沙尼亚塔林,2012年3月31日和4月1日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)85,106-121(2012)。MSC公司:68米18 68平方米 第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,《电子》。程序。西奥。计算。科学。(EPTCS)85、106--121(2012;Zbl 1458.68026) 全文: arXiv公司 链接
卢卡·博托卢西;简·希尔斯顿 流体模型检查。 (英语) Zbl 1364.68259号 Koutny,Maciej(编辑)等,CONCUR 2012–并发理论。第23届国际会议,2012年CONCUR,英国泰恩河畔纽卡斯尔,2012年9月4-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32939-5/pbk)。计算机科学课堂讲稿7454,333-347(2012)。MSC公司:第68季度第60季度 第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{J.Hillston},莱克特。注释计算。科学。7454,333--347(2012;Zbl 1364.68259) 全文: 内政部 arXiv公司
朱利奥·卡拉瓦格纳;简·希尔斯顿 生物PEPAd:生物PEPA的非马尔可夫扩展。 (英语) Zbl 1232.68090号 西奥。计算。科学。 419, 26-49 (2012).MSC公司:第68季度85 87年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Caravagna}和\textit{J.Hillston},Theor。计算。科学。419,26-49(2012年;兹bl 1232.68090) 全文: 内政部
卢卡·博托卢西;瓦实提·加尔平;简·希尔斯顿 随机事件的HYPE。 (英语) Zbl 1457.68179号 Massink,Mieke(编辑)等人,第九届编程语言定量方面研讨会论文集,德国萨尔布吕肯,2011年4月1日至3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)57120-133(2011年)。MSC公司:第68季度85 65年第68季度 第68季度第60季度 87年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,《电子》。程序。西奥。计算。科学。(EPTCS)57,120--133(2011;Zbl 1457.68179) 全文: arXiv公司 链接
丁杰;简·希尔斯顿 随机过程代数模型的结构分析。 (英语) Zbl 1308.68086号 Johnson,Michael(编辑)等人,《代数方法论和软件技术》。2010年6月23日至25日,加拿大魁北克省Lac-Beauport,AMAST 2010,第13届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17795-8/pbk)。计算机科学课堂讲稿6486,1-27(2011)。MSC公司:87年第68季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{J.Ding}和\textit{J.Hillston},莱克特。注释计算。科学。6486,1--27(2011;Zbl 1308.68086) 全文: 内政部
费德里卡·乔切塔;简·希尔斯顿 Bio-PEPA:生化网络过程代数PEPA的扩展。 (英语) Zbl 1279.68254号 尼古拉·卡纳塔(编辑)等人,第一次研讨会《从生物学到并发性再到并发性(FBTC 2007)》会议记录,葡萄牙里斯本,2007年9月8日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记194,第3期,103-117(2008)。MSC公司:第68季度85 87年第68季度 92C40型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciocchetta}和\textit{J.Hillston},电子。注释Theor。计算。科学。194,第3号,第103-117条(2008年;Zbl 1279.68254) 全文: 内政部
加加林·亚科姆;科尔·默里;斯蒂芬·吉尔摩;简·希尔斯顿 使用骨架对系统性能建模的结构方法。 (英语) Zbl 1279.68272号 Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记190,第3期,167-183页(2007年)。MSC公司:第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yaikhom}等人,《电子》。注释Theor。计算。科学。190,第3号,167--183(2007;Zbl 1279.68272) 全文: 内政部
艾伦·克拉克;斯蒂芬·吉尔摩;简·希尔斯顿;米尔科·特里巴斯通 随机过程代数。 (英语) Zbl 1323.68406号 Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,132-179(2007)。MSC公司:第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Clark}等人,Lect。注释计算。科学。4486、132--179(2007年;Zbl 1323.68406) 全文: 内政部
马尔科·贝尔纳多(编辑);简·希尔斯顿(编辑) 绩效评估的形式化方法。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。 (英语) Zbl 1118.68001号 计算机科学课堂讲稿4486.柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。vii,469页。(2007).MSC公司:68-06 68平方米 第68季度第60季度 第68季度85 87年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}(编辑)和textit{J.Hillston}(编),绩效评估的形式化方法。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(2007;Zbl 1118.68001) 全文: 内政部