Computer Science – Software Engineering
Scientist
Computer Science
Software Engineering
Scientist
NASA Ames Research Center, Moffett Field CA 94035; Research Institute for Advanced Computer Science
RIACS / NASA Ames Research Center
Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond
Bounded Model Checking of Multi-threaded Software using SMT solvers
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
Discovering Planetary Nebula Geometries: Explorations with a Hierarchy of Models
Industrial-Strength Formally Certified SAT Solving
No associations
LandOfFree
Bernd Fischer does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Bernd Fischer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bernd Fischer will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-148656