Silhouette
Upgrade to view details

Dr. Miroslav N. Velev

Aries Design Automation, LLC

Message

Employers

Affiliated Awards

Award Title Agency Phase Award amount Start Date End Date
Scalable Parallel Algorithms for Formal Verification of Software
Aries Design Automation, LLC
Principal Investigator
NASA 1 $125K 01/01/13 12/31/13
Formal Verification of Interactions of the RTOS, Memory System, and Application Programs at the ...
Aries Design Automation, LLC
Principal Investigator
NASA 1 $125K 01/01/13 12/31/13
Scalable Parallel Algorithms for Formal Verification of Software
Aries Design Automation, LLC
Principal Investigator
NASA 1 $125K 01/01/12 12/31/12
Reconfigurable VLIW Processor for Software Defined Radio
Aries Design Automation, LLC
Principal Investigator
NASA 2 $600K 01/01/11 12/31/11
Reconfigurable VLIW Processor for Software Defined Radio
Aries Design Automation, LLC
Principal Investigator
NASA 1 $100K 01/01/10 12/31/10
An Efficient Parallel SAT Solver Exploiting Multi-Core Environments
Aries Design Automation, LLC
Principal Investigator
NASA 2 $600K 01/01/10 12/31/10
SBIR Phase I: Automatic Formal Verification of Chip-Multi-Threaded Multicore Processors
Aries Design Automation, LLC
Principal Investigator
NSF 1 $150K 01/01/10 12/31/10
Exploiting GPUs for Scalable Network Intrusion Detection
Aries Design Automation, LLC
Principal Investigator
DoE 1 $100K 01/01/10 12/31/10
Efficient Techniques for Formal Verification of PowerPC 750 Executables
Aries Design Automation, LLC
Principal Investigator
NASA 2 $600K 01/01/09 12/31/09
An Efficient Parallel SAT Solver Exploiting Multi-Core Environments
Aries Design Automation, LLC
Principal Investigator
NASA 1 $100K 01/01/09 12/31/09
Insider Threat Detection and Response Using Formal Methods
Aries Design Automation, LLC
Principal Investigator
DoE 1 $100K 01/01/09 12/31/09
Formal Methods for Robustness Checking of Radiation-Hardened-by-Design Microelectronics
Aries Design Automation, LLC
Principal Investigator
DoE 1 $100K 01/01/09 12/31/09
Efficient Techniques for Formal Verification of PowerPC 750 Executables
Aries Design Automation, LLC
Principal Investigator
NASA 1 $100K 01/01/08 12/31/08
Formal-Verification-Based Tool for Deobfuscation of Tamper-Proofed Software
Aries Design Automation, LLC
Principal Investigator
OSD 1 $100K 07/27/06 01/27/07
Formal Methods for Malware Detection
Aries Design Automation, LLC
Principal Investigator
OSD 1 $100K 04/28/06 04/28/07
SBIR Phase I: Techniques for Analysis of Counterexamples from Formal Verification of High-Level ...
Aries Design Automation, LLC
Principal Investigator
NSF 1 $100K 01/01/06 12/31/06