Concepedia

V. Hartonas-Garmhausen

VH

4

Publications

73

Citations

4

H-Index

2000

Active since

Affiliations

Carnegie Mellon University(Current)

Istituto Centrale per la Ricerca Scientifica e Tecnologica Applicata al Mare

Universidade Federal de Minas Gerais

University of Trento

V. Hartonas-Garmhausen is an author at Carnegie Mellon University specializing in computer engineering, verification, and automation.

Top concepts

AutomationEngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringProcess ControlSafety Engineering

Publications per year

2000–2002

4

Publications

4

Verification of a safety-critical railway interlocking system with real-time constraints

V. Hartonas-Garmhausen, Sérgio Campos, Alessandro Cimatti et al. · Science of Computer Programming · 2000 · 32 citations

Safety Engineering, Railway Traffic, Safety-critical System +13

Automatic verification of industrial designs

V. Hartonas-Garmhausen, Thomas R. Kurfess, E. M. Clarke et al. · 2002 · 15 citations

Engineering, Industrial Engineering, Verification +28

Verification of a safety-critical railway interlocking system with real-time constraints

V. Hartonas-Garmhausen, S. Campos, Alessandro Cimatti et al. · 2002 · 14 citations

Deadlock prevention in flexible manufacturing systems using symbolic model checking

V. Hartonas-Garmhausen, E. M. Clarke, Sérgio Campos · 2002 · 12 citations

Engineering, Industrial Engineering, Verification +22

Rows per page

1–4 of 4