„Verification algorithms“

Suchergebnisse

1.000+ Treffer

• Verification of Derandomized Probabilistic Algorithms
  Karayel, Muhammed Emin ; Nipkow, Tobias ; Thiemann, René ; Kiam, Tan Yong 2025 Universitätsbibliothek der TU München
• Quantitative Verification on Product Graphs of Small Treewidth
  Chatterjee, Krishnendu ; Ibsen-Jensen, Rasmus ; Pavlogiannis, Andreas 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Log-Diameter MST Verification and Sensitivity in MPC
  Coy, Sam ; Czumaj, Artur ; Mishra, Gopinath ; Mukherjee, Anish
• Modeling, validation and verification of three-dimensional cell-scaffold contacts from terabyte-sized images
  Bajcsy, Peter ; Yoon, Soweon ; Florczyk, Stephen J. ; Hotaling, Nathan A. ; Simon, Mylene ; Szczypinski, Piotr M. ; Schaub, Nicholas J. ; Simon, Carl G. ; Brady, Mary ; Sriram, Ram D.
• Runtime Verification – 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
  Könighofer, Bettina ; Torfah, Hazem 2026 Springer Nature Switzerland, Imprint: Springer
• A three-layer head phantom for verification of the source localization models and algorithms
  Olimzoda, Abdumumin ; Hunold, Alexander ; Haueisen, Jens 2024 TU Ilmenau
• Formal Verification of Algorithms for Automata and Model Checking
  Brunner, Julian M. ; Nipkow, Tobias ; Esparza Estaun, Francisco Javier 2022 Universitätsbibliothek der TU München
• Fundamental algorithmic techniques for distributed computations in networks – : information dissemination and maximum matching
  Ahmadi, Mohamad ; Kuhn, Fabian 2021 Universität
• Communication-Efficient Probabilistic Algorithms: Selection, Sampling, and Checking
  Hübschle-Schneider, Lorenz ; Sanders, P. 2020 KIT-Bibliothek
• Numerical MMATh Verified essential algorithms for solving differential equations
  Hölle, Stefan 2019 KOPS Universität Konstanz
• Verification and Validation of Logic Control Algorithms by Model Checking – Verifikation und Validierung von Steuerungsalgorithmen mittels Model Checking
  Weng, Xiying 2003 Shaker
• Algorithms and Tools for Verification and Testing of Asynchronous Programs
  Wang, Zilong ; Majumdar, Rupak 2016 Technische Universität Kaiserslautern
• Modeling and verification of distributed algorithms in theorem proving environments
  Küfner, Philipp ; Nestmann, Uwe ; Kammüller, Florian 2014 Technische Universität Berlin
• Algorithms for the Efficient Verification and Planning of Information Technology Change Operations
  Hagen, Sebastian ; Kemper, Alfons ; Knapp, Alexander ; Gaspary, Luciano Paschoal 2013 Universitätsbibliothek der TU München
• Parallel algorithms for verification of large systems
  Weber, Michael 2006 RWTH, Department of Computer Science
• SAT-based verification – from core algorithms to novel application domains
  Herbstritt, Marc
• Fundamentals of Computation Theory – 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
  Kutyłowski, Mirosław 2009 Springer International Publishing
• Computer Aided Verification – 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
  Sharygina, Natasha ; Veith, Helmut 2014 Springer International Publishing
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Computer Aided Verification – 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
  2013 Springer Berlin Heidelberg