Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

LExecutor: Learning-Guided Execution, and . Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, page 1522-1534. Association for Computing Machinery, (2023)

Univ. -Prof. Dr. rer. nat. Michael Sedlmair University of Stuttgart

Metaphorical Visualization : Mapping Data to Familiar Concepts, , , , and . CHI EA '22 : Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems, page 10. New York, Association for Computing Machinery, (2022)
 

Other publications of authors with the same name

Congestion-Aware Adaptive Routing in 2D-Mesh Multicores., , and . NCA, page 50-58. IEEE Computer Society, (2014)New Methods for Evaluating the Impact of Single Event Transients in VDSM ICs., , and . DFT, page 99-107. IEEE Computer Society, (2002)Low-Cost Highly-Robust Hardened Cells Using Blocking Feedback Transistors., , and . VTS, page 371-376. IEEE Computer Society, (2008)Hot topic session 4A: Reliability analysis of complex digital systems., , , , and . VTS, page 1. IEEE Computer Society, (2013)Enhancing realistic fault secureness in parity prediction array arithmetic operators by I/sub DDQ/ monitoring., , and . VTS, page 124-129. IEEE Computer Society, (1996)Low-power memory repair for high defect densities., and . IOLTS, page 171-173. IEEE, (2015)Design of Static CMOS Self-Checking Circuits using Built-In Current Sensing., , and . FTCS, page 104-111. IEEE Computer Society, (1992)Programmable memory BIST., , , and . ITC, page 10. IEEE Computer Society, (2005)Embedded Robustness IPs for Transient-Error-Free ICs., , and . IEEE Design & Test of Computers, 19 (3): 56-70 (2002)A tool for automatic generation of self-checking data paths., , and . VTS, page 460-466. IEEE Computer Society, (1995)