Thomas Kropf

Thomas Kropf

Universität Tubingen - Tübingen / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1787793
Eberhard Karls University of Tübingen
person_outline Thomas Kropf's MOST POPULAR ARTICLES
1-) Introduction to formal hardware verificationT KropfSpringer Science & Business Media, 19994211999
2-) The simulation semantics of SystemCW Mueller, J Ruf, D Hoffmann, J Gerlach, T Kropf, W RosenstiehlProceedings Design, Automation and Test in Europe. Conference and Exhibition …, 20011512001
3-) Simulation-guided property checking based on multi-valued AR-automataJ Ruf, DW Hoffmann, T Kropf, W RosenstielProceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001962001
4-) Integrating a First-Order Automatic Prover in the HOL Environment.R Kumar, T Kropf, K SchneiderTPHOLs, 170-176, 1991681991
5-) Linking functional requirements and software verificationH Post, C Sinz, F Merz, T Gorges, T Kropf2009 17th IEEE International Requirements Engineering Conference, 295-302, 2009672009