Ulrich Holtmann

12 papers A* 1A 1B 1C 2Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2001 C conf
Applying Formal Verification with Protocol Compiler.
DSD
Christian Stangier, Ulrich Holtmann
1999 J jnl
Applying Formal Verification with Protocol Compiler
Universität Trier, Mathematik/Informatik, Forschungsbericht
Christian Stangier, Ulrich Holtmann
1998 A* conf
Design of a SPDIF Receiver Using Protocol Compiler.
DAC
Ulrich Holtmann, Peter Blinzer
1998 — conf
Entwurf von Controller-Schaltungen für Kommunikationsprotokolle mit dem Protocol-Compiler von Synopsys.
MBMV
Peter Blinzer, Ulrich Golze, Ulrich Holtmann
1996 — conf
A system for compiling and debugging structured data processing controllers.
EURO-DAC
Andrew Seawright, Joseph Buck, Ulrich Holtmann, Wolfgang Meyer, Barry M. Pangrle, Rob Verbrugghe
1996 J jnl
The COSYMA environment for hardware/software cosynthesis of small embedded systems.
Microprocess. Microsystems
Rolf Ernst, Jörg Henkel, Thomas Benner, Wei Ye, Ulrich Holtmann, Dirk Herrmann, Michael Trawny
1995 — conf
Combining MBP-speculative computation and loop pipelining in high-level synthesis.
ED&TC
Ulrich Holtmann, Rolf Ernst
1995 — —
Synthese von Co-Prozessoren mit spekulativer Ausführung.
Ulrich Holtmann
1994 A conf
Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis.
ICCAD
Jörg Henkel, Rolf Ernst, Ulrich Holtmann, Thomas Benner
1994 B conf
FPGA Based Prototyping for Verification and Evaluation in Hardware-Software Cosynthesis.
FPL
Thomas Benner, Rolf Ernst, Ingo Könenkamp, Ulrich Holtmann, P. Schüler, H.-C. Schaub, N. Serafimov
1993 J jnl
Experiments with low-level speculative computation based on multiple branch prediction.
IEEE Trans. Very Large Scale Integr. Syst.
Ulrich Holtmann, Rolf Ernst
1993 C conf
Speculative Computation for Coprocessor Synthesis.
ICCD
Ulrich Holtmann, Rolf Ernst
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling