Concepedia

Alan R. Flora-Holmquist

AR

2

Publications

27

Citations

2

H-Index

2002

Active since

Affiliations

Alcatel Lucent (Germany)(Current)

Alan R. Flora-Holmquist is an author at Alcatel Lucent (Germany) specializing in formal methods, computer engineering, and system software.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering

Publications per year

2002–2002

2

Publications

2

Formal validation of virtual finite state machines

Alan R. Flora-Holmquist, M.G. Staskauskas · 2002 · 15 citations

Engineering, Verification, Computer-aided Verification +21

The virtual finite-state machine design and implementation paradigm

Alan R. Flora-Holmquist, E. K. Morton, James D. O'Grady et al. · Bell Labs Technical Journal · 2002 · 12 citations

Software Maintenance, Engineering, Computer Architecture +21

Rows per page

1–2 of 2