何希明;约尔·瓦克宁;詹姆斯·沃雷尔 关于度量时态逻辑的表达和监控。 （英语） Zbl 1515.68181号 日志。方法计算。科学。 15，第2号，第13号论文，第52页（2019）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛H.-M.Ho｝等人，日志。方法计算。科学。15，第2号，第13号论文，52页（2019年；Zbl 1515.68181） 全文： arXiv公司
帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 （英语） Zbl 1392.68235号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
迈克尔·本尼迪克特;拉斯季斯拉夫·伦哈特;詹姆斯·沃雷尔 模型检查和游戏中的双变量与线性时序逻辑。 （英语） Zbl 1343.68151号 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学讲义6901、497-511（2011）。MSC公司：60年第68季度 03B44号 05年3月 87年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人，Lect。注释计算。科学。6901497--511（2011；Zbl 1343.68151） 全文： 内政部 arXiv公司
丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman）;托马斯·沃尔;詹姆斯·沃雷尔 有界模型检查的线性完整性阈值。 （英语） Zbl 1360.68592号 Gopalakrishnan，Ganesh（编辑）等人，《计算机辅助验证》。2011年7月14日至20日，第23届国际会议，CAV 2011，美国犹他州雪鸟。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22109-5/pbk）。计算机科学课堂讲稿6806557-572（2011）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人，Lect。注释计算。科学。6806557--572（2011；Zbl 1360.68592） 全文： 内政部
约尔·瓦克宁;詹姆斯·沃雷尔 度量时态逻辑的一些最新结果。 （英语） Zbl 1171.68553号 Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，1-13（2008）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。注释计算。科学。5215，1-13（2008年；兹比尔1171.68553） 全文： 内政部
约尔·瓦克宁;詹姆斯·沃雷尔 定时CSP=关闭的定时自动机。 （英语） Zbl 1270.68219号 Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，142-159（2002）。MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}和\textit{J.Worrell}，电子。注释Theor。计算。科学。68，第2号，142--159（2002；Zbl 1270.68219） 全文： 内政部