Treffer 1 - 20 von 206.691

Bounded PCTL Model Checking of Large Language Model Outputs
Gross, Dennis ; Spieker, Helge ; Gotlieb, Arnaud
2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2025 IEEE 37th International Conference on. :106-113 Nov, 2025

BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage
Krahl, Markus ; Gudemann, Matthias ; Wallentowitz, Stefan
2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) ASEW Automated Software Engineering Workshops (ASEW), 2025 40th IEEE/ACM International Conference on. :145-152 Nov, 2025

Translating Behavior Trees to Petri Nets for Model Checking
Palmas, Matteo ; Klauck, Michaela ; Lange, Ralph ; et al.
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2025 ACM/IEEE 28th International Conference on. :154-163 Oct, 2025

Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles
Bernardeschi, Cinzia ; Fagiolini, Adriano ; Pagani, Dario ; et al.
2025 IEEE Conference on Communications and Network Security (CNS) Communications and Network Security (CNS), 2025 IEEE Conference on. :1-6 Sep, 2025

Enhancing Safety Analysis of Nuclear Reactors Using Probabilistic Model Checking and the SAFEST Toolchain
Akmali, Masood ; Sher, Falak
2025 IEEE Annual Reliability and Maintainability Symposium - Europe (RAMS-Europe) Reliability and Maintainability Symposium - Europe (RAMS-Europe), 2025 IEEE Annual. :1-9 Aug, 2025

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
Henkel, Christian ; Lampacrescia, Marco ; Klauck, Michaela ; et al.
2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) Intelligent Robots and Systems (IROS), 2025 IEEE/RSJ International Conference on. :1334-1340 Oct, 2025

Tailored Quantum Device Calibration with Statistical Model Checking
Mazurek, Filip ; D'Onofrio, Marissa ; Horn, Andrew Van ; et al.
2025 IEEE International Conference on Quantum Computing and Engineering (QCE) QCE Quantum Computing and Engineering (QCE), 2025 IEEE International Conference on. 01:394-404 Aug, 2025

BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing
Shen, Shidong ; Liu, Jinyu ; Feng, Weizhi ; et al.
2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD) Computer Aided Design (ICCAD), 2025 IEEE/ACM International Conference On. :1-9 Oct, 2025

Revisiting Assumptions Ordering in CAR-Based Model Checking
Dong, Y. ; Chen, Y. ; Li, J. ; et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 44(10):4032-4037 Oct, 2025

Symoblic Model Checking for Multi-Agent Systems Based on ATLE
Yu, Qixian ; Cao, Zining ; Zong, Hui ; et al.
2025 IEEE 5th International Conference on Software Engineering and Artificial Intelligence (SEAI) Software Engineering and Artificial Intelligence (SEAI), 2025 IEEE 5th International Conference on. :389-393 Jun, 2025

New Branching Heuristics for Incremental Bounded Model Checking
Shubham, Satyam ; Bhattacharyya, Sutirtha ; Banerjee, Ansuman ; et al.
2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) VLSI (ISVLSI), 2025 IEEE Computer Society Annual Symposium on. 1:1-6 Jul, 2025

Pushdown Model Checking above the Cubic Bottleneck
Balasubramanian, A. R. ; Chistikov, Dmitry ; Majumdar, Rupak
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) LICS Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on. :622-635 Jun, 2025

Property-driven Parallel Symbolic Model Checking of LTL
Su, Yuheng ; Li, Yingcheng ; Yang, Qiusong ; et al.
2025 62nd ACM/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2025 62nd ACM/IEEE. :1-7 Jun, 2025

Exploring Hyperledger Sawtooth: Model Checking Proof-of-Elapsed Time Algorithm and Testing Methods for Enterprise Blockchain Applications
Staroletov, Sergey
2025 37th Conference of Open Innovations Association (FRUCT) Open Innovations Association (FRUCT), 2025 37th Conference of. :299-310 May, 2025

Towards a Model-Based Framework for Automated Traceable Systems and Probabilistic Model Checking
Wang, Haochi ; Wang, Yingquan ; Wei, Ran ; et al.
2025 6th International Conference on Computer Engineering and Application (ICCEA) Computer Engineering and Application (ICCEA), 2025 6th International Conference on. :01-06 Apr, 2025

Robust Probabilistic Model Checking With Continuous Reward Domains
Ji, Xiaotong ; Wang, Hanchun ; Filieri, Antonio ; et al.
2025 IEEE/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2025 IEEE/ACM 20th Symposium on. :13-24 Apr, 2025

Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection
Lu, L. ; Pan, M. ; Lu, Y. ; et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 44(6):2424-2437 Jun, 2025

Realizing Modular Self-reconfiguring Soft Robots through Inter-module Communication and Model Checking
Knospler, Joshua ; Pagliocca, Nicholas ; Xue, Wei ; et al.
2025 IEEE 8th International Conference on Soft Robotics (RoboSoft) Soft Robotics (RoboSoft), 2025 IEEE 8th International Conference on. :1-6 Apr, 2025

Efficient SAT-Based Bounded Model Checking of Evolving Systems
Andrews, Sophie ; Sotoudeh, Matthew ; Barrett, Clark
2025 Design, Automation & Test in Europe Conference (DATE) Design, Automation & Test in Europe Conference (DATE), 2025. :1-7 Mar, 2025

Checking Model Consistency in Service-Oriented Systems
Jiang, Hao ; Kontogiannis, Kostas
2025 IEEE International systems Conference (SysCon) systems Conference (SysCon), 2025 IEEE International. :1-8 Apr, 2025