Not finding it? Sign in to also search OpenAlex live.
-
First three years of the international verification of neural networks competition (VNN-COMP)2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor Thomas Johnson, Changliu Liu
66citations -
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 -
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 -
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more
13citations -
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling2025 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access
Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆
0citations