Extramurally Funded Active Research Projects
| Principal Investigator
| Title
| Sponsor
| Project Duration
| Project Total
|
| FY 2007
|
| Andresen |
ITR: An Infrastructure for Veterinary Telemedicine - Proactive Heard Health Management for Disease Prevention from Farm to Market |
NSF |
10/01/03 - 09/30/08 |
$923,996 |
| Andresen |
CAREER: DESPOT: Enhanced Dynamic Process Management for Beowolf Clusters on the Grid |
NSF |
9/15/01 - 8/31/07 |
$222,570 |
| Banerjee |
CAREER: Type Systems and Program Analyses for Secure and Reliable Interactive Web Services |
NSF |
9/1/01 - 8/31/07 |
$325,000 |
| Banerjee |
Collaborative Research: Integrating Pointer Confinement an Access Control for Encapsulation |
NSF |
9/1/02 - 8/31/06 |
$137,464 |
| Banerjee |
Access Control and Downgrading in Information Flow Assurance |
NSF CT-ISG |
9/15/06-8/31/09 |
$200,000 |
| DeLoach |
CAREER: Autonomous Reorganization of Cooperative Robotic Teams for Robustness |
NSF |
4/1/04 - 3/31/09 |
$450,000 |
| DeLoach |
Organization-Based Model-Driven Development of High-Assurance Multiagent Systems |
US Department of Defense |
1/15/2006 - 11/30/2007 |
$311,553 |
| DeLoach |
Test-Bed for Intelligent, Mobile Sensor Applications |
US Department of Defense |
4/1/2007 - 3/31/2008 |
$219,140 |
| Hatcliff |
Software Model Checking for Embedded Systems |
Army Research Office |
5/1/01 - 10/31/06 |
$3,009,659 |
| Hatcliff |
Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems |
Lockheed Martin Corporation |
12/1/2005 - 12/31/2006 |
$125,000 |
| Hatcliff |
Software Technology Initiative - Testing Services |
Lockheed Martin Corporation |
5/1/2007 - 12/31/2007 |
$60,000 |
| Hatcliff |
Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques |
National Science Foundation |
7/15/2005 - 6/30/2008 |
$172,169 |
| Hatcliff |
Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications |
NSF ITR |
9/15/04 - 8/31/07 |
$112,479 |
| Hatcliff |
Information Flow Modeling and Analysis |
Rockwell Collins, Inc |
12/1/2006 - 9/30/2007 |
$50,000 |
| Hatcliff |
Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems |
US Department of Defense |
3/15/2006 - 11/30/2007 |
$298,717 |
| Hsu |
Web Interface for Intelligent Human-Computer Interactive Systems |
Aldentity Matrix, Inc. |
2/16/2004 - 1/1/08 |
$130,620 |
| Neilsen |
RET SITE: Collaborative Learning Through Real-Time Embedded System Design |
NSF |
10/2/02 - 9/30/06 |
$461,254 |
| Neilsen |
Software Tools for Hydraulic Structure Design and Analysis - Phase II |
US Department of Agriculture |
4/18/2005 - 4/17/2010 |
$109,600 |
| Neilsen |
Solder Interconnect Predictor Model |
US Department of Energy |
9/7/2006 - 9/6/2007 |
$40,000 |
| Ou |
Automatic Control-Network Security Management Using Attack Graphs |
US Department of Energy |
3/20/2007 - 8/10/2007 |
$34,999 |
| Robby |
Software Technology Initiative - Thimble Technology |
Lockheed Martin Corporation |
5/1/2007 - 12/31/2007 |
$60,000 |
| Robby |
Formal, Integrated Analysis Framework for Contract-Based Reasoning of Strong Properties of Open Systems |
National Science Foundation |
4/15/2007 - 3/31/2008 |
$79,991 |
| Robby, - |
Research and Developmental Services to Support the Software Technology Initiative (STI) |
Lockheed Martin Corporation |
4/1/2006 - 12/30/2006 |
$50,000 |
| Schmidt |
ITR: Design Conformant Software |
MIT (NSF) |
9/15/00 - 8/31/06 |
$347,700 |
| Schmidt |
Language-Based Software Security |
NSF |
10/1/03 - 9/30/08 |
$108,000 |
| Singh |
CSR-PDOS: Methodologies for Customization of Distributed Algorithms and Middleware |
National Science Foundation |
7/1/2006 - 7/31/2009 |
$316,999 |
| Singh |
Targeted Excellence: Center for Sensors and Sensor Systems |
Office of the Provost, KSU |
10/15/2005 - 6/30/2009 |
$579,500 |
| Singh/Andresen, DeLoach |
Experimentation Platform for Developing Customized, Large-Scale Sensor Systems |
National Science Foundation |
3/15/2006 - 2/29/08 |
$200,000 |
| Wallentine |
Targeted Excellence: Bioinformatics |
Office of the Provost, KSU |
7/1/04 - 6/30/09 |
$925,000 |
| Wallentine/Hsu |
ITR - (ASE) - (sim + dmc): Parallel Data Mining for Nanoscale Kinetic Monte Carlo Simulation Models |
NSF |
10/1/04 - 9/30/08 |
$754,344 |
|
|
|
|
$10,815,754 |
| Principal Investigator
| Title
| Sponsor
| Project Duration
| Project Total
|
| FY 2006
|
| Andresen |
CAREER: DESPOT: Enhanced Dynamic Process Management for Beowolf Clusters on the Grid |
NSF |
9/15/01 - 8/31/07 |
$222,570 |
| Andresen |
ITR: An Infrastructure for Veterinary Telemedicine - Proactive Heard Health Management for Disease Prevention from Farm to Market |
NSF |
10/01/03 - 09/30/07 |
$919,331 |
| Banerjee |
CAREER: Type Systems and Program Analyses for Secure and Reliable Interactive Web Services |
NSF |
9/1/01 - 8/31/07 |
$325,000 |
| Banerjee |
Collaborative Research: Integrating Pointer Confinement an Access Control for Encapsulation |
NSF |
9/1/02 - 8/31/06 |
$137,464 |
| Deloach |
CAREER: Autonomous Reorganization of Cooperative Robotic Teams for Robustness |
NSF |
4/1/04 - 3/31/09 |
$450,000 |
| DeLoach |
Organization-Based Model-Driven Development of High-Assurance Multiagent Systems |
US Department of Defense |
1/15/06 - 11/30/06 |
$147,772 |
| DeLoach |
Autonomous, Adaptive Information Systems |
AFOSR |
9/1/02 - 12/31/05 |
$177,721 |
| Hatcliff |
Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications |
NSF ITR |
9/15/04 - 8/31/07 |
$149,972 |
| Hatcliff |
Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques |
National Science Foundation |
7/15/05 - 6/30/07 |
$43,508 |
| Hatcliff |
Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems |
US Department of Defense |
3/15/06 - 11/30/06 |
$149,024 |
| Hatcliff |
Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems |
Lockheed Martin Corporation |
12/1/05 - 11/30/06 |
$100,000 |
| Hatcliff |
Software Model Checking for Embedded Systems |
Army Research Office |
5/1/01 - 10/31/06 |
$3,009,659 |
| Hsu |
Web Interface for Intelligent Human-Computer Interactive Systems |
Aldentity Matrix, Inc. |
2/16/04 - 6/30/07 |
$100,620 |
| Neilsen |
RET SITE: Collaborative Learning Through Real-Time Embedded System Design |
NSF |
10/2/02 - 9/30/06 |
$461,254 |
| Neilsen |
Software Tools for Hydraulic Structure Design and Analysis - Phase II |
US Department of Agriculture |
4/18/05 - 4/17/10 |
$69,100 |
| Neilsen |
Software Tools for Watershed Dam Design/Analysis |
USDA |
9/15/00 - 9/14/05 |
$351,000 |
| Robby, - |
Research and Developmental Services to Support the Software Technology Initiative (STI) |
Lockheed Martin Corporation |
4/1/06 - 12/30/06 |
$50,000 |
| Schmidt |
ITR: Design Conformant Software |
MIT (NSF) |
9/15/00 - 8/31/06 |
$347,700 |
| Schmidt |
Language-Based Software Security |
NSF |
10/1/03 - 9/30/07 |
$81,000 |
| Singh |
Targeted Excellence: Center for Sensors and Sensor Systems |
Office of the Provost, KSU |
10/15/05-6/30/09 |
$579,500 |
| Singh |
CSR-PDOS: Methodologies for Customization of Distributed Algorithms and Middleware |
National Science Foundation |
7/1/06 - 7/31/09 |
$304,999 |
| Singh/Andresen, DeLoach |
Experimentation Platform for Developing Customized, Large-Scale Sensor Systems |
National Science Foundation |
3/15/06 - 2/28/07 |
$196,970 |
| Wallentine/Hsu |
ITR - (ASE) - (sim + dmc): Parallel Data Mining for Nanoscale Kinetic Monte Carlo Simulation Models |
NSF |
10/1/04 - 9/30/08 |
$754,344 |
| Wallentine |
Targeted Excellence: Bioinformatics |
Office of the Provost, KSU |
7/1/04 - 6/30/09 |
$925,000 |
|
|
|
|
$10,053,509 |
| Principal Investigator
| Title
| Sponsor
| Project Duration
| Project Total
|
| FY 2005
|
| Wallentine
| Targeted Excellence: Bioinformatics
| Office of the Provost, KSU
| 7/1/04 - 6/30/09
| $925,000
|
| Andresen
| ITR: An Infrastructure for Veterinary Telemedicine - Proactive Heard Health Management for Disease Prevention from Farm to Market
| NSF
| 10/01/03 - 09/30/08
| $911,996
|
| Deloach
| Autonomous Reorganization of Cooperative Robotic Teams for Robustness
| NSF
| 4/1/04 - 3/31/09
| $450,000
|
| Hsu
| An Intelligent Tutoring System for Medical Imaging
| Aldentity Matrix, Inc.
| 2/16/04 - 8/15/04
| $50,000
|
| Schmidt
| Language-Based Software Security
| NSF
| 10/1/03 - 9/30/06
| $81,000
|
| Wallentine
| Internship
| Thunderhead Engineering
| 6/21/04 - 6/30/50
| $3,625
|
| Hatcliff
| Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications
| NSF ITR
| 9/15/04 - 8/31/07
| $112,479
|
| Hatcliff/Singh
| High-assurance Infrastructure for Component-based Embedded Systems
| Lockhead-Martin
| 7/1/04 - 12/31/04
| $185,001
|
| Hatcliff/Mizuno/Neilsen/Singh
| Automatic Derivation, Integration, & Verification of Synchronization Aspect in Object-Oriented Design Meth.
| DARPA
| 06/27/00 - 12/31/04
| $2,258,308
|
| Andresen/Neilsen/Singh
| DHARMA: Domain-Specific Metaware for Hydrologic Application
| NSF
| 9/1/00 - 2/28/05
| $520,614
|
| Neilsen
| Software Tools for Watershed Dam Design/Analysis
| USDA
| 9/15/00 - 9/15/05
| $351,000
|
| Schmidt
| ITR/SW: The Open Source Quality Project
| UC-Berkley (NSF)
| 9/15/00 - 8/31/04
| $209,633
|
| Hatcliff
| Software Model Checking for Embedded Systems
| Army Research Office
| 5/1/01 - 1/31/05
| $3,009,659
|
| Schmidt
| ITR: Design Conformant Software
| MIT (NSF)
| 9/15/00 - 8/31/50
| $347,700
|
| Singh
| Coordination Services for Distributed Applications
| NSF
| 7/1/01 - 6/30/05
| $149,871
|
| Andresen
| CAREER: DESPOT: Enhanced Dynamic Process Management for Beowolf Clusters on the Grid
| NSF
| 9/15/01 - 8/31/06
| $222,572
|
| Wallentine
| Virtual Pipeline System Testbed to Optimize the U.S. Natural Gas Transmission Pipeline System
| US DOE
| 10/17/01 - 12/31/04
| $1,091,339
|
| Banerjee
| CAREER: Type Systems and Program Analyses for Secure and Reliable Interactive Web Services
| NSF
| 9/1/01 - 8/31/06
| $324,998
|
| Banerjee
| Collaborative Research: Integrating Pointer Confinement an Access Control for Encapsulation
| NSF
| 9/1/02 - 8/31/05
| $137,464
|
| DeLouch
| Autonomous, Adaptive Information Systems
| AFOSR
| 9/1/02 - 8/31/05
| $177,721
|
| Neilsen
| RET SITE: Collaborative Learning Through Real-Time Embedded System Design
| NSF
| 10/2/02 - 9/30/05
| $461,254
|
| Neilsen/Andresen/Mizuno
| Real-Time Operating System: Tornado/vx Works (non-cash)
| Wind River System Inc.
| 8/14/00 - 8/13/05
| $467,600
|
| Wallentine
| ITR - (ASE) - (sim + dmc): Parallel Data Mining for Nanoscale Kinetic Monte Carlo Simulation Models
| NSF
| 10/1/04 - 9/30/08
| $754,344
|
|
|
|
|
| $13,203,177
|
| Principal Investigator
| Title
| Sponsor
| Project Duration
| Project Total
|
| FY 2004
|
| Andresen
| ITR: Veterinary Telemedicine: Proactive Herd Health Management for Disease Prevention from Farm to Market
| NSF
| 10/1/03 - 9/30/08
| $911,996
|
| Andresen
| CAREER: DESPOT: Enhanced Dynamic Process Management for Beowolf Clusters on the Grid
| NSF
| 09/15/01 - 08/31/06
| $222,570
|
| Andresen
| ITR: Veterinary Telemedicine: Proactive Herd Health Management for Disease Prevention from Farm to Market
| NSF
| 10/01/02 - 09/30/04
| $107,025
|
| Andresen/Neilsen/Singh
| DHARMA: Domain-Specific Metaware for Hydrologic Application
| NSF
| 9/1/01 - 8/31/06
| $324,998
|
| Banerjee
| CAREER: Type Systems and Program Analyses for Secure and Reliable Interactive Web Services
| NSF
| 09/01/01 - 08/31/06
| $324,998
|
| Banerjee
| Collaborative Research: Integrating Pointer Confinement an Access Control for Encapsulation
| NSF
| 09/01/02 - 08/31/05
| $137,464
|
| DeLoach
| Autonomous, Adaptive Information Systems
| AFOSR
| 09/01/02 - 08/31/05
| $177,623
|
| Dwyer/Hatcliff/Mizuno/Neilsen/Singh
| Automatic Derivation, Integration, & Verification of Synchronization Aspect in Object-Oriented Design Meth.
| DARPA
| 06/27/00 - 06/26/04
| $2,258,308
|
| Dwyer/Hatcliff
| Software Model Checking for Embedded Systems
| Army Research Office
| 05/01/01 - 01/31/04
| $3,009,659
|
| Dwyer/Hatcliff
| BOGOR: A Model Checking Framework for Dynamic Software
| NSF
| 06/01/03 - 05/31/05
| $179,999
|
| Hatcliff/Dwyer/Singh
| High-Assurance Infrastructure for Component-Based Embedded Systems
| Lockheed-Martin/PCES
| 05/05/03 - 12/31/03
| $181,314
|
| Hsu
| Algorithms for Discover of Bayesian Network Models of Gene Regulation in Saccharomyces Cerevisiae from Microarray Data
| KS NSF EPSCoR
| 06/10/02 - 08/09/03
| $74,693
|
| Hsu
| An Intelligent Tutoring System for Medical Imaging
| AIdentity Martix, Inc.
| 07/03/03 - 02/15/04
| $50,000
|
| Neilsen/Andresen/Mizuno
| Real-Time Operating System: Tornado/vx Works (non-cash)
| Wind River Systems, Inc.
| 08/14/00-08/13/05
| $467,600
|
| Neilsen
| Software Tools for Watershed Dam Design/Analysis
| USDA
| 09/15/00 - 09/14/05
| $351,000
|
| Neilsen
| RET SITE: Collaborative Learning Through Real-Time Embedded System Design
| NSF
| 10/01/02 - 09/30/05
| $461,254
|
| Schmidt
| ITR: Design Conformant Software
| MIT (NSF)
| 09/01/00 - 08/31/05
| $347,700
|
| Schmidt
| ITR/SW: The Open Source Quality Project
| UC-Berkley (NSF)
| 09/15/00 - 08/31/04
| $209,633
|
| Singh
| Coordination Services for Distributed Applications
| NSF
| 07/01/01 - 06/30/04
| $149,871
|
| Wallentine
| Manko Intership
| Manko Window Systems, Inc.
| 06/02/03 - 12/06/03
| $6,068
|
| Wallentine
| Virtual Pipeline System Testbed to Optimize the U.S. Natural Gas Transmission Pipeline System
| US DOE
| 10/17/01 - 12/31/04
| $1,091,339
|
| Schmidt
| Language-Based Software Security
| NSF
| 10/1/03 - 9/30/06
| $81,000
|
| Schmidt
| ITR: Design Conformant Software
| MIT (NFS)
| 9/15/00 - 8/31/05
| $347,700
|
| Wallentine
| Internship
| Thunderhead Engineering
| 6/21/04 - 6/30/05
| $3,625
|
| DeLoach
| Autonomous Reorganization of Cooperative Robotic Teams for Robustness
| NSF
| 4/1/04 - 3/31/09
| $450,000
|
| Hsu
| An Intelligent Tutoring System for Medical Imaging
| Aldentity Matrix, Inc.
| 2/16/04 - 8/15/04
| $50,000
|
|
|
|
|
| $11,825,452
|
| Principal Investigator
| Title
| Sponsor
| Project Duration
| Project Total
| Available FY 03 Funding
|
| FY 2003
|
| Andresen/Neilsen/Singh
| DHARMA: Domain-Specific Metaware for Hydrologic Applications
| NSF
| 09/01/00 - 02/29/04
| $520,614
| $194,436
|
| Andresen
| CAREER: DESPOT: Enhanced Dynamic Process Management for Beowolf Clusters on the Grid
| NSF
| 09/15/01 - 08/31/06
| $222,570
| $42,514
|
| Andresen
| ITR: Veterinary Telemedicine: Proactive Herd Health Management for Disease Prevention from Farm to Market
| NSF
| 10/01/02 - 09/30/03
| $107,025
| $107,025
|
| Banerjee
| CAREER: Type Systems and Program Analyses for Secure and Reliable Interactive Web Services
| NSF
| 09/01/01 - 08/31/06
| $324,998
| $64,913
|
| Banerjee
| Collaborative Research: Integrating Pointer Confinement an Access Control for Encapsulation
| NSF
| 09/01/02 - 08/31/05
| $137,464
| $34,974
|
| DeLoach
| Autonomous, Adaptive Information Systems
| AFOSR
| 09/01/02 - 08/31/05
| $177,623
| $56,662
|
| Dwyer
| Automated Finite-State Verifiation for Avionics Software
| Honeywell
| 6/15/00 - 11/30/02
| $90,000
| $90,000
|
| Dwyer/Hatcliff/Mizuno/Neilsen/Singh
| Automatic Derivation, Integration, & Verification of Synchronization Aspect in Object-Oriented Design Meth.
| DARPA
| 06/27/00 - 06/26/04
| $1,097,093
| $229,000
|
| Dwyer/Hatcliff
| Software Model Checking for Embedded Systems
| Army Research Office
| 05/01/01 - 11/30/02
| $823,693
| $618,145
|
| Dwyer
| Intel Equipment (non-cash)
| Intel Corp
| 07/10/02 - 07/09/05
| $9,199
| $9,199
|
| Hatcliff
| Assessment of Required Functionality/Proposal Specialization Environment
| Rockwell Collins
| 07/28/01 - 09/30/02
| $25,000
| $25,000
|
| Hsu/Chang (IMSE)
| Distributed Data Mining & Knowledge Discovery System for the Navy Personnel Research
| Univ of Miss (ONR)
| 06/01/00 - 09/30/02
| $178,468
| $178,468
|
| Hsu/Chang (IMSE)
| Production of Sub-Standard Stopping Sight Distance Data Set and Development of Highway Design and Verification and Passing Sight Distance Analysis via GPS Spatial Models
| KDOT
| 07/01/02 - 06/30/03
| $71,975
| $7,198
|
| Hsu
| Algorithms for Discover of Bayesian Network Models of Gene Regulation in Saccharomyces Cerevisiae from Microarray Data
| KS NSF EPSCoR
| 06/10/02 - 08/09/03
| $74,693
| $74,693
|
| Neilsen/Andresen/Mizuno
| Real-Time Operating System:Tornado/vx Works (non-cash)
| Wind River Systems, Inc
| 08/14/00 - 08/13/05
| $467,600
| $467,600
|
| Neilsen/Mizuno/Singh/et al
| Real-Time Embedded Systems Research and Curriculum Development
| NSF
| 09/15/99 - 08/31/02
| $419,096
| $419,096
|
| Neilsen
| Software Tools for Watershed Dam Design/Analysis
| USDA
| 09/15/00 - 09/14/05
| $159,500
| $159,500
|
| Schmidt
| ITR: Design Conformant Software
| MIT (NSF)
| 09/01/00 - 08/31/05
| $347,700
| $76,492
|
| Schmidt
| ITR/SW: The Open Source Quality Project
| UC-Berkley (NSF)
| 09/01/00 - 08/31/03
| $209,633
| $86,417
|
| Singh
| Coordination Services for Distributed Applications
| NSF
| 07/01/01 - 06/30/04
| $149,871
| $149,871
|
| Wallentine
| CIS Internship Program
| Multi-sponsor
| 05/15/99 - 08/17/02
| $124,439
| $68,952
|
| Wallentine
| Manko Intership
| Manko Window Systems, Inc.
| 06/02/03 - 12/06/03
| $5,059
| $5,059
|
| Wallentine
| Virtual Pipeline System Testbed to Optimize the U.S. Natural Gas Transmission Pipeline System
| US DOE
| 10/17/01 - 12/31/04
| $1,091,339
| $53,832
|
|
|
|
|
| $6,834,652
| $3,219,226 |
| Principal Investigator
| Title
| Sponsor
| Project Duration
| Project Total
| Available FY 02 Funding
|
| FY 2002
|
| Andresen / Neilsen / Singh
| DHARMA: Domain-Specific Metaware for Hydrologic Applications
| NSF
| 09/01/00 - 08/31/03
| $498,614
| $314,178
|
| Andresen
| Software Architectures for Autonomous Communications
| NASA
| 04/02/01-02/28/2002
| $30,571
| $30,571
|
| Andresen
| DESPOT: Enhanced Dynamic Process Management for Beowolf Clusters on the Grid
| NSF
| 09/15/01-08/31/06
| $222,570
| $52,514
|
| Banerjee
| CAREER: Type Systems and Program Analyses for Secure and Reliable Interactive Web Services
| NSF
| 09/01/01 - 08/31/06
| $324,998
| $61,060
|
| Dwyer
| Experimental Study of Static Analysis Techniques for Concurrent
Software
| Univ of Mass
| 09/01/98 - 08/31/01
| $72,453
| $24,151
|
| Dwyer
| Automated Finite-State Verification for Avionics Software
| Honeywell
| 6/15/00 - 11/30/02
| $90,000
| $90,000
|
| Dwyer / Hatcliff / Mizuno / Neilsen / Singh
| Automatic Derivation, Integration, & Verification of
Synchronization Aspect in Object-Oriented Design Meth.
| DARPA
| 06/27/00 - 06/26/04
| $1,097,093
| $229,000
|
| Dwyer / Hatcliff
| Software Model Checking for Embedded Systems
| Army Research Office
| 05/01/01 - 11/30/02
| $823,693
| $618,145
|
| Gustafson
| Parallelizations of Accelerator Simulations
| Fermi National Lab
| 01/01/01 - 12/31/01
| $66,735
| $66,735
|
| Hatcliff
| Partial Evaluation Tool Set for Automatically Customizing Adaptable
Software
| NSF
| 08/01/98 - 06/30/02
| $130,700
| $50,000
|
| Hatcliff / Dwyer / Schmidt
| A Model Construction Tool Suite for Finite-State Verification of Java
| NSF
| 09/01/99 - 08/31/01
| $65,982
| $42,749
|
| Hatcliff
| Assessment of Required Functionality/Proposal Specialization
Environment
| Rockwell Collins
| 07/28/01 - 12/31/01
| $25,000
| $25,000
|
| Hsu
| Synthesis, Reduction & Integration of T&E Data for Monitoring Applications
| Raytheon (Army)
| 08/20/99 - 08/09/01
| $219,875
| $80,000
|
| Hsu / Chang (BAE)
| Distributed Data Mining & Knowledge Discovery System for the Navy
Personnel Research
| Univ of Miss (ONR)
| 06/01/00 - 09/30/02
| $178,468
| $178,468
|
| Hsu/Chang
| Real-Time Temporal Probabilistic Inference using Bayesian Networks
| US Dept. of Defense
| 05/13/01-06/30/02
| $60,355
| $18,959 |
| Hsu
| GPS Data Integration and Development of Three-Dimensional Spatial
Model of the Kansas Highway Network
| KDOT
| 08/05/01-02/04/02
| $8,329
| $8,329 |
| Neilsen / Andresen / Mizuno
| Real-Time Operating System: Tornado/vx Works (non-cash)
| Wind River Systems, Inc
| 08/14/00-08/13/05
| $467,600
| $467,600 |
| Neilsen / Mizuno / Singh/ et al
| Real-Time Embedded Systems Research and Curriculum Development
| NSF
| 09/15/99 - 08/31/02
| $419,096
| $419,096
|
| Neilsen
| Software Tools for Watershed Dam Design/Analysis
| USDA
| 09/15/00 - 09/14/05
| $115,000
| $115,000
|
| Neilsen
| Real-Time CAN Systems (non-cash)
| Kvaser
| 04/30/02 -
| $65,150
| $65,150
|
| Schmidt /Dwyer / Hatcliff
| US-Germany Cooperative Research : Integrating platforms for
Finite-State Verification
| NSF
| 04/01/00 - 03/31/02
| $15,467
| $15,467
|
| Schmidt
| ITR:Design Conformant Software
| MIT(NSF)
| 01/01/00 - 08/31/05
| $347,700
| $55,712
|
| Schmidt
| ITR / SW : The Open Source Quality Project
| UC - Berkeley (NSF)
| 09/01/00 - 08/31/03
| $209,633
| $86,417
|
| Singh
| Coordination Services for Distributed Applications
| NSF
| 07/01/01 - 06/30/04
| $149,871
| $41,031
|
| Wallentine
| CIS - Internship Program
| Multi-Sponsor
| 05/15/99 - 06/30/02
| $124,439
| $68,952
|
| Wallentine
| Virtual Pipeline System Testebed to Optimize the U.S. Natural Gas Transmission Pipeline System
| US-DOE
| 10/17/01 - 12/31/04
| $1,091,339
| $33,000
|
|
|
|
|
| $6,920,731
| $3,259,284 |
| Principal Investigator
| Title
| Sponsor
| Project Duration
| Project Total
| Available FY 01 Funding
|
| FY 2001
|
Andresen / Neilsen / Singh
| DHARMA: Domain-Specific Metaware for Hydrologic Applications
| NSF
| 09/01/00 - 08/31/03
| $498,614
| 161,224
|
| Dwyer
| Experimental Study of Static Analysis Techniques for Concurrent
Software
| Univ of Mass
| 09/01/98 - 08/31/01
| $72,453
| $24,151
|
| Dwyer
| Automated Finite-State Verification for Avionics Software
| Honeywell
| 6/15/00 - 11/30/02
| $90,000
| $90,000
|
| Dwyer / Hatcliff / Mizuno / Neilsen / Singh
| Automatic Derivation, Integration, & Verification of
Synchronization Aspect in Object-Oriented Design Meth.
| DARPA
| 06/27/00 - 06/26/04
| $1,097,093
| $50,000
|
| Dwyer
| Engineering High-Quality Concurrent Software
| NSF
| 05/01/97 - 05/31/01
| $225,502
| $80,447
|
| Dwyer / Hatcliff
| Software Model Checking for Embedded Systems
| Army Research Office
| 05/01/01 - 11/30/01
| $205,548
| $205,548 |
| Gustafson
| Robot Lab Expansion Project
| Rockwell Collins
| 10/15/99 - 06/01/01
| $19,000
| $19,000
|
| Gustafson
| Parallelizations of Accelerator Simulations
| Fermi National Lab
| 01/01/01 - 12/31/01
| $66,735
| $66,735
|
| Hatcliff
| Partial Evaluation Tool Set for Automatically Customizing Adaptable
Software
| NSF
| 08/01/98 - 09/30/01
| $130,700
| $50,000
|
| Hatcliff / Dwyer / Schmidt
| A Model Construction Tool Suite for Finite-State Verification of Java
| NSF
| 09/01/99 - 08/31/01
| $65,982
| $42,749
|
| Hsu
| Synthesis, Reduction & Integration of T&E Data for Monitoring
Applications
| Raytheon (Army)
| 08/20/99 - 08/09/01
| $219,875
| $127,500
|
| Hsu / Chang (BAE)
| Distributed Data Mining & Knowledge Discovery System for the Navy
Personnel Research
| Univ of Miss (ONR)
| 06/01/00 - 09/30/01
| $114,957
| $114,957
|
| Hsu/Chang
| Real-Time Temporal Probabilistic Inference using Bayesian Networks
| US Dept. of Defense
| 05/13/01 - 06/30/02
| $22,148
| $22,148 |
| Neilsen / Andresen / Mizuno
| Real-Time Operating System: Tornado/vx Works (non-cash)
| Wind River Systems, Inc
| 08/14/00 - 08/13/05
| $467,600
| $467,600 |
| Neilsen / Mizuno / Singh/ et al
| Real-Time Embedded Systems Research and Curriculum Development
| NSF
| 09/15/99 - 08/31/02
| $399,096
| $399,096
|
| Neilsen
| Integrated Development System for Water Resource Site Analysis
| USDA
| 08/14/96 - 12/31/00
| $178,900
| $20,000
|
| Schmidt
| Static Analysis Based on Model Checking
| NSF
| 09/01/99 - 08/31/01
| $105,000
| $105,000
|
| Schmidt /Dwyer
| Model Construction for Finite-State Verification : Application of
Abstract Interpretation and Partial Evaluation Techniques
| NASA
| 04/01/98 - 03/31/01
| $423,758
| $230,694
|
| Schmidt /Dwyer / Hatcliff
| US-Germany Cooperative Research : Integrating platforms for
Finite-State Verification
| NSF
| 04/01/00 - 03/31/02
| $15,467
| $15,467
|
| Schmidt
| ITR:Design Conformant Software
| MIT(NSF)
| 01/01/00 - 08/31/05
| $347,700
| $55,614
|
| Schmidt
| ITR / SW : The Open Source Quality Project
| UC - Berkeley (NSF)
| 09/01/00 - 08/31/03
| $209,633
| $54,352
|
| Schmidt
| SAT - A Scalable Analysis Toolkit
| UC - Berkeley (DARPA)
| 09/01/00 - 08/31/03
| $114,000
| $35,000
|
| Wallentine
| CIS - Internship Program
| Multi-Sponsor
| 07/01/00 - 12/31/00
| $23,765
| $10,933
|
| Wallentine
| CIS - Internship Program
| Multi-Sponsor
| 08/22/99 - 12/31/00
| $44,560
| $13,937
|
| Wallentine
| AT&T Summer On Campus
| AT&T
| 05/15/01 - 08/31/01
| $3,589
| $3,589
|
|
|
|
|
| $5,161,675
| $2,465,741 |
| Principal Investigator
| Title
| Sponsor
| Amount
|
| FY 2000
|
| Dwyer
| Experimental Study of Static Analysis Techniques for Concurrent
Software
| NSF
| $24,151
|
| Dwyer
| Toward Model Checking Java Programs (Equipment Donation)
| Sun Microsystems
| $27,375
|
| Dwyer
| Engineering High-Quality Concurrent Software
| NSF
| $55,447
|
| Gustafson
| Robot Lab Expansion Project
| Rockwell Collins
| $19,000
|
| Hatcliff/Dwyer/Schmidt
| A Model Construction Tool Suite for Finite-State Verification of Java
| NSF
| $65,982
|
| Hatcliff
| Partial Evaluation Tool Set for Automatically Customizing Adaptable
Software
| NSF
| $50,000
|
| Hatcliff
| Partial Evaluation Tool Set for Automatically Customizing Adaptable
Software
| Lucent
| $2,500
|
| Hsu
| Synthesis, Reduction & Integration of T&E Data for Monitoring
Applications
| Univ. of Illinois
| $92,375
|
| Neilsen / Mizuno / Singh et al
| Real-Time Embedded Systems Research and Curriculum Development
| NSF
| $203,539
|
| Neilsen
| Integrated Development System for Water Resource Site Analysis
| USDA
| $20,000
|
| Schmidt
| Static Analysis Based on Model Checking
| NSF
| $105,000
|
| Schmidt / Dwyer / Hatcliff
| US-Germany Cooperative Research : Integrating Platforms for
Finite-State Verification
| NSF
| $15,467
|
| Wallentine / Andresen / Hsu
| Data & Knowledge Management, Mining & Warehousing :
Integration of Research & Curricular Process (Equipment Donation)
| Wal-Mart/ NCR
| $1,666,666
|
| Wallentine
| CIS Internship Program
| Multi-Sponsor
| $44,455
|
| Wallentine
| AT&T Summer On Campus
| AT&T Technologies
| $6,660
|
| Wallentine
| Lucent Summer On Campus
| Lucent Technologies
| $19,980
|
|
|
|
| $2,418,597 |
| Principal Investigator
| Title
| Sponsor
| Amount
|
| FY 1999
|
| Zamfir-Bleyberg
| Data Mining Techniques on the Host and Controller Problem Databases
PRM and S3
| LSI Logic, Inc.
| $10,000
|
| Wallentine
| Emerging Knowledge Management Technologies : Knowledge Warehousing
Concepts and their Impact on KDOT's Information Technology Architecture
| KDOT
| $35,000
|
| Andresen
| Investigation into High Performance Data Mining
| Mesa Technology
| $13,487
|
| Wallentine
| CIS Internship Program
| Multisponsor
| $500
|
| Wallentine
| AT & T Summer on Campus
| AT&T
| $26,588
|
| Neilsen
| Integrated Development System for Water Resource Site Analysis
| USDA
| $40,000
|
| Dwyer
| Engineering High-Quality Concurrent Software
| NSF
| $54,649
|
| Dwyer
| Experimental Study of Static Analysis Techniques for Concurrent
Software
| NSF
| $24,151
|
| Wallentine
| Lucent Technologies Summer On Campus
| Lucent Technologies
| $80,339
|
| Wallentine
| IBES Internship Program
| IBES, Inc.
| $25,966
|
| Schmidt / Dwyer
| Model Construction for Finite-State Verification : Application of
abstract Interpretation and Partial Evaluation Techniques
| NASA
| $250,000
|
| Hatcliff
| Partial Evaluation Tool Set for Automatically Customizing
| NSF
| $80,700
|
|
| Engineering Learning Center: Model for Systemic Engineering Education
Reform
| NSF
| $80,000
|
|
|
|
| $721,380 |
| Principal Investigator
| Title
| Sponsor
| Amount
|
| FY 1998
|
| Neilsen
| Integrated Development System for Water Resource Site Analysis
| USDA
| $67,000
|
| Schmidt / Dwyer
| Model construction for Finite-State Verification : Application of
Abstract Interpreation and Partial Evaluation Techniques
| DARPA
| $193,064
|
| Wallentine
| AT&T Summer On Campus
| AT&T
| $42,935
|
| Wallentine
| Lucent Technologies Summer On Campus
| Lucent Technologies
| $121,509
|
| Wallentine
| Open Database Connectivity
| HTX, Inc.
| $7,658
|
| Wallentine
| IBES Internship Program
| IBES, Inc
| $13,530
|
| Rahman (Physics) Dwyer
| Acquision of Upgraded High Performance Multi-processors for
Computation Research in Science and Engineering
| NSF
| $0
|
|
|
|
| $445,696 |
| Principal Investigator
| Title
| Sponsor
| Amount
|
| FY 1997
|
| Dwyer
| Engineering High-Quality Concurrent Software
| NSF
| $90,406
|
| Dwyer / Gustafson
| Emphasizing Software Quality in Undergraduate Programming Laboratories
| NSF
| $11,101
|
| Neilsen
| Real-Time Interface for GPS Receivers
| Trimble Navigation
| $25,000
|
| Neilsen
| User Interface Software for Water Resource Site Analysis
| USDA
| $51,900
|
| Schmidt / Dwyer / Stoughton / Howard
| Logical Support for High-Assurance Software Evolution
| NSF
| $200,000
|
| Singh / Dwyer / Mizuno / Neilsen / Wallentine
| CISE Research Instrumentation : Multiprocessor Computing Facilities
| NSF
| $25,000
|
| Wallentine
| AT&T Summer On Campus
| AT&T
| $74,769
|
| Wallentine
| Lucent Technologies Summer On Campus
| Lucent Technologies
| $214,657
|
|
|
|
| $692,833 |
| Principal Investigator
| Title
| Sponsor
| Amount
|
| FY 1996
|
| Ravindran
| Data Multicasting in High-Speed Multiservice Networks
| US Air Force
| $47, 136
|
| Ravindran
| Operating System Structure and Paradigms for Multimedia Conferencing
Applications
| US Army
| $77,295
|
| Schmidt / Stoughton
| Type Theories in ML
| US Navy
| $68,076
|
| Wallentine
| AT&T Summer On Campus
| AT&T
| $327,184
|
|
|
|
| $519,691 |
|
|
Department of Computing and Information Sciences - Kansas State University
Address: 234 Nichols Hall, Manhattan, KS 66506
Phone: (785)532-6350; Fax: (785)532-7353; Mailto: webmaster@cis.ksu.edu
|
|