Not finding it? Sign in to also search OpenAlex live.
-
A Design Flow and EDA-Tool for an Automated Implementation of ASIC Configuration Interfaces2022 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design conference-paper Computer Science Embedded Systems Design Techniques
Johannes Bastl, Jonas Meier, Ralf Wunderlich, Stefan J. Heinen
0citations -
Operational Design Domain Feature Optimization Route Planning Tool for Automated Vehicle Open Road Testing2023 SAE technical papers on CD-ROM/SAE technical paper series conference-paper Engineering Autonomous Vehicle Technology and Safety
Pedro Rodriguez Zarazua, Qusay Alrousan, Hamzeh Alzu’bi, Tom Tasky
2citations -
Developing Validated Tools to Identify Pulmonary Embolism in Electronic Databases: Rationale and Design of the PE-EHR+ Study2023 Thrombosis and Haemostasis article Health Professions Medical Coding and Health Information Open access
Behnood Bikdeli, Ying-Chih Lo, Candrika D. Khairani, Antoine Bejjani, David Jiménez, Shiwani Mahajan, +18 more
25citations -
veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing2024 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing
Chandan Kumar Jha, Khushboo Qayyum, Kemal Çağlar Coşkun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, +2 more
7citations -
The Infrared Thermography Toolbox: An Open-access Semi-automated Segmentation Tool for Extracting Skin Temperatures in the Thoracic Region including Supraclavicular Brown Adipose Tissue
Aashley S. D. Sardjoe Mishre, Maaike E. Straat, Borja Martínez‐Téllez, Andrea Mendez Gutierrez, Sander Kooijman, Mariëtte R. Boon, +4 more
0citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Security and Verification in Computing
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
1citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
0citations -
SELFY - Self Assessment, Protection and Healing Tools for a Trustworthy and Resilient CCAM2025 Lecture notes in mobility conference-paper Engineering Vehicular Ad Hoc Networks (VANETs) Open access
Mario Reyes de los Mozos, Pau Perea Paños, Paula Cecilia Fritzsche, Kevin Gomez Buquerin, Tina Volkersdorfer, Hans‐Joachim Hof, +22 more
0citations -
Robot Cookies – Plant Cell Packs as an Automated High-Throughput Screening Platform Based on Transient Expression2020 Frontiers in Bioengineering and Biotechnology article Biochemistry, Genetics and Molecular Biology Transgenic Plants and Applications Open access
Benjamin Bruno Gengenbach, Patrick Opdensteinen, Johannes F. Buyel
53citations -
Software Tool for Automatic Quantification of Sarcomere Length and Organization in Fixed and Live 2D and 3D Muscle Cell Cultures In Vitro2022 Current Protocols article Biochemistry, Genetics and Molecular Biology Cell Image Analysis Techniques Open access
Jeroen M. Stein, Ulgu Arslan, Marnix Franken, Jessica C. de Greef, Siân E. Harding, Neda Mohammadi, +4 more
34citations