Concepedia

Ted Ralston

TR

7

Publications

344

Citations

7

H-Index

1993

Active since

Affiliations

University of Houston - Clear Lake(Current)

Ted Ralston is an author at University of Houston - Clear Lake specializing in systems engineering, engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringFormal MethodsFormal VerificationComputer EngineeringComputer ScienceFormal SpecificationSoftware EngineeringDesignSystem Software

Publications per year

1993–2002

7

Publications

7

Experience with formal methods in critical systems

S. Gerhart, Dan Craigen, Ted Ralston · IEEE Software · 1994 · 123 citations

Engineering, Information Security, Verification +20

Formal methods reality check: industrial usage

Dan Craigen, S. Gerhart, Ted Ralston · IEEE Transactions on Software Engineering · 1995 · 93 citations

Engineering, Industrial Engineering, Verification +25

Observations on industrial practice using formal methods

Susan L. Gerhart, Dan Craigen, Ted Ralston · 1993 · 31 citations

Software Maintenance, Engineering, Software Engineering +23

Performance, Economic, and Operational Drivers of Reusable Launch Vehicles

Kevin Bowcutt, Mark Gonda, Ted Ralston et al. · 2002 · 31 citations

Space Vehicle, Space Transportation, Engineering +6

Case study: Darlington nuclear generating station [software-driven shutdown systems]

Dan Craigen, S. Gerhart, Ted Ralston · IEEE Software · 1994 · 26 citations

Engineering, Reactor Design, Reactor Physics +17

Rows per page

1–5 of 7