Thomas Kropf - RankMe

113 papers A* 3A 15B 6C 8Misc 4Journal 14Unranked 58

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	Simulation and Detection of Bus-Off Attacks in CAN. IV Jo Laufenberg, Heiner Graser, Thomas Kropf, Oliver Bringmann
2023	C	`conf`	Attack Simulation and Adaptation in CAN for Training and Evaluation of IDS. IV Jo Laufenberg, Susanne Throner, Thomas Kropf, Oliver Bringmann
2023	—	`conf`	CAN Simulation Framework - From Classic CAN to CAN XL. ITSC Jo Laufenberg, Thomas Kropf, Oliver Bringmann
2022	—	`conf`	A Framework for CAN Communication and Attack Simulation. VTC Spring Jo Laufenberg, Thomas Kropf, Oliver Bringmann
2020	B	`conf`	Automated Graph-Based Fault Injection Into Virtual Prototypes for Robustness Evaluation. ETS Jo Laufenberg, Thomas Kropf, Oliver Bringmann
2017	J	`jnl`	Modeling and Managing Context-Aware Systems' Variability. IEEE Softw. Kim Mens, Rafael Capilla, Herman Hartmann, Thomas Kropf
2017	C	`conf`	Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. ICTSS Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2016	A	`conf`	Combining graph-based guidance with error effect simulation for efficient safety analysis. DATE Jo Laufenberg, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Thomas Kropf, Wolfgang Rosenstiel
2015	J	`jnl`	Bridging the gap between test cases and requirements by abstract testing. Innov. Syst. Softw. Eng. Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
2015	—	`conf`	Efficient Fault Localization During Replay of Embedded Software. EUROMICRO-SEAA Hanno Eichelberger, Thomas Kropf, Jürgen Ruf, Thomas Greiner, Wolfgang Rosenstiel
2015	B	`conf`	Efficient Testing of Different Loop Paths. SEFM Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2015	J	`jnl`	Scalable and Optimized Hybrid Verification of Embedded Software. J. Electron. Test. Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2014	—	`conf`	Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment. ICCSA (5) Hanno Eichelberger, Jürgen Ruf, Thomas Kropf, Thomas Greiner, Wolfgang Rosenstiel
2014	—	`conf`	Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. MBMV Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner
2014	—	`conf`	Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2014	—	`conf`	LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. MBMV Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann
2014	B	`conf`	More Flexible Object Invariants with Less Specification Overhead. SEFM Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
2014	—	`conf`	Optimized hybrid verification of embedded software. LATW Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2013	—	`conf`	A Software Testing Framework to Integrate Formal Verification Results. MBMV Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
2013	Misc	`conf`	Accelerated robustness testing of state-based components using reverse execution. SAC Patrick Heckeler, Bastian Schlich, Thomas Kropf
2013	—	`conf`	Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich
2013	—	`conf`	Maneuver decision for active pedestrian protection under uncertainty. ITSC Christian Bräuchle, Folko Flehmig, Wolfgang Rosenstiel, Thomas Kropf
2012	—	`conf`	Optimized Static Parameter Assignment for Semiformal Software Verification. MBMV Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin
2011	J	`jnl`	DWARF-driven Equivalence Checking of UML Statecharts and Software Components. Softwaretechnik-Trends Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss
2011	—	`conf`	Scalable and Extendable Hybrid Verification Platform. MBMV Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2011	A	`conf`	Scalable hybrid verification for embedded software. DATE Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2010	Misc	`conf`	Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
2010	—	`conf`	State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. FM+AM Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland Weiss
2010	A	`conf`	Towards assertion-based verification of heterogeneous system designs. DATE Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich
2009	A	`conf`	Linking Functional Requirements and Software Verification. RE Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf
2009	A	`conf`	Semiformal verification of temporal properties in automotive hardware dependent software. DATE Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer
2008	J	`jnl`	Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel
2008	A	`conf`	Verification of Temporal Properties in Automotive Embedded Software. DATE Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer
2007	—	`conf`	Coverage Driven Verification applied to Embedded Software. ISVLSI Djones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2007	C	`conf`	Grid Based Fast Falsification For Bounded Property Checking. FDL Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2007	—	`conf`	Semiformal Verification of Temporal Properties in Embedded Software. MBMV Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel
2007	A*	`conf`	Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? CAV Thomas Kropf
2007	—	`conf`	UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. MBMV Stefan Lämmermann, Jörg Behrend, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2006	—	`conf`	Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. MBMV Stefan Lämmermann, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2006	A*	`conf`	Fast falsification based on symbolic bounded property checking. DAC Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel
2006	—	`conf`	Monitoring-based Formal Hardware Verification. MBMV Paul Duplys, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2005	—	`conf`	Distributed Symbolic Bounded Property Checking. PDMC@ICALP Pradeep Kumar Nalla, Roland Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2005	C	`conf`	Efficient and Customizable Integration of Temporal Properties. FDL Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2005	—	`conf`	Overlap reduction in symbolic system traversal. HLDVT Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2004	—	`conf`	Dynamic guiding of bounded property checking. HLDVT Prakash Mohan Peranandam, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2004	—	`conf`	Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report Jürgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel
2004	—	`conf`	Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. MBMV Prakash Mohan Peranandam, Roland Weiss, Jürgen Ruf, Thomas Kropf
2003	J	`jnl`	Symbolic Verification and Analysis of Discrete Timed Systems. Formal Methods Syst. Des. Jürgen Ruf, Thomas Kropf
2003	C	`conf`	Using Symbolic Simulation for Bounded Property Checking. FDL Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel
2002	—	`conf`	A Visual Approach to Validating System Level Designs. ISSS Jürgen Ruf, Thomas Kropf, Jochen Klose
2002	—	`conf`	Combination of Simulation and Formal Verification. MBMV Jürgen Ruf, Thomas Kropf
2002	B	`conf`	Formal Data Analysis of Timed Finite State Systems. ECRTS Jürgen Ruf, Thomas Kropf
2001	J	`jnl`	Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems). Informationstechnik Tech. Inform. Jürgen Ruf, Thomas Kropf
2001	A	`conf`	Simulation-guided property checking based on a multi-valued AR-automata. DATE Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
2001	A	`conf`	The simulation semantics of systemC. DATE Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller
2000	A	`conf`	Analyzing Real-Time Systems. DATE Jürgen Ruf, Thomas Kropf
2000	—	`conf`	Can Automatic Design Error Correction be Applied to Large Circuits? EUROMICRO Dirk W. Hoffmann, Thomas Kropf
2000	—	`conf`	Checking temporal properties under simulation of executable system descriptions. HLDVT Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
2000	C	`conf`	Efficient Design Error Correction of Digital Circuits. ICCD Dirk W. Hoffmann, Thomas Kropf
2000	A	`conf`	Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. DATE Dirk W. Hoffmann, Thomas Kropf
2000	—	`conf`	Simulation Meets Verification: Checking Temporal Properties in SystemC. EUROMICRO Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
1999	—	`conf`	Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction. CHARME Dirk W. Hoffmann, Thomas Kropf
1999	C	`conf`	Automatic Error Correction of Tri-State Circuits. ICCD Dirk W. Hoffmann, Thomas Kropf
1999	—	`ed.`	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 CHARME Laurence Pierre, Thomas Kropf
1999	—	`book`	Introduction to Formal Hardware Verification. Thomas Kropf
1999	J	`jnl`	Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus. Informationstechnik Tech. Inform. Thomas Kropf, Joachim Gerlach, Jürgen Haufe, Mathias Kortke
1999	—	`conf`	Modeling Real-Time Systems with I/O-Interval Structures. MBMV Jürgen Ruf, Thomas Kropf
1999	—	`conf`	Modleing and Checking Networks of Communicating Real-Time Process. CHARME Jürgen Ruf, Thomas Kropf
1999	—	`conf`	Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage. TPHOLs Thomas Kropf
1999	A	`conf`	Verifying Imprecisely Working Arithmetic Circuits. DATE Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis
1998	—	`conf`	A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems. MBMV Thomas Kropf, Jürgen Ruf, Klaus Schneider, Markus Wild
1998	A	`conf`	Formal Specification in VHDL for Hardware Verification. DATE Ralf Reetz, Klaus Schneider, Thomas Kropf
1998	J	`jnl`	Formale Methoden bei der Spezifikation von Hardware. Informationstechnik Tech. Inform. Werner Grass, Thomas Kropf, Matthias Mutz
1998	B	`conf`	Using MTBDDs for Compostion and Model Checking of Real-Time Systems. FMCAD Jürgen Ruf, Thomas Kropf
1997	—	`conf`	A New Algorithm for Discrete Timed Symbolic Model Checking. HART Jürgen Ruf, Thomas Kropf
1997	—	`conf`	Appendix: The Common Book Examples. Formal Hardware Verification Thomas Kropf
1997	—	`ed.`	Formal Hardware Verification - Methods and Systems in Comparison Formal Hardware Verification Thomas Kropf
1997	—	`conf`	Symbolic model checking for a discrete clocked temporal logic with intervals. CHARME Jürgen Ruf, Thomas Kropf
1997	—	`conf`	The C@S System. Formal Hardware Verification Klaus Schneider, Thomas Kropf
1997	—	`conf`	Using MTBDDs for discrete timed symbolic model checking. ED&TC Thomas Kropf, Jürgen Ruf
1996	B	`conf`	A Unified Approach for Combining Different Formalisms for Hardware Verification. FMCAD Klaus Schneider, Thomas Kropf
1996	—	`conf`	An Efficient Algorithm for Real-Time Symbolic Model Checking. ED&TC Jürgen Frößl, Thomas Kropf, Joachim Gerlach
1995	J	`jnl`	A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. Formal Methods Syst. Des. Ralf Reetz, Thomas Kropf
1995	Misc	`conf`	Formal synthesis of circuits with a simple handshake protocol. VLSI Design Ramayya Kumar, Thomas Kropf, Klaus Schneider
1995	J	`jnl`	HIST: A hierarchical self test methodology for chips, boards, and systems. J. Electron. Test. Oliver F. Haberl, Thomas Kropf
1995	—	`conf`	Verifying real-time properties of MOS-transistor circuits. ED&TC Jürgen Frößl, Thomas Kropf
1994	—	`conf`	A Formal Framework for High Level Synthesis. TPCD Thomas Kropf, Klaus Schneider, Ramayya Kumar
1994	—	`conf`	A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation. EDAC-ETC-EUROASIC Jürgen Frößl, Thomas Kropf
1994	J	`jnl`	Accelerating Tableaux Proofs Using Compact Representations. Formal Methods Syst. Des. Klaus Schneider, Ramayya Kumar, Thomas Kropf
1994	—	`conf`	Automating Verification by Functional Abstraction at the System Level. TPHOLs Klaus Schneider, Ramayya Kumar, Thomas Kropf
1994	—	`conf`	Benchmark-Circuits for Hardware-Verification. TPCD Thomas Kropf
1994	—	`conf`	Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path. EDAC-ETC-EUROASIC Klaus Schneider, Thomas Kropf, Ramayya Kumar
1994	—	`conf`	Self Testable Boards with Standard IEEE 1149.5 Module Test and Maintenance (MTM) Bus Interface. EDAC-ETC-EUROASIC Oliver F. Haberl, Thomas Kropf
1994	—	`conf`	Simplifying Deep Embedding: A Formalised Code Generator. TPHOLs Ralf Reetz, Thomas Kropf
1994	—	`ed.`	Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings TPCD Ramayya Kumar, Thomas Kropf
1993	—	`conf`	Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. HUG Klaus Schneider, Ramayya Kumar, Thomas Kropf
1993	—	`—`	Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik. Thomas Kropf
1993	—	`conf`	Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification. HUG Klaus Schneider, Ramayya Kumar, Thomas Kropf
1993	—	`conf`	Embedding Hardware Verification Within a Commercial Design Framework. CHARME Thomas Kropf, Ramayya Kumar, Klaus Schneider
1993	—	`conf`	Hardware-Verification using First Order BDDs. CHDL Klaus Schneider, Ramayya Kumar, Thomas Kropf
1993	J	`jnl`	Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment. Formal Methods Syst. Des. Ramayya Kumar, Klaus Schneider, Thomas Kropf
1992	—	`conf`	A chip solution to hierarchical and boundary-scan compatible board level BIST. Great Lakes Symposium on VLSI Oliver F. Haberl, Thomas Kropf
1992	Misc	`conf`	A methodology for the insertion of a hierarchical and boundary-scan compatible self test. VTS Oliver F. Haberl, Thomas Kropf
1992	—	`conf`	Efficient Representation and Computation of Tableau Proofs. TPHOLs Klaus Schneider, Ramayya Kumar, Thomas Kropf
1992	A	`conf`	HIST: A Methodology for the Automatic Insertion of a Hierarchical Self Test. ITC Oliver F. Haberl, Thomas Kropf
1992	—	`conf`	Modelling Generic Hardware Structures by Abstract Datatypes. TPHOLs Klaus Schneider, Ramayya Kumar, Thomas Kropf
1992	A	`conf`	The FAUST - Prover. CADE Klaus Schneider, Ramayya Kumar, Thomas Kropf
1991	A	`conf`	A Common Approach to Test Generation and Hardware Verification Based on Temporal Logic. ITC Thomas Kropf, Hans-Joachim Wunderlich
1991	A*	`conf`	Automating Most Parts of Hardware Proofs in HOL. CAV Klaus Schneider, Ramayya Kumar, Thomas Kropf
1991	—	`conf`	First Steps Towards Automating Hardware Proofs in HOL. TPHOLs Ramayya Kumar, Thomas Kropf, Klaus Schneider
1991	—	`conf`	Integrating a First-Order Automatic Prover in the HOL Environment. TPHOLs Ramayya Kumar, Thomas Kropf, Klaus Schneider
1991	—	`conf`	Structure in Hardware Proofs: First Steps Towards Automation in a Higher-Order Environment. VLSI Klaus Schneider, Ramayya Kumar, Thomas Kropf
1990	J	`jnl`	A hardware implementation of a modified DES-algorithm. Microprocessing and Microprogramming Thomas Kropf, Jürgen Frößl, W. Beller, T. Giesler