NSF Travel and Attendance Grant Proposal for ISSTA/SPIN 2017
NSF ISSTA/SPIN 2017 差旅和出勤补助金提案
基本信息
- 批准号:1741648
- 负责人:
- 金额:$ 0.9万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2017
- 资助国家:美国
- 起止时间:2017-05-01 至 2017-10-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This grant provides participant support for attendance at the International Symposium on Software Testing and Analysis (ISSTA) and the International Symposium on Model Checking of Software (SPIN), which will be held in Santa Barbara, California, USA, on July 10-14, 2017. ISSTA and SPIN together cover verification, validation, testing, and analysis of software systems, a topic whose criticality increases with the growing complexity and distribution of software-intensive systems. This symposium is one of the top venues for researchers in this area. The funds are to encourage mainly US-based students to attend ISSTA/SPIN. Priority will be given to students in groups typically underrepresented in ISSTA/SPIN communities, such as women, African-Americans, Native Americans, Hispanic Americans, and students from non-PhD-granting US universities. The Symposium provides education, training and professional development of the supported participants, the building of the research community in this important area, and the exposure to senior people in the field and the international research community.
该补助金为参加将于2017年7月10日至14日在美国加州圣巴巴拉举行的软件测试与分析国际研讨会(ISSTA)和软件模型检查国际研讨会(SPIN)的参与者提供支持。ISSTA和SPIN共同涵盖了软件系统的验证、确认、测试和分析,这一主题的重要性随着软件密集型系统的日益复杂和分布而增加。本次研讨会是该领域研究人员的顶级场所之一。 这些资金主要用于鼓励美国学生参加ISSTA/SPIN。将优先考虑在ISSTA/SPIN社区中代表性通常不足的群体的学生,如妇女,非洲裔美国人,美洲原住民,西班牙裔美国人和来自非博士授予美国大学的学生。 研讨会提供教育,培训和专业发展的支持参与者,在这一重要领域的研究社区的建设,并接触到该领域的高级人员和国际研究界。
项目成果
期刊论文数量(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 }}
Tevfik Bultan其他文献
Automated verification of access control policies using a SAT solver
- DOI:
10.1007/s10009-008-0087-9 - 发表时间:
2008-10-21 - 期刊:
- 影响因子:1.400
- 作者:
Graham Hughes;Tevfik Bultan - 通讯作者:
Tevfik Bultan
Guest editorial: emerging areas in automated software engineering research
- DOI:
10.1007/s10515-017-0223-4 - 发表时间:
2017-08-31 - 期刊:
- 影响因子:3.100
- 作者:
Tevfik Bultan;Andreas Zeller - 通讯作者:
Andreas Zeller
Action Language verifier: an infinite-state model checker for reactive software specifications
- DOI:
10.1007/s10703-009-0081-1 - 发表时间:
2009-09-12 - 期刊:
- 影响因子:0.800
- 作者:
Tuba Yavuz-Kahveci;Tevfik Bultan - 通讯作者:
Tevfik Bultan
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems
- DOI:
10.1007/s10617-008-9014-2 - 发表时间:
2008-05-14 - 期刊:
- 影响因子:0.900
- 作者:
Tevfik Bultan;Constance Heitmeyer - 通讯作者:
Constance Heitmeyer
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers
- DOI:
10.1007/s10515-007-0008-2 - 发表时间:
2007-05-17 - 期刊:
- 影响因子:3.100
- 作者:
Aysu Betin Can;Tevfik Bultan;Mikael Lindvall;Benjamin Lux;Stefan Topp - 通讯作者:
Stefan Topp
Tevfik Bultan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Tevfik Bultan', 18)}}的其他基金
FMitF: Track I: Scalable and Quantitative Verification for Neural Network Analysis and Design
FMITF:第一轨:神经网络分析和设计的可扩展和定量验证
- 批准号:
2124039 - 财政年份:2021
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Automated Quantitative Assessment of Testing Difficulty
合作研究:SHF:小型:测试难度自动定量评估
- 批准号:
2008660 - 财政年份:2020
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair
SHF:中:协作研究:HUGS:用于可扩展错误检测和修复的人工引导软件测试和分析
- 批准号:
1901098 - 财政年份:2019
- 资助金额:
$ 0.9万 - 项目类别:
Continuing Grant
SHF: Small: Differential Policy Verification and Repair for Access Control in the Cloud
SHF:小型:云中访问控制的差异策略验证和修复
- 批准号:
1817242 - 财政年份:2018
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
EAGER: Collaborative Research: Leveraging Graph Databases for Incremental and Scalable Symbolic Analysis and Verification of Web Applications
EAGER:协作研究:利用图形数据库进行增量和可扩展的 Web 应用程序符号分析和验证
- 批准号:
1548848 - 财政年份:2015
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
SHF: Small: Data Model Verification for Web Applications
SHF:小型:Web 应用程序的数据模型验证
- 批准号:
1423623 - 财政年份:2014
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
TC: Small: Collaborative Research: Viewpoints: Discovering Client- and Server-side Input Validation Inconsistencies to Improve Web Application Security
TC:小型:协作研究:观点:发现客户端和服务器端输入验证不一致以提高 Web 应用程序安全性
- 批准号:
1116967 - 财政年份:2011
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Formal Analysis of Distributed Interactions
SHF:小型:协作研究:分布式交互的形式分析
- 批准号:
1117708 - 财政年份:2011
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
TC: Small:Automata Based String Analysis for Detecting Vulnerabilities in Web Applications
TC:Small:基于自动机的字符串分析,用于检测 Web 应用程序中的漏洞
- 批准号:
0916112 - 财政年份:2009
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
相似海外基金
Travel: Scholarships for Student Attendance at Co-Located Conferences: Human Computation & Collective Intelligence 2023
旅行:为学生参加同期举办的会议提供奖学金:人类计算
- 批准号:
2327977 - 财政年份:2023
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Travel: Student Attendance Award for ISCAS 2023
旅行:ISCAS 2023 学生出勤奖
- 批准号:
2319232 - 财政年份:2023
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Travel Grant for NSF Frontera LRAC Award: Technical Coordination with TACC and Attendance to a PI Meeting
NSF Frontera LRAC 奖旅费资助:与 TACC 进行技术协调并参加 PI 会议
- 批准号:
2031563 - 财政年份:2020
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
International Travel Proposal: Funding to support travel and attendance at the 4th Intl. Symposium on Ranaviruses - Budapest, Hungary.
国际旅行提案:资助旅行和参加第四届国际旅行。
- 批准号:
1719681 - 财政年份:2017
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Application for NSF Travel Grant for Student Attendance at ICFP 2013
学生参加 ICFP 2013 申请 NSF 旅行补助金
- 批准号:
1354611 - 财政年份:2013
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Antarctic Sea Ice Thickness: Travel Support for Workshop Attendance
南极海冰厚度:参加研讨会的旅行支持
- 批准号:
0622495 - 财政年份:2006
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Travel Grants for Graduate DPF Students Attendance at APS Meeting; May 1-4, 2004; Denver, CO
为 DPF 研究生出席 APS 会议提供旅费补助;
- 批准号:
0431984 - 财政年份:2004
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Reimbursement of Scott Dehms's travel costs for attendance at Queen's University project Management Course ( April 20-22-2001)
报销 Scott Dehms 参加女王大学项目管理课程的旅费(2001 年 4 月 20 日至 22 日)
- 批准号:
247641-2001 - 财政年份:2001
- 资助金额:
$ 0.9万 - 项目类别:
Miscellaneous Grants
Reimbursement of Tessa Campbell's travel costs for attendance at Queen's University project Management Course ( April 20-22-2001)
报销 Tessa Campbell 参加女王大学项目管理课程的旅费(2001 年 4 月 20 日至 22 日)
- 批准号:
247642-2001 - 财政年份:2001
- 资助金额:
$ 0.9万 - 项目类别:
Miscellaneous Grants
Reimbursement of James Andruchow's travel costs for attendance at Queen's University project Management Course ( April 20-22,2001)
报销 James Andruchow 参加女王大学项目管理课程的旅费(2001 年 4 月 20 日至 22 日)
- 批准号:
247639-2001 - 财政年份:2001
- 资助金额:
$ 0.9万 - 项目类别:
Miscellaneous Grants