丹尼尔·里基茨 0001
人员信息
从属关系(2017年博士): 美国加利福尼亚州圣地亚哥加利福尼亚大学 隶属关系(以前): 美国罗得岛州普罗维登斯布朗大学
其他同名人员
丹尼尔·里基茨 0002 -SAP实验室,澳大利亚布里斯班
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2019 【c8】 马库斯·亚历山大·库佩 , 莱斯利·兰伯特 , 丹尼尔·里基茨 :
TLA+工具箱。 F-IDE@FM 2019 : 50-62 2018 【c7】 阿扎德·加法里 , 伊莫莱约·阿贝尔 , 丹尼尔·里基茨 , 索林·勒纳 , 米罗斯拉夫·克里斯蒂 :
使用屏障证书进行安全验证,并应用于输入饱和和零阶保持的双积分器。 行政协调会 2018 : 4664-4669 2017 【b1】 丹尼尔·里基茨 :
使用Coq验证采样数据系统。 美国圣地亚哥加利福尼亚大学, 2017 2016 【c6】 格雷戈里·马莱查 , 丹尼尔·里基茨 , 马里奥·M·阿尔瓦雷斯 , 索林·勒纳 :
面向网络物理系统的基础验证。 SOSCYPS@CPSWeek 2016 : 1-5 【c5】 丹尼尔·里基茨 , 格雷戈里·马莱查 , 索林·勒纳 :
采样数据系统的模块演绎验证。 EMSOFT公司 2016 : 17:1-17:10 2015 【c4】 丹尼尔·里基茨 , 格雷戈里·马莱查 , 马里奥·M·阿尔瓦雷斯 , 维格内什·戈达 , 索林·勒纳 :
在基础证明助手中对混合系统进行验证。 记忆码 2015 : 248-257 2014 【c3】 丹尼尔·里基茨 , 瓦伦丁·罗伯特 , Dongseok Jang先生 , 扎卡里·塔特洛克 , 索林·勒纳 :
自动化反应系统的正式证明。 PLDI公司 2014 : 452-462 2012 【c2】 丹尼斯·库西诺 , 达米安·多利盖兹 , 莱斯利·兰伯特 , 斯蒂芬·默兹 , 丹尼尔·里基茨 , 埃尔南·范泽托 :
TLA+证明。 FM公司 2012 : 147-154 【c1】 Nuh Aygün Dalkiran村 , 莫西·霍夫曼 , 拉马莫汉·帕图里 , 丹尼尔·里基茨 , 安德烈亚·瓦塔尼 :
常识与国家依赖均衡。 SAGT公司 2012 : 84-95 [i3] 曼努埃尔·塞布利安 , 拉马莫汉·帕图里 , 丹尼尔·里基茨 :
历史信息对人类协调影响的实验研究。 CoRR公司 abs/1202.2503 ( 2012 ) [i2] 丹尼斯·库西诺 , 达米安·多利盖兹 , 莱斯利·兰伯特 , 斯蒂芬·默兹 , 丹尼尔·里基茨 , 埃尔南·范泽托 :
TLA+证明。 CoRR公司 abs/1208.5933 ( 2012 )
2000 – 2009
2009 [i1] 阿帕娜·达斯 , 克莱尔·马修 , 丹尼尔·里基茨 :
使用推荐系统实现利润最大化。 CoRR公司 abs/0908.3633 ( 2009 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)