dblp.uni-trier.dewww.uni-trier.de

Thomas Kropf Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
62EEDjones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer: Semiformal verification of temporal properties in automotive hardware dependent software. DATE 2009: 1214-1217
2008
61EEDjones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer: Verification of Temporal Properties in Automotive Embedded Software. DATE 2008: 164-169
60EEAlexander Jesser, Stefan Laemmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel: Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Transactions 91-A(12): 3548-3555 (2008)
2007
59EEThomas Kropf: Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? CAV 2007: 3
58EEPradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Grid Based Fast Falsification For Bounded Property Checking. FDL 2007: 299-304
57EEDjones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Coverage Driven Verification applied to Embedded Software. ISVLSI 2007: 159-164
2006
56EEPrakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel: Fast falsification based on symbolic bounded property checking. DAC 2006: 1077-1082
55EEPradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Distributed Symbolic Bounded Property Checking. Electr. Notes Theor. Comput. Sci. 135(2): 47-63 (2006)
2005
54EERoland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Efficient and Customizable Integration of Temporal Properties. FDL 2005: 385-397
2004
53EEJürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel: Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report 2004: 541-566
2003
52EEJürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel: Using Symbolic Simulation for Bounded Property Checking. FDL 2003: 374-385
51EEJürgen Ruf, Thomas Kropf: Symbolic Verification and Analysis of Discrete Timed Systems. Formal Methods in System Design 23(1): 67-108 (2003)
2002
50EEJürgen Ruf, Thomas Kropf: Formal Data Analysis of Timed Finite State Systems. ECRTS 2002: 257-
49EEJürgen Ruf, Thomas Kropf, Jochen Klose: A Visual Approach to Validating System Level Designs. ISSS 2002: 186-191
2001
48EEJürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller: The simulation semantics of systemC. DATE 2001: 64-70
47EEJürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel: Simulation-guided property checking based on a multi-valued AR-automata. DATE 2001: 742-748
2000
46EEJürgen Ruf, Thomas Kropf: Analyzing Real-Time Systems. DATE 2000: 243-
45EEDirk W. Hoffmann, Thomas Kropf: Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. DATE 2000: 758
44EEDirk W. Hoffmann, Thomas Kropf: Can Automatic Design Error Correction be Applied to Large Circuits? EUROMICRO 2000: 1114-1121
43EEDirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Simulation Meets Verification: Checking Temporal Properties in SystemC. EUROMICRO 2000: 1435-
42EEDirk W. Hoffmann, Thomas Kropf: Efficient Design Error Correction of Digital Circuits. ICCD 2000: 465-472
1999
41 Laurence Pierre, Thomas Kropf: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings Springer 1999
40EEDirk W. Hoffmann, Thomas Kropf: Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction. CHARME 1999: 157-171
39EEJürgen Ruf, Thomas Kropf: Modleing and Checking Networks of Communicating Real-Time Process. CHARME 1999: 265-279
38EEMichaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis: Verifying Imprecisely Working Arithmetic Circuits. DATE 1999: 65-
37EEDirk W. Hoffmann, Thomas Kropf: Automatic Error Correction of Tri-State Circuits. ICCD 1999: 51-
36EEThomas Kropf: Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage. TPHOLs 1999: 1-4
1998
35EERalf Reetz, Klaus Schneider, Thomas Kropf: Formal Specification in VHDL for Hardware Verification. DATE 1998: 257-
34EEJürgen Ruf, Thomas Kropf: Using MTBDDs for Compostion and Model Checking of Real-Time Systems. FMCAD 1998: 185-202
1997
33 Thomas Kropf: Formal Hardware Verification - Methods and Systems in Comparison Springer 1997
32 Jürgen Ruf, Thomas Kropf: Symbolic model checking for a discrete clocked temporal logic with intervals. CHARME 1997: 146-163
31EEThomas Kropf, Jürgen Ruf: Using MTBDDs for discrete timed symbolic model checking. ED&TC 1997: 182-187
30 Klaus Schneider, Thomas Kropf: The C@S System. Formal Hardware Verification 1997: 248-329
29 Thomas Kropf: Appendix: The Common Book Examples. Formal Hardware Verification 1997: 330-367
28 Jürgen Ruf, Thomas Kropf: A New Algorithm for Discrete Timed Symbolic Model Checking. HART 1997: 18-32
1996
27 Klaus Schneider, Thomas Kropf: A Unified Approach for Combining Different Formalisms for Hardware Verification. FMCAD 1996: 202-217
1995
26EERamayya Kumar, Thomas Kropf, Klaus Schneider: Formal synthesis of circuits with a simple handshake protocol. VLSI Design 1995: 255-259
25 Ralf Reetz, Thomas Kropf: A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. Formal Methods in System Design 7(1/2): 73-99 (1995)
24EEOliver F. Haberl, Thomas Kropf: HIST: A hierarchical self test methodology for chips, boards, and systems. J. Electronic Testing 6(1): 85-106 (1995)
1994
23 Ramayya Kumar, Thomas Kropf: Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings Springer 1994
22 Oliver F. Haberl, Thomas Kropf: Self Testable Boards with Standard IEEE 1149.5 Module Test and Maintenance (MTM) Bus Interface. EDAC-ETC-EUROASIC 1994: 220-225
21 Jürgen Frößl, Thomas Kropf: A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation. EDAC-ETC-EUROASIC 1994: 343-348
20 Klaus Schneider, Thomas Kropf, Ramayya Kumar: Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path. EDAC-ETC-EUROASIC 1994: 648-652
19 Thomas Kropf: Benchmark-Circuits for Hardware-Verification. TPCD 1994: 1-12
18 Thomas Kropf, Klaus Schneider, Ramayya Kumar: A Formal Framework for High Level Synthesis. TPCD 1994: 223-238
17EERalf Reetz, Thomas Kropf: Simplifying Deep Embedding: A Formalised Code Generator. TPHOLs 1994: 378-390
16EEKlaus Schneider, Ramayya Kumar, Thomas Kropf: Automating Verification by Functional Abstraction at the System Level. TPHOLs 1994: 391-406
15 Klaus Schneider, Ramayya Kumar, Thomas Kropf: Accelerating Tableaux Proofs Using Compact Representations. Formal Methods in System Design 5(1/2): 145-176 (1994)
1993
14 Thomas Kropf, Ramayya Kumar, Klaus Schneider: Embedding Hardware Verification Within a Commercial Design Framework. CHARME 1993: 242-257
13 Klaus Schneider, Ramayya Kumar, Thomas Kropf: Hardware-Verification using First Order BDDs. CHDL 1993: 45-62
12EEKlaus Schneider, Ramayya Kumar, Thomas Kropf: Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. HUG 1993: 213-226
11EEKlaus Schneider, Ramayya Kumar, Thomas Kropf: Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification. HUG 1993: 385-398
10 Ramayya Kumar, Klaus Schneider, Thomas Kropf: Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment. Formal Methods in System Design 2(2): 165-223 (1993)
1992
9EEKlaus Schneider, Ramayya Kumar, Thomas Kropf: The FAUST - Prover. CADE 1992: 766-770
8 Oliver F. Haberl, Thomas Kropf: HIST: A Methodology for the Automatic Insertion of a Hierarchical Self Test. ITC 1992: 732-741
7 Klaus Schneider, Ramayya Kumar, Thomas Kropf: Modelling Generic Hardware Structures by Abstract Datatypes. TPHOLs 1992: 165-175
6 Klaus Schneider, Ramayya Kumar, Thomas Kropf: Efficient Representation and Computation of Tableau Proofs. TPHOLs 1992: 39-57
1991
5EEKlaus Schneider, Ramayya Kumar, Thomas Kropf: Automating Most Parts of Hardware Proofs in HOL. CAV 1991: 365-375
4 Thomas Kropf, Hans-Joachim Wunderlich: A Common Approach to Test Generation and Hardware Verification Based on Temporal Logic. ITC 1991: 57-66
3 Ramayya Kumar, Thomas Kropf, Klaus Schneider: Integrating a First-Order Automatic Prover in the HOL Environment. TPHOLs 1991: 170-176
2 Ramayya Kumar, Thomas Kropf, Klaus Schneider: First Steps Towards Automating Hardware Proofs in HOL. TPHOLs 1991: 190-193
1 Klaus Schneider, Ramayya Kumar, Thomas Kropf: Structurein Hardware Proofs: Fist Steps Towards Automation in a Higher-Order Environment. VLSI 1991: 81-90

Coauthor Index

1Jörg Behrend [58] [62]
2Axel G. Braun [57]
3Wolfgang Fengler [60]
4Jürgen Frößl [21]
5Joachim Gerlach [48] [57] [62]
6Oliver F. Haberl [8] [22] [24]
7Lars Hedrich [60]
8Dirk W. Hoffmann [37] [40] [42] [43] [44] [45] [47] [48]
9Michaela Huhn [38]
10Alexander Jesser [60]
11Tobias Kirsten [61]
12Jochen Klose [49]
13Ramayya Kumar [1] [2] [3] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [18] [20] [23] [26]
14Stefan Laemmermann [60]
15Djones Lettnin [57] [61] [62]
16George Logothetis [38]
17Wolfgang Müller [48]
18Pradeep Kumar Nalla [55] [56] [58] [61] [62]
19Alexander Pacholik [60]
20Prakash Mohan Peranandam [52] [55] [56] [58]
21Laurence Pierre (Laurence V. Pierre) [41]
22Ralf Reetz [17] [25] [35]
23Stephan Reitemeyer [61] [62]
24Wolfgang Rosenstiel [43] [47] [48] [52] [53] [54] [55] [56] [57] [58] [60] [61] [62]
25Jürgen Ruf [28] [31] [32] [34] [39] [43] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [60] [61] [62]
26Klaus Schneider [1] [2] [3] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [18] [20] [26] [27] [30] [35] [38]
27Volker Schönknecht [61] [62]
28Roland J. Weiss (Roland Weiss) [53] [54] [55] [56] [60]
29Markus Winterholer [57]
30Hans-Joachim Wunderlich [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)