Papers matching “functional verification” 129
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 -
AI-Native Brand Identity: From Visual Recognition to Cryptographic Verification2025 arXiv (Cornell University) preprint Business, Management and Accounting Consumer Behavior in Brand Consumption and Identification Open access
Xiaoyu Zhang, Lingyong Yan, Maarten de Rijke, Zhaochun Ren, Xiuying Chen
0citations -
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Avoiding structural redundancies between the vehicle body and the battery housing based on a functional integration approach2022 Automotive and Engine Technology article Engineering Engineering and Materials Science Studies Open access cited by 2 patents
Christopher Krüger, Sebastian Spohr, David Merdivan, Péter Urbán
14citations -
An edge-native industrial verification of request system for secure and plausible control reconfiguration in modular plants2026 International Journal of Applied Mathematics and Computer Science article Engineering Flexible and Reconfigurable Manufacturing Systems Open access
Yuanchen Zhao, Heiko Schoon, Torben Miny, Patrick Felke, Tobias Kleinert
0citations -
Toward an Operational Anthropogenic CO2 Emissions Monitoring and Verification Support Capacity2020 Bulletin of the American Meteorological Society article Environmental Science Atmospheric and Environmental Gas Dynamics Open access
Greet Janssens‐Maenhout, B. Pinty, Mark D. Dowell, H. Zunker, Erik Andersson, Gianpaolo Balsamo, +34 more
205citations -
AirDIV: Over-the-Air Cloud-Fog Data Integrity Verification Scheme for Industrial Cyber-Physical Systems2025 IEEE Journal on Selected Areas in Communications article Computer Science Cloud Data Security Solutions
Yao Zhao, Yong Xiang, Md Palash Uddin, Yushu Zhang, Lu Liu, Yansong Liu, +1 more
1citations -
Estimation of noise radiation including airborne noise using the in-situ blocked force approach (Third report, experimental verification of the estimation method by application to rattle noise from an electric power steering system)2020 Transactions of the JSME (in Japanese) article Engineering Vehicle Noise and Vibration Control Open access
Yoshihiro Sato, Jan Hendrik Elm, Jens Viehöfer, Jan-Welm Biermann, Nobuyuki IWATSUKI
0citations -
First constraints on the AGN X-ray luminosity function atz~ 6 from an eROSITA-detected quasar2021 Astronomy and Astrophysics article Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access
Johannes Büchner, Vanessa A. Moss, Antonis E. Georgakakis, Matthew T. Whiting
42citations