Alexander Weiss
Orcid: 0000-0003-1029-1297
  According to our database1,
  Alexander Weiss
  authored at least 28 papers
  between 2008 and 2025.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2025
Adaptive Biofeedback for Digital Physiotherapy Using Sakoe-Chiba Constrained Pose Matching.
    
  
    Proceedings of the Artificial Intelligence in Healthcare - Second International Conference, 2025
    
  
  2024
    Proceedings of the Computer Vision - ECCV 2024, 2024
    
  
Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper).
    
  
    Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024
    
  
    Proceedings of the 10th IEEE RAS/EMBS International Conference for Biomedical Robotics and Biomechatronics, 2024
    
  
  2022
    Proceedings of the Runtime Verification - 22nd International Conference, 2022
    
  
  2021
    Computer, 2021
    
  
  2020
    Proceedings of the 30th International Conference on Field-Programmable Logic and Applications, 2020
    
  
  2019
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
    
  
    Formal Methods Syst. Des., 2019
    
  
A survey of challenges for runtime verification from advanced application domains (beyond software).
    
  
    Formal Methods Syst. Des., 2019
    
  
    Proceedings of the Echtzeit 2019 - Autonome Systeme, 2019
    
  
The CEDARtools Platform - Massive External Memory with High Bandwidth and Low Latency Under Fine-Granular Random Access Patterns.
    
  
    Proceedings of the 29th International Conference on Field Programmable Logic and Applications, 2019
    
  
  2018
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.
    
  
    Proceedings of the Runtime Verification - 18th International Conference, 2018
    
  
    Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
    
  
  2017
    Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
    
  
  2016
    Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016
    
  
  2015
    Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015
    
  
  2013
    Proceedings of the Consumer Depth Cameras for Computer Vision, 2013
    
  
    ACM Trans. Design Autom. Electr. Syst., 2013
    
  
  2012
  2011
    Proceedings of the IEEE International Conference on Computer Vision, 2011
    
  
  2010
    Proceedings of the Twenty-Third IEEE Conference on Computer Vision and Pattern Recognition, 2010
    
  
  2009
    Proceedings of the IEEE 12th International Conference on Computer Vision, ICCV 2009, Kyoto, Japan, September 27, 2009
    
  
  2008
    Proceedings of the Ninth International Workshop on Microprocessor Test and Verification, 2008
    
  
    Proceedings of the 26th International Conference on Computer Design, 2008
    
  
    Proceedings of the FPL 2008, 2008