„Model Checking“

Suchergebnisse

1.904 Treffer

• Model checking techniques for design and analysis of future hardware and software systems
  Märcker, Steffen 2020
• Model checking of UML 2.0 interactions
  Knapp, Alexander ; Wuttke, Jochen 2007 Universität Augsburg
• Truly on-the-fly LTL model checking
  Hammer, Moritz ; Knapp, Alexander ; Merz, Stephan 2005 Universität Augsburg
• Model checking timed UML state machines and collaborations
  Knapp, Alexander ; Merz, Stephan ; Rauh, Christopher 2002 Universität Augsburg
• Model checking and code generation for UML state machines and collaborations
  Knapp, Alexander ; Merz, Stephan 2002 Universität Augsburg
• Diagnostic checking of multiple imputation models
  Zhao, Yang
• Generation and verification of learned stochastic automata using k-NN and statistical model checking
  Baouya, Abdelhakim ; Chehida, Salim ; Ouchani, Samir ; Bensalem, Saddek ; Bozga, Marius
• Model-based analysis of constructional steel structures exemplified by dimensional checking on railway car shells using 3D scanning
  Jurdeczka, Uwe
• Handbook of automata theory
  2021 EMS Press
• Preface to the special issue on Probabilistic Model Checking
  Baier, Christel ; Kwiatkowska, Marta Z.
• Model Evaluation in the Presence of Categorical Data: Bayesian Model Checking as an Alternative to Traditional Methods
  Bonifay, Wes ; Depaoli, Sarah
• Verified Model Checking for Conjunctive Positive Logic
  Abuin, Alex ; Cerio, Unai Diaz de ; Hermo, Montserrat ; Lucio, Paqui
• Checking for model consistency in optimal fingerprinting: a comment
  McKitrick, Ross
• Verification, model checking, and abstract interpretation – 5th international conference ; proceedings
  Steffen, Bernhard 2004 Springer
• Generation of domain-specific language-to-language transformation languages
  Kopetzki, Dawid ; Steffen, Bernhard ; Jörges, Sven 2019 Universitätsbibliothek Dortmund
• HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits
  Minhas, Mishal Fatima ; Hasan, Osman ; Abed, Sa’ed
• Certifying proofs for SAT-based model checking
  Griggio, Alberto ; Roveri, Marco ; Tonetta, Stefano
• An efficient content-based satellite image retrieval system for big data utilizing threshold based checking method
  T, Sunitha ; T.S, Sivarani
• Learning and analysis of sensors behavior in IoT systems using statistical model checking
  Chehida, Salim ; Baouya, Abdelhakim ; Bensalem, Saddek ; Bozga, Marius
• Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
  Kordon, Fabrice ; Hillah, Lom Messan ; Hulin-Hubard, Francis ; Jezequel, Loïg ; Paviot-Adet, Emmanuel