„Model-checking“

Suchergebnisse

1.904 Treffer

• Assurances for self-adaptive systems – principles, models, and techniques
  Cámara, Javier ; Lemos, Rogério ˜deœ ; Ghezzi, Carlo ; Lopes, Antonia 2013 Springer
• Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance – 16th international GI ITG conference ; proceedings
  Schmitt, Jens B. 2012 Springer
• Exploiting partial variable assignment in interpolation-based model checking
  Jančík, Pavel ; Kofroň, Jan ; Alt, Leonardo ; Fedyukovich, Grigory ; Hyvärinen, Antti E. J. ; Sharygina, Natasha
• Lifted model checking for relational MDPs
  Yang, Wen-Chi ; Raskin, Jean-François ; De Raedt, Luc
• Compositional analysis of probabilistic timed graph transformation systems
  Maximova, Maria ; Schneider, Sven ; Giese, Holger 2021 Universitätsverlag Potsdam
• Modeling and Model Checking Web Services
  Schlingloff, Bernd-Holger ; Schmidt, Karsten ; Martens, Axel 2005 Humboldt-Universität zu Berlin
• Compositional analysis of probabilistic timed graph transformation systems
  Maximova, Maria ; Schneider, Sven ; Giese, Holger 2020 Universität Potsdam
• Algebra and Coalgebra in Computer Science – Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
  Heckel, Reiko ; Milius, Stefan 2009 Springer Berlin Heidelberg
• A three-valued model abstraction framework for PCTL* stochastic model checking
  Liu, Yang ; Ma, Yan ; Yang, Yongsheng
• Diagnosability verification using LTL model checking
  Tuxi, Thiago M. ; Carvalho, Lilian K. ; Nunes, Eduardo V. L. ; Cunha, Antonio E. C. da
• Analyse des Antwortzeitverhaltens netzbasierter Automatisierungssysteme
  Greifeneder, Jürgen ; Frey, Georg 2007 Technische Universität Kaiserslautern, Fachbereich Elektrotechnik und Informationstechnik
• Modellierung des Zeitverhaltens netzbasierter Automatisierungssysteme
  Greifeneder, Jürgen ; Frey, Georg 2007 Technische Universität Kaiserslautern, Fachbereich Elektrotechnik und Informationstechnik
• Reconfigurable embedded control systems – problems and solutions
  Khalgui, Mohamed ; Hanisch, Hans-Michael ; Frey, Georg ; Zimmermann, Wolf 2012 Universitäts- und Landesbibliothek Sachsen-Anhalt
• Incremental design-space model checking via reusable reachable state approximations
  Dureja, Rohit ; Rozier, Kristin Y.
• On the Model Checking Problem for Some Extension of CTL*
  Gnatenko, A. R. ; Zakharov, V. A.
• Distributed bounded model checking
  Chatterjee, Prantik ; Roy, Subhajit ; Diep, Bui Phi ; Lal, Akash
• Tools and algorithms for the construction and analysis of systems – 21st international conference ; proceedings
  Baier, Christel ; Tinelli, Cesare 2015 Springer
• Frontiers of combining systems – 8th international symposium ; proceedings
  Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer
• Statistical model checking for variability-intensive systems: applications to bug detection and minimization
  Cordy, Maxime ; Lazreg, Sami ; Papadakis, Mike ; Legay, Axel
• The σ-calculus : a process calculus for privacy-preserving protocols in location-based service systems
  Bavendiek, Kai ; Schupp, Sibylle 2022 Universitätsbibliothek der Technischen Universität Hamburg