S. Ranville - Concepedia

Author

S. Ranville

Also Known As

S. Ranville, Scott Ranville

Publications

105

Citations

H-Index

Concepts

All Affiliations

S. Ranville is an author at Ford Motor Company (United States) specializing in engineering, formal verification, and computer engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	83
2	Computer Engineering	4	4	48
3	Computer Science	4	4	72
4	Systems Engineering	4	4	68
5	Industrial Engineering	1	1	11

S. Ranville

Publications

Citations

H-Index

Page 1

	Year	Citations
Automated validation of software models Steve Sims, Rance Cleaveland, Kenneth Butts, Software MaintenanceEngineeringVerificationComputer-aided VerificationSoftware Engineering	2005	35
Winnowing tests: Getting quality coverage from a model checker without quantity Paul E. Black, S. Ranville EngineeringVerificationTest CoverageTest Data GenerationModel Verification	2002	15
Practical validation of model based code generation for automotive applications S. Toeppe, S. Ranville, D. Bostic, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Practical ValidationEngineeringVerificationSoftware EngineeringSystem-level Design	2003	12
Automatic code generation requirements for production automotive powertrain applications S. Toeppe, D. Bostic, S. Ranville, Automotive EngineeringAutomated Software EngineeringEngineeringIndustrial EngineeringProgram Analysis	2003	11
Specification and testing of automotive powertrain control system software using CACSD tools S. Toeppe, S. Ranville, Kenneth Butts Automotive EngineeringEngineeringSoftware EngineeringSystem-level DesignPowertrain Simulation	2002	10
Practical Application of Model-Based Software Design for Automotive S. Ranville SAE technical papers on CD-ROM/SAE technical paper series	2002	10

Page 1