Towards assertion-based verification of heterogeneous system designs S Lammermann, J Ruf, T Kropf, W Rosenstiel, A Viehl, A Jesser, ... 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 27 | 2010 |
Analog simulation meets digital verification–A formal assertion approach for mixed-signal verification A Jesser, S Laemmermann, A Pacholik, R Weiss, J Ruf, W Fengler, ... SASIMI 7, 507-514, 2007 | 14 | 2007 |
Advanced property specification for model checking of analog systems S Steinhorst, A Jesser, L Hedrich ITG FACHBERICHT 196, 63, 2006 | 11 | 2006 |
A symbolic approach for mixed-signal model checking A Jesser, L Hedrich 2008 Asia and South Pacific Design Automation Conference, 404-409, 2008 | 10 | 2008 |
Advanced Assertion-Based Design for Mixed-Signal Verification A Jesser, S Laemmermann, A Pacholik, R Weiss, J Ruf, L Hedrich, ... IEICE transactions on fundamentals of electronics, communications and …, 2008 | 8 | 2008 |
Checking heterogeneous signal characteristics applying assertion-based verification S Lämmermann, A Jesser, M Rathgeber, J Ruf, L Hedrich, T Kropf, ... Frontiers in Analog Circuit Verification-FAC, 2009 | 7 | 2009 |
Motor classification with machine learning methods for predictive maintenance C Kammerer, M Gaust, M Küstner, P Starke, R Radtke, A Jesser IFAC-PapersOnLine 54 (1), 1059-1064, 2021 | 6 | 2021 |
An assertion-based verification methodology for SystemC-AMS designs S Lämmermann, R Weiss, J Ruf, T Kropf, W Rosenstiel, A Jesser, ... The 15th Workshop on Synthesis And System Integration of Mixed Information …, 2009 | 4 | 2009 |
Anomaly detection of multivariate image time series based on Gramian angular field using convolutional autoencoder FS Bayram, R Erbel, R Radtke, A Jesser International Workshop on Automation, Control, and Communication Engineering …, 2022 | 3 | 2022 |
Mixed Signal Circuit Verification Using Symbolic Model Checking Techniques A Jesser Verlag Dr. Hut, 2008 | 3 | 2008 |
On Premises IIoT Architecture for Capturing, Storing and Visualizing Production Data F Hensler, A Jesser, H Frank, N Strebe, M Kappler, S Mütsch 2023 10th International Conference on Electrical and Electronics Engineering …, 2023 | 2 | 2023 |
Encoding Techniques on Multivariate Time Series Signals for Failure Prevention of Industrial Assets with Unsupervised Deep Anomaly Detection FS Bayram, MN Amin, A Melke, R Schneider, R Radtke, A Jesser 2023 IEEE 6th International Conference on Industrial Cyber-Physical Systems …, 2023 | 2 | 2023 |
„Improving Mixed-Signal Verification by Assertion Based Design “ S Lämmermann, R Weiss, J Ruf, T Kropf, W Rosenstiel, A Pacholik, ... 16th IFIP/IEEE International Conference on Very Large Scale Integration VLSI …, 0 | 2 | |
Implementation and Optimization of a Data-Driven Soft Sensor in a Welding Process F Hensler, A Jesser, N Strebe 2023 6th International Conference on Software Engineering and Computer …, 2023 | 1 | 2023 |
AnomalyBAGS: Bagging-based Ensemble Learning with Time-Series-to-Image Transformations for Robust Anomaly Detection FS Bayram, M Dwedar, A Melke, R Schneider, R Radtke, A Jesser 2023 IEEE 8th International Conference on Engineering Technologies and …, 2023 | 1 | 2023 |
Breaking Bias: Alpha Weighted Loss in Multi-objective Learning Taming Gender Stereotypes MN Amin, A Al Imran, FS Bayram, L Hübner, A Jesser World Conference on Information Systems for Business Management, 233-246, 2023 | 1 | 2023 |
Introducing a novel dataset for product matching: A new challenge for matching systems AJ T. Rettenmeier 3rd International Conference on Computers and Automation (CompAuto 2023), 2023 | 1 | 2023 |
Rapid Analysis of Thorax Images for the Detection of Viral Infections R Radtke, A Jesser Journal of Image and Graphics JOIG ISSN: 2301-3699, 2022 | 1 | 2022 |
Comparison of Predictive Maintenance Methods for Thermal Systems AJ C. Kammerer, P. Starke, M. Gaust, M. Küstner, R. Radtke Procedia Computer Science 176, 166-174, 2020 | 1 | 2020 |
An Adversary Effort Based Attack Probability Model D Rosenberger, A Jesser 2024 IEEE 3rd International Conference on Computing and Machine Intelligence …, 2024 | | 2024 |