„checking“

Suchergebnisse

2.968 Treffer

• "Object-centric process mining: data extraction, process discovery, and conformance checking"
  Berti, Alessandro ; Aalst, Wil ˜van derœ ; Montali, Marco 2025 Universitätsbibliothek der RWTH Aachen
• Verification of asynchronous hyperproperties
  Ohrem, Christoph ; Müller-Olm, Markus 2025 Universitäts- und Landesbibliothek Münster
• Exploring cooperative verification – survey, tools, and experiments
  Kanav, Sudeep ; Beyer, Dirk 2024 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Leveraging invariant information towards incremental Software Model Checking
  Spiessl, Martin ; Beyer, Dirk 2024 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Cooperative Software Verification
  Haltermann, Jan ; Wehrheim, Heike ; Strejček, Jan 2025 BIS der Universität Oldenburg
• Verification of Data-Value-Aware Process Models
  Ordoni, Elaheh ; Böhm, Klemens ; Oberweis, Andreas 2025 KIT-Bibliothek
• Probabilistic model checking and parameter tuning for Bayesian networks
  Salmani, Bahare ; Katoen, Joost-Pieter ; de Raedt, Luc 2024 Universitätsbibliothek der RWTH Aachen
• Automated deductive verification of probabilistic programs
  Batz, Kevin ; Katoen, Joost-Pieter ; Hasuo, Ichiro 2024 Universitätsbibliothek der RWTH Aachen
• smartIflow - A Model Based Approach for Safety Analysis in the Early Product Life Cycle Stages
  Hönig, Philipp ; Holzapfel, Florian ; Lunde, Rüdiger 2025 Universitätsbibliothek der TU München
• Functional Abstract Interpretation
  Graf, Sebastian ; Snelting, Gregor ; Brachthäuser, Jonathan I. 2025 KIT-Bibliothek
• Provably accurate verdictors – foundations and applications
  Köhl, Maximilian ; Hermanns, Holger 2024 Saarländische Universitäts- und Landesbibliothek
• Applying software model checking: experiences and advancements
  Berger, Philipp ; Katoen, Joost-Pieter ; Beyer, Dirk 2024 Universitätsbibliothek der RWTH Aachen
• Efficient Control via Reachability Synthesis for Cyber-Physical Systems
  Grover, Kush ; Kretínský, Jan ; Larsen, Kim Guldstrand ; Jansen, Nils, 2024 Universitätsbibliothek der TU München
• Monadically stable and monadically dependent graph classes: characterizations and algorithmic meta-theorems
  Mählmann, Nikolas ; Siebertz, Sebastian ; Ossona de Mendez, Patrice 2024 Staats- und Universitätsbibliothek Bremen
• Counting and sliding verifying and restoring healthy systems
  Grobler, Mario ; Siebertz, Sebastian ; Zimmermann, Martin 2024 Staats- und Universitätsbibliothek Bremen
• Verfahren zur hardware-basierten Beschleunigung von Testumgebungen
  Henftling, Renate 2005 Shaker
• Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking
  Pavlović, Olivera ; Ehrich, Hans-Dieter 2009 Technische Universität Braunschweig
• CIP Model-Checking
  Moglestue, Andreas 2004 Shaker
• Consistency Management of Object-Oriented Behavioral Models
  Küster, Jochen M. 2004 Shaker
• Formale Analyse von Sequential Function Charts
  Bauer, Nanette 2003 Shaker