WORKSHOP ON EMBEDDED SOFTWARE
WORKSHOP ON EMBEDDED SOFTWARE
批准号:
0318299
负责人:
Rajeev Alur
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2003
资助国家:
美国
项目状态:
已结题
起止时间:
2003-07-15 至 2004-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
AlurEMSOFT 2003 Workshop - the Third International Workshop on Embedded Software, is held October 13-15, 2003 in Philadelphia on the campus of the University of Pennsylvania. The proceedings of EMSOFT 2003 are published as a volume in the Lecture Notes in Computer Science series by Springer.The purpose of EMSOFT 2003 is to bring together researchers, developers, and students from academia, industry, and governments so that the science of embedded software and the technology of their applications an be advanced. The purview of the workshop spans all areas of embedded software, including system design and integration methodologies, scheduling and execution time analysis, models of computation and formal methods, communication protocols, and fault tolerance. Currently, academic papers on embedded software are dispersed at many different conferences, and EMSOFT offers a unique venue with the central focus on principles of embedded software.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SLES: SPECSRL: Specification-guided Perception-enabled Conformal Safe Reinforcement Learning
-
批准号:2331783
-
项目类别:Standard Grant
-
资助金额:$150.0万
-
财政年份:2023
-
负责人:Rajeev Alur
-
依托单位:
CCF: Medium: Enabling Real-Time Quantitative Decision Making over Streaming Data
-
批准号:1763514
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2018
-
负责人:Rajeev Alur
-
依托单位:
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives
-
批准号:1703791
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2017
-
负责人:Rajeev Alur
-
依托单位:
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design
-
批准号:1138996
-
项目类别:Continuing Grant
-
资助金额:$375.0万
-
财政年份:2012
-
负责人:Rajeev Alur
-
依托单位:
SHF: AF: SMALL: Scalable Symbolic Analysis of Hybrid Systems
-
批准号:0915777
-
项目类别:Standard Grant
-
资助金额:$37.64万
-
财政年份:2009
-
负责人:Rajeev Alur
-
依托单位:
SHF: Medium: Formal Analysis of Concurrent Software on Relaxed Memory Models
-
批准号:0905464
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2009
-
负责人:Rajeev Alur
-
依托单位:
Behavioral Interfaces for Software Components
-
批准号:0541149
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2006
-
负责人:Rajeev Alur
-
依托单位:
Proposal for Hybrid Systems Workshop; March 25-28, 2004, Philadelphia, PA
-
批准号:0401049
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2004
-
负责人:Rajeev Alur
-
依托单位:
Synthesis of Embedded Software from Hybrid Models
-
批准号:0410662
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2004
-
负责人:Rajeev Alur
-
依托单位:
GAMES FOR FORMAL DESIGN AND VERIFICATION OF REACTIVE SYSTEMS
-
批准号:0306382
-
项目类别:Standard Grant
-
资助金额:$27.0万
-
财政年份:2003
-
负责人:Rajeev Alur
-
依托单位:
ITR/SY: Formal Design and Analysis of Hybrid Systems
-
批准号:0121431
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Rajeev Alur
-
依托单位:
Specification, Analysis, and Testing of Scenario-Based Requirements
-
批准号:9970925
-
项目类别:Continuing Grant
-
资助金额:$21.5万
-
财政年份:1999
-
负责人:Rajeev Alur
-
依托单位:
CAREER: Computer-Aided Verification of Reactive Systems
-
批准号:9734115
-
项目类别:Continuing Grant
-
资助金额:$20.0万
-
财政年份:1998
-
负责人:Rajeev Alur
-
依托单位:
国内基金
海外基金
Embedded Internet体系结构及应用研究
-
批准号:69873007
-
项目类别:面上项目
-
资助金额:10.0万元
-
批准年份:1998
-
负责人:赵海
-
依托单位: