„Model Checking“

Suchergebnisse

1.904 Treffer

• Analysing a stream authentication protocol using model checking
  Hopcroft, Philippa ; Lowe, Gavin
• An overview of model checking practices on verification of PLC software
  Ovatman, Tolga ; Aral, Atakan ; Polat, Davut ; Ünver, Ali Osman
• Model-checking software library API usage rules
  Song, Fu ; Touili, Tayssir
• Conformance checking in UML artifact-centric business process models
  Estañol, Montserrat ; Munoz-Gama, Jorge ; Carmona, Josep ; Teniente, Ernest
• The role of model checking in software engineering
  Karna, Anil Kumar ; Chen, Yuting ; Yu, Haibo ; Zhong, Hao ; Zhao, Jianjun
• Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking
  Becker, Martin ; Metta, Ravindra ; Venkatesh, R. ; Chakraborty, Samarjit
• Performing CTL model checking via DNA computing
  Zhu, Weijun ; Han, Yingjie ; Zhou, Qinglei
• Formal techniques for distributed systems – joint 14th IFIP WG 6.1 international conference and 32nd IFIP WG 6.1 international conference ; proceedings
  Giese, Holger ; Rosu, Grigore 2012 Springer
• Automated Validation and Verification of Railway Specific Components and Systems
  Kinder, Sebastian 2008 Shaker
• Model Checking Compositional Markov Systems
  Johr, Sven 2008 Shaker
• Minimum distance model checking in Berkson measurement error models with validation data
  Geng, Pei ; Koul, Hira L.
• On-the-fly model checking for extended action-based probabilistic operators
  Mateescu, Radu ; Requeno, José Ignacio
• A case study of planning for smart factories – Model checking and Monte Carlo search for the rescue
  Edelkamp, Stefan ; Greulich, Christoph
• Model checking: recent improvements and applications
  Bošnački, Dragan ; Wijs, Anton
• Model checking optimal finite-horizon control for probabilistic gene regulatory networks
  Wei, Ou ; Guo, Zonghao ; Niu, Yun ; Liao, Wenyuan
• Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking
  Muhammad, Shahabuddin ; Mohammad, Nazeeruddin ; Bashar, Abul ; Khan, Majid Ali
• Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme
  Greifeneder, Jürgen 2007 Shaker
• Gerichtete und optimierende Suchverfahren in komplexen Datenstrukturen
  Leven, Peter 2007 Shaker
• Verification of branching-time and alternating-time properties for exogenous coordination models
  Klüppelholz, Sascha
• Structural Vector Autoregressions : Checking Identifying Long-Run Restrictions via Heteroskedasticity
  Lütkepohl, Helmut ; Velinov, Anton 2018 ZBW – Leibniz Information Centre for Economics