„probabilistic model checking“

Suchergebnisse

1.000+ Treffer

• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)
  Junges, Sebastian ; Katoen, Joost-Pieter ; Sanner, Scott ; Van den Broeck, Guy ; Salmani, Bahare
• Probabilistic model checking of cancer metabolism
  Friedenberg, Meir D. ; Lita, Adrian ; Gilbert, Mark R. ; Larion, Mioara ; Celiku, Orieta
• Model Checking Population Protocols
  Esparza, Javier ; Ganty, Pierre ; Leroux, Jérôme ; Majumdar, Rupak 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Spectrum of Approximate Probabilistic Bisimulations
  Spork, Timm ; Baier, Christel ; Katoen, Joost-Pieter ; Piribauer, Jakob ; Quatmann, Tim 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ProFeat: feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel
• Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
  Märcker, Steffen ; Baier, Christel ; Becker, Bernd 2021 Technische Universität Dresden
• Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard
  Guellouz Ep Addad, Safa 2021 Saarländische Universitäts- und Landesbibliothek
• Alternative Automata-based Approaches to Probabilistic Model Checking
  Müller, David ; Baier, Christel ; Esparza, Javier 2019 Technische Universität Dresden
• Formal Configuration of Fault-Tolerant Systems
  Herrmann, Linda ; Baier, Christel 2019 Technische Universität Dresden
• Formal Methods for Probabilistic Energy Models
  Daum, Marcus ; Baier, Christel ; Parker, David 2019 Technische Universität Dresden
• The probabilistic model checker Storm – symbolic methods for probabilistic model checking
  Hensel, Hans Christian ; Katoen, Joost-Pieter ; Parker, David 2018 Universitätsbibliothek RWTH Aachen
• 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
• Unmasking fault tolerance – quantifying deterministic recovery dynamics in probabilistic environments
  Müllner, Nils Henning ; Theel, Oliver ; Katoen, Joost-Pieter 2014 BIS der Universität Oldenburg
• Diagnosis, synthesis and analysis of probabilistic models
  Han, Tingting
• Fundamentals of Software Engineering – 6th International Conference, FSEN 2015 Tehran, Iran, April 22–24, 2015, Revised Selected Papers
  Arbab, Farhad ; Sirjani, Marjan 2015 Springer International Publishing
• Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
  Braga, Christiano ; Martí-Oliet, Narciso 2015 Springer International Publishing
• Formal Methods for Industrial Critical Systems – 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
  Pecheur, Charles ; Dierkes, Michael 2014 Springer Berlin Heidelberg
• From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer Berlin Heidelberg