×

找到42个文档（结果1-42）

最新的 引文 关联
孙，宾;孙骏;戴婷;张丽君

针对群体公平性的神经网络概率验证。 （英语） Zbl 1521.68159号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13047, 83-102 (2021).
MSC公司：68T05型 60J22型 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Sun}等人，Lect。票据计算。科学。13047，83-102（2021；Zbl 1521.68159）
全文： 内政部 arXiv公司
杨鹏飞;李仁觉;李建林;黄成超;王景毅;孙骏;薛、白;张丽君

通过伪区域引导细化改进神经网络验证。 （英语） Zbl 1467.68096号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12651, 389-408 (2021).
MSC公司：第68季度第60季度 2017年10月68日
PDF格式BibTeX公司 XML格式引用
\textit{P.Yang}等人，Lect。票据计算。科学。12651、389--408（2021；Zbl 1467.68096）
全文： 内政部 arXiv公司
李勇;安德烈亚·图里尼;孙学超;张丽君

基于蒙特卡罗抽样证明Büchi自动机的非包含性。 （英语） Zbl 1517.68205号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 467-483 (2020).
MSC公司：65年第68季度 第68季度第60季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。票据计算。科学。12302467--483（2020年；Zbl 1517.68205）
全文： 内政部 arXiv公司
李勇;莫舍·瓦尔迪。;张丽君

关于Büchi互补中明确性的力量。 （英语） Zbl 07455748号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326182-198（2020）。
MSC公司：65年第68季度 第68季度第60季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326182--198（2020；Zbl 07455748）
全文： arXiv公司 链接
刘德鹏;王，弯腰;张丽君

模型检查差异私有属性。 （英语） Zbl 1519.68137号

Ryu，Sukyoung（编辑），《编程语言和系统》。第16届亚洲研讨会，2018年APLAS，新西兰惠灵顿，2018年12月2-6日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11275, 394-414 (2018).
MSC公司：第68季度第60季度 03B44号 60J20型 68第27页 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{D.Liu}等人，Lect。票据计算。科学。11275、394--414（2018年；Zbl 1519.68137）
全文： 内政部
冯毅军;张丽君;大卫·詹森（David N.Jansen）。;詹乃军;夏碧灿

寻找概率程序的多项式循环不变量。 （英语） Zbl 1495.68042号

D’Souza，Deepak（编辑）等人，《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10482, 400-416 (2017).
MSC公司：68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Feng}等人，Lect。票据计算。科学。10482400-416（2017年；Zbl 1495.68042）
全文： 内政部 arXiv公司
恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君

求解定性概率奇偶博弈的简单算法。 （英语） Zbl 1411.68068号

Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。第28届国际会议，CAV 2016，加拿大安大略省多伦多，2016年7月17日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。9780291-311（2016年）。
MSC公司：第68季度第60季度 68瓦40 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。票据计算。科学。9780，291——311（2016年；兹bl 1411.68068）
全文： 内政部
李勇;刘万伟;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;张丽君

一种针对线性时间特性的参数马尔可夫链的有效综合算法。 （英语） Zbl 1393.68107号

Fränzle，Martin（编辑）等人，《可靠软件工程：理论、工具和应用》。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。查姆：施普林格（ISBN 978-3-319-47676-6/pbk；978-3-3169-47677-3/电子书）。计算机科学讲座笔记9984280-296（2016）。
MSC公司：第68季度第60季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。票据计算。科学。9984280-296（2016年；Zbl 1393.68107）
全文： 内政部 arXiv公司
陈玉芳;Chih-Duo洪;王，弯腰;张丽君

反例引导的拉格朗日插值多项式循环不变量生成。 （英语） Zbl 1381.68049号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：查姆：施普林格（ISBN 978-3-319-21689-8/pbk；978-3-3169-21690-4/电子书）。计算机科学讲义9206658-674（2015）。
MSC公司：68号30 41A05型
PDF格式BibTeX公司 XML格式引用
\textit{Y.-F.Chen}等人，Lect。票据计算。科学。920658-674（2015年；Zbl 1381.68049）
全文： 内政部 arXiv公司
恩斯特·莫里茨·哈恩;李广元;斯文·舍韦;安德烈亚·图里尼;张丽君

没有确定的惰性概率模型检查。 （英语） Zbl 1374.68290号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，354-367（2015）。
MSC公司：第68季度第60季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，LIPIcs——莱布尼茨国际程序。通知。42354--367（2015年；Zbl 1374.68290）
全文： 内政部 arXiv公司
彭，于;王淑玲;詹乃军;张丽君

用概率和随机性扩展混合CSP。 （英语） Zbl 1369.68264号

李宣东（编辑）等，《可靠软件工程：理论、工具和应用》。2015年11月4日至6日，中国南京，SETTA，首届国际研讨会。诉讼程序。查姆：施普林格（ISBN 978-3-319-25941-3/pbk；978-3-3169-25942-0/电子书）。计算机科学课堂讲稿9409，87-102（2015）。
MSC公司：68问题85 第68季度第60季度 87年第68季度 93立方 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Peng}等人，Lect。票据计算。科学。9409，87-102（2015；Zbl 1369.68264）
全文： 内政部 arXiv公司
他，费;高晓伟;王，弯腰;张丽君

在并发概率系统的组合推理中利用加权自动机。 （英语） Zbl 1346.68133号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。503-514 (2015).
MSC公司：68问题85 65年第68季度 第68季度第60季度 87年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{F.He}等人，《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。503--514（2015；Zbl 1346.68133）
全文： 内政部
伯恩德·芬克贝纳（编辑）;浦、葛光（编辑）;张丽君（编辑）

用于验证和分析的自动化技术。2015年10月12日至15日，第13届国际研讨会，亚洲电视协会，中国上海。诉讼程序。 （英语） Zbl 1325.68017号

计算机科学课堂讲稿9364.查姆：施普林格（ISBN 978-3-319-24952-0/pbk；978-3-3169-24953-7/电子书）。xiii，第520页。(2015).
MSC公司：68-06 第68季度第60季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}（ed.）等人，验证和分析自动化技术。第十三届国际研讨会，2015年10月12-15日，中国上海，ATVA。诉讼程序。商会：施普林格（2015；兹bl 1325.68017）
全文： 内政部
Joost-Pieter卡托恩;宋磊;张丽君

可能安全或活着。 （英语） Zbl 1394.68231号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第55号论文，第10页（2014年）。
MSC公司：第68季度第60季度 03B44号 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第55号论文，10页（2014；Zbl 1394.68231）
全文： 内政部 arXiv公司 链接
李建文;张丽君;浦、葛光;莫舍·瓦尔迪。;何继峰

\（\mathrm{长期贷款}_{f} \）满意度检查。 （英语） Zbl 1366.68177号

Schaub，Torsten（编辑）等人，ECAI 2014。第21届欧洲人工智能会议，2014年8月18日至22日，捷克共和国布拉格。诉讼程序。包括关于智能系统著名应用的随之而来的会议记录（PAIS 2014）。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-418-3/pbk；978-1-6499-419-0/ebook）。人工智能和应用前沿263513-518（2014）。
MSC公司：第68季度第60季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Li}等人，前面。Artif公司。智力。申请。263513--518（2014年；Zbl 1366.68177）
全文： arXiv公司 链接
宋磊;张丽君;Jens Chr.Godskesen。

连续时间Markov决策过程的互模拟和逻辑特征。 （英语） Zbl 1428.68191号

McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8318, 98-117 (2014).
MSC公司：第68季度第60季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Song}等人，Lect。票据计算。科学。8318，98-117（2014年；Zbl 1428.68191）
全文： 内政部 arXiv公司
高，杨;恩斯特·莫里茨·哈恩;詹乃军;张丽君

CCMC：连续时间马尔可夫链的条件CSL模型检查器。 （英语） Zbl 1410.68227号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8172, 464-468 (2013).
MSC公司：第68季度第60季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Gao}等人，Lect。票据计算。科学。8172464--468（2013；Zbl 1410.68227）
全文： 内政部
李建文;浦、葛光;张丽君;王，郑;何继峰;金·古德斯特兰·拉森

关于LTL范式与Büchi自动机之间的关系。 （英语） Zbl 1390.68435号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，256-270（2013）。
MSC公司：第68季度第60季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛J.Li｝等人，Lect。票据计算。科学。8051256-270（2013年；Zbl 1390.68435）
全文： 内政部 arXiv公司
约书亚·萨克;张丽君

概率表征公式的一般框架。 （英语） Zbl 1326.68176号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148396-411（2012）。
MSC公司：65年第68季度 03B48 第68季度第60季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Sack}和\textit{L.Zhang}，Lect。票据计算。科学。7148396--411（2012年；Zbl 1326.68176）
全文： 内政部
马丁·范策尔;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;尼科拉斯·沃尔维克;张丽君

随机混合系统的可测性和安全性验证。 （英语） Zbl 1362.68170号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。43-52 (2011).
MSC公司：第68季度第60季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。43-52（2011年；Zbl 1362.68170）
全文： 内政部
约翰·费恩利;拉贝，马库斯;斯文·舍韦;张丽君

连续时间Markov对策最优控制的有效逼近。 （英语） Zbl 1246.68165号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，399-410，仅电子版（2011年）。
MSC公司：87年第68季度 91A15型 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}等人，LIPIcs——莱布尼茨国际程序。通知。13、399--410（2011；Zbl 1246.68165）
全文： 内政部 arXiv公司
宋磊;张丽君;Jens Chr.Godskesen。

互模拟满足概率自动机的PCTL等价性。 （英语） Zbl 1344.68170号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901108-123（2011）。
MSC公司：68问题85 03B44号 65年第68季度 第68季度第60季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Song}等人，Lect。票据计算。科学。6901108-123（2011；Zbl 1344.68170）
全文： 内政部 链接
张丽君;大卫·詹森（David N.Jansen）。;弗莱明·尼尔森;霍尔格·赫尔曼斯

基于CSL模型的自动检查。 （英语） Zbl 1334.68135号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756271-282（2011）。
MSC公司：第68季度第60季度 03B44号 65年第68季度 68周25
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhang}等人，Lect。票据计算。科学。6756271--282（2011年；Zbl 1334.68135）
全文： 内政部
张丽君;Neuhäußer，Martin R。

模型检查交互式马尔可夫链。 （英语） Zbl 1284.68420号

Esparza，Javier（编辑）等人，用于系统构建和分析的工具和算法。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议（TACAS 2010）是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12001-5/pbk）。计算机科学课堂讲稿601553-68（2010）。
MSC公司：第68季度第60季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhang}和textit{M.R.Neuhäußer}，Lect。票据计算。科学。6015、53-68（2010年；Zbl 1284.68420）
全文： 内政部
比约恩Wachter;张丽君

最佳概率变压器。 （英语） Zbl 1273.68244号

Barthe，Gilles（编辑）等人，《验证、模型检验和抽象解释》。第11届国际会议，VMCAI 2010，马德里，西班牙，2010年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11318-5/pbk）。计算机科学课堂讲稿5944362-379（2010）。
MSC公司：第68季度第60季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Wachter｝和\textit｛L.Zhang｝，Lect。票据计算。科学。5944362--379（2010年；Zbl 1273.68244）
全文： 内政部
霍尔格·赫尔曼斯;比约恩Wachter;张丽君

概率CEGAR。 （英语） Zbl 1155.68438号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123162-175（2008）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}等人，Lect。票据计算。科学。5123、162--175（2008年；Zbl 1155.68438）
全文： 内政部
张丽君;霍尔格·赫尔曼斯;大卫·詹森（David N.Jansen）。

隐马尔可夫模型的逻辑和模型检查。 （英语） Zbl 1169.68524号

Wang，Farn（编辑），网络和分布式系统的形式化技术–FORTE 2005。第25届IFIP WG 6.1国际会议，台湾台北，2005年10月2-5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29189-X/pbk）。计算机科学课堂讲稿373198-112（2005）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhang}等人，Lect。票据计算。科学。3731、98——112（2005年；Zbl 1169.68524）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件