![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Thomas Kropf
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c94]Jo Laufenberg, Heiner Graser, Thomas Kropf, Oliver Bringmann:
Simulation and Detection of Bus-Off Attacks in CAN. IV 2024: 3078-3084 - 2023
- [c93]Jo Laufenberg, Thomas Kropf, Oliver Bringmann:
CAN Simulation Framework - From Classic CAN to CAN XL. ITSC 2023: 3343-3348 - [c92]Jo Laufenberg, Susanne Throner, Thomas Kropf, Oliver Bringmann:
Attack Simulation and Adaptation in CAN for Training and Evaluation of IDS. IV 2023: 1-6 - 2022
- [c91]Jo Laufenberg, Thomas Kropf, Oliver Bringmann:
A Framework for CAN Communication and Attack Simulation. VTC Spring 2022: 1-7 - 2020
- [c90]Jo Laufenberg, Thomas Kropf, Oliver Bringmann:
Automated Graph-Based Fault Injection Into Virtual Prototypes for Robustness Evaluation. ETS 2020: 1-2
2010 – 2019
- 2017
- [j14]Kim Mens
, Rafael Capilla
, Herman Hartmann, Thomas Kropf:
Modeling and Managing Context-Aware Systems' Variability. IEEE Softw. 34(6): 58-63 (2017) - [c89]Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. ICTSS 2017: 54-70 - 2016
- [c88]Jo Laufenberg, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Thomas Kropf, Wolfgang Rosenstiel:
Combining graph-based guidance with error effect simulation for efficient safety analysis. DATE 2016: 1132-1135 - 2015
- [j13]Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Scalable and Optimized Hybrid Verification of Embedded Software. J. Electron. Test. 31(2): 151-166 (2015) - [j12]Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf:
Bridging the gap between test cases and requirements by abstract testing. Innov. Syst. Softw. Eng. 11(4): 233-242 (2015) - [c87]Hanno Eichelberger, Thomas Kropf, Jürgen Ruf, Thomas Greiner, Wolfgang Rosenstiel:
Efficient Fault Localization During Replay of Embedded Software. EUROMICRO-SEAA 2015: 43-52 - [c86]Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Efficient Testing of Different Loop Paths. SEFM 2015: 117-131 - 2014
- [c85]Hanno Eichelberger, Jürgen Ruf, Thomas Kropf, Thomas Greiner, Wolfgang Rosenstiel:
Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment. ICCSA (5) 2014: 387-401 - [c84]Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Optimized hybrid verification of embedded software. LATW 2014: 1-6 - [c83]Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner:
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. MBMV 2014: 61-70 - [c82]Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV 2014: 125-136 - [c81]Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann:
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. MBMV 2014: 193-196 - [c80]Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel:
More Flexible Object Invariants with Less Specification Overhead. SEFM 2014: 302-316 - 2013
- [c79]Christian Bräuchle, Folko Flehmig, Wolfgang Rosenstiel, Thomas Kropf:
Maneuver decision for active pedestrian protection under uncertainty. ITSC 2013: 646-651 - [c78]Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich:
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV 2013: 161-170 - [c77]Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel:
A Software Testing Framework to Integrate Formal Verification Results. MBMV 2013: 183-192 - [c76]Patrick Heckeler, Bastian Schlich, Thomas Kropf:
Accelerated robustness testing of state-based components using reverse execution. SAC 2013: 1188-1195 - 2012
- [c75]Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin:
Optimized Static Parameter Assignment for Semiformal Software Verification. MBMV 2012: 25-35 - 2011
- [j11]Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss:
DWARF-driven Equivalence Checking of UML Statecharts and Software Components. Softwaretechnik-Trends 31(3) (2011) - [c74]Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Scalable hybrid verification for embedded software. DATE 2011: 179-184 - [c73]Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Scalable and Extendable Hybrid Verification Platform. MBMV 2011: 259-268 - 2010
- [c72]Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser
, Lars Hedrich:
Towards assertion-based verification of heterogeneous system designs. DATE 2010: 1171-1176 - [c71]Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss:
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. FM+AM 2010: 49-62 - [c70]Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf:
Abstract Testing: Connecting Source Code Verification with Requirements. QUATIC 2010: 89-96
2000 – 2009
- 2009
- [c69]Djones 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 - [c68]Hendrik Post, Carsten Sinz, Florian Merz, Thomas Gorges, Thomas Kropf:
Linking Functional Requirements and Software Verification. RE 2009: 295-302 - 2008
- [j10]Alexander Jesser
, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel:
Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(12): 3548-3555 (2008) - [c67]Djones 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 - 2007
- [c66]Thomas Kropf:
Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? CAV 2007: 3 - [c65]Pradeep 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 - [c64]Djones 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 - [c63]Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel:
Semiformal Verification of Temporal Properties in Embedded Software. MBMV 2007: 19-28 - [c62]Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. MBMV 2007: 29-38 - 2006
- [c61]Prakash 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 - [c60]Paul Duplys, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Monitoring-based Formal Hardware Verification. MBMV 2006: 217-221 - [c59]Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. MBMV 2006: 222-226 - 2005
- [c58]Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Efficient and Customizable Integration of Temporal Properties. FDL 2005: 385-397 - [c57]Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Overlap reduction in symbolic system traversal. HLDVT 2005: 145-152 - [c56]Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Distributed Symbolic Bounded Property Checking. PDMC@ICALP 2005: 47-63 - 2004
- [c55]Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel:
Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report 2004: 541-566 - [c54]Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Dynamic guiding of bounded property checking. HLDVT 2004: 15-18 - [c53]Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf:
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. MBMV 2004: 260-269 - 2003
- [j9]Jürgen Ruf, Thomas Kropf:
Symbolic Verification and Analysis of Discrete Timed Systems. Formal Methods Syst. Des. 23(1): 67-108 (2003) - [c52]Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel:
Using Symbolic Simulation for Bounded Property Checking. FDL 2003: 374-385 - 2002
- [c51]Jürgen Ruf, Thomas Kropf:
Formal Data Analysis of Timed Finite State Systems. ECRTS 2002: 257- - [c50]Jürgen Ruf, Thomas Kropf, Jochen Klose:
A Visual Approach to Validating System Level Designs. ISSS 2002: 186-191 - [c49]Jürgen Ruf, Thomas Kropf:
Combination of Simulation and Formal Verification. MBMV 2002: 134-143 - 2001
- [j8]Jürgen Ruf, Thomas Kropf:
Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems). Informationstechnik Tech. Inform. 43(1): 39-46 (2001) - [c48]Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller:
The simulation semantics of systemC. DATE 2001: 64-70 - [c47]Jü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
- [c46]Jürgen Ruf, Thomas Kropf:
Analyzing Real-Time Systems. DATE 2000: 243-248 - [c45]Dirk W. Hoffmann, Thomas Kropf:
Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. DATE 2000: 758 - [c44]Dirk W. Hoffmann, Thomas Kropf:
Can Automatic Design Error Correction be Applied to Large Circuits? EUROMICRO 2000: 1114-1121 - [c43]Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Simulation Meets Verification: Checking Temporal Properties in SystemC. EUROMICRO 2000: 1435- - [c42]Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel:
Checking temporal properties under simulation of executable system descriptions. HLDVT 2000: 161-166 - [c41]Dirk W. Hoffmann, Thomas Kropf:
Efficient Design Error Correction of Digital Circuits. ICCD 2000: 465-472
1990 – 1999
- 1999
- [b2]Thomas Kropf:
Introduction to Formal Hardware Verification. Springer 1999, ISBN 978-3-540-65445-2, pp. I-IX, 1-299 - [j7]Thomas Kropf, Joachim Gerlach, Jürgen Haufe, Mathias Kortke:
Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus. Informationstechnik Tech. Inform. 41(2): 46-50 (1999) - [c40]Dirk W. Hoffmann, Thomas Kropf:
Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction. CHARME 1999: 157-171 - [c39]Jürgen Ruf, Thomas Kropf:
Modleing and Checking Networks of Communicating Real-Time Process. CHARME 1999: 265-279 - [c38]Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis:
Verifying Imprecisely Working Arithmetic Circuits. DATE 1999: 65- - [c37]Dirk W. Hoffmann, Thomas Kropf:
Automatic Error Correction of Tri-State Circuits. ICCD 1999: 51- - [c36]Jürgen Ruf, Thomas Kropf:
Modeling Real-Time Systems with I/O-Interval Structures. MBMV 1999: 91-100 - [c35]Thomas Kropf:
Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage. TPHOLs 1999: 1-4 - [e3]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. Lecture Notes in Computer Science 1703, Springer 1999, ISBN 3-540-66559-5 [contents] - 1998
- [j6]Werner Grass, Thomas Kropf, Matthias Mutz:
Formale Methoden bei der Spezifikation von Hardware. Informationstechnik Tech. Inform. 40(3): 13-17 (1998) - [c34]Ralf Reetz, Klaus Schneider, Thomas Kropf:
Formal Specification in VHDL for Hardware Verification. DATE 1998: 257-263 - [c33]Jürgen Ruf, Thomas Kropf:
Using MTBDDs for Compostion and Model Checking of Real-Time Systems. FMCAD 1998: 185-202 - [c32]Thomas Kropf, Jürgen Ruf, Klaus Schneider, Markus Wild:
A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems. MBMV 1998: 11-20 - 1997
- [c31]Jürgen Ruf, Thomas Kropf:
Symbolic model checking for a discrete clocked temporal logic with intervals. CHARME 1997: 146-163 - [c30]Thomas Kropf, Jürgen Ruf:
Using MTBDDs for discrete timed symbolic model checking. ED&TC 1997: 182-187 - [c29]Klaus Schneider, Thomas Kropf:
The C@S System. Formal Hardware Verification 1997: 248-329 - [c28]Thomas Kropf:
Appendix: The Common Book Examples. Formal Hardware Verification 1997: 330-367 - [c27]Jürgen Ruf, Thomas Kropf:
A New Algorithm for Discrete Timed Symbolic Model Checking. HART 1997: 18-32 - [e2]Thomas Kropf:
Formal Hardware Verification - Methods and Systems in Comparison. Lecture Notes in Computer Science 1287, Springer 1997, ISBN 3-540-63475-4 [contents] - 1996
- [c26]Jürgen Frößl, Thomas Kropf, Joachim Gerlach:
An Efficient Algorithm for Real-Time Symbolic Model Checking. ED&TC 1996: 15-21 - [c25]Klaus Schneider, Thomas Kropf:
A Unified Approach for Combining Different Formalisms for Hardware Verification. FMCAD 1996: 202-217 - 1995
- [j5]Oliver F. Haberl, Thomas Kropf:
HIST: A hierarchical self test methodology for chips, boards, and systems. J. Electron. Test. 6(1): 85-106 (1995) - [j4]Ralf Reetz, Thomas Kropf:
A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. Formal Methods Syst. Des. 7(1/2): 73-99 (1995) - [c24]Jürgen Frößl, Thomas Kropf:
Verifying real-time properties of MOS-transistor circuits. ED&TC 1995: 314-319 - [c23]Ramayya Kumar, Thomas Kropf, Klaus Schneider:
Formal synthesis of circuits with a simple handshake protocol. VLSI Design 1995: 255-259 - 1994
- [j3]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Accelerating Tableaux Proofs Using Compact Representations. Formal Methods Syst. Des. 5(1/2): 145-176 (1994) - [c22]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 - [c21]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 - [c20]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 - [c19]Thomas Kropf:
Benchmark-Circuits for Hardware-Verification. TPCD 1994: 1-12 - [c18]Thomas Kropf, Klaus Schneider, Ramayya Kumar:
A Formal Framework for High Level Synthesis. TPCD 1994: 223-238 - [c17]Ralf Reetz, Thomas Kropf:
Simplifying Deep Embedding: A Formalised Code Generator. TPHOLs 1994: 378-390 - [c16]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Automating Verification by Functional Abstraction at the System Level. TPHOLs 1994: 391-406 - [e1]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. Lecture Notes in Computer Science 901, Springer 1994, ISBN 3-540-59047-1 [contents] - 1993
- [b1]Thomas Kropf:
Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik. Karlsruhe Institute of Technology, Germany, VDI-Verlag 1993, ISBN 978-3-18-147409-9, pp. 1-147 - [j2]Ramayya Kumar, Klaus Schneider, Thomas Kropf:
Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment. Formal Methods Syst. Des. 2(2): 165-223 (1993) - [c15]Thomas Kropf, Ramayya Kumar, Klaus Schneider:
Embedding Hardware Verification Within a Commercial Design Framework. CHARME 1993: 242-257 - [c14]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Hardware-Verification using First Order BDDs. CHDL 1993: 45-62 - [c13]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. HUG 1993: 213-226 - [c12]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification. HUG 1993: 385-398 - 1992
- [c11]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
The FAUST - Prover. CADE 1992: 766-770 - [c10]Oliver F. Haberl, Thomas Kropf:
A chip solution to hierarchical and boundary-scan compatible board level BIST. Great Lakes Symposium on VLSI 1992: 16-21 - [c9]Oliver F. Haberl, Thomas Kropf:
HIST: A Methodology for the Automatic Insertion of a Hierarchical Self Test. ITC 1992: 732-741 - [c8]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Efficient Representation and Computation of Tableau Proofs. TPHOLs 1992: 39-57 - [c7]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Modelling Generic Hardware Structures by Abstract Datatypes. TPHOLs 1992: 165-175 - [c6]Oliver F. Haberl, Thomas Kropf:
A methodology for the insertion of a hierarchical and boundary-scan compatible self test. VTS 1992: 37-42 - 1991
- [c5]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Automating Most Parts of Hardware Proofs in HOL. CAV 1991: 365-375 - [c4]Thomas Kropf, Hans-Joachim Wunderlich:
A Common Approach to Test Generation and Hardware Verification Based on Temporal Logic. ITC 1991: 57-66 - [c3]Ramayya Kumar, Thomas Kropf, Klaus Schneider:
Integrating a First-Order Automatic Prover in the HOL Environment. TPHOLs 1991: 170-176 - [c2]Ramayya Kumar, Thomas Kropf, Klaus Schneider:
First Steps Towards Automating Hardware Proofs in HOL. TPHOLs 1991: 190-193 - [c1]Klaus Schneider, Ramayya Kumar, Thomas Kropf:
Structure in Hardware Proofs: First Steps Towards Automation in a Higher-Order Environment. VLSI 1991: 81-90 - 1990
- [j1]Thomas Kropf, Jürgen Frößl, W. Beller, T. Giesler:
A hardware implementation of a modified DES-algorithm. Microprocessing and Microprogramming 30(1-5): 59-65 (1990)
Coauthor Index
aka: Roland Weiss
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-01 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint