Follow
Alexander Weiss
Alexander Weiss
Accemic Technologies
Verified email at accemic.com - Homepage
Title
Cited by
Cited by
Year
Cerebral functional magnetic resonance imaging of vestibular, auditory, and nociceptive areas during galvanic stimulation
SF Bucher, M Dieterich, M Wiesmann, A Weiss, R Zink, TA Yousry, ...
Annals of Neurology: Official Journal of the American Neurological …, 1998
2011998
Effects of galvanic vestibular stimulation on otolithic and semicircular canal eye movements and perceived vertical
R Zink, SF Bucher, A Weiss, T Brandt, M Dieterich
Electroencephalography and clinical neurophysiology 107 (3), 200-205, 1998
1551998
Galvanic vestibular stimulation in humans: effects on otolith function in roll
R Zink, S Steddin, A Weiss, T Brandt, M Dieterich
Neuroscience letters 232 (3), 171-174, 1997
981997
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
942019
Trace-data processing and profiling device
A Weiss, A Lange
US Patent 9,286,186, 2016
822016
Runtime verification for multicore SoC with high-quality trace data
R Backasch, C Hochberger, A Weiss, M Leucker, R Lasslop
ACM Transactions on Design Automation of Electronic Systems (TODAES) 18 (2 …, 2013
452013
Online analysis of debug trace data for embedded systems
N Decker, B Dreyer, P Gottschling, C Hochberger, A Lange, M Leucker, ...
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 851-856, 2018
362018
Rapidly adjustable non-intrusive online monitoring for multi-core systems
N Decker, P Gottschling, C Hochberger, M Leucker, T Scheffel, M Schmitz, ...
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
352017
Continuous non-intrusive hybrid WCET estimation using waypoint graphs
B Dreyer, C Hochberger, A Lange, S Wegener, A Weiss
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), 2016
302016
Procedure and device for emulating a programmable unit
A Lange, A Weiss
US Patent App. 11/919,696, 2009
212009
Galvanic stimulation in bilateral vestibular failure: 3-D ocular motor effects
M Dieterich, R Zink, A Weiss, T Brandt
Neuroreport 10 (16), 3283-3287, 1999
211999
Hardware-based runtime verification with embedded tracing units and stream processing
L Convent, S Hungerecker, T Scheffel, M Schmitz, D Thoma, A Weiss
International Conference on Runtime Verification, 43-63, 2018
182018
Acquiring an exhaustive, continuous and real-time trace from SoCs
C Hochberger, A Weiss
2008 IEEE International Conference on Computer Design, 356-362, 2008
152008
Precise continuous non-intrusive measurement-based execution time estimation
B Dreyer, C Hochberger, S Wegener, A Weiss
15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), 2015
142015
Procedure and device for emulating a programmable unit providing system integrity control
A Weiss, A Lange
US Patent 7,930,165, 2011
122011
Understanding and fixing complex faults in embedded cyberphysical systems
A Weiss, S Gautham, AV Jayakumar, CR Elks, DR Kuhn, RN Kacker, ...
Computer 54 (1), 49-60, 2021
92021
TeSSLa–an ecosystem for runtime verification
H Kallwies, M Leucker, M Schmitz, A Schulz, D Thoma, A Weiss
International Conference on Runtime Verification, 314-324, 2022
82022
A new methodology for debugging and validation of soft cores
C Hochberger, A Weiss
2008 International Conference on Field Programmable Logic and Applications …, 2008
62008
A new methodology for the test of SoCs and for analyzing elusive failures
A Weiss, C Hochberger
2008 Ninth International Workshop on Microprocessor Test and Verification, 18-23, 2008
42008
Using DSP Slices as Content-Addressable Update Queues
TB Preußer, M Chiosa, A Weiss, G Alonso
2020 30th International Conference on Field-Programmable Logic and …, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20