刷新
Advances in Program Analysis
程序分析的进展
基本信息
- 批准号：462312-2014
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Accelerator Supplements
- 财政年份：2015
- 资助国家：加拿大
- 起止时间：2015-01-01 至 2016-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有摘要-Aucun Sommaire
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Farzan, Azadeh其他文献
Inductive Data Flow Graphs
- DOI：
10.1145/2480359.2429086 - 发表时间：
2013-01-01 - 期刊：
- 影响因子：0
- 作者：
Farzan, Azadeh;Kincaid, Zachary;Podelski, Andreas - 通讯作者：
Podelski, Andreas
Strategy Synthesis for Linear Arithmetic Games
- DOI：
10.1145/3158149 - 发表时间：
2018-01-01 - 期刊：
- 影响因子：1.8
- 作者：
Farzan, Azadeh;Kincaid, Zachary - 通讯作者：
Kincaid, Zachary
Automated Hypersafety Verification
- DOI：
10.1007/978-3-030-25540-4_11 - 发表时间：
2019-01-01 - 期刊：
- 影响因子：0
- 作者：
Farzan, Azadeh;Vandikas, Anthony - 通讯作者：
Vandikas, Anthony
Learning Minimal Separating DFA's for Compositional Verification
- DOI：
10.1007/978-3-642-00768-2_3 - 发表时间：
2009-01-01 - 期刊：
- 影响因子：0
- 作者：
Chen, Yu-Fang;Farzan, Azadeh;Wang, Bow-Yaw - 通讯作者：
Wang, Bow-Yaw
Compositional Recurrence Analysis
- DOI：
10.1109/fmcad.2015.7542253 - 发表时间：
2015-01-01 - 期刊：
- 影响因子：0
- 作者：
Farzan, Azadeh;Kincaid, Zachary - 通讯作者：
Kincaid, Zachary
Farzan, Azadeh的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Farzan, Azadeh', 18)}}的其他基金
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2022
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2021
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2020
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Advances in Program Analysis
程序分析的进展
- 批准号：
RGPIN-2014-04450 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Advances in Program Analysis**
程序分析的进展**
- 批准号：
462312-2014 - 财政年份：2018
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Advances in Program Analysis
程序分析的进展
- 批准号：
RGPIN-2014-04450 - 财政年份：2017
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Advances in Program Analysis
程序分析的进展
- 批准号：
RGPIN-2014-04450 - 财政年份：2016
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Advances in Program Analysis
程序分析的进展
- 批准号：
RGPIN-2014-04450 - 财政年份：2015
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Advances in Program Analysis
程序分析的进展
- 批准号：
RGPIN-2014-04450 - 财政年份：2014
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Testing and verification of concurrent software
并发软件的测试和验证
- 批准号：
371785-2009 - 财政年份：2013
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
面向人工智能可靠性的程序分析与合成技术研究
- 批准号：
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：面上项目
钯硅非晶合金中程序结构演变显微分析研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于程序分析的IDE编程辅助智能增强关键技术研究
- 批准号：
- 批准年份：2022
- 资助金额：53 万元
- 项目类别：面上项目
钯硅非晶合金中程序结构演变显微分析研究
- 批准号：52201190
- 批准年份：2022
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
基于程序分析的IDE编程辅助智能增强关键技术研究
- 批准号：62272214
- 批准年份：2022
- 资助金额：53.00 万元
- 项目类别：面上项目
相似海外基金
Linking Social-Behavior Contextual Factors and Allostatic Load to Chronic Diseases in Diverse Asian Americans: A Socioecological Approach to Advancing Precision Medicine and Health Equity
将社会行为背景因素和稳态负荷与不同亚裔美国人的慢性病联系起来：推进精准医疗和健康公平的社会生态学方法
- 批准号：
10799170 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Repurposing RET Inhibitors for Endocrine Resistant Breast Cancer
重新利用 RET 抑制剂治疗内分泌耐药乳腺癌
- 批准号：
10644068 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Shared Resource Core 2: Clinical Artificial Intelligence Core
共享资源核心2：临床人工智能核心
- 批准号：
10712296 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Digital smoking cessation intervention for nationally-recruited American Indians and Alaska Natives: A full-scale randomized controlled trial
针对全国招募的美洲印第安人和阿拉斯加原住民的数字戒烟干预：一项全面的随机对照试验
- 批准号：
10826067 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：