希勒尔·库格勒
人员信息
优化列表
2020年–今天
2024 [公元44年] 诺伊·比顿 , 莎朗·肖布(Sharon Shoob) , 阿尼·阿马尔 , 希勒尔·库格勒 :
具有弱调节器和强调节器的布尔网络的综合。 ISBRA(2) 2024 : 119-131 [i2] 阿夫拉哈姆·拉维夫 , 伊扎克·Y·埃尔博尔 , 米歇尔·阿卢夫·梅迪纳 , 耶尔·莱博维奇·韦斯(Yael Leibovich Weiss) , 奥马尔·科恩 , 罗伊·阿萨 , 盖伊·卡茨 , 希勒尔·库格勒 :
目标检测的形式验证。 CoRR公司 abs/2407.01295 ( 2024 ) 2023 [公元9年] 博扬·约丹诺夫 , 萨拉·简·邓恩 , 科林·格拉维尔 , 希曼舒·阿罗拉 , 希勒尔·库格勒 , 克里斯托夫·温特斯泰格 :
推理引擎:基于满意模理论的离散生物模型推理框架。 J.计算。 生物。 30 ( 9 ) : 1046-1058 ( 2023 ) [公元43年] 阿夫拉哈姆·拉维夫 , 尤瓦尔·格伯 , 利里·本西诺 , 米歇尔·阿卢夫·梅迪纳 , 希勒尔·库格勒 :
使用形式化方法对随机代理进行预测和控制。 FoMLAS@CAV 2023 : 29-34 [公元42年] 米歇尔·阿卢夫·梅迪纳 , 阿夫拉哈姆·拉维夫 , 希曼舒·阿罗拉 , 直到Korten , 希勒尔·库格勒 :
基于网络的生物计算电路的仿真与验证。 国际会计准则委员会 2023 : 1-5 [公元41年] 阿夫拉哈姆·拉维夫 , 埃利亚·布朗什坦 , 或者Reginiano , 米歇尔·阿卢夫·梅迪纳 , 希勒尔·库格勒 :
通过使用形式验证通过模仿学习。 SOFSEM公司 2023 : 342-355 2022 [j8] 朱靖远 , Aseem Salhotra公司 , 克里斯托夫·罗伯特·梅内克 , Pradheebha Surendiran公司 , 罗曼·利特尔顿 , 丹尼·路透社 , 希勒尔·库格勒 , 斯特凡·迪兹 , 阿尔夫·蒙森 , 海纳·林奇 , 直到Korten :
使用基于网络的生物计算解决3-可满足性问题。 高级智能。 系统。 4 ( 12 ) ( 2022 ) [j7] 阿尼·阿马尔 , E.简·艾伯特·哈伯德 , 希勒尔·库格勒 :
建模 秀丽线虫 使用自动推理的生殖系干细胞遗传网络。 生物晶体。 217 : 104672 ( 2022 ) [公元40年] 博扬·约丹诺夫 , 萨拉·简·邓恩 , 科林·格拉维尔 , 希勒尔·库格勒 , 克里斯托夫·温特斯泰格 :
基于SMT的离散生物模型推理框架。 伊斯布拉银行 2022 : 114-125 2021 [j6] 萨拉·简·邓恩 , 希勒尔·库格勒 , 博扬·约丹诺夫 :
生物程序中网络模式链接结构与功能的形式化分析。 IEEE ACM传输。 计算。 生物信息。 18 ( 1 ) : 261-271 ( 2021 ) [j5] 安娜丽莎·奥奇芬蒂 , 优素福·哈马迪 , 希勒尔·库格勒 , 克里斯托夫·温特斯泰格 , 博扬·约丹诺夫 , 克劳迪奥·安吉奥内 :
通过大规模优化发现基本的多基因效应:在人类癌症代谢中的应用。 IEEE ACM传输。 计算。 生物信息。 18 ( 6 ) : 2339-2352 ( 2021 ) [公元39年] 米歇尔·阿卢夫·梅迪纳 , 直到Korten , 阿夫拉哈姆·拉维夫 , 小丹·尼古拉。 , 希勒尔·库格勒 :
基于网络的生物计算电路的形式语义和验证。 VMCAI公司 2021 : 464-485 [i1] 朱景元 , 直到Korten , 希勒尔·库格勒 , 法尔科·C·M·J·M·范·代尔夫特 , 阿尔夫·蒙森 , 丹尼·路透社 , 斯特凡·迪兹 , 海纳·林奇 :
扩大基于网络的生物计算的物理要求。 CoRR公司 abs/2106.07236 ( 2021 ) 2020 [公元38年] 希勒尔·库格勒 :
自然和工程生物系统的正式验证。 FMCAD公司 2020 : 1
2010 – 2019
2019 [公元37年] Judah Goldfeder公司 , 希勒尔·库格勒 :
BRE:IN-一个用时序逻辑推理交互网络的后端。 CMSB公司 2019 : 289-295 [公元36年] 汤姆·蒙克 , 希勒·库格勒 , Ofir毛利人 , 亚当·特曼 :
TEMPO:高吞吐量网络交换机中电源的热效率管理。 超大规模集成电路(VLSI-DAT) 2019 : 1-4 2018 [公元35年] 希勒尔·库格勒 , 萨拉·简·邓恩 , 博扬·约丹诺夫 :
网络模式的形式化分析。 厘米 2018 : 111-128 [公元34年] 达娜·菲斯曼 , 希勒尔·库格勒 :
不完全路径上的时间推理。 ISoLA(2) 2018 : 28-52 [公元33年] Judah Goldfeder公司 , 希勒尔·库格勒 :
基于时间逻辑的实验约束交互网络综合。 MLCSB公司 2018 : 89-104 【d1】 优素福·哈马迪 , 克劳迪奥·安吉奥内 , 希勒尔·库格勒 , 克里斯托夫·温特斯泰格 , 博扬·约尔达诺夫 :
全基因组模型的大规模遗传探索:在人类癌症代谢中的应用。 IEEE数据端口 , 2018 2016 【j4】 尤利·沙维特 , 博扬·约丹诺夫 , 萨拉·简·邓恩 , 克里斯托夫·温特斯泰格 , Tomoki Otani先生 , 优素福·哈马迪 , 弗雷德里克·利弗西 , 希勒尔·库格勒 :
开关基因调控网络的自动合成与分析。 生物晶体。 146 : 26-34 ( 2016 ) [公元32年] 希勒尔·库格勒 :
统一建模和编程:系统生物学视角。 ISoLA(2) 2016 : 131-133 2015 [公元31年] 尤利·沙维特 , 博扬·约丹诺夫 , 萨拉·简·邓恩 , 克里斯托夫·温特斯泰格 , 优素福·哈马迪 , 希勒尔·库格勒 :
切换基因调控网络。 IPCAT公司 2015 : 131-144 2014 [公元30年] 尼古拉·保莱蒂 , 博扬·约丹诺夫 , 优素福·哈马迪 , 克里斯托夫·温特斯泰格 , 希勒尔·库格勒 :
分析和合成基因组逻辑功能。 CAV汽车 2014 : 343-357 [公元29年] 马库斯·拉贝 , 克里斯托夫·温特斯泰格 , 希勒尔·库格勒 , 博扬·约丹诺夫 , 优素福·哈马迪 :
大马尔可夫链中有界可达概率的符号逼近。 QEST公司 2014 : 388-403 2013 [公元28年] 博扬·约丹诺夫 , 克里斯托夫·温特斯泰格 , 优素福·哈马迪 , 安德鲁·菲利普斯 , 希勒尔·库格勒 :
大规模DNA链置换电路的功能分析。 DNA 2013 : 189-203 [公元27年] 希勒尔·库格勒 :
生物图表:将生物假设与模型和实验统一起来。 世界信息峰会大奖 2013 : 317-325 [公元26年] 博扬·约丹诺夫 , 克里斯托夫·温特斯泰格 , 优素福·哈马迪 , 希勒·库格勒 :
基于SMT的生物计算分析。 NASA形式方法 2013 : 78-92 [公元25年] 希勒尔·库格勒 :
生物系统的运行时验证和反驳。 RV汽车 2013 : 384-385 2011 [公元24年] 希勒尔·库格勒 , 科里·普洛克 , 安迪·罗伯茨 :
综合生物学理论。 CAV汽车 2011 : 579-584 [c23] 阿列克桑达尔·米利舍维奇 , 希勒尔·库格勒 :
使用SMT和列表理论进行模型检查。 NASA形式方法 2011 : 282-297 2010 [公元22年] 哈雷尔 , 希勒尔·库格勒 :
关于生物图表语义的一些思考。 纪念埃米尔·普努利的散文 2010 : 185-194 【c21】 哈雷尔 , 希勒尔·库格勒 , 沙哈尔·毛兹 , 伊泰·塞格尔 :
加速智能播放。 SOFSEM公司 2010 : 477-488
2000 – 2009
2009 [公元20年] 希勒尔·库格勒 , 科里·普洛克 , 阿米尔·普努利 :
基于LSC需求的控制器合成。 FASE公司 2009 : 79-93 [第19条] 希勒尔·库格勒 , 伊泰·塞格尔 :
根据实时序列图规范进行反应系统的合成。 TACAS公司 2009 : 77-91 2008 [j3] 乔泽夫·胡曼 , 希勒尔·库格勒 , 尤利安·奥贝尔 , Anjelika Votinsseva公司 , 尤里·尤斯坦 :
通过形式化技术支持基于UML的嵌入式系统开发。 柔和。 系统。 模型。 7 ( 2 ) : 131-155 ( 2008 ) [注2] 皮埃尔·库姆斯 , 哈雷尔 , 希勒尔·库格勒 :
使用实时序列图和Play-Engine工具对电信应用程序进行建模和验证。 柔和。 系统。 模型。 7 ( 2 ) : 157-175 ( 2008 ) [第18条] 哈雷尔 , 伊泰·塞格尔 , 希勒尔·库格勒 , 雅姬·塞蒂 :
使用反应式系统设计制作游戏模型。 未来的游戏 2008 : 121-128 2007 [第17条] 希勒尔·库格勒 , 迈克尔·斯特恩 , E.简·艾伯特·哈伯德 :
测试基于场景的模型。 FASE公司 2007 : 306-320 [第16条] 希勒尔·库格勒 , 科里·普洛克 , 阿米尔·普努利 :
使用播放引擎从LSC需求合成反应系统。 OOPSLA指南 2007 : 801-802 [第15条] 希勒尔·库格勒 , 阿米尔·普努利 , 迈克尔·J·斯特恩 , E.简·艾伯特·哈伯德 :
“不在乎”建模:开发预测系统模型的逻辑框架。 TACAS公司 2007 : 343-357 2005 [第14条] 皮埃尔·库姆斯 , 哈雷尔 , 希勒尔·库格勒 :
使用实时序列图和播放引擎工具对电信应用程序进行建模和验证。 ATVA公司 2005 : 414-428 [第13条] 哈雷尔 , 希勒尔·库格勒 , 阿米尔·普努利 :
再次综合:根据基于场景的需求生成状态图模型。 软件和系统建模中的形式化方法 2005 : 309-324 [第12条] 希勒尔·库格勒 , 哈雷尔 , 阿米尔·普努利 , 袁璐 , 伊夫·邦坦普斯 :
基于场景的规范的时间逻辑。 TACAS公司 2005 : 445-460 2004 [第11条] 哈雷尔 , 希勒尔·库格勒 :
状态图的狂想曲语义(或UML的可执行核心)-初步版本。 SoftSpez最终报告 2004 : 325-354 [c10] 哈雷尔 , 希勒尔·库格勒 , 阿米尔·普努利 :
智能播放扩展:时间和禁止元素。 QSIC公司 2004 : 2-10 【c9】 塔玛拉阿隆 , 乔泽夫·胡曼 , 希勒尔·库格勒 , 阿米尔·普努利 , 马克·范德兹瓦格 :
TLPVS中UML模型的演绎验证。 统一建模语言 2004 : 335-349 【c8】 马塞尔·凯斯 , 哈拉尔德·费彻 , 弗兰克·S·德·波尔 , 乔斯特·雅各布 , 乔泽夫·胡曼 , 马克·范德兹瓦格 , 塔玛拉阿隆 , 希勒尔·库格勒 :
在PVS中规范化UML模型和OCL约束。 SFEDL@ETAPS 2004 : 39-47 2003 【c7】 Na'aman Kam女士 , 哈雷尔 , 希勒尔·库格勒 , 拉米·马雷利 , 阿米尔·普努利 , E.简·艾伯特·哈伯德 , 迈克尔·斯特恩 :
秀丽线虫发育的形式化建模:一种基于场景的方法。 CMSB公司 2003 : 4-20 【c6】 哈雷尔 , 希勒尔·库格勒 , 杰拉·韦斯 :
根据使用LSCs和播放/播放方法的经验得出的一些方法论观察结果。 场景:模型、转换和工具 2003 : 26-42 【c5】 哈雷尔 , 希勒尔·库格勒 , 拉米·马雷利 , 阿米尔·普努利 :
智能播放。 OOPSLA指南 2003 : 68-69 2002 [j1] 哈雷尔 , 希勒尔·库格勒 :
从LSC规范中综合基于状态的对象系统。 发现的国际期刊。 计算。 科学。 13 ( 1 ) : 5-51 ( 2002 ) 【c4】 哈雷尔 , 希勒尔·库格勒 , 拉米·马雷利 , 阿米尔·普努利 :
行为要求的智能播放。 FMCAD公司 2002 : 378-398 【c3】 拉米·马雷利 , 哈雷尔 , 希勒尔·库格勒 :
可执行序列图中的多个实例和符号变量。 OOPSLA公司 2002 : 83-100 【c2】 拉米·马雷利 , 哈雷尔 , 希勒尔·库格勒 :
规定和执行要求:播放/播放方法。 OOPSLA指南 2002 : 84-85 2000 【c1】 哈雷尔 , 希勒尔·库格勒 :
根据LSC规范综合基于状态的对象系统。 CIAA公司 2000 : 1-33