Not finding it? Sign in to also search OpenAlex live.
-
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 -
Reusable workflows for virtual testing of multidisciplinary products in system models2023 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access
Julius Moritz Berges, Kathrin Spütz, Yizhe Zhang, Gregor Höpfner, Joerg Berroth, Christian Konrad, +1 more
10citations -
Actionable Artificial Intelligence for the Future of Production2023 Interdisciplinary excellence accelerator series book-chapter Engineering Digital Transformation in Industry Open access
Mohamed Behery, Philipp Brauner, Hans Aoyang Zhou, Merih Seran Uysal, Владимир Самсонов, Martin Bellgardt, +34 more
5citations -
Actionable Artificial Intelligence for the Future of Production2023 Interdisciplinary excellence accelerator series book-chapter Engineering Digital Transformation in Industry Open access
Mohamed Behery, Philipp Brauner, Hans Aoyang Zhou, Merih Seran Uysal, Владимир Самсонов, Martin Bellgardt, +34 more
2citations -
Actionable Artificial Intelligence for the Future of Production2023 Interdisciplinary excellence accelerator series book-chapter Engineering Digital Transformation in Industry Open access
Mohamed Behery, Philipp Brauner, Hans Aoyang Zhou, Merih Seran Uysal, Владимир Самсонов, Martin Bellgardt, +34 more
1citations
7 results